Adrian Godde

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 2

Top Topics

Automated Verification

Reactive Systems

Top Venues

Publications

Adrian Godde, Anne Remke
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. EPEW (2017)
Florian Stahl, Adrian Godde, Bastian Hagedorn, Bastian Köpcke, Martin Rehberger, Gottfried Vossen
High Quality Information Delivery: Demonstrating the Web in Your Pocket for Cineast Tourists. BTW (2015)
Florian Stahl, Adrian Godde, Bastian Hagedorn, Bastian Köpcke, Martin Rehberger, Gottfried Vossen
Implementing the WiPo Architecture. EC-Web (2014)