Henning Dierks

Publication Activity (10 Years)

Years Active: 1996-2012
Publications (10 Years): 0

Top Venues

Sci. Comput. Program.

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

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) (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)
Henning Dierks, Alexander Metzner, Ingo Stierand
Efficient Model-Checking for Real-Time Task Networks. ICESS (2009)
Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
Automatic Abstraction Refinement for Timed Automata. FORMATS (2007)
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)
Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
Adapting an AI Planning Heuristic for Directed Model Checking. SPIN (2006)
Henning Dierks
Comparing model checking and logical reasoning for real-time systems. Formal Aspects Comput. 16 (2) (2004)
Ernst-Rüdiger Olderog, Henning Dierks
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. J. Univers. Comput. Sci. 9 (2) (2003)
Henning Dierks
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Henning Dierks, Marc Lettrari
Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT (2002)
Henning Dierks
PLC-automata: a new class of implementable real-time automata. Theor. Comput. Sci. 253 (1) (2001)
Henning Dierks, Josef Tapken
Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC. Formal Aspects Comput. 12 (4) (2000)
Henning Dierks
A Process Algebra for Real-Time Programs. FASE (2000)
Henning Dierks
Synthesizing controllers from real-time specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (1) (1999)
Henning Dierks
Specification and Verification of Polling Real-Time Systems. Ausgezeichnete Informatikdissertationen (1999)
Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT (1998)
Josef Tapken, Henning Dierks
MOBY/PLC - Graphical Development of PLC-Automata. FTRTFT (1998)
Henning Dierks, Michael Schenke
A Unifying Framework for Correct Program Construction. MPC (1998)
Henning Dierks, Josef Tapken
Tool-supported hierarchical design of distributed real-time systems. ECRTS (1998)
Henning Dierks
PLC-Automata: A New Class of Implementable Real-Time Automata. ARTS (1997)
Henning Dierks, Cheryl Dietz
Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. FME (1997)
Ernst-Rüdiger Olderog, Henning Dierks
Decomposing Real-Time Specifications. COMPOS (1997)
Henning Dierks
Synthesising Controllers from Real-Time Specifications. ISSS (1997)
Henning Dierks
The Production Cell: A Verified Real-Time System. FTRTFT (1996)

Henning Dierks.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Henning Dierks