Stefan Kowalewski

Eva Beckschulze, Stefan Kowalewski, Jörg Brauer: Access-Based Localization for Octagons. Electr. Notes Theor. Comput. Sci. 287: 29-40 (2012)

Andreas Polzer, Daniel Merschen, Goetz Botterweck, Andreas Pleuss, Jacques Thomas, Bernd Hedenetz, Stefan Kowalewski: Managing complexity and variability of a model-based embedded software product line. ISSE 8(1): 35-49 (2012)

Andreas Pleuss, Goetz Botterweck, Deepak Dhungana, Andreas Polzer, Stefan Kowalewski: Model-driven support for product line evolution on feature level. Journal of Systems and Software 85(10): 2261-2274 (2012)

John F. Schommer, Dominik Franke, Tim Lange, Stefan Kowalewski: Load Balancing for Cross Layer Communication. COMPSAC Workshops 2012: 476-481

Daniel Merschen, Julian Pott, Stefan Kowalewski: Integration and Analysis of Design Artefacts in Embedded Software Development. COMPSAC Workshops 2012: 503-508

Dominik Franke, Corinna Elsemann, Stefan Kowalewski: Reverse Engineering and Testing Service Life Cycles of Mobile Platforms. DEXA Workshops 2012: 16-20

Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol: Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. ICST 2012: 241-250

Kamal Barakat, Stefan Kowalewski: Modeling and verification of network protocol specs using timed pi-calculus. ICUMT 2012: 884-891

Igor Kalkov, Dominik Franke, John F. Schommer, Stefan Kowalewski: A real-time extension to the Android platform. JTRES 2012: 105-114

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski: Arcade.PLC: a verification platform for programmable logic controllers. ASE 2012: 338-341

Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski: Analysis of Simulink Models Using Databases and Model Transformations. MOMPES 2012: 69-84

Dominik Franke, Stefan Kowalewski, Carsten Weise: A Mobile Software Quality Model. QSIC 2012: 154-157

S. Reuter, Hilal Diab, Stefan Kowalewski, Eckart Hauck, Sabina Jeschke: Design and implementation of a vehicle dynamics control system by means of torque vectoring for an autonomous vehicle. ROBIO 2012: 1691-1696

Paul Hänsch, Stefan Kowalewski: Invariants for LTI Systems with Uncertain Input. RP 2012: 137-148

Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski: Loop Leaping with Closures. SAS 2012: 214-230

Daniel Merschen, Yves Duhr, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski: Model-Based Analysis of Design Artefacts Applying an Annotation Concept. Software Engineering 2012: 169-180

Kamal Barakat, Stefan Kowalewski, Thomas Noll: A Native Approach to Modeling Timed Behavior in the Pi-Calculus. TASE 2012: 253-256

Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski: Static Analysis of Lockless Microcontroller C Programs. SSV 2012: 103-114

Jan P. Maschuw, Hilal Diab, Dirk Abel, Stefan Kowalewski: Control Design for Generalized Platoon Problems. Automatisierungstechnik 59(12): 721-729 (2011)

Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski: On-The-Fly Path Reduction. Electr. Notes Theor. Comput. Sci. 274: 3-16 (2011)

Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Application of static analyses for state-space reduction to the microcontroller binary code. Sci. Comput. Program. 76(2): 100-118 (2011)

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS 2011: 37-51

Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski: Scalable Symbolic Execution of Distributed Systems. ICDCS 2011: 333-342

Paul Hänsch, John F. Schommer, Stefan Kowalewski: Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students. ICIRA (2) 2011: 297-306

Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp: TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops 2011: 67-74

Jacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer: Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. ICST Workshops 2011: 590-595

Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski: Comparing Continous Behavior in Model-based Development of Embedded Software. MBEES 2011: 61-70

Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski: Automated Test-Trace Inspection for Microcontroller Binary Code. RV 2011: 239-244

Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski: Coping with Complexity of Testing Models for Real-Time Embedded Systems. SSIRI (Companion) 2011: 128-135

Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen: Adaptable Value-Set Analysis for Low-Level Code. SSV 2011: 32-43

Dominique Gückel, Stefan Kowalewski: Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. SSV 2011: 71-83

Daniel Merschen, Andreas Polzer, Goetz Botterweck, Stefan Kowalewski: Experiences of applying model-based analysis to support the development of automotive software product lines. VaMoS 2011: 141-150

Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise: Reverse Engineering of Mobile Application Lifecycles. WCRE 2011: 283-292

Martín Guillermo Chávez Grunewald, Ibtissem Ben Makhlouf, Hilal Diab, Vicente A. Mut, Stefan Kowalewski, Dirk Abel: Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods). Automatisierungstechnik 58(4): 227-235 (2010)

Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski: Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. CIT 2010: 2433-2440

Alexander Michailidis, Uwe Spieth, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski: Test front loading in early stages of automotive software development based on AUTOSAR. DATE 2010: 435-440

Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316

Jörg Brauer, Andy King, Stefan Kowalewski: Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS 2010: 82-98

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich: Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245

Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle: KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. IPSN 2010: 186-196

Goetz Botterweck, Andreas Polzer, Stefan Kowalewski: Variability and Evolution in Model-based Engineering of Embedded Systems. MBEES 2010: 87-96

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS 2010: 101-108

