BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Peter:Hans=J=ouml=rg

Contributed to:

TACAS 20122012
CAV 20112011
TACAS 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.