Stefan Kowalewski

227 papers A* 1A 5B 8C 44Misc 2Journal 49Unranked 117

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Automotive Middleware Performance: Comparison of FastDDS, Zenoh and vSomeIP. ICVES David Philipp Klüner, Lucas Hegerath, Amin Dieter Hatib, Stefan Kowalewski, Bassam Alrifaee, Alexandru Kampmann
2025	J	`jnl`	Automotive Middleware Performance: Comparison of FastDDS, Zenoh and vSomeIP. CoRR David Philipp Klüner, Lucas Hegerath, Amin Dieter Hatib, Stefan Kowalewski, Bassam Alrifaee, Alexandru Kampmann
2025	—	`conf`	Integrated Wheel Sensor Communication Using ESP32 - A Contribution Towards a Digital Twin of the Road System. ITSC Ventseslav Yordanov, Simon Schäfer, Alexander Mann, Stefan Kowalewski, Bassam Alrifaee, Lutz Eckstein
2025	J	`jnl`	Integrated Wheel Sensor Communication using ESP32 - A Contribution towards a Digital Twin of the Road System. CoRR Ventseslav Yordanov, Simon Schäfer, Alexander Mann, Stefan Kowalewski, Bassam Alrifaee, Lutz Eckstein
2025	J	`jnl`	Towards Timing Isolation for Mixed-Criticality Communication in Software-Defined Vehicles. CoRR Lóránt Meszlényi, Julius Kahle, Dominik Püllen, Stefan Kowalewski, Stefan Katzenbeisser, Alexandru Kampmann
2024	J	`jnl`	Designing the user interface of a ventilator under the constraints of a pandemic. Autom. Lavinia Goldermann, Stefan Rakel, Mateusz Buglowski, Armin Mokhtarian, Alexandru Kampmann, Armin Janß, Okan Yilmaz, Frank Beger, Marian Walter, Steffen Leonhardt, Stefan Kowalewski, André Stollenwerk
2024	J	`jnl`	Evaluating the Explainable AI Method Grad-CAM for Breath Classification on Newborn Time Series Data. CoRR Camelia Oprea, Mike Grüne, Mateusz Buglowski, Lena Olivier, Thorsten Orlikowsky, Stefan Kowalewski, Mark Schoberer, André Stollenwerk
2024	—	`conf`	Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size. Principles of Verification (2) Robin Mroß, Marcus Völker, Stefan Kowalewski, Aron Schnakenbeck, Alexander Fay
2024	J	`jnl`	Modern Middlewares for Automated Vehicles: A Tutorial. CoRR David Philipp Klüner, Marius Molz, Alexandru Kampmann, Stefan Kowalewski, Bassam Alrifaee
2023	C	`conf`	A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. INDIN Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023	J	`jnl`	A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. CoRR Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023	—	`conf`	A modular and verifiable software architecture for interconnected medical systems in intensive care. FedCSIS (Communication Papers) Marc Wiartalla, Frederik Berg, Florian Ottersbach, Jan Kühn, Mateusz Buglowski, Stefan Kowalewski, André Stollenwerk
2023	C	`conf`	GRAFCET Reduction Techniques for Model Checking. INDIN Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2023	C	`conf`	Investigating a Pressure Sensitive Surface Layer for Vehicle Localization. IV Simon Schäfer, Hendrik Steidl, Stefan Kowalewski, Bassam Alrifaee
2023	—	`conf`	Safety of Human-Robot Collaboration within the Internet of Production. HCI (29) 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	C	`conf`	Structural Analysis of GRAFCET Control Specifications. ETFA Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023	J	`jnl`	Structural Analysis of GRAFCET Control Specifications. CoRR Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023	J	`jnl`	Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern. Autom. Aron Schnakenbeck, Robin Mross, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023	C	`conf`	Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. ETFA Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2023	J	`jnl`	Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. CoRR Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2022	—	`book`	50 Jahre Studiengang Informatik an der RWTH Helen Bolke-Hermanns, Joost-Pieter Katoen, Klaus Indermark, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas
2022	C	`conf`	Automatic Test Suite Generation for PLC Software in the Internet of Production. ETFA Marco Grochowski, Marcus Völker, Stefan Kowalewski
2022	C	`conf`	Generation of Coupling Topologies for Multi-Agent Systems using Non-Cooperative Games. IV Maximilian Kloock, Matthis Dirksen, Stefan Kowalewski, Bassam Alrifaee
2022	C	`conf`	Investigating Outdoor Recognition Performance of Infrared Beacons for Infrastructure-based Localization. IV Alexandru Kampmann, Michael Lamberti, Nikola Petrovic, Stefan Kowalewski, Bassam Alrifaee
2022	C	`conf`	Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture. IV Alexandru Kampmann, Maximilian Lüer, Stefan Kowalewski, Bassam Alrifaee
2022	C	`conf`	Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. FMICS Marco Grochowski, Marcus Völker, Stefan Kowalewski
2022	J	`jnl`	Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model. IEEE Access Robin Mross, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2022	C	`conf`	Verification of Behavior Trees using Linear Constrained Horn Clauses. FMICS Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher
2021	—	`conf`	Cyber-Physical Mobility Lab: An Open-Source Platform for Networked and Autonomous Vehicles. ECC Maximilian Kloock, Patrick Scheffe, Janis Maczijewski, Alexandru Kampmann, Armin Mokhtarian, Stefan Kowalewski, Bassam Alrifaee
2021	J	`jnl`	Infrared Beacons for Robust Localization. CoRR Alexandru Kampmann, Michael Lamberti, Nikola Petrovic, Stefan Kowalewski, Bassam Alrifaee
2021	—	`conf`	Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking. ITSC Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee
2020	—	`conf`	Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles. ASD@DATE Armin Mokhtarian, Alexandru Kampmann, Bassam Alrifaee, Stefan Kowalewski, Bastian Lampe, Lutz Eckstein
2020	J	`jnl`	Cyber-Physical Mobility Lab An Open-Source Platform for Networked and Autonomous Vehicles. CoRR Maximilian Kloock, Janis Maczijewski, Patrick Scheffe, Alexandru Kampmann, Armin Mokhtarian, Stefan Kowalewski, Bassam Alrifaee
2020	J	`jnl`	Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion. Autom. Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, Michael Weyrich
2020	J	`jnl`	Leveraging Horn clause solving for compositional verification of PLC software. Discret. Event Dyn. Syst. Dimitri Bohlender, Stefan Kowalewski
2020	J	`jnl`	Networked and Autonomous Model-scale Vehicles for Experiments in Research and Education. CoRR Patrick Scheffe, Janis Maczijewski, Maximilian Kloock, Alexandru Kampmann, Andreas Derks, Stefan Kowalewski, Bassam Alrifaee
2020	J	`jnl`	Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles. CoRR Maximilian Kloock, Patrick Scheffe, Isabelle Tülleners, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
2019	B	`conf`	A Change-Based Heuristic for Static Analysis with Policy Iteration. SAS Marcus Völker, Stefan Kowalewski
2019	—	`conf`	A Dynamic Service-Oriented Software Architecture for Highly Automated Vehicles. ITSC Alexandru Kampmann, Bassam Alrifaee, Markus Kohout, Andreas Wüstenberg, Timo Woopen, Marcus Nolte, Lutz Eckstein, Stefan Kowalewski
2019	—	`conf`	A Portable Implementation of the Real-Time Publish-Subscribe Protocol for Microcontrollers in Distributed Robotic Applications. ITSC Alexandru Kampmann, Andreas Wüstenberg, Bassam Alrifaee, Stefan Kowalewski
2019	—	`conf`	A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course. CyPhy/WESE Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski
2019	—	`conf`	Aided Hand Detection in Thermal Imaging Using RGB Stereo Vision. EMBC Manfred Smieschek, Gregor Kobsik, André Stollenwerk, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer
2019	C	`conf`	Applying Runtime Monitoring to the Industrial Internet of Things. ETFA Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, Christian Brecher
2019	—	`conf`	Distributed Model Predictive Intersection Control of Multiple Vehicles. ITSC Maximilian Kloock, Patrick Scheffe, Sascha Marquardt, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
2019	C	`conf`	Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles. IV Maximilian Kloock, Ludwig Kragl, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
2019	—	`conf`	Networked Model Predictive Vehicle Race Control. ITSC Maximilian Kloock, Patrick Scheffe, Lukas Botz, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
2019	—	`conf`	Testing Safety PLCs Using QuickCheck. CASE David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski
2018	—	`conf`	A New Condition Indicator for Slow-Rotating Roller Chains based on the Angle and Torque of the Driving Motor. CASE Manfred Smieschek, Timo Hinrichs, André Stollenwerk, Stefan Kowalewski, Rudiger Preub
2018	J	`jnl`	Case studies on automated verification with slope boundaries for block diagrams. Comput. Lang. Syst. Struct. Christian Dernehl, Jan Kühn, Stefan Kowalewski
2018	—	`conf`	Controlled Natural Languages for Hazard Analysis and Risk Assessment. CNL Paul Chomicz, Armin Müller-Lerwe, Götz-Philipp Wegner, Rainer Busch, Stefan Kowalewski
2018	—	`conf`	Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications. CASE David Thönnessen, Niklas Reinker, Stefan Rakel, Andrei Svetlakov, Stefan Kowalewski
2018	Misc	`conf`	Cycle-bounded model checking of PLC software via dynamic large-block encoding. SAC Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski
2018	B	`conf`	Design and Verification of Restart-Robust Industrial Control Software. IFM Dimitri Bohlender, Stefan Kowalewski
2018	B	`conf`	Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". IFM Hendrik Simon, Stefan Kowalewski
2017	C	`conf`	A concept for PLC hardware-in-the-loop testing using an extension of structured text. ETFA David Thönnessen, Niklas Reinker, Stefan Rakel, Stefan Kowalewski
2017	C	`conf`	A live static code analysis architecture for PLC software. ETFA Mathias Obster, Stefan Kowalewski
2017	C	`conf`	A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation. ETFA Sebastian Ulewicz, Birgit Vogel-Heuser, Hendrik Simon, Dimitri Bohlender, Mathias Obster, Stefan Kowalewski
2017	C	`conf`	Applicability of supervisory control theory for the supervision of PLC programs. ETFA Florian Göbe, Selin Aydin, Stefan Kowalewski
2017	J	`jnl`	Continuous gas transfer monitoring during extracorporeal membrane oxygenation. Biomed. Signal Process. Control. Christian Brendle, K.-F. Hackmack, Jan Kühn, Nabil Wardeh, Thorsten Janisch, Rüdiger Kopp, Rolf Rossaint, André Stollenwerk, Stefan Kowalewski, Berno J. E. Misgeld, Steffen Leonhardt, Marian Walter
2017	C	`conf`	Enrichment of a diving computer with body sensor network data. BSN André Stollenwerk, Florian Sehl, Gernot Marx, Stefan Kowalewski, Thorsten Janisch
2017	J	`jnl`	Explicit prioritization of parallel Intent broadcasts in real-time Android. Concurr. Comput. Pract. Exp. Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski
2017	—	`conf`	HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
2017	—	`conf`	Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. GI-Jahrestagung Norman Hansen, Norbert Wiechowski, Alexander Kugler, Stefan Kowalewski, Thomas Rambow, Rainer Busch
2017	J	`jnl`	Multimodales dynamisches Routen mit eNav. AGIT Journal Angew. Geoinformatik Dzenan Dzafic, Nicolas Wagener, Peter Schoonbrood, Dominik Franke, Stefan Kowalewski
2017	—	`conf`	Towards the Use of Controlled Natural Languages in Hazard Analysis and Risk Assessment. Automotive - Safety & Security Paul Chomicz, Armin Müller-Lerwe, Götz-Philipp Wegner, Rainer Busch, Stefan Kowalewski
2017	—	`conf`	Unterstützte Handerkennung in Thermographiebildern zur Validierung der hygienischen Händedesinfektion. Bildverarbeitung für die Medizin Manfred Smieschek, André Stollenwerk, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer
2016	—	`conf`	Abstract Interpretation for Block Diagrams - Two Case Studies. MoDeVVa@MoDELS Christian Dernehl, Jan Kühn, Stefan Kowalewski
2016	—	`conf`	Abstract Interpretation of MATLAB Code with Interval Sets. FMICS-AVoCS Christian Dernehl, Norman Hansen, Stefan Kowalewski
2016	—	`conf`	Architectural Analysis of MATLAB/Simulink Models with Artshop. WICSA Thomas Gerlitz, Stefan Kowalewski
2016	B	`conf`	Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. SEFM Christian Dernehl, Norman Hansen, Stefan Kowalewski
2016	—	`conf`	Concolic test generation for PLC programs using coverage metrics. WODES Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann
2016	J	`jnl`	Das Barrierenerkennungssystem von eNav. AGIT Journal Angew. Geoinformatik Dzenan Dzafic, Florian Lahr, Pierre Schoonbrood, Dominik Franke, Stefan Kowalewski
2016	J	`jnl`	Der Bodenbelag-Detektor des eNav-Systems. AGIT Journal Angew. Geoinformatik Dzenan Dzafic, Daniel Klein-Ridder, Pierre Schoonbrood, Dominik Franke, Stefan Kowalewski
2016	C	`conf`	Evaluating Hand Disinfection with Alcohol-Based Hand Sanitizers Using Thermal Imaging. Software Engineering (Workshops) Manfred Smieschek, André Stollenwerk, Patrick Jüptner, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer
2016	—	`conf`	Flow Sensitive Slicing for MATLAB/Simulink Models. WICSA Thomas Gerlitz, Stefan Kowalewski
2016	—	`conf`	HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. ARCH@CPSWeek Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski
2016	C	`conf`	Reusability and modularity of safety specifications for supervisory control. ETFA Florian Göbe, Oliver Ney, Stefan Kowalewski
2016	C	`conf`	Sensor Supervision and Control Value Limitations in Networked Intensive Care. Software Engineering (Workshops) Jan Kühn, André Stollenwerk, Christian Brendle, Thorsten Janisch, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
2016	C	`conf`	Static analysis of Sequential Function Charts using abstract interpretation. ETFA Hendrik Simon, Stefan Kowalewski
2016	—	`conf`	Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. MBMV Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski
2016	—	`conf`	Synthesis Tool for Automation Controller Supervision. WODES Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski
2015	—	`conf`	A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
2015	—	`conf`	A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems. ADHS Ibtissem Ben Makhlouf, Jonathan Gan, Stefan Kowalewski
2015	B	`conf`	Analyzing the Restart Behavior of Industrial Control Applications. FM Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley
2015	C	`conf`	Automatic test case generation for PLC programs using coverage metrics. ETFA Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski
2015	—	`conf`	Current Challenges in the Verification of Hybrid Systems. CyPhy Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
2015	J	`jnl`	Editorial for the Software Engineering 2013 Conference. Comput. Sci. Res. Dev. Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe
2015	—	`conf`	Priority Inheritance during Remote Procedure Calls in Real-Time Android using Extended Binder Framework. JTRES Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski
2015	J	`jnl`	Routing über Flächen mit SpiderWebGraph. AGIT Journal Angew. Geoinformatik Dzenan Dzafic, Stefan Klug, Dominik Franke, Stefan Kowalewski
2015	C	`conf`	Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver. Software Engineering (Workshops) Jan Kühn, Pierre Schoonbrood, André Stollenwerk, Christian Brendle, Nabil Wardeh, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
2015	C	`conf`	Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data. Software Engineering (Workshops) André Stollenwerk, Jan Kühn, Marian Walter, Christian Brendle, Nabil Wardeh, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
2015	—	`conf`	Static Value Range Analysis for Matlab/Simulink-Models. GI-Jahrestagung Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski
2014	C	`conf`	Applying static code analysis on industrial controller code. ETFA Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski
2014	J	`jnl`	Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik? CoRR Stefan Kowalewski, Bernhard Rumpe, André Stollenwerk
2014	C	`conf`	Development and execution of PLC programs on real-time capable mobile devices. ETFA Mathias Obster, Igor Kalkov, Stefan Kowalewski
2014	—	`conf`	Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich
2014	—	`conf`	Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. ARCH@CPSWeek Ibtissem Ben Makhlouf, Stefan Kowalewski
2014	—	`conf`	Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. ARCH@CPSWeek Ibtissem Ben Makhlouf, Stefan Kowalewski
2014	—	`conf`	Predictable Broadcasting of Parallel Intents in Real-Time Android. JTRES Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski
2014	J	`jnl`	Runtime verification of microcontroller binary code. Sci. Comput. Program. Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
2013	J	`jnl`	Abstract interpretation of microcontroller code: Intervals meet congruences. Sci. Comput. Program. Jörg Brauer, Andy King, Stefan Kowalewski
2013	—	`conf`	An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems. MobiCASE Ashraf Armoush, Dominik Franke, Igor Kalkov, Stefan Kowalewski
2013	—	`conf`	Comparison of reachability methods for uncertain linear time-invariant systems. ECC Ibtissem Ben Makhlouf, Paul Hänsch, Stefan Kowalewski
2013	J	`jnl`	Cyber-physische Systeme. Autom. Birgit Vogel-Heuser, Stefan Kowalewski
2013	—	`conf`	Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung. GI-Jahrestagung Norbert Wiechowski, Thomas Gerlitz, Daniel Merschen, Stefan Kowalewski
2013	J	`jnl`	Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. Int. J. Softw. Tools Technol. Transf. Stefan Kowalewski, Anna Philippou, Jörg Brauer
2013	—	`conf`	Non-blocking garbage collection for real-time Android. JTRES Thomas Gerlitz, Igor Kalkov, John F. Schommer, Dominik Franke, Stefan Kowalewski
2013	C	`conf`	Predicate Abstraction for Programmable Logic Controllers. FMICS Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
2013	J	`jnl`	Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program. María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
2013	—	`conf`	Reachability analysis for managing platoons at intersections. MED Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski
2013	C	`ed.`	Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. März 2013 in Aachen Software Engineering Stefan Kowalewski, Bernhard Rumpe
2013	—	`conf`	Specifying Life Cycle Requirements in a Natural-like Language and ptLTL. ICST Workshops Dominik Franke, Stefan Hempel, Stefan Kowalewski
2012	—	`conf`	A Mobile Software Quality Model. QSIC Dominik Franke, Stefan Kowalewski, Carsten Weise
2012	Misc	`conf`	A Native Approach to Modeling Timed Behavior in the Pi-Calculus. TASE Kamal Barakat, Stefan Kowalewski, Thomas Noll
2012	—	`conf`	A platoon of vehicles approaching an intersection: A testing platform for safe intersections. ITSC Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski
2012	—	`conf`	A real-time extension to the Android platform. JTRES Igor Kalkov, Dominik Franke, John F. Schommer, Stefan Kowalewski
2012	—	`conf`	Access-Based Localization for Octagons. NSAD@SAS Eva Beckschulze, Stefan Kowalewski, Jörg Brauer
2012	—	`conf`	Analysis of Simulink Models Using Databases and Model Transformations. MOMPES Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski
2012	A*	`conf`	Arcade.PLC: a verification platform for programmable logic controllers. ASE Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
2012	—	`conf`	Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers. SEFM Satellite Events Dominik Franke, Stefan Kowalewski
2012	—	`conf`	Design and implementation of a vehicle dynamics control system by means of torque vectoring for an autonomous vehicle. ROBIO Sebastian Reuter, Hilal Diab, Stefan Kowalewski, Eckart Hauck, Sabina Jeschke
2012	—	`conf`	Integration and Analysis of Design Artefacts in Embedded Software Development. COMPSAC Workshops Daniel Merschen, Julian Pott, Stefan Kowalewski
2012	—	`conf`	Invariants for LTI Systems with Uncertain Input. RP Paul Hänsch, Stefan Kowalewski
2012	—	`conf`	Load Balancing for Cross Layer Communication. COMPSAC Workshops John F. Schommer, Dominik Franke, Tim Lange, Stefan Kowalewski
2012	B	`conf`	Loop Leaping with Closures. SAS Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
2012	J	`jnl`	Managing complexity and variability of a model-based embedded software product line. Innov. Syst. Softw. Eng. Andreas Polzer, Daniel Merschen, Goetz Botterweck, Andreas Pleuss, Jacques Thomas, Bernd Hedenetz, Stefan Kowalewski
2012	C	`conf`	Model-Based Analysis of Design Artefacts Applying an Annotation Concept. Software Engineering Daniel Merschen, Yves Duhr, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski
2012	J	`jnl`	Model-driven support for product line evolution on feature level. J. Syst. Softw. Andreas Pleuss, Goetz Botterweck, Deepak Dhungana, Andreas Polzer, Stefan Kowalewski
2012	—	`conf`	Modeling and verification of network protocol specs using timed pi-calculus. ICUMT Kamal Barakat, Stefan Kowalewski
2012	—	`conf`	Range and value-set analysis for programmable logic controllers. WODES Sebastian Biallas, Stefan Kowalewski, Bastian Schlich
2012	—	`conf`	Reverse Engineering and Testing Service Life Cycles of Mobile Platforms. DEXA Workshops Dominik Franke, Corinna Elsemann, Stefan Kowalewski
2012	—	`conf`	Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes. ADHS Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski
2012	—	`conf`	Static Analysis of Lockless Microcontroller C Programs SSV Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
2012	A	`conf`	Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. ICST Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol
2011	—	`conf`	Adaptable Value-Set Analysis for Low-Level Code. SSV Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen
2011	—	`conf`	Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. ISORC Workshops Eva Beckschulze, Jörg Brauer, André Stollenwerk, Stefan Kowalewski
2011	J	`jnl`	Application of static analyses for state-space reduction to the microcontroller binary code. Sci. Comput. Program. Bastian Schlich, Jörg Brauer, Stefan Kowalewski
2011	B	`conf`	Automated Test-Trace Inspection for Microcontroller Binary Code. RV Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski
2011	—	`conf`	Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. SSV Dominique Gückel, Stefan Kowalewski
2011	—	`conf`	Comparing Continous Behavior in Model-based Development of Embedded Software. MBEES Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski
2011	J	`jnl`	Control Design for Generalized Platoon Problems. Autom. Jan P. Maschuw, Hilal Diab, Dirk Abel, Stefan Kowalewski
2011	—	`conf`	Coping with Complexity of Testing Models for Real-Time Embedded Systems. SSIRI (Companion) Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski
2011	—	`conf`	Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. ICST Workshops Jacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer
2011	—	`conf`	Experiences of applying model-based analysis to support the development of automotive software product lines. VaMoS Daniel Merschen, Andreas Polzer, Goetz Botterweck, Stefan Kowalewski
2011	C	`conf`	Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
2011	—	`conf`	Reachability Analysis of Linear Systems with Stepwise Constant Inputs. Hybrid Autonomous Systems@ETAPS Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski
2011	—	`conf`	Reverse Engineering of Mobile Application Lifecycles. WCRE Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise
2011	A	`conf`	Scalable Symbolic Execution of Distributed Systems. ICDCS Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski
2011	—	`conf`	Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students. ICIRA (2) Paul Hänsch, John F. Schommer, Stefan Kowalewski
2011	—	`conf`	Testing Microcontroller Software Simulators. GI-Jahrestagung Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer
2011	—	`conf`	TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp
2010	—	`conf`	A modular, robust and open source microcontroller platform for broad educational usage. WESE André Stollenwerk, Andreas Derks, Stefan Kowalewski, Falk Salewski
2010	—	`conf`	A system for synthesizing abstraction-enabled simulators for binary code verification. SIES Dominique Gückel, Jörg Brauer, Stefan Kowalewski
2010	—	`conf`	A testing platform for cooperative vehicle platoon controllers. ITSC Hilal Diab, Martín G. Chávez Grunewald, Ibtissem Ben Makhlouf, Dirk Abel, Stefan Kowalewski
2010	—	`conf`	Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
2010	—	`conf`	Counterexample-Guided Abstraction Refinement for PLCs. SSV Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
2010	—	`conf`	Design Patterns for Integrating Variability in Timed Automata. SSIRI (Companion) Ralf Mitsching, Carsten Weise, Stefan Kowalewski
2010	—	`conf`	EvoFM: feature-driven planning of product-line evolution. PLEASE@ICSE Goetz Botterweck, Andreas Pleuss, Deepak Dhungana, Andreas Polzer, Stefan Kowalewski
2010	C	`ed.`	Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings FMICS Stefan Kowalewski, Marco Roveri
2010	—	`conf`	KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. IPSN Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle
2010	C	`conf`	Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. CIT Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski
2010	—	`conf`	On-The-Fly Path Reduction. TTSS Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski
2010	C	`conf`	Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS Jörg Brauer, Andy King, Stefan Kowalewski
2010	J	`jnl`	Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods). Autom. Martín Guillermo, Chávez Grunewald, Ibtissem Ben Makhlouf, Hilal Diab, Vicente A. Mut, Stefan Kowalewski, Dirk Abel
2010	C	`conf`	Synthesizing simulators for model checking microcontroller binary code. DDECS Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski
2010	A	`conf`	Test front loading in early stages of automotive software development based on AUTOSAR. DATE Alexander Michailidis, Uwe Spieth, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski
2010	—	`conf`	Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
2010	—	`conf`	Variability and Evolution in Model-based Engineering of Embedded Systems. MBEES Goetz Botterweck, Andreas Polzer, Stefan Kowalewski
2010	—	`conf`	View-supported rollout and evolution of model-based ECU applications. MOMPES Andreas Polzer, Bernd Hedenetz, Daniel Merschen, Goetz Botterweck, Jacques Thomas, Stefan Kowalewski
2009	—	`conf`	An undergraduate embedded software laboratory for the masses. WESE@ESWEEK André Stollenwerk, Chate Jongdee, Stefan Kowalewski
2009	—	`conf`	Applying software product line techniques in model-based embedded systems engineering. MOMPES Andreas Polzer, Stefan Kowalewski, Goetz Botterweck
2009	J	`jnl`	Design Pattern Representation for Safety-Critical Embedded Systems. J. Softw. Eng. Appl. Ashraf Armoush, Falk Salewski, Stefan Kowalewski
2009	—	`conf`	Early Behaviour Modelling for Control Systems. EMS Jacob Palczynski, Stefan Kowalewski
2009	—	`conf`	Evaluation of the real-time Java runtime environment for deployment in time-critical systems. JTRES John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise
2009	—	`conf`	Interactive Configuration of Embedded Systems Product Lines. MAPLE@SPLC Goetz Botterweck, Andreas Polzer, Stefan Kowalewski
2009	—	`conf`	Mapping Requirement Models to Mathematical Models in Control System Development. ECMDA-FA Dominik Schmitz, Ming Zhang, Thomas Rose, Matthias Jarke, Andreas Polzer, Jacob Palczynski, Stefan Kowalewski, Michael Reke
2009	J	`jnl`	Model checking C source code for embedded systems. Int. J. Softw. Tools Technol. Transf. Bastian Schlich, Stefan Kowalewski
2009	—	`conf`	Parallel and Distributed Invariant Checking of Microcontroller Software. SSV Jörg Brauer, Bastian Schlich, Stefan Kowalewski
2009	—	`conf`	Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. EUROMICRO-SEAA Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski
2009	—	`conf`	Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools. ADHS Martín Guillermo, Ibtissem Ben Makhlouf, Stefan Kowalewski, Chávez Grunewald, Dirk Abel
2009	—	`conf`	Stack bounds analysis for microcontroller assembly code. WESS Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski
2009	A	`ed.`	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 TACAS Stefan Kowalewski, Anna Philippou
2009	—	`conf`	Towards feature-driven planning of product-line evolution. FOSD Goetz Botterweck, Andreas Pleuss, Andreas Polzer, Stefan Kowalewski
2009	—	`conf`	Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems. MoDELS (Workshops) Goetz Botterweck, Andreas Polzer, Stefan Kowalewski
2009	—	`conf`	Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems. ACES-MB@MoDELS Goetz Botterweck, Andreas Polzer, Stefan Kowalewski
2009	—	`conf`	Variabilität im modelbasierten Engineering von eingebetteten Systemen. GI Jahrestagung Andreas Polzer, Goetz Botterweck, Stefan Kowalewski, Iris Wangerin
2008	—	`conf`	A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. EUC (1) Ashraf Armoush, Falk Salewski, Stefan Kowalewski
2008	C	`conf`	Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich
2008	—	`conf`	Effective Pattern Representation for Safety Critical Embedded Systems. CSSE (4) Ashraf Armoush, Falk Salewski, Stefan Kowalewski
2008	C	`conf`	Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ISoLA Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski
2008	J	`jnl`	Hardware/Software Design Considerations for Automotive Embedded Systems. IEEE Trans. Ind. Informatics Falk Salewski, Stefan Kowalewski
2008	C	`conf`	Modellbasierte Anforderungserfassung für softwarebasierte Regelungen. Software Engineering Dominik Schmitz, Peter Drews, Frank Hesseier, Matthias Jarke, Stefan Kowalewski, Jacob Palczynski, Andreas Polzer, Michael Reke, Thomas Rose
2008	—	`conf`	Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems. ICIT Ashraf Armoush, Falk Salewski, Stefan Kowalewski
2008	—	`conf`	The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. SIES Falk Salewski, Stefan Kowalewski
2008	C	`conf`	Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer
2008	C	`conf`	Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer
2007	B	`conf`	Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. SAFECOMP Falk Salewski, Stefan Kowalewski
2007	J	`jnl`	An Empirical Evaluation of Refactoring. e Informatica Softw. Eng. J. Dirk Wilking, Umar Farooq Kahn, Stefan Kowalewski
2007	C	`conf`	Analyzing Software Engineering Processes on Source Code Level. SoMeT Dirk Wilking, Stefan Kowalewski
2007	C	`conf`	Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS Bastian Schlich, Jann Löll, Stefan Kowalewski
2007	—	`conf`	Applying Model Checking to an Automotive Microcontroller Application. SIES Bastian Schlich, Falk Salewski, Stefan Kowalewski
2007	J	`jnl`	Bedeutung der Automatisierungstechnik. Autom. Kurt Dirk Bettenhausen, Stefan Kowalewski, Andreas Kugi
2007	J	`jnl`	Hardware platform design decisions in embedded systems: a systematic teaching approach. SIGBED Rev. Falk Salewski, Stefan Kowalewski
2007	—	`conf`	Measuring the Human Factor with the Rasch Model. CEE-SET Dirk Wilking, David Schilli, Stefan Kowalewski
2007	—	`conf`	The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. SIES Falk Salewski, Stefan Kowalewski
2006	—	`conf`	An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems. ADHS Ibtissem Ben Makhlouf, Stefan Kowalewski
2006	—	`conf`	Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) Jacob Palczynski, Bastian Schlich, Stefan Kowalewski
2006	C	`conf`	Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications. IES Falk Salewski, Stefan Kowalewski
2006	C	`conf`	[mc]square: A Model Checker for Microcontroller Code. ISoLA Bastian Schlich, Stefan Kowalewski
2005	—	`conf`	Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
2005	J	`jnl`	Diverse hardware platforms in embedded systems lab courses: a way to teach the differences. SIGBED Rev. Falk Salewski, Dirk Wilking, Stefan Kowalewski
2005	J	`jnl`	Editorial zum Themenheft "Automotive Software Engineering". Inform. Forsch. Entwickl. Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six
2005	J	`jnl`	Zuverlässigkeitsmechanismen für Eingebettete Systeme. Softwaretechnik-Trends Falk Salewski, Stefan Kowalewski
2003	—	`conf`	Anwendungserfahrungen und methodische Anpassungen bei der Einführung von Software-Produktlinien. GI Jahrestagung (1) Oliver Wieland, Andreas Hein, Stefan Kowalewski, John MacGregor, Steffen Thiel
2001	J	`jnl`	An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. Eur. J. Control Stefan Kowalewski, Olaf Stursberg, Nanette Bauer
2001	—	`conf`	Reliability-Oriented Product Line Engineering of Embedded Systems. PFE Marko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne
2000	J	`jnl`	Continuous-discrete interactions in chemical processing plants. Proc. IEEE Sebastian Engell, Stefan Kowalewski, Christian Schulz, Olaf Stursberg
1999	—	`conf`	Approximating switched continuous systems by rectangular automata. ECC Olaf Stursberg, Stefan Kowalewski
1999	—	`conf`	Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. HSCC Jörg Preußig, Olaf Stursberg, Stefan Kowalewski
1999	J	`jnl`	Verification of logic controllers for continuous plants using timed condition/event-system models. Autom. Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg
1998	—	`conf`	An Algorithm for the Approximative Analysis of Rectangular Automata. FTRTFT Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger
1998	J	`jnl`	Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. Parallel Distributed Comput. Pract. Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
1997	—	`conf`	A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. Hybrid Systems Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler
1997	—	`conf`	Comparing Timed C/E Systems with Timed Automata (Abstract). HART Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
1996	—	`conf`	Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. Hybrid Systems Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig
1996	A	`conf`	Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. TACAS Stefan Kowalewski, Jörg Preußig
1995	—	`conf`	Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. EUROSIM Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig