Hans-Jörg Peter

According to our database, Hans-Jörg Peter authored at least 16 papers between 2008 and 2016.

Collaborative distances:

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

2016

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

Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Shaker Sarwary, Dominique Borrione

Proceedings of the VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability, 2016

Conclusively verifying clock-domain crossings in very large hardware designs.

Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Fahim Rahim, Shaker Sarwary, Dominique Borrione

Proceedings of the 2016 IFIP/IEEE International Conference on Very Large Scale Integration, 2016

2013

A uniform approach to the complexity and analysis of succinct systems.

Hans-Jörg Peter

PhD thesis, 2013

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

Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal

Math. Struct. Comput. Sci., 2013

2012

Template-Based Controller Synthesis for Timed Systems.

Bernd Finkbeiner, Hans-Jörg Peter

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.

Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter

Proceedings of the Infotech@Aerospace 2012, 2012

The Complexity of Bounded Synthesis for Timed Control with Partial Observability.

Hans-Jörg Peter, Bernd Finkbeiner

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Synthia: Verification and Synthesis for Timed Automata.

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

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Synthesising certificates in networks of timed automata.

Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe

IET Softw., 2010

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams.

Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Making the Right Cut in Model Checking Data-Intensive Timed Systems.

Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter

Proceedings of the Formal Methods and Software Engineering, 2010

Combining Symbolic Representations for Solving Timed Games.

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Model Checking the FlexRay Physical Layer Protocol.

Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009

Component-Based Abstraction Refinement for Timed Controller Synthesis.

Hans-Jörg Peter, Robert Mattmüller

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

2008

RESY: Requirement Synthesis for Compositional Model Checking.

Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Synthesizing Certificates in Networks of Timed Automata.

Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008