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

Parameterized Synthesis

Jacobs, Swen ; Bloem, Roderick

Logical methods in computer science, 2014-02, Vol.10, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Jacobs, Swen ; Perez, Guillermo A ; Abraham, Remco ; Bruyere, Veronique ; Cadilhac, Michael ; Colange, Maximilien ; Delfosse, Charly ; Tom van Dijk ; Duret-Lutz, Alexandre ; Faymonville, Peter ; Finkbeiner, Bernd ; Khalimov, Ayrat ; Klein, Felix ; Luttenberger, Michael ; Meyer, Klara ; Michaud, Thibaud ; Pommellet, Adrien ; Renkin, Florian ; Philipp Schlehuber-Caissier ; Sakr, Mouhammad ; Sickert, Salomon ; Staquet, Gaetan ; Clement Tamines ; Tentrup, Leander ; Walker, Adam

arXiv.org, 2022-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
The Temporal Logic Synthesis Format TLSF v1.2
The Temporal Logic Synthesis Format TLSF v1.2
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Temporal Logic Synthesis Format TLSF v1.2

Jacobs, Swen ; Perez, Guillermo A ; Philipp Schlehuber-Caissier

arXiv.org, 2023-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Automatic and Incremental Repair for Speculative Information Leaks
Automatic and Incremental Repair for Speculative Information Leaks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic and Incremental Repair for Speculative Information Leaks

Bard, Joachim ; Jacobs, Swen ; Vizel, Yakir

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Parameterized Verification of Disjunctive Timed Networks
Parameterized Verification of Disjunctive Timed Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Verification of Disjunctive Timed Networks

Étienne André ; Eichler, Paul ; Jacobs, Swen ; Shyam Lal Karra

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Correct-by-Construction Runtime Enforcement in AI -- A Survey
Correct-by-Construction Runtime Enforcement in AI -- A Survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correct-by-Construction Runtime Enforcement in AI -- A Survey

Könighofer, Bettina ; Bloem, Roderick ; Ehlers, Rüdiger ; Pek, Christian

arXiv.org, 2022-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Automatic Repair and Deadlock Detection for Parameterized Systems
Automatic Repair and Deadlock Detection for Parameterized Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic Repair and Deadlock Detection for Parameterized Systems

Jacobs, Swen ; Sakr, Mouhammad ; Völp, Marcus

arXiv.org, 2022-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Natural Colors of Infinite Words
Natural Colors of Infinite Words
Material Type:
Artigo 		Adicionar ao Meu Espaço

Natural Colors of Infinite Words

Ehlers, Rüdiger ; Schewe, Sven

arXiv.org, 2022-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
Material Type:
Artigo 		Adicionar ao Meu Espaço

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Jacobs, Swen ; Bloem, Roderick ; Colange, Maximilien ; Faymonville, Peter ; Finkbeiner, Bernd ; Khalimov, Ayrat ; Klein, Felix ; Luttenberger, Michael ; Meyer, Philipp J ; Michaud, Thibaud ; Sakr, Mouhammad ; Sickert, Salomon ; Tentrup, Leander ; Walker, Adam

arXiv.org, 2019-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
Material Type:
Artigo 		Adicionar ao Meu Espaço

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

Jacobs, Swen ; Sakr, Mouhammad

arXiv.org, 2017-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (47)
  2. Revistas revisadas por pares (17)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (41)
  2. Anais de Congresso  (8)
  3. Book Chapters  (6)
  4. Conjunto de Dados  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2012  (7)
  2. 2012Até2015  (11)
  3. 2016Até2018  (20)
  4. 2019Até2022  (13)
  5. Após 2022  (9)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.