Olaf Stursberg

2007
14		Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg: Scheduling of multi-product batch plants using reachability analysis of timed automata models. ICINCO-ICSO 2007: 141-148
13	EE	Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg: Controller Architecture for Safe Cognitive Technical Systems. SAFECOMP 2007: 518-531
2005
12	EE	Sebastian Engell, Sven Lohmann, Olaf Stursberg: Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. International Journal of Software Engineering and Knowledge Engineering 15(2): 307-312 (2005)
2004
11	EE	Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg: Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540
2003
10	EE	Sebastian Panek, Olaf Stursberg, Sebastian Engell: Optimization of Timed Automata Models Using Mixed-Integer Programming. FORMATS 2003: 73-87
9	EE	James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297
8	EE	Olaf Stursberg, Bruce H. Krogh: Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497
7	EE	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald: Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207
6	EE	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003)
2002
5	EE	Olaf Stursberg, Sebastian Panek: Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC 2002: 421-435
2001
4	EE	Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang: An Open Software Architecture for the Verification of Industrial Controllers. J. UCS 7(1): 37-53 (2001)
1999
3	EE	Jörg Preußig, Olaf Stursberg, Stefan Kowalewski: Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. HSCC 1999: 209-222
1997
2	EE	Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler: A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. Hybrid Systems 1997: 163-185
1996
1		Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig: Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. Hybrid Systems 1996: 361-377

Coauthor Index

1	Nanette Bauer	[11]
2	Paul W. H. Chung	[4]
3	Edmund M. Clarke	[6] [7]
4	Hao Ding	[13]
5	Sebastian Engell	[10] [11] [12] [14]
6	Ansgar Fehnker	[6] [7]
7	Martin Fritz	[2]
8	Holger Graf	[2]
9	Zhi Han	[6] [7]
10	Ingo Hoffmann	[1] [2]
11	Ralf Huuck	[11]
12	Sebastian Kain	[13]
13	James Kapinski	[9]
14	Stefan Kowalewski	[1] [2] [3]
15	Bruce H. Krogh	[6] [7] [8] [9]
16	Sven Lohmann	[11] [12]
17	Ben Lukoschus	[11]
18	Oded Maler	[9]
19	Joël Ouaknine	[6]
20	Sebastian Panek	[5] [10] [14]
21	Jörg Preußig	[1] [2] [3]
22	Manuel Remelhe	[2] [11]
23	Frank Schiller	[13]
24	Silke Simon	[2]
25	Subanatarajan Subbiah	[14]
26	Michael Theobald	[6] [7]
27	Heinz Treseler	[2] [4]
28	Shuang-Hua Yang	[4]

Colors in the list of coauthors