Henning Dierks

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Sci. Comput. Program. 77(10-11): 1122-1150 (2012)

Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli: Towards Component Based Design of Hybrid Systems: Safety and Stability. Essays in Memory of Amir Pnueli 2010: 96-143

Henning Dierks, Alexander Metzner, Ingo Stierand: Efficient Model-Checking for Real-Time Task Networks. ICESS 2009: 11-18

Ernst-Rüdiger Olderog, Henning Dierks: Real-time systems - formal specification and automatic verification. Cambridge University Press 2008, isbn 978-0-521-88333-7, pp. I-XVI, 1-320

Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen: Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129

Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann: Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682

Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann: Adapting an AI Planning Heuristic for Directed Model Checking. SPIN 2006: 35-52

Henning Dierks: Comparing model checking and logical reasoning for real-time systems. Formal Asp. Comput. 16(2): 104-120 (2004)

Henning Dierks: Moby/RT: A Tool for Specification and Verification of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 82(2): 346 (2003)

Ernst-Rüdiger Olderog, Henning Dierks: Moby/RT: A Tool for Specification and Verification of Real-Time Systems. J. UCS 9(2): 88-105 (2003)

Henning Dierks, Marc Lettrari: Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454

Henning Dierks: PLC-automata: a new class of implementable real-time automata. Theor. Comput. Sci. 253(1): 61-93 (2001)

Henning Dierks, Josef Tapken: Modelling and Verifying of a `Cash-Point Service' Using MOBY/PLC. Formal Asp. Comput. 12(4): 220-221 (2000)

Henning Dierks: A Process Algebra for Real-Time Programs. FASE 2000: 66-81

Henning Dierks: Synthesizing controllers from real-time specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(1): 33-43 (1999)

Henning Dierks, Josef Tapken: Tool-supported hierarchical design of distributed real-time systems. ECRTS 1998: 222-229

Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40

Josef Tapken, Henning Dierks: MOBY/PLC - Graphical Development of PLC-Automata. FTRTFT 1998: 311-314

Henning Dierks, Michael Schenke: A Unifying Framework for Correct Program Construction. MPC 1998: 122-150

Henning Dierks: PLC-Automata: A New Class of Implementable Real-Time Automata. ARTS 1997: 111-125

Ernst-Rüdiger Olderog, Henning Dierks: Decomposing Real-Time Specifications. COMPOS 1997: 465-489

Henning Dierks, Cheryl Dietz: Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. FME 1997: 20-39

Henning Dierks: Synthesising Controllers from Real-Time Specifications. ISSS 1997: 126-133

Henning Dierks: The Production Cell: A Verified Real-Time System. FTRTFT 1996: 208-227