Henning Dierks

	2010
23		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
	2009
22		Henning Dierks, Alexander Metzner, Ingo Stierand: Efficient Model-Checking for Real-Time Task Networks. ICESS 2009: 11-18
	2008
21		Ernst-Rüdiger Olderog, Henning Dierks: Real-time systems - formal specification and automatic verification. Cambridge University Press 2008: I-XVI, 1-320
	2007
20		Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen: Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129
19		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
	2006
18		Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann: Adapting an AI Planning Heuristic for Directed Model Checking. SPIN 2006: 35-52
	2004
17		Henning Dierks: Comparing model checking and logical reasoning for real-time systems. Formal Asp. Comput. 16(2): 104-120 (2004)
	2003
16		Henning Dierks: Moby/RT: A Tool for Specification and Verification of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 82(2): 346 (2003)
15		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)
	2002
14		Henning Dierks, Marc Lettrari: Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454
	2001
13		Henning Dierks: PLC-automata: a new class of implementable real-time automata. Theor. Comput. Sci. 253(1): 61-93 (2001)
	2000
12		Henning Dierks: A Process Algebra for Real-Time Programs. FASE 2000: 66-81
11		Henning Dierks, Josef Tapken: Modelling and Verifying of a `Cash-Point Service' Using MOBY/PLC. Formal Asp. Comput. 12(4): 220-221 (2000)
	1999
10		Henning Dierks: Synthesizing controllers from real-time specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(1): 33-43 (1999)
	1998
9		Henning Dierks, Josef Tapken: Tool-supported hierarchical design of distributed real-time systems. ECRTS 1998: 222-229
8		Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40
7		Josef Tapken, Henning Dierks: MOBY/PLC - Graphical Development of PLC-Automata. FTRTFT 1998: 311-314
6		Henning Dierks, Michael Schenke: A Unifying Framework for Correct Program Construction. MPC 1998: 122-150
	1997
5		Henning Dierks: PLC-Automata: A New Class of Implementable Real-Time Automata. ARTS 1997: 111-125
4		Ernst-Rüdiger Olderog, Henning Dierks: Decomposing Real-Time Specifications. COMPOS 1997: 465-489
3		Henning Dierks, Cheryl Dietz: Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. FME 1997: 20-39
2		Henning Dierks: Synthesising Controllers from Real-Time Specifications. ISSS 1997: 126-133
	1996
1		Henning Dierks: The Production Cell: A Verified Real-Time System. FTRTFT 1996: 208-227

Coauthor Index

1	Gerd Behrmann	[18] [19]
2	Werner Damm	[23]
3	Cheryl Dietz	[3]
4	Klaus Dräger	[19]
5	Ansgar Fehnker	[8]
6	Bernd Finkbeiner	[19]
7	Jörg Hoffmann	[18] [19]
8	Sebastian Kupferschmid	[18] [19] [20]
9	Kim Guldstrand Larsen (Kim G. Larsen)	[20]
10	Marc Lettrari	[14]
11	Angelika Mader	[8]
12	Alexander Metzner	[22]
13	Jens Oehlerking	[23]
14	Ernst-Rüdiger Olderog	[4] [15] [21]
15	Amir Pnueli	[23]
16	Andreas Podelski	[19]
17	Michael Schenke	[6]
18	Ingo Stierand	[22]
19	Josef Tapken	[7] [9] [11]
20	Frits W. Vaandrager	[8]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page