The Production Cell: A Verified Real-Time System. - Henning Dierks (FTRTFT, 1996)

Decomposing Real-Time Specifications. - Ernst-Rüdiger Olderog; Henning Dierks (COMPOS, 1997)

Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. - Henning Dierks; Cheryl Dietz (FME, 1997)

Synthesising Controllers from Real-Time Specifications. - Henning Dierks (ISSS, 1997)

Tool-supported hierarchical design of distributed real-time systems. - Henning Dierks; Josef Tapken (ECRTS, 1998)

Operational and Logical Semantics for Polling Real-Time Systems. - Henning Dierks; Ansgar Fehnker; Angelika Mader; Frits W. Vaandrager (FTRTFT, 1998)

MOBY/PLC - Graphical Development of PLC-Automata. - Josef Tapken; Henning Dierks (FTRTFT, 1998)

A Unifying Framework for Correct Program Construction. - Henning Dierks; Michael Schenke (MPC, 1998)

Specification and Verification of Polling Real-Time Systems. - Henning Dierks (Ausgezeichnete Informatikdissertationen, 1999)

Synthesizing controllers from real-time specifications. - Henning Dierks (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

A Process Algebra for Real-Time Programs. - Henning Dierks (FASE, 2000)

Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC. - Henning Dierks; Josef Tapken (Formal Aspects Comput., 2000)

Specification and verification of polling real time systems. - Henning Dierks (2000)

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

Constructing Test Automata from Graphical Real-Time Requirements. - Henning Dierks; Marc Lettrari (FTRTFT, 2002)

Moby/RT: A Tool for Specification and Verification of Real-Time Systems. - Henning Dierks (COCV@ETAPS, 2003)

Moby/RT: A Tool for Specification and Verification of Real-Time Systems. - Ernst-Rüdiger Olderog; Henning Dierks (J. Univers. Comput. Sci., 2003)

Comparing model checking and logical reasoning for real-time systems. - Henning Dierks (Formal Aspects Comput., 2004)

Time, abstraction and heuristics - automatic verification and planning of timed systems using abstraction and heuristics. - Henning Dierks (2006)

Adapting an AI Planning Heuristic for Directed Model Checking. - Sebastian Kupferschmid; Jörg Hoffmann 001; Henning Dierks; Gerd Behrmann (SPIN, 2006)

Automatic Abstraction Refinement for Timed Automata. - Henning Dierks; Sebastian Kupferschmid; Kim Guldstrand Larsen (FORMATS, 2007)

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

Real-time systems - formal specification and automatic verification. - Ernst-Rüdiger Olderog; Henning Dierks (Cambridge University Press, 2008)

Efficient Model-Checking for Real-Time Task Networks. - Henning Dierks; Alexander Metzner; Ingo Stierand (ICESS, 2009)

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

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