| 2026 | ICSA | A Comparison of ROS 2 and AUTOSAR Adaptive Platform Against Industry-Elicited Automotive Middleware Requirements. | Lucas Hegerath, David Philipp Klner, Philipp Pelcz, Viswanatha Reddy Batchu, Marius Molz, Julius Kahle, Thomas Schulik, Stefan Kowalewski, Alexandru Kampmann |
| 2026 | SAFECOMP | MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language. | Marius Molz, Niels Schneider, Sven Lechner, Stefan Kowalewski, Alexandru Kampmann |
| 2023 | ETFA | Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. | Robin Mro, Aron Schnakenbeck, Marcus Vlker, Alexander Fay, Stefan Kowalewski |
| 2023 | ETFA | Structural Analysis of GRAFCET Control Specifications. | Aron Schnakenbeck, Robin Mro, Marcus Vlker, Stefan Kowalewski, Alexander Fay |
| 2023 | FedCSIS | A modular and verifiable software architecture for interconnected medical systems in intensive care. | Marc Wiartalla, Frederik Berg, Florian Ottersbach, Jan Khn, Mateusz Buglowski, Stefan Kowalewski, Andr Stollenwerk |
| 2023 | HCI | Safety of Human-Robot Collaboration within the Internet of Production. | Minh Trinh, Hannah Dammers, Mohamed Behery, Ralph Baier, Thomas Henn, Daniel Gossen, Burkhard Corves, Stefan Kowalewski, Verena Nitsch, Gerhard Lakemeyer, Thomas Gries, Christian Brecher |
| 2023 | INDIN | GRAFCET Reduction Techniques for Model Checking. | Robin Mro, Aron Schnakenbeck, Marcus Vlker, Alexander Fay, Stefan Kowalewski |
| 2023 | INDIN | A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. | Aron Schnakenbeck, Robin Mro, Marcus Vlker, Stefan Kowalewski, Alexander Fay |
| 2022 | ETFA | Automatic Test Suite Generation for PLC Software in the Internet of Production. | Marco Grochowski, Marcus Vlker, Stefan Kowalewski |
| 2022 | FMICS | Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. | Marco Grochowski, Marcus Vlker, Stefan Kowalewski |
| 2022 | FMICS | Verification of Behavior Trees using Linear Constrained Horn Clauses. | Thomas Henn, Marcus Vlker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher |
| 2020 | DATE | Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles. | Armin Mokhtarian, Alexandru Kampmann, Bassam Alrifaee, Stefan Kowalewski, Bastian Lampe, Lutz Eckstein |
| 2019 | ETFA | Applying Runtime Monitoring to the Industrial Internet of Things. | Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, Christian Brecher |
| 2019 | SAS | A Change-Based Heuristic for Static Analysis with Policy Iteration. | Marcus Vlker, Stefan Kowalewski |
| 2018 | IFM | Design and Verification of Restart-Robust Industrial Control Software. | Dimitri Bohlender, Stefan Kowalewski |
| 2018 | IFM | Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". | Hendrik Simon, Stefan Kowalewski |
| 2018 | SAC | Cycle-bounded model checking of PLC software via dynamic large-block encoding. | Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski |
| 2017 | ETFA | Applicability of supervisory control theory for the supervision of PLC programs. | Florian Gbe, Selin Aydin, Stefan Kowalewski |
| 2017 | ETFA | A live static code analysis architecture for PLC software. | Mathias Obster, Stefan Kowalewski |
| 2017 | ETFA | A concept for PLC hardware-in-the-loop testing using an extension of structured text. | David Thnnessen, Niklas Reinker, Stefan Rakel, Stefan Kowalewski |
| 2017 | ETFA | A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation. | Sebastian Ulewicz, Birgit Vogel-Heuser, Hendrik Simon, Dimitri Bohlender, Mathias Obster, Stefan Kowalewski |
| 2017 | GI | Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. | Norman Hansen, Norbert Wiechowski, Alexander Kugler, Stefan Kowalewski, Thomas Rambow, Rainer Busch |
| 2017 | BSN | Enrichment of a diving computer with body sensor network data. | Andr Stollenwerk, Florian Sehl, Gernot Marx, Stefan Kowalewski, Thorsten Janisch |
| 2016 | ETFA | Reusability and modularity of safety specifications for supervisory control. | Florian Gbe, Oliver Ney, Stefan Kowalewski |
| 2016 | ETFA | Static analysis of Sequential Function Charts using abstract interpretation. | Hendrik Simon, Stefan Kowalewski |
| 2016 | FMICS | Abstract Interpretation of MATLAB Code with Interval Sets. | Christian Dernehl, Norman Hansen, Stefan Kowalewski |
| 2016 | MODELS | Abstract Interpretation for Block Diagrams - Two Case Studies. | Christian Dernehl, Jan Khn, Stefan Kowalewski |
| 2016 | SEFM | Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. | Christian Dernehl, Norman Hansen, Stefan Kowalewski |
| 2015 | ETFA | Automatic test case generation for PLC programs using coverage metrics. | Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski |
| 2015 | FM | Analyzing the Restart Behavior of Industrial Control Applications. | Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley |
| 2015 | GI | Static Value Range Analysis for Matlab/Simulink-Models. | Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski |
| 2014 | ETFA | Development and execution of PLC programs on real-time capable mobile devices. | Mathias Obster, Igor Kalkov, Stefan Kowalewski |
| 2014 | ETFA | Applying static code analysis on industrial controller code. | Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski |
| 2013 | FMICS | Predicate Abstraction for Programmable Logic Controllers. | Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski |
| 2013 | GI | Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung. | Norbert Wiechowski, Thomas Gerlitz, Daniel Merschen, Stefan Kowalewski |
| 2013 | ICST | Specifying Life Cycle Requirements in a Natural-like Language and ptLTL. | Dominik Franke, Stefan Hempel, Stefan Kowalewski |
| 2012 | COMPSAC | Integration and Analysis of Design Artefacts in Embedded Software Development. | Daniel Merschen, Julian Pott, Stefan Kowalewski |
| 2012 | COMPSAC | Load Balancing for Cross Layer Communication. | John F. Schommer, Dominik Franke, Tim Lange, Stefan Kowalewski |
| 2012 | ICST | Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. | Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol |
| 2012 | SAS | Loop Leaping with Closures. | Sebastian Biallas, Jrg Brauer, Andy King, Stefan Kowalewski |
| 2012 | SEFM | Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers. | Dominik Franke, Stefan Kowalewski |
| 2012 | TASE | A Native Approach to Modeling Timed Behavior in the Pi-Calculus. | Kamal Barakat, Stefan Kowalewski, Thomas Noll |
| 2011 | FMICS | Past Time LTL Runtime Verification for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
| 2011 | GI | Testing Microcontroller Software Simulators. | Thomas Reinbacher, Dominique Gckel, Stefan Kowalewski, Martin Horauer |
| 2011 | ICDCS | Scalable Symbolic Execution of Distributed Systems. | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski |
| 2011 | ICST | TripleT: Improving Test Responsiveness for High Performance Embedded Systems. | Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp |
| 2011 | ICST | Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. | Jacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer |
| 2011 | ISORC | Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. | Eva Beckschulze, Jrg Brauer, Andr Stollenwerk, Stefan Kowalewski |
| 2011 | RV | Automated Test-Trace Inspection for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski |
| 2010 | DATE | Test front loading in early stages of automotive software development based on AUTOSAR. | Alexander Michailidis, Uwe Spieth, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski |
| 2010 | DDECS | Synthesizing simulators for model checking microcontroller binary code. | Dominique Gckel, Bastian Schlich, Jrg Brauer, Stefan Kowalewski |
| 2010 | FMICS | Range Analysis of Microcontroller Code Using Bit-Level Congruences. | Jrg Brauer, Andy King, Stefan Kowalewski |
| 2010 | ICSE | EvoFM: feature-driven planning of product-line evolution. | Goetz Botterweck, Andreas Pleuss, Deepak Dhungana, Andreas Polzer, Stefan Kowalewski |
| 2009 | CASES | Stack bounds analysis for microcontroller assembly code. | Jrg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski |
| 2009 | GI | Variabilitt im modelbasierten Engineering von eingebetteten Systemen. | Andreas Polzer, Goetz Botterweck, Stefan Kowalewski, Iris Wangerin |
| 2009 | MODELS | Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems. | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
| 2009 | MODELS | Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems. | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
| 2009 | MODELS | Towards feature-driven planning of product-line evolution. | Goetz Botterweck, Andreas Pleuss, Andreas Polzer, Stefan Kowalewski |
| 2009 | SPLC | Interactive Configuration of Embedded Systems Product Lines. | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
| 2008 | CIT | Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems. | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
| 2008 | EUC | A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
| 2008 | ISoLA | Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. | Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski |
| 2007 | FMICS | Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. | Bastian Schlich, Jann Lll, Stefan Kowalewski |
| 2007 | SAFECOMP | Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. | Falk Salewski, Stefan Kowalewski |
| 2007 | SoMeT | Analyzing Software Engineering Processes on Source Code Level. | Dirk Wilking, Stefan Kowalewski |
| 2006 | GI | Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. | Jacob Palczynski, Bastian Schlich, Stefan Kowalewski |
| 2006 | ISoLA | [mc]square: A Model Checker for Microcontroller Code. | Bastian Schlich, Stefan Kowalewski |
| 2003 | GI | Anwendungserfahrungen und methodische Anpassungen bei der Einfhrung von Software-Produktlinien. | Oliver Wieland, Andreas Hein, Stefan Kowalewski, John MacGregor, Steffen Thiel |
| 1996 | TACAS | Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. | Stefan Kowalewski, Jrg Preuig |