Henning Dierks

According to our database, Henning Dierks authored at least 26 papers between 1996 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

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, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2012

2010

Towards Component Based Design of Hybrid Systems: Safety and Stability.

Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli

Proceedings of the Time for Verification, 2010

2009

Efficient Model-Checking for Real-Time Task Networks.

Henning Dierks, Alexander Metzner, Ingo Stierand

Proceedings of the International Conference on Embedded Software and Systems, 2009

2008

Real-time systems - formal specification and automatic verification.

Ernst-Rüdiger Olderog, Henning Dierks

Cambridge University Press, ISBN: 978-0-521-88333-7, 2008

2007

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.

Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Automatic Abstraction Refinement for Timed Automata.

Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Adapting an AI Planning Heuristic for Directed Model Checking.

Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Time, abstraction and heuristics - automatic verification and planning of timed systems using abstraction and heuristics.

Henning Dierks

Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik 01-06, 2006

2004

Comparing model checking and logical reasoning for real-time systems.

Henning Dierks

Formal Aspects Comput., 2004

2003

Moby/RT: A Tool for Specification and Verification of Real-Time Systems.

Ernst-Rüdiger Olderog, Henning Dierks

J. Univers. Comput. Sci., 2003

Moby/RT: A Tool for Specification and Verification of Real-Time Systems.

Henning Dierks

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

2002

Constructing Test Automata from Graphical Real-Time Requirements.

Henning Dierks, Marc Lettrari

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

PLC-automata: a new class of implementable real-time automata.

Henning Dierks

Theor. Comput. Sci., 2001

2000

Specification and verification of polling real time systems.

Henning Dierks

PhD thesis, 2000

Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC.

Henning Dierks, Josef Tapken

Formal Aspects Comput., 2000

A Process Algebra for Real-Time Programs.

Henning Dierks

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

Synthesizing controllers from real-time specifications.

Henning Dierks

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Specification and Verification of Polling Real-Time Systems.

Henning Dierks

Proceedings of the Ausgezeichnete Informatikdissertationen 1999, 1999

1998

A Unifying Framework for Correct Program Construction.

Henning Dierks, Michael Schenke

Proceedings of the Mathematics of Program Construction, 1998

MOBY/PLC - Graphical Development of PLC-Automata.

Josef Tapken, Henning Dierks

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Operational and Logical Semantics for Polling Real-Time Systems.

Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Tool-supported hierarchical design of distributed real-time systems.

Henning Dierks, Josef Tapken

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

Synthesising Controllers from Real-Time Specifications.

Henning Dierks

Proceedings of the 10th International Symposium on System Synthesis, 1997

Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing.

Henning Dierks, Cheryl Dietz

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Decomposing Real-Time Specifications.

Ernst-Rüdiger Olderog, Henning Dierks

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

The Production Cell: A Verified Real-Time System.

Henning Dierks

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996