Stefan Kowalewski

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 73

Top Venues

ETFA

CoRR

ITSC

Publications

Camelia Oprea, Mike Grüne, Mateusz Buglowski, Lena Olivier, Thorsten Orlikowsky, Stefan Kowalewski, Mark Schoberer, André Stollenwerk
Evaluating the Explainable AI Method Grad-CAM for Breath Classification on Newborn Time Series Data. CoRR (2024)
Lavinia Goldermann, Stefan Rakel, Mateusz Buglowski, Armin Mokhtarian, Alexandru Kampmann, Armin Janß, Okan Yilmaz, Frank Beger, Marian Walter, Steffen Leonhardt, Stefan Kowalewski, André Stollenwerk
Designing the user interface of a ventilator under the constraints of a pandemic. Autom. 72 (5) (2024)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. INDIN (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
Structural Analysis of GRAFCET Control Specifications. CoRR (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
GRAFCET Reduction Techniques for Model Checking. INDIN (2023)
Marc Wiartalla, Frederik Berg, Florian Ottersbach, Jan Kühn, Mateusz Buglowski, Stefan Kowalewski, André Stollenwerk
A modular and verifiable software architecture for interconnected medical systems in intensive care. FedCSIS (Communication Papers) (2023)
Minh Trinh, Hannah Dammers, Mohamed Behery, Ralph Baier, Thomas Henn, Daniel Gossen, Burkhard Corves, Stefan Kowalewski, Verena Nitsch, Gerhard Lakemeyer, Thomas Gries, Christian Brecher
Safety of Human-Robot Collaboration within the Internet of Production. HCI (29) (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. CoRR (2023)
Simon Schäfer, Hendrik Steidl, Stefan Kowalewski, Bassam Alrifaee
Investigating a Pressure Sensitive Surface Layer for Vehicle Localization. IV (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. CoRR (2023)
Aron Schnakenbeck, Robin Mross, Marcus Völker, Stefan Kowalewski, Alexander Fay
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern. Autom. 71 (1) (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. ETFA (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
Structural Analysis of GRAFCET Control Specifications. ETFA (2023)
Maximilian Kloock, Matthis Dirksen, Stefan Kowalewski, Bassam Alrifaee
Generation of Coupling Topologies for Multi-Agent Systems using Non-Cooperative Games. IV (2022)
Marco Grochowski, Marcus Völker, Stefan Kowalewski
Automatic Test Suite Generation for PLC Software in the Internet of Production. ETFA (2022)
Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher
Verification of Behavior Trees using Linear Constrained Horn Clauses. FMICS (2022)
Robin Mross, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model. IEEE Access 10 (2022)
Marco Grochowski, Marcus Völker, Stefan Kowalewski
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. FMICS (2022)
Alexandru Kampmann, Maximilian Lüer, Stefan Kowalewski, Bassam Alrifaee
Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture. IV (2022)
Alexandru Kampmann, Michael Lamberti, Nikola Petrovic, Stefan Kowalewski, Bassam Alrifaee
Investigating Outdoor Recognition Performance of Infrared Beacons for Infrastructure-based Localization. IV (2022)
Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking. ITSC (2021)
Maximilian Kloock, Patrick Scheffe, Janis Maczijewski, Alexandru Kampmann, Armin Mokhtarian, Stefan Kowalewski, Bassam Alrifaee
Cyber-Physical Mobility Lab: An Open-Source Platform for Networked and Autonomous Vehicles. ECC (2021)
Alexandru Kampmann, Michael Lamberti, Nikola Petrovic, Stefan Kowalewski, Bassam Alrifaee
Infrared Beacons for Robust Localization. CoRR (2021)
Patrick Scheffe, Janis Maczijewski, Maximilian Kloock, Alexandru Kampmann, Andreas Derks, Stefan Kowalewski, Bassam Alrifaee
Networked and Autonomous Model-scale Vehicles for Experiments in Research and Education. CoRR (2020)
Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, Michael Weyrich
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion. Autom. 68 (1) (2020)
Armin Mokhtarian, Alexandru Kampmann, Bassam Alrifaee, Stefan Kowalewski, Bastian Lampe, Lutz Eckstein
Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles. ASD@DATE (2020)
Maximilian Kloock, Janis Maczijewski, Patrick Scheffe, Alexandru Kampmann, Armin Mokhtarian, Stefan Kowalewski, Bassam Alrifaee
Cyber-Physical Mobility Lab An Open-Source Platform for Networked and Autonomous Vehicles. CoRR (2020)
Maximilian Kloock, Patrick Scheffe, Isabelle Tülleners, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles. CoRR (2020)
Dimitri Bohlender, Stefan Kowalewski
Leveraging Horn clause solving for compositional verification of PLC software. Discret. Event Dyn. Syst. 30 (1) (2020)
Maximilian Kloock, Ludwig Kragl, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles. IV (2019)
Marcus Völker, Stefan Kowalewski
A Change-Based Heuristic for Static Analysis with Policy Iteration. SAS (2019)
Alexandru Kampmann, Bassam Alrifaee, Markus Kohout, Andreas Wüstenberg, Timo Woopen, Marcus Nolte, Lutz Eckstein, Stefan Kowalewski
A Dynamic Service-Oriented Software Architecture for Highly Automated Vehicles. ITSC (2019)
Maximilian Kloock, Patrick Scheffe, Sascha Marquardt, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
Distributed Model Predictive Intersection Control of Multiple Vehicles. ITSC (2019)
Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, Christian Brecher
Applying Runtime Monitoring to the Industrial Internet of Things. ETFA (2019)
Alexandru Kampmann, Andreas Wüstenberg, Bassam Alrifaee, Stefan Kowalewski
A Portable Implementation of the Real-Time Publish-Subscribe Protocol for Microcontrollers in Distributed Robotic Applications. ITSC (2019)
Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course. CyPhy/WESE (2019)
David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski
Testing Safety PLCs Using QuickCheck. CASE (2019)
Manfred Smieschek, Gregor Kobsik, André Stollenwerk, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer
Aided Hand Detection in Thermal Imaging Using RGB Stereo Vision. EMBC (2019)
Maximilian Kloock, Patrick Scheffe, Lukas Botz, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski
Networked Model Predictive Vehicle Race Control. ITSC (2019)
Christian Dernehl, Jan Kühn, Stefan Kowalewski
Case studies on automated verification with slope boundaries for block diagrams. Comput. Lang. Syst. Struct. 54 (2018)
Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski
Cycle-bounded model checking of PLC software via dynamic large-block encoding. SAC (2018)
Dimitri Bohlender, Stefan Kowalewski
Design and Verification of Restart-Robust Industrial Control Software. IFM (2018)
Paul Chomicz, Armin Müller-Lerwe, Götz-Philipp Wegner, Rainer Busch, Stefan Kowalewski
Controlled Natural Languages for Hazard Analysis and Risk Assessment. CNL (2018)
Hendrik Simon, Stefan Kowalewski
Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". IFM (2018)
David Thönnessen, Niklas Reinker, Stefan Rakel, Andrei Svetlakov, Stefan Kowalewski
Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications. CASE (2018)
Manfred Smieschek, Timo Hinrichs, André Stollenwerk, Stefan Kowalewski, Rudiger Preub
A New Condition Indicator for Slow-Rotating Roller Chains based on the Angle and Torque of the Driving Motor. CASE (2018)
Paul Chomicz, Armin Müller-Lerwe, Götz-Philipp Wegner, Rainer Busch, Stefan Kowalewski
Towards the Use of Controlled Natural Languages in Hazard Analysis and Risk Assessment. Automotive - Safety & Security (2017)
Manfred Smieschek, André Stollenwerk, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer
Unterstützte Handerkennung in Thermographiebildern zur Validierung der hygienischen Händedesinfektion. Bildverarbeitung für die Medizin (2017)
Mathias Obster, Stefan Kowalewski
A live static code analysis architecture for PLC software. ETFA (2017)
Sebastian Ulewicz, Birgit Vogel-Heuser, Hendrik Simon, Dimitri Bohlender, Mathias Obster, Stefan Kowalewski
A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation. ETFA (2017)
Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski
Explicit prioritization of parallel Intent broadcasts in real-time Android. Concurr. Comput. Pract. Exp. 29 (22) (2017)
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
Continuous gas transfer monitoring during extracorporeal membrane oxygenation. Biomed. Signal Process. Control. 31 (2017)
Norman Hansen, Norbert Wiechowski, Alexander Kugler, Stefan Kowalewski, Thomas Rambow, Rainer Busch
Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. GI-Jahrestagung (2017)
André Stollenwerk, Florian Sehl, Gernot Marx, Stefan Kowalewski, Thorsten Janisch
Enrichment of a diving computer with body sensor network data. BSN (2017)
Florian Göbe, Selin Aydin, Stefan Kowalewski
Applicability of supervisory control theory for the supervision of PLC programs. ETFA (2017)
Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM (2017)
David Thönnessen, Niklas Reinker, Stefan Rakel, Stefan Kowalewski
A concept for PLC hardware-in-the-loop testing using an extension of structured text. ETFA (2017)
Dzenan Dzafic, Nicolas Wagener, Peter Schoonbrood, Dominik Franke, Stefan Kowalewski
Multimodales dynamisches Routen mit eNav. AGIT Journal Angew. Geoinformatik 3 (2017)
Christian Dernehl, Norman Hansen, Stefan Kowalewski
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. SEFM (2016)
Thomas Gerlitz, Stefan Kowalewski
Flow Sensitive Slicing for MATLAB/Simulink Models. WICSA (2016)
Thomas Gerlitz, Stefan Kowalewski
Architectural Analysis of MATLAB/Simulink Models with Artshop. WICSA (2016)
Christian Dernehl, Norman Hansen, Stefan Kowalewski
Abstract Interpretation of MATLAB Code with Interval Sets. FMICS-AVoCS (2016)
Dzenan Dzafic, Daniel Klein-Ridder, Pierre Schoonbrood, Dominik Franke, Stefan Kowalewski
Der Bodenbelag-Detektor des eNav-Systems. AGIT Journal Angew. Geoinformatik 2 (2016)
Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. ARCH@CPSWeek (2016)
Florian Göbe, Oliver Ney, Stefan Kowalewski
Reusability and modularity of safety specifications for supervisory control. ETFA (2016)
Hendrik Simon, Stefan Kowalewski
Static analysis of Sequential Function Charts using abstract interpretation. ETFA (2016)
Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski
Synthesis Tool for Automation Controller Supervision. WODES (2016)
Manfred Smieschek, André Stollenwerk, Patrick Jüptner, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer
Evaluating Hand Disinfection with Alcohol-Based Hand Sanitizers Using Thermal Imaging. Software Engineering (Workshops) (2016)
Jan Kühn, André Stollenwerk, Christian Brendle, Thorsten Janisch, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
Sensor Supervision and Control Value Limitations in Networked Intensive Care. Software Engineering (Workshops) (2016)
Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. MBMV (2016)
Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann
Concolic test generation for PLC programs using coverage metrics. WODES (2016)
Dzenan Dzafic, Florian Lahr, Pierre Schoonbrood, Dominik Franke, Stefan Kowalewski
Das Barrierenerkennungssystem von eNav. AGIT Journal Angew. Geoinformatik 2 (2016)
Christian Dernehl, Jan Kühn, Stefan Kowalewski
Abstract Interpretation for Block Diagrams - Two Case Studies. MoDeVVa@MoDELS (2016)
André Stollenwerk, Jan Kühn, Marian Walter, Christian Brendle, Nabil Wardeh, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data. Software Engineering (Workshops) (2015)
Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski
Priority Inheritance during Remote Procedure Calls in Real-Time Android using Extended Binder Framework. JTRES (2015)
Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski
Automatic test case generation for PLC programs using coverage metrics. ETFA (2015)
Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski
Static Value Range Analysis for Matlab/Simulink-Models. GI-Jahrestagung (2015)
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
Current Challenges in the Verification of Hybrid Systems. CyPhy (2015)
Ibtissem Ben Makhlouf, Jonathan Gan, Stefan Kowalewski
A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems. ADHS (2015)
Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley
Analyzing the Restart Behavior of Industrial Control Applications. FM (2015)
Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe
Editorial for the Software Engineering 2013 Conference. Comput. Sci. Res. Dev. 30 (3-4) (2015)
Dzenan Dzafic, Stefan Klug, Dominik Franke, Stefan Kowalewski
Routing über Flächen mit SpiderWebGraph. AGIT Journal Angew. Geoinformatik 1 (2015)
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM (2015)
Jan Kühn, Pierre Schoonbrood, André Stollenwerk, Christian Brendle, Nabil Wardeh, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver. Software Engineering (Workshops) (2015)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Runtime verification of microcontroller binary code. Sci. Comput. Program. 80 (2014)
Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski
Applying static code analysis on industrial controller code. ETFA (2014)
Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski
Predictable Broadcasting of Parallel Intents in Real-Time Android. JTRES (2014)
Ibtissem Ben Makhlouf, Stefan Kowalewski
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. ARCH@CPSWeek (2014)
Stefan Kowalewski, Bernhard Rumpe, André Stollenwerk
Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik? CoRR (2014)
Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES (2014)
Mathias Obster, Igor Kalkov, Stefan Kowalewski
Development and execution of PLC programs on real-time capable mobile devices. ETFA (2014)
Ibtissem Ben Makhlouf, Stefan Kowalewski
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. ARCH@CPSWeek (2014)
Jörg Brauer, Andy King, Stefan Kowalewski
Abstract interpretation of microcontroller code: Intervals meet congruences. Sci. Comput. Program. 78 (7) (2013)
Ashraf Armoush, Dominik Franke, Igor Kalkov, Stefan Kowalewski
An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems. MobiCASE (2013)
Thomas Gerlitz, Igor Kalkov, John F. Schommer, Dominik Franke, Stefan Kowalewski
Non-blocking garbage collection for real-time Android. JTRES (2013)
María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program. 78 (7) (2013)
Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski
Reachability Analysis of Linear Systems with Stepwise Constant Inputs. Electron. Notes Theor. Comput. Sci. 297 (2013)
Stefan Kowalewski, Anna Philippou, Jörg Brauer
Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
Predicate Abstraction for Programmable Logic Controllers. FMICS (2013)
Norbert Wiechowski, Thomas Gerlitz, Daniel Merschen, Stefan Kowalewski
Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung. GI-Jahrestagung (2013)

Stefan Kowalewski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Kowalewski