Travelled to:1 × Estonia
1 × Hungary
1 × USA
Collaborated with:B.Finkbeiner R.Ehlers R.Mattmüller S.Schewe
Talks about:synthesi (3) time (2) composit (1) automata (1) templat (1) synthia (1) control (1) system (1) requir (1) verif (1)
Person: Hans-Jörg Peter
DBLP: Peter:Hans=J=ouml=rg
Contributed to:
2012
20112008Wrote 3 papers:
- TACAS-2012-FinkbeinerP #synthesis
- Template-Based Controller Synthesis for Timed Systems (BF, HJP), pp. 392–406.
- CAV-2011-PeterEM #automaton #named #synthesis #verification
- Synthia: Verification and Synthesis for Timed Automata (HJP, RE, RM), pp. 649–655.
- TACAS-2008-FinkbeinerPS #composition #model checking #named #synthesis
- RESY: Requirement Synthesis for Compositional Model Checking (BF, HJP, SS), pp. 463–466.