Stefan Kowalewski

	2009
34		Stefan Kowalewski, Anna Philippou: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Springer 2009
33		Dominik Schmitz, Ming Zhang, Thomas Rose, Matthias Jarke, Andreas Polzer, Jacob Palczynski, Stefan Kowalewski, Michael Reke: Mapping Requirement Models to Mathematical Models in Control System Development. ECMDA-FA 2009: 253-264
32		Goetz Botterweck, Andreas Pleuss, Andreas Polzer, Stefan Kowalewski: Towards feature-driven planning of product-line evolution. FOSD 2009: 109-116
31		John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise: Evaluation of the real-time Java runtime environment for deployment in time-critical systems. JTRES 2009: 51-60
30		Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009
29		Jörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)
28		Bastian Schlich, Stefan Kowalewski: Model checking C source code for embedded systems. STTT 11(3): 187-202 (2009)
	2008
27		Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich: Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ 2008: 112-124
26		Ashraf Armoush, Falk Salewski, Stefan Kowalewski: Effective Pattern Representation for Safety Critical Embedded Systems. CSSE (4) 2008: 91-97
25		Ashraf Armoush, Falk Salewski, Stefan Kowalewski: A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. EUC (1) 2008: 484-491
24		Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski: Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ISoLA 2008: 82-92
23		Falk Salewski, Stefan Kowalewski: The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. SIES 2008: 141-148
22		Dominik Schmitz, Peter Drews, Frank Hesseier, Matthias Jarke, Stefan Kowalewski, Jacob Palczynski, Andreas Polzer, Michael Reke, Thomas Rose: Modellbasierte Anforderungserfassung für softwarebasierte Regelungen. Software Engineering 2008: 257-271
21		Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering 2008: 278-280
20		Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) 2008: 85-87
19		Falk Salewski, Stefan Kowalewski: Hardware/Software Design Considerations for Automotive Embedded Systems. IEEE Trans. Industrial Informatics 4(3): 156-163 (2008)
	2007
18		Dirk Wilking, David Schilli, Stefan Kowalewski: Measuring the Human Factor with the Rasch Model. CEE-SET 2007: 157-168
17		Bastian Schlich, Jann Löll, Stefan Kowalewski: Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS 2007: 21-37
16		Falk Salewski, Stefan Kowalewski: Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. SAFECOMP 2007: 270-275
15		Bastian Schlich, Falk Salewski, Stefan Kowalewski: Applying Model Checking to an Automotive Microcontroller Application. SIES 2007: 209-216
14		Falk Salewski, Stefan Kowalewski: The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. SIES 2007: 78-85
13		Dirk Wilking, Stefan Kowalewski: Analyzing Software Engineering Processes on Source Code Level. SoMeT 2007: 305-314
	2006
12		Jacob Palczynski, Bastian Schlich, Stefan Kowalewski: Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) 2006: 751-755
11		Bastian Schlich, Stefan Kowalewski: [mc]square: A Model Checker for Microcontroller Code. ISoLA 2006: 466-473
	2005
10		Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six: Editorial zum Themenheft "Automotive Software Engineering". Inform., Forsch. Entwickl. 19(4): 187-188 (2005)
	2003
9		Oliver Wieland, Andreas Hein, Stefan Kowalewski, John MacGregor, Steffen Thiel: Anwendungserfahrungen und methodische Anpassungen bei der Einführung von Software-Produktlinien. GI Jahrestagung (1) 2003: 345-351
	2001
8		Marko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne: Reliability-Oriented Product Line Engineering of Embedded Systems. PFE 2001: 83-100
	1999
7		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
	1998
6		Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger: An Algorithm for the Approximative Analysis of Rectangular Automata. FTRTFT 1998: 228-240
	1997
5		Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Comparing Timed C/E Systems with Timed Automata (Abstract). HART 1997: 81-86
4		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
3		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
2		Stefan Kowalewski, Jörg Preußig: Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. TACAS 1996: 225-240
	1995
1		Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig: Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. EUROSIM 1995: 421-426

Coauthor Index

1	Ashraf Armoush	[25] [26]
2	Marko Auerswald	[8]
3	Jörg Beckers	[27]
4	Eva Beckschulze	[24]
5	Goetz Botterweck	[32]
6	Jörg Brauer	[29] [30]
7	Peter Drews	[22]
8	Sebastian Engell	[1] [5]
9	Dominik Franke	[31]
10	Martin Fritz	[4]
11	Holger Graf	[4]
12	Andreas Hein	[9]
13	Thomas A. Henzinger	[6]
14	Martin Herrmann	[8]
15	Frank Hesseier	[22]
16	Ingo Hoffmann	[3] [4]
17	Bernhard Hohlfeld	[10] [20] [21]
18	Ralf Huuck	[5]
19	Matthias Jarke	[22] [33]
20	Daniel Klünder	[27]
21	Bruce H. Krogh	[1]
22	Yassine Lakhnech	[5]
23	Jann Löll	[17]
24	John MacGregor	[9]
25	Jacob Palczynski	[12] [22] [33]
26	Anna Philippou	[34]
27	Andreas Pleuß (Andreas Pleuss)	[32]
28	Andreas Polzer	[22] [32] [33]
29	Jörg Preußig	[1] [2] [3] [4] [5] [6] [7]
30	Thomas Reinbacher	[30]
31	Michael Reinfrank	[20] [21]
32	Michael Reke	[22] [33]
33	Manuel Remelhe	[4]
34	Thomas Rose	[22] [33]
35	Falk Salewski	[14] [15] [16] [19] [23] [24] [25] [26]
36	David Schilli	[18]
37	Bastian Schlich	[11] [12] [15] [17] [27] [28] [29] [30]
38	Dominik Schmitz	[22] [33]
39	John F. Schommer	[31]
40	Vincent Schulte-Coerne	[8]
41	Thomas Siegbert	[24]
42	Silke Simon	[4]
43	Hans-Werner Six	[10]
44	Olaf Stursberg	[3] [4] [7]
45	Steffen Thiel	[9]
46	Heinz Treseler	[4]
47	Luis Urbina	[5]
48	Carsten Weise	[31]
49	Oliver Wieland	[9]
50	Dirk Wilking	[13] [18]
51	Gerhard Wirrer	[20] [21]
52	Howard Wong-Toi	[6]
53	Ming Zhang	[33]

Colors in the list of coauthors