Dr. Hans-Jörg Peter

While being a member of this group or in collaboration with us.

• The Complexity of Bounded Synthesis for Timed Control with Partial Observability
  Hans-Jörg Peter and Bernd Finkbeiner · FORMATS 2012
• FlexRay for Avionics: Automatic Verification with Parametric Physical Layers
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · I@A 2012
• Automatic Protocol Verification with Parametric Physical Layers
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · AVACS Technical Report No. 86
• Template-based Controller Synthesis for Timed Systems
  Bernd Finkbeiner and Hans-Jörg Peter · TACAS 2012
• Synthia: Verification and Synthesis for Timed Automata
  Hans-Jörg Peter, Rüdiger Ehlers and Robert Mattmüller · CAV 2011
• Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams
  Rüdiger Ehlers, Daniel Fass, Michael Gerke and Hans-Jörg Peter · RTSS 2010
• Making the Right Cut in Model Checking Data-Intensive Timed Systems
  Rüdiger Ehlers, Michael Gerke and Hans-Jörg Peter · ICFEM 2010
• Model Checking the FlexRay Physical Layer Protocol
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · FMICS 2010
• Combining Symbolic Representations for Solving Timed Games
  Rüdiger Ehlers, Robert Mattmüller and Hans-Jörg Peter · FORMATS 2010
• Synthesising Certificates in Networks of Timed Automata
  Bernd Finkbeiner, Hans-Jörg Peter and Sven Schewe · IET SEN 2010
• Component-based Abstraction Refinement for Timed Controller Synthesis
  Hans-Jörg Peter and Robert Mattmüller · RTSS 2009
• Synthesizing Certificates in Networks of Timed Automata
  Bernd Finkbeiner, Hans-Jörg Peter and Sven Schewe · RTSS 2008
• RESY: Requirement Synthesis for Compositional Model Checking
  Bernd Finkbeiner, Hans-Jörg Peter and Sven Schewe · TACAS 2008
• Controller Program Synthesis for Industrial Machines
  Hans-Jörg Peter · UdS

While being a member of this group or in collaboration with us.

• A Uniform Approach to the Complexity and Analysis of Succinct Systems
  Hans-Jörg Peter · UdS