dblp.uni-trier.dewww.uni-trier.de

Stefan Kowalewski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
25EEStefan 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
2008
24EEJörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich: Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ 2008: 112-124
23EEAshraf Armoush, Falk Salewski, Stefan Kowalewski: Effective Pattern Representation for Safety Critical Embedded Systems. CSSE (4) 2008: 91-97
22EEEva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski: Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ISoLA 2008: 82-92
21 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
20 Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering 2008: 278-280
19 Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) 2008: 85-87
18EEFalk Salewski, Stefan Kowalewski: Hardware/Software Design Considerations for Automotive Embedded Systems. IEEE Trans. Industrial Informatics 4(3): 156-163 (2008)
2007
17EEDirk Wilking, David Schilli, Stefan Kowalewski: Measuring the Human Factor with the Rasch Model. CEE-SET 2007: 157-168
16EEBastian Schlich, Jann Löll, Stefan Kowalewski: Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS 2007: 21-37
15EEFalk Salewski, Stefan Kowalewski: Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. SAFECOMP 2007: 270-275
14EEBastian Schlich, Falk Salewski, Stefan Kowalewski: Applying Model Checking to an Automotive Microcontroller Application. SIES 2007: 209-216
13EEFalk Salewski, Stefan Kowalewski: The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. SIES 2007: 78-85
12 Dirk Wilking, Stefan Kowalewski: Analyzing Software Engineering Processes on Source Code Level. SoMeT 2007: 305-314
2006
11 Jacob Palczynski, Bastian Schlich, Stefan Kowalewski: Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) 2006: 751-755
2005
10EEBernhard 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
8EEMarko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne: Reliability-Oriented Product Line Engineering of Embedded Systems. PFE 2001: 83-100
1999
7EEJö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
6EEJö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
4EEStefan 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)