H. Peter

Dynamic Communicating Probabilistic Timed Automata Playing Games by Rüdiger

E. M. Hahn, Rüdiger Ehlers, B. Westphal, 2011 .

Component-Based Abstraction Refinement for Timed Controller Synthesis

Robert Mattmüller, Hans-Jörg Peter, Robert Mattmüller, 2009, 2009 30th IEEE Real-Time Systems Symposium.

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems†

Bernd Westphal, Werner Damm, Jan-Hendrik Rakow, 2013, Mathematical Structures in Computer Science.

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams

Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter, 2010, 2010 31st IEEE Real-Time Systems Symposium.

A uniform approach to the complexity and analysis of succinct systems

Hans-Jörg Peter, H. Peter, 2012 .

Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

Katell Morin-Allory, Dominique Borrione, Guillaume Plassan, 2016, VLSI-SoC.

Synthia: Verification and Synthesis for Timed Automata

Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter, 2011, CAV.

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers

Bernd Finkbeiner, Rüdiger Ehlers, Michael Gerke, 2012, Infotech@Aerospace.