Olaf Stursberg

	2008
18		Matthias Althoff, Olaf Stursberg, Martin Buss: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. CDC 2008: 4042-4048
17		Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou: Efficient Planning of Autonomous Robots using Hierarchical Decomposition. ICINCO-RA (1) 2008: 262-267
16		Andrea Schankin, Olaf Stursberg, Anna Schubö: The Role of Implicit Context Information in Guiding Visual-Spatial Attention. ICVW 2008: 93-106
15		Sebastian Panek, Sebastian Engell, Subanatarajan Subbiah, Olaf Stursberg: Scheduling of multi-product batch plants based upon timed automata models. Computers & Chemical Engineering 32(1-2): 275-291 (2008)
	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		Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg: Controller Architecture for Safe Cognitive Technical Systems. SAFECOMP 2007: 518-531
	2005
12		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		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		Sebastian Panek, Olaf Stursberg, Sebastian Engell: Optimization of Timed Automata Models Using Mixed-Integer Programming. FORMATS 2003: 73-87
9		James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297
8		Olaf Stursberg, Bruce H. Krogh: Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497
7		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		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		Olaf Stursberg, Sebastian Panek: Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC 2002: 421-435
	2001
4		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		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		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	Matthias Althoff	[18]
2	Nanette Bauer	[11]
3	Martin Buss	[18]
4	Paul W. H. Chung	[4]
5	Edmund M. Clarke	[6] [7]
6	Hao Ding	[13]
7	Sebastian Engell	[10] [11] [12] [14] [15]
8	Ansgar Fehnker	[6] [7]
9	Martin Fritz	[2]
10	Holger Graf	[2]
11	Zhi Han	[6] [7]
12	Ingo Hoffmann	[1] [2]
13	Ralf Huuck	[11]
14	Sebastian Kain	[13]
15	James Kapinski	[9]
16	Stefan Kowalewski	[1] [2] [3]
17	Bruce H. Krogh	[6] [7] [8] [9]
18	Christian Leuxner	[17]
19	Sven Lohmann	[11] [12]
20	Ben Lukoschus	[11]
21	Oded Maler	[9]
22	Joël Ouaknine	[6]
23	Sebastian Panek	[5] [10] [14] [15]
24	Jörg Preußig	[1] [2] [3]
25	Manuel Remelhe	[2] [11]
26	Matthias Rungger	[17]
27	Andrea Schankin	[16]
28	Frank Schiller	[13]
29	Anna Schubö (Anna Schuboe)	[16]
30	Silke Simon	[2]
31	Wassiou Sitou	[17]
32	Bernd Spanfelner	[17]
33	Subanatarajan Subbiah	[14] [15]
34	Michael Theobald	[6] [7]
35	Heinz Treseler	[2] [4]
36	Shuang-Hua Yang	[4]

Colors in the list of coauthors