Timo Gutjahr

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 4

Top Topics

Specification Language

Reactive Systems

Symbolic Execution

Top Venues

Models@run.time

Sci. Comput. Program.

Software Engineering

Publications

Joel Greenyer, Timo Gutjahr
Symbolic Execution for Realizability-Checking of Scenario-based Specifications. Software Engineering (2018)
Joel Greenyer, Timo Gutjahr
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. MoDELS (2017)
Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. Sci. Comput. Program. 149 (2017)
Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König
Scenario-based Specification of Car-to-X systems. Software Engineering (Workshops) (2016)
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
Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots. Models@run.time (2015)