Hans-Jrg Peter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2008–2012
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TACAS | Template-Based Controller Synthesis for Timed Systems. | Bernd Finkbeiner, Hans-Jrg Peter |
| 2011 | CAV | Synthia: Verification and Synthesis for Timed Automata. | Hans-Jrg Peter, Rdiger Ehlers, Robert Mattmller |
| 2010 | FMICS | Model Checking the FlexRay Physical Layer Protocol. | Michael Gerke, Rdiger Ehlers, Bernd Finkbeiner, Hans-Jrg Peter |
| 2010 | ICFEM | Making the Right Cut in Model Checking Data-Intensive Timed Systems. | Rdiger Ehlers, Michael Gerke, Hans-Jrg Peter |
| 2010 | RTSS | Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. | Rdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jrg Peter |
| 2009 | RTSS | Component-Based Abstraction Refinement for Timed Controller Synthesis. | Hans-Jrg Peter, Robert Mattmller |
| 2008 | RTSS | Synthesizing Certificates in Networks of Timed Automata. | Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe |
| 2008 | TACAS | RESY: Requirement Synthesis for Compositional Model Checking. | Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe |