skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: autor: Jacobs, Swen remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity

Jacobs, Swen ; Sakr, Mouhammad

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

How to Handle Assumptions in Synthesis

Bloem, Roderick ; Ehlers, Rüdiger ; Jacobs, Swen ; Könighofer, Robert

EPTCS 157, 2014, pp. 34-50

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

A High-Level LTL Synthesis Format: TLSF v1.1

Jacobs, Swen ; Klein, Felix ; Schirmer, Sebastian

EPTCS 229, 2016, pp. 112-132

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

Jacobs, Swen ; Basset, Nicolas ; Bloem, Roderick ; Brenguier, Romain ; Colange, Maximilien ; Faymonville, Peter ; Finkbeiner, Bernd ; Khalimov, Ayrat ; Klein, Felix ; Michaud, Thibaud ; Pérez, Guillermo A. ; Raskin, Jean-François ; Sankur, Ocan ; Tentrup, Leander

EPTCS 260, 2017, pp. 116-143

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

Bloem, Roderick ; Chatterjee, Krishnendu ; Jacobs, Swen ; Koenighofer, Robert

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

A High-Level LTL Synthesis Format: TLSF v1.0

Jacobs, Swen ; Klein, Felix

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Parameterized Synthesis

Jacobs, Swen ; Bloem, Roderick

Logical Methods in Computer Science, Volume 10, Issue 1 (February 13, 2014) lmcs:736 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

The Second Reactive Synthesis Competition (SYNTCOMP 2015)

Jacobs, Swen ; Bloem, Roderick ; Brenguier, Romain ; Könighofer, Robert ; Pérez, Guillermo A. ; Raskin, Jean-François ; Ryzhyk, Leonid ; Sankur, Ocan ; Seidl, Martina ; Tentrup, Leander ; Walker, Adam

EPTCS 202, 2016, pp. 27-57

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond

Jacobs, Swen ; Bloem, Roderick

EPTCS 229, 2016, pp. 133-148

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

The First Reactive Synthesis Competition (SYNTCOMP 2014)

Jacobs, Swen ; Bloem, Roderick ; Brenguier, Romain ; Ehlers, Rüdiger ; Hell, Timotheus ; Könighofer, Robert ; Pérez, Guillermo A. ; Raskin, Jean-François ; Ryzhyk, Leonid ; Sankur, Ocan ; Seidl, Martina ; Tentrup, Leander ; Walker, Adam

International Journal on Software Tools for Technology Transfer, Online First, 2016, pp 1-24 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (20)
  2. Anais de Congresso  (1)
  3. Book Chapters  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2012  (1)
  2. 2012Até2012  (1)
  3. 2013Até2013  (1)
  4. 2014Até2015  (7)
  5. Após 2015  (12)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Jacobs, Swen
  2. Jacobs, S.
  3. Bloem, Roderick
  4. Swen Jacobs
  5. Tentrup, Leander

Buscando em bases de dados remotas. Favor aguardar.