Travelled to:1 × Austria
1 × Germany
1 × Portugal
Collaborated with:∅ C.Dietz S.Kupferschmid K.Dräger J.Hoffmann B.Finkbeiner A.Podelski G.Behrmann
Talks about:generalis (1) railroad (1) abstract (1) program (1) process (1) heurist (1) graphic (1) algebra (1) uppaal (1) specif (1)
Person: Henning Dierks
DBLP: Dierks:Henning
Contributed to:
2007
2000
1997Wrote 3 papers:
- TACAS-2007-KupferschmidDHFDPB #heuristic #model checking
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.
- FASE-2000-Dierks #algebra #process #realtime #source code
- A Process Algebra for Real-Time Programs (HD), pp. 66–81.
- FME-1997-DierksD #case study #reasoning #specification #visual notation
- Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing (HD, CD), pp. 20–39.