skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: SpringerLink remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Synthesis from hyperproperties
Synthesis from hyperproperties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis from hyperproperties

Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip ; Stenger, Marvin ; Tentrup, Leander

Acta informatica, 2020-04, Vol.57 (1-2), p.137-163 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Introduction to the special issue of the 19th International Conference on Runtime Verification
Introduction to the special issue of the 19th International Conference on Runtime Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Introduction to the special issue of the 19th International Conference on Runtime Verification

Finkbeiner, Bernd ; Mariani, Leonardo

International journal on software tools for technology transfer, 2021-08, Vol.23 (4), p.545-546 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Compositional synthesis of modular systems
Compositional synthesis of modular systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compositional synthesis of modular systems

Finkbeiner, Bernd ; Passing, Noemi

Innovations in systems and software engineering, 2022, Vol.18 (3), p.455-469 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
4
Live synthesis
Live synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Live synthesis

Finkbeiner, Bernd ; Klein, Felix ; Metzger, Niklas

Innovations in systems and software engineering, 2022, Vol.18 (3), p.443-454 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
5
Specification decomposition for reactive synthesis
Specification decomposition for reactive synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Specification decomposition for reactive synthesis

Finkbeiner, Bernd ; Geier, Gideon ; Passing, Noemi

Innovations in systems and software engineering, 2023-12, Vol.19 (4), p.339-357 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
6
Efficient monitoring of hyperproperties using prefix trees
Efficient monitoring of hyperproperties using prefix trees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient monitoring of hyperproperties using prefix trees

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin ; Tentrup, Leander

International journal on software tools for technology transfer, 2020-12, Vol.22 (6), p.729-740 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Bounded synthesis
Bounded synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bounded synthesis

Finkbeiner, Bernd ; Schewe, Sven

International journal on software tools for technology transfer, 2013-10, Vol.15 (5-6), p.519-539 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Monitoring hyperproperties
Monitoring hyperproperties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Monitoring hyperproperties

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin ; Tentrup, Leander

Formal methods in system design, 2019, Vol.54 (3), p.336-363 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
9
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
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-06, Vol.53 (4), p.325-326 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Monitoring with verified guarantees
Monitoring with verified guarantees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Monitoring with verified guarantees

Baumeister, Jan ; Dauer, Johann C. ; Finkbeiner, Bernd ; Schirmer, Sebastian

International journal on software tools for technology transfer, 2023-08, Vol.25 (4), p.593-616 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (19)
  2. Anais de Congresso  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2004  (4)
  2. 2004Até2008  (2)
  3. 2009Até2015  (3)
  4. 2016Até2019  (3)
  5. Após 2019  (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.