Dominique Gückel, Jörg Brauer, Stefan Kowalewski: A system for synthesizing abstraction-enabled simulators for binary code verification. SIES 2010: 118-127

Ralf Mitsching, Carsten Weise, Stefan Kowalewski: Design Patterns for Integrating Variability in Timed Automata. SSIRI (Companion) 2010: 38-45

Stefan Kowalewski, Marco Roveri (Eds.): Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Lecture Notes in Computer Science 6371, Springer 2010, isbn 978-3-642-15897-1

Jörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)

Ashraf Armoush, Falk Salewski, Stefan Kowalewski: Design Pattern Representation for Safety-Critical Embedded Systems. JSEA 2(1): 1-12 (2009)

Bastian Schlich, Stefan Kowalewski: Model checking C source code for embedded systems. STTT 11(3): 187-202 (2009)

Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009

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

Jacob Palczynski, Stefan Kowalewski: Early Behaviour Modelling for Control Systems. EMS 2009: 148-153

Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski: Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. EUROMICRO-SEAA 2009: 523-527

Andreas Polzer, Goetz Botterweck, Stefan Kowalewski, Iris Wangerin: Variabilität im modelbasierten Engineering von eingebetteten Systemen. GI Jahrestagung 2009: 2702-2710

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

Goetz Botterweck, Andreas Polzer, Stefan Kowalewski: Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems. MoDELS Workshops 2009: 68-82

Goetz Botterweck, Andreas Pleuss, Andreas Polzer, Stefan Kowalewski: Towards feature-driven planning of product-line evolution. FOSD 2009: 109-116

Andreas Polzer, Stefan Kowalewski, Goetz Botterweck: Applying software product line techniques in model-based embedded systems engineering. MOMPES 2009: 2-10

Stefan Kowalewski, Anna Philippou (Eds.): 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. Lecture Notes in Computer Science 5505, Springer 2009, isbn 978-3-642-00767-5

Falk Salewski, Stefan Kowalewski: Hardware/Software Design Considerations for Automotive Embedded Systems. IEEE Trans. Industrial Informatics 4(3): 156-163 (2008)

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

Ashraf Armoush, Falk Salewski, Stefan Kowalewski: Effective Pattern Representation for Safety Critical Embedded Systems. CSSE (4) 2008: 91-97

Ashraf Armoush, Falk Salewski, Stefan Kowalewski: A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. EUC (1) 2008: 484-491

Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski: Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ISoLA 2008: 82-92

Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) 2008: 85-87

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

Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer: Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering 2008: 278-280

Falk Salewski, Stefan Kowalewski: The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. SIES 2008: 141-148

Kurt Dirk Bettenhausen, Stefan Kowalewski, Andreas Kugi: Bedeutung der Automatisierungstechnik. Automatisierungstechnik 55(5): 269-271 (2007)

Dirk Wilking, Umar Farooq Kahn, Stefan Kowalewski: An Empirical Evaluation of Refactoring. e-Informatica 1(1): 27-42 (2007)

Falk Salewski, Stefan Kowalewski: Hardware platform design decisions in embedded systems: a systematic teaching approach. SIGBED Review 4(1): 27-35 (2007)

Bastian Schlich, Jann Löll, Stefan Kowalewski: Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS 2007: 21-37

Dirk Wilking, David Schilli, Stefan Kowalewski: Measuring the Human Factor with the Rasch Model. CEE-SET 2007: 157-168

Falk Salewski, Stefan Kowalewski: Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. SAFECOMP 2007: 270-275

Falk Salewski, Stefan Kowalewski: The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. SIES 2007: 78-85

Bastian Schlich, Falk Salewski, Stefan Kowalewski: Applying Model Checking to an Automotive Microcontroller Application. SIES 2007: 209-216

Dirk Wilking, Stefan Kowalewski: Analyzing Software Engineering Processes on Source Code Level. SoMeT 2007: 305-314

Jacob Palczynski, Bastian Schlich, Stefan Kowalewski: Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) 2006: 751-755

Bastian Schlich, Stefan Kowalewski: [mc]square: A Model Checker for Microcontroller Code. ISoLA 2006: 466-473

Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six: Editorial zum Themenheft "Automotive Software Engineering". Inform., Forsch. Entwickl. 19(4): 187-188 (2005)

Falk Salewski, Dirk Wilking, Stefan Kowalewski: Diverse hardware platforms in embedded systems lab courses: a way to teach the differences. SIGBED Review 2(4): 70-74 (2005)

Falk Salewski, Stefan Kowalewski: Zuverlässigkeitsmechanismen für Eingebettete Systeme. Softwaretechnik-Trends 25(4) (2005)

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

Stefan Kowalewski, Olaf Stursberg, Nanette Bauer: An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. Eur. J. Control 7(4): 366-381 (2001)

Marko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne: Reliability-Oriented Product Line Engineering of Embedded Systems. PFE 2001: 83-100

Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg: Verification of logic controllers for continuous plants using timed condition/event-system models. Automatica 35(3): 505-518 (1999)

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

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. Scalable Computing: Practice and Experience 1(2) (1998)

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

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

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

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

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

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