Timo Gutjahr

According to our database, Timo Gutjahr authored at least 4 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Symbolic Execution for Realizability-Checking of Scenario-based Specifications.

Joel Greenyer, Timo Gutjahr

Proceedings of the Software Engineering und Software Management 2018, 2018

2017

ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.

Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz

Sci. Comput. Program., 2017

2016

Scenario-based Specification of Car-to-X systems.

Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

2015

[e-mail] - 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

Proceedings of the 10th International Workshop on [e-mail] co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015