Hans-Jörg Peter
Title
Cited by
Cited by
Year
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
W Damm, HJ Peter, J Rakow, B Westphal
Mathematical Structures in Computer Science 23 (4), 676-725, 2013
322013
Synthia: Verification and synthesis for timed automata
HJ Peter, R Ehlers, R Mattmüller
International Conference on Computer Aided Verification, 649-655, 2011
262011
Template-based controller synthesis for timed systems
B Finkbeiner, HJ Peter
International Conference on Tools and Algorithms for the Construction and …, 2012
212012
Fully symbolic timed model checking using constraint matrix diagrams
R Ehlers, D Fass, M Gerke, HJ Peter
2010 31st IEEE Real-Time Systems Symposium, 360-371, 2010
202010
Combining symbolic representations for solving timed games
R Ehlers, R Mattmüller, HJ Peter
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
192010
Model checking the flexray physical layer protocol
M Gerke, R Ehlers, B Finkbeiner, HJ Peter
International Workshop on Formal Methods for Industrial Critical Systems …, 2010
182010
Component-based abstraction refinement for timed controller synthesis
HJ Peter, R Mattmüller
2009 30th IEEE Real-Time Systems Symposium, 364-374, 2009
152009
Making the right cut in model checking data-intensive timed systems
R Ehlers, M Gerke, HJ Peter
International Conference on Formal Engineering Methods, 565-580, 2010
72010
Synthesising certificates in networks of timed automata
B Finkbeiner, HJ Peter, S Schewe
IET software 4 (3), 222-235, 2010
72010
Conclusively verifying clock-domain crossings in very large hardware designs
G Plassan, HJ Peter, K Morin-Allory, F Rahim, S Sarwary, D Borrione
2016 IFIP/IEEE International Conference on Very Large Scale Integration …, 2016
22016
RESY: Requirement synthesis for compositional model checking
B Finkbeiner, HJ Peter, S Schewe
International Conference on Tools and Algorithms for the Construction and …, 2008
22008
Formal clock network analysis, visualization, verification and generation
MS Sarwary, HJ Peter, G Plassan, B Chakrabarti, MH Movahed-ezazi
US Patent 10,599,800, 2020
12020
Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings
G Plassan, HJ Peter, K Morin-Allory, S Sarwary, D Borrione
IFIP/IEEE International Conference on Very Large Scale Integration-System on …, 2016
12016
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers
M Gerke, R Ehlers, B Finkbeiner, HJ Peter
Infotech@ Aerospace 2012, 2583, 2012
12012
A uniform approach to the complexity and analysis of succinct systems.
HJ Peter
Saarland University, 2013
2013
The complexity of bounded synthesis for timed control with partial observability
HJ Peter, B Finkbeiner
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
2012
CONTROLLER PROGRAM SYNTHESIS
HJ Peter
SAARLAND UNIVERSITY, GERMANY, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–17