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 × 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 DBLP: Dierks:Henning

Contributed to:

TACAS 20072007
FASE 20002000
FME 19971997

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

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.