skip to main content
Idioma:
previous page 3 4 Resultados 5 6 7 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
41
Petri Games: Synthesis of Distributed Systems with Causal Memory: Invited Talk at the 3rd Workshop on Synthesis
Petri Games: Synthesis of Distributed Systems with Causal Memory: Invited Talk at the 3rd Workshop on Synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Petri Games: Synthesis of Distributed Systems with Causal Memory: Invited Talk at the 3rd Workshop on Synthesis

Finkbeiner, Bernd

Electronic proceedings in theoretical computer science, 2014-07, Vol.157, p.4-4

Texto completo disponível

Citações Citado por
42
On the road with RTLola: Testing Real Driving Emissions on your Phone
On the road with RTLola: Testing Real Driving Emissions on your Phone
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the road with RTLola: Testing Real Driving Emissions on your Phone

Biewer, Sebastian ; Finkbeiner, Bernd ; Hermanns, Holger ; Köhl, Maximilian A. ; Schnitzer, Yannik ; Schwenger, Maximilian

International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.205-218 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
43
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Material Type:
Artigo 		Adicionar ao Meu Espaço

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Horak, Tom ; Coenen, Norine ; Metzger, Niklas ; Hahn, Christopher ; Flemisch, Tamara ; Mendez, Julian ; Dimov, Dennis ; Finkbeiner, Bernd ; Dachselt, Raimund

IEEE transactions on visualization and computer graphics, 2022-01, Vol.28 (1), p.357-367 [Periódico revisado por pares]

United States: IEEE

Texto completo disponível

Citações Citado por
44
On the road with RTLola
On the road with RTLola
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the road with RTLola

Biewer, Sebastian ; Finkbeiner, Bernd ; Hermanns, Holger ; Köhl, Maximilian A ; Schnitzer, Yannik ; Schwenger, Maximilian

International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.205-218 [Periódico revisado por pares]

Heidelberg: Springer Nature B.V

Texto completo disponível

Citações Citado por
45
Bounded Cycle Synthesis
Bounded Cycle Synthesis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Bounded Cycle Synthesis

Finkbeiner, Bernd ; Klein, Felix

Computer Aided Verification, p.118-135 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
46
Live Synthesis
Live Synthesis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Live Synthesis

Finkbeiner, Bernd ; Klein, Felix ; Metzger, Niklas

Automated Technology for Verification and Analysis, p.153-169 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
47
Preface for the special issue for ATVA 2015
Preface for the special issue for ATVA 2015
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface for the special issue for ATVA 2015

Finkbeiner, Bernd ; Pu, Geguang ; Zhang, Lijun

Acta informatica, 2018-12, Vol.55 (8), p.625-626 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
48
Synthesizing Skeletons for Reactive Systems
Synthesizing Skeletons for Reactive Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Synthesizing Skeletons for Reactive Systems

Finkbeiner, Bernd ; Torfah, Hazem

Automated Technology for Verification and Analysis, p.271-286 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
49
Explainable Reactive Synthesis
Explainable Reactive Synthesis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Explainable Reactive Synthesis

Baumeister, Tom ; Finkbeiner, Bernd ; Torfah, Hazem

Automated Technology for Verification and Analysis, p.413-428 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
50
Bounded Synthesis
Bounded Synthesis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Bounded Synthesis

Schewe, Sven ; Finkbeiner, Bernd

Automated Technology for Verification and Analysis, p.474-488 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (256)
  2. Revistas revisadas por pares (216)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (160)
  2. Book Chapters  (154)
  3. Anais de Congresso  (46)
  4. Livros  (5)
  5. Reports  (1)
  6. Dissertações  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2004  (9)
  2. 2004Até2008  (23)
  3. 2009Até2013  (35)
  4. 2014Até2019  (171)
  5. Após 2019  (124)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (366)
  2. Alemão  (1)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.