skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Bounded synthesis.(Report)

Finkbeiner, Bernd ; Schewe, Sven

International Journal on Software Tools for Technology Transfer (STTT), Oct, 2013, Vol.15(5-6), p.519(21) [Periódico revisado por pares]

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Petri games: Synthesis of distributed systems with causal memory

Finkbeiner, Bernd ; Olderog, Ernst-Rüdiger

Information and Computation, April 2017, Vol.253, pp.181-203 [Periódico revisado por pares]

Texto completo disponível

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

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit

Finkbeiner, Bernd ; Sanchez, Cesar

Acta Informatica, 2016, Vol.53(4), pp.325-326 [Periódico revisado por pares]

Texto completo disponível

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

Bounded synthesis

Finkbeiner, Bernd ; Schewe, Sven

International Journal on Software Tools for Technology Transfer, 2013, Vol.15(5), pp.519-539 [Periódico revisado por pares]

Texto completo disponível

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

Proceedings Second Workshop on Synthesis

Finkbeiner, Bernd ; Solar-Lezama, Armando

EPTCS 142, 2014

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Synthesis in Distributed Environments

Finkbeiner, Bernd ; Gölz, Paul

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

The First-Order Logic of Hyperproperties

Finkbeiner, Bernd ; Zimmermann, Martin

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Causality-based Model Checking

Bernd Finkbeiner ; Andrey Kupriyanov

Electronic Proceedings in Theoretical Computer Science, 01 October 2017, Vol.259(Proc. CREST 2017), pp.31-38

Texto completo disponível

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

Deciding Hyperproperties

Finkbeiner, Bernd ; Hahn, Christopher

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Proceedings Second International Workshop on Interactions, Games and Protocols

Reich, Johannes ; Finkbeiner, Bernd

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (31)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (68)
  2. Book Chapters  (7)
  3. Anais de Congresso  (4)
  4. Livros  (2)
  5. Recursos Textuais  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2005  (7)
  2. 2005Até2008  (6)
  3. 2009Até2012  (14)
  4. 2013Até2017  (30)
  5. Após 2017  (25)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.