Henning Dierks

27 papers A 1B 3Journal 6Unranked 13

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Sci. Comput. Program. Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2010	—	`conf`	Towards Component Based Design of Hybrid Systems: Safety and Stability. Essays in Memory of Amir Pnueli Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli
2009	—	`conf`	Efficient Model-Checking for Real-Time Task Networks. ICESS Henning Dierks, Alexander Metzner, Ingo Stierand
2008	—	`book`	Real-time systems - formal specification and automatic verification. Ernst-Rüdiger Olderog, Henning Dierks
2007	—	`conf`	Automatic Abstraction Refinement for Timed Automata. FORMATS Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
2007	A	`conf`	Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
2006	—	`conf`	Adapting an AI Planning Heuristic for Directed Model Checking. SPIN Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
2006	—	`book`	Time, abstraction and heuristics - automatic verification and planning of timed systems using abstraction and heuristics. Henning Dierks
2004	J	`jnl`	Comparing model checking and logical reasoning for real-time systems. Formal Aspects Comput. Henning Dierks
2003	—	`conf`	Moby/RT: A Tool for Specification and Verification of Real-Time Systems. COCV Henning Dierks
2003	J	`jnl`	Moby/RT: A Tool for Specification and Verification of Real-Time Systems. J. Univers. Comput. Sci. Ernst-Rüdiger Olderog, Henning Dierks
2002	—	`conf`	Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT Henning Dierks, Marc Lettrari
2001	J	`jnl`	PLC-automata: a new class of implementable real-time automata. Theor. Comput. Sci. Henning Dierks
2000	B	`conf`	A Process Algebra for Real-Time Programs. FASE Henning Dierks
2000	J	`jnl`	Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC. Formal Aspects Comput. Henning Dierks, Josef Tapken
2000	—	`—`	Specification and verification of polling real time systems. Henning Dierks
1999	—	`ch.`	Specification and Verification of Polling Real-Time Systems. Ausgezeichnete Informatikdissertationen Henning Dierks
1999	J	`jnl`	Synthesizing controllers from real-time specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Henning Dierks
1998	B	`conf`	A Unifying Framework for Correct Program Construction. MPC Henning Dierks, Michael Schenke
1998	—	`conf`	MOBY/PLC - Graphical Development of PLC-Automata. FTRTFT Josef Tapken, Henning Dierks
1998	—	`conf`	Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
1998	B	`conf`	Tool-supported hierarchical design of distributed real-time systems. ECRTS Henning Dierks, Josef Tapken
1997	—	`conf`	Decomposing Real-Time Specifications. COMPOS Ernst-Rüdiger Olderog, Henning Dierks
1997	—	`conf`	Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. FME Henning Dierks, Cheryl Dietz
1997	—	`conf`	PLC-Automata: A New Class of Implementable Real-Time Automata. ARTS Henning Dierks
1997	—	`conf`	Synthesising Controllers from Real-Time Specifications. ISSS Henning Dierks
1996	—	`conf`	The Production Cell: A Verified Real-Time System. FTRTFT Henning Dierks