Hans-Jörg Peter

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 2

Top Venues

VLSI-SoC

Math. Struct. Comput. Sci.

TACAS

Infotech@Aerospace

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Shaker Sarwary, Dominique Borrione
Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings. VLSI-SoC (Selected Papers) (2016)
Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Fahim Rahim, Shaker Sarwary, Dominique Borrione
Conclusively verifying clock-domain crossings in very large hardware designs. VLSI-SoC (2016)
Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Math. Struct. Comput. Sci. 23 (4) (2013)
Hans-Jörg Peter, Bernd Finkbeiner
The Complexity of Bounded Synthesis for Timed Control with Partial Observability. FORMATS (2012)
Bernd Finkbeiner, Hans-Jörg Peter
Template-Based Controller Synthesis for Timed Systems. TACAS (2012)
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace (2012)
Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller
Synthia: Verification and Synthesis for Timed Automata. CAV (2011)
Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter
Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM (2010)
Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS (2010)
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
Synthesising certificates in networks of timed automata. IET Softw. 4 (3) (2010)
Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter
Combining Symbolic Representations for Solving Timed Games. FORMATS (2010)
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
Model Checking the FlexRay Physical Layer Protocol. FMICS (2010)
Hans-Jörg Peter, Robert Mattmüller
Component-Based Abstraction Refinement for Timed Controller Synthesis. RTSS (2009)
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
RESY: Requirement Synthesis for Compositional Model Checking. TACAS (2008)
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
Synthesizing Certificates in Networks of Timed Automata. RTSS (2008)

Hans-Jörg Peter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans-Jörg Peter