Timo Gutjahr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2015–2017
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | MODELS | Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. | Joel Greenyer, Timo Gutjahr |
| 2015 | MODELS | Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots. | Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Tim Duente, Stefan Dulle, Falk-David Deppe, Nils Glade, Marius Hilbich, Florian Koenig, Jannis Luennemann, Nils Prenner, Kevin Raetz, Thilo Schnelle, Martin Singer, Nicolas Tempelmeier, Raphael Voges |