Stefan Kowalewski Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Palczynski, Stefan Kowalewski: Early Behaviour Modelling for Control Systems. EMS 2009: 148-153
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshraf Armoush, Eva Beckschulze, Stefan Kowalewski: Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. EUROMICRO-SEAA 2009: 523-527
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoetz Botterweck, Andreas Pleuss, Andreas Polzer, Stefan Kowalewski: Towards feature-driven planning of product-line evolution. FOSD 2009: 109-116
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Polzer, Stefan Kowalewski, Goetz Botterweck: Applying software product line techniques in model-based embedded systems engineering. MOMPES 2009: 2-10
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Schlich, Stefan Kowalewski: Model checking C source code for embedded systems. STTT 11(3): 187-202 (2009)
2008
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich: Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ 2008: 112-124
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshraf Armoush, Falk Salewski, Stefan Kowalewski: Effective Pattern Representation for Safety Critical Embedded Systems. CSSE (4) 2008: 91-97
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshraf Armoush, Falk Salewski, Stefan Kowalewski: A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. EUC (1) 2008: 484-491
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski: Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ISoLA 2008: 82-92
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Salewski, Stefan Kowalewski: The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. SIES 2008: 141-148
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering 2008: 278-280
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) 2008: 85-87
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Salewski, Stefan Kowalewski: Hardware/Software Design Considerations for Automotive Embedded Systems. IEEE Trans. Industrial Informatics 4(3): 156-163 (2008)
2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Wilking, David Schilli, Stefan Kowalewski: Measuring the Human Factor with the Rasch Model. CEE-SET 2007: 157-168
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Schlich, Jann Löll, Stefan Kowalewski: Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS 2007: 21-37
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Salewski, Stefan Kowalewski: Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. SAFECOMP 2007: 270-275
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Schlich, Falk Salewski, Stefan Kowalewski: Applying Model Checking to an Automotive Microcontroller Application. SIES 2007: 209-216
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Salewski, Stefan Kowalewski: The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. SIES 2007: 78-85
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Wilking, Stefan Kowalewski: Analyzing Software Engineering Processes on Source Code Level. SoMeT 2007: 305-314
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Dirk Bettenhausen, Stefan Kowalewski, Andreas Kugi: Bedeutung der Automatisierungstechnik. Automatisierungstechnik 55(5): 269-271 (2007)
2006
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Palczynski, Bastian Schlich, Stefan Kowalewski: Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) 2006: 751-755
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Schlich, Stefan Kowalewski: [mc]square: A Model Checker for Microcontroller Code. ISoLA 2006: 466-473
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six: Editorial zum Themenheft "Automotive Software Engineering". Inform., Forsch. Entwickl. 19(4): 187-188 (2005)
2003
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne: Reliability-Oriented Product Line Engineering of Embedded Systems. PFE 2001: 83-100
1999
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig: Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. Hybrid Systems 1996: 361-377
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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 [26] [27] [35]
2Marko Auerswald [8]
3Jörg Beckers [28]
4Eva Beckschulze [25] [35]
5Kurt Dirk Bettenhausen [13]
6Goetz Botterweck [32] [34]
7Jörg Brauer [30] [31]
8Peter Drews [23]
9Sebastian Engell [1] [5]
10Dominik Franke [33]
11Martin Fritz [4]
12Holger Graf [4]
13Andreas Hein [9]
14Thomas A. Henzinger [6]
15Martin Herrmann [8]
16Frank Hesseier [23]
17Ingo Hoffmann [3] [4]
18Bernhard Hohlfeld [10] [21] [22]
19Ralf Huuck [5]
20Matthias Jarke [23] [37]
21Daniel Klünder [28]
22Bruce H. Krogh [1]
23Andreas Kugi [13]
24Yassine Lakhnech [5]
25Jann Löll [18]
26John MacGregor [9]
27Jacob Palczynski [12] [23] [36] [37]
28Anna Philippou [38]
29Andreas Pleuß (Andreas Pleuss) [34]
30Andreas Polzer [23] [32] [34] [37]
31Jörg Preußig [1] [2] [3] [4] [5] [6] [7]
32Thomas Reinbacher [31]
33Michael Reinfrank [21] [22]
34Michael Reke [23] [37]
35Manuel Remelhe [4]
36Thomas Rose [23] [37]
37Falk Salewski [15] [16] [17] [20] [24] [25] [26] [27]
38David Schilli [19]
39Bastian Schlich [11] [12] [16] [18] [28] [29] [30] [31]
40Dominik Schmitz [23] [37]
41John F. Schommer [33]
42Vincent Schulte-Coerne [8]
43Thomas Siegbert [25]
44Silke Simon [4]
45Hans-Werner Six [10]
46Olaf Stursberg [3] [4] [7]
47Steffen Thiel [9]
48Heinz Treseler [4]
49Luis Urbina [5]
50Carsten Weise [33]
51Oliver Wieland [9]
52Dirk Wilking [14] [19]
53Gerhard Wirrer [21] [22]
54Howard Wong-Toi [6]
55Ming Zhang [37]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)