default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Kowalewski
Person information
- affiliation: RWTH Aachen University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]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): 484- (2024)- [c171]Robin Mroß, Marcus Völker, Stefan Kowalewski, Aron Schnakenbeck, Alexander Fay:
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size. Principles of Verification (2) 2024: 338-359 - [i11]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 abs/2405.07590 (2024) - [i10]David Philipp Klüner, Marius Molz, Alexandru Kampmann, Stefan Kowalewski, Bassam Alrifaee:
Modern Middlewares for Automated Vehicles: A Tutorial. CoRR abs/2412.07817 (2024) - 2023
- [j35]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): 56-68 (2023) - [c170]Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski:
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. ETFA 2023: 1-8 - [c169]Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay:
Structural Analysis of GRAFCET Control Specifications. ETFA 2023: 1-8 - [c168]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: 345-351 - [c167]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: 86-103 - [c166]Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski:
GRAFCET Reduction Techniques for Model Checking. INDIN 2023: 1-6 - [c165]Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay:
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. INDIN 2023: 1-7 - [c164]Simon Schäfer, Hendrik Steidl, Stefan Kowalewski, Bassam Alrifaee:
Investigating a Pressure Sensitive Surface Layer for Vehicle Localization. IV 2023: 1-6 - [i9]Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay:
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. CoRR abs/2306.04584 (2023) - [i8]Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski:
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. CoRR abs/2307.11556 (2023) - [i7]Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay:
Structural Analysis of GRAFCET Control Specifications. CoRR abs/2307.13703 (2023) - 2022
- [j34]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: 125652-125665 (2022) - [c163]Marco Grochowski, Marcus Völker, Stefan Kowalewski:
Automatic Test Suite Generation for PLC Software in the Internet of Production. ETFA 2022: 1-8 - [c162]Marco Grochowski, Marcus Völker, Stefan Kowalewski:
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. FMICS 2022: 137-154 - [c161]Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher:
Verification of Behavior Trees using Linear Constrained Horn Clauses. FMICS 2022: 211-225 - [c160]Maximilian Kloock, Matthis Dirksen, Stefan Kowalewski, Bassam Alrifaee:
Generation of Coupling Topologies for Multi-Agent Systems using Non-Cooperative Games. IV 2022: 1-8 - [c159]Alexandru Kampmann, Maximilian Lüer, Stefan Kowalewski, Bassam Alrifaee:
Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture. IV 2022: 678-687 - [c158]Alexandru Kampmann, Michael Lamberti, Nikola Petrovic, Stefan Kowalewski, Bassam Alrifaee:
Investigating Outdoor Recognition Performance of Infrared Beacons for Infrastructure-based Localization. IV 2022: 1107-1113 - [e4]Helen Bolke-Hermanns, Joost-Pieter Katoen, Klaus Indermark, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas:
50 Jahre Studiengang Informatik an der RWTH. RWTH Aachen, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften, Germany 2022 - 2021
- [c157]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: 1937-1944 - [c156]Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee:
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking. ITSC 2021: 244-250 - [i6]Alexandru Kampmann, Michael Lamberti, Nikola Petrovic, Stefan Kowalewski, Bassam Alrifaee:
Infrared Beacons for Robust Localization. CoRR abs/2104.09335 (2021) - 2020
- [j33]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): 3-14 (2020) - [j32]Dimitri Bohlender, Stefan Kowalewski:
Leveraging Horn clause solving for compositional verification of PLC software. Discret. Event Dyn. Syst. 30(1): 1-24 (2020) - [c155]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: 4:1-4:8 - [i5]Maximilian Kloock, Patrick Scheffe, Isabelle Tülleners, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski:
Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles. CoRR abs/2002.05755 (2020) - [i4]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 abs/2004.08364 (2020) - [i3]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 abs/2004.10063 (2020)
2010 – 2019
- 2019
- [c154]David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski:
Testing Safety PLCs Using QuickCheck. CASE 2019: 1-6 - [c153]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: 231-246 - [c152]Manfred Smieschek, Gregor Kobsik, André Stollenwerk, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer:
Aided Hand Detection in Thermal Imaging Using RGB Stereo Vision. EMBC 2019: 6314-6317 - [c151]Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, Christian Brecher:
Applying Runtime Monitoring to the Industrial Internet of Things. ETFA 2019: 348-355 - [c150]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: 443-448 - [c149]Maximilian Kloock, Patrick Scheffe, Lukas Botz, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski:
Networked Model Predictive Vehicle Race Control. ITSC 2019: 1552-1557 - [c148]Maximilian Kloock, Patrick Scheffe, Sascha Marquardt, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski:
Distributed Model Predictive Intersection Control of Multiple Vehicles. ITSC 2019: 1735-1740 - [c147]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: 2101-2108 - [c146]Maximilian Kloock, Ludwig Kragl, Janis Maczijewski, Bassam Alrifaee, Stefan Kowalewski:
Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles. IV 2019: 1620-1625 - [c145]Marcus Völker, Stefan Kowalewski:
A Change-Based Heuristic for Static Analysis with Policy Iteration. SAS 2019: 73-95 - 2018
- [j31]Christian Dernehl, Jan Kühn, Stefan Kowalewski:
Case studies on automated verification with slope boundaries for block diagrams. Comput. Lang. Syst. Struct. 54: 528-543 (2018) - [c144]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: 642-644 - [c143]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: 1197-1202 - [c142]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: 41-51 - [c141]Dimitri Bohlender, Stefan Kowalewski:
Design and Verification of Restart-Robust Industrial Control Software. IFM 2018: 47-68 - [c140]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: 367-376 - [c139]Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski:
Cycle-bounded model checking of PLC software via dynamic large-block encoding. SAC 2018: 1891-1898 - 2017
- [j30]Dzenan Dzafic, Nicolas Wagener, Peter Schoonbrood, Dominik Franke, Stefan Kowalewski:
Multimodales dynamisches Routen mit eNav. AGIT Journal Angew. Geoinformatik 3: 278-287 (2017) - [j29]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: 321-330 (2017) - [j28]Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski:
Explicit prioritization of parallel Intent broadcasts in real-time Android. Concurr. Comput. Pract. Exp. 29(22) (2017) - [c138]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: 163- - [c137]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: 147-152 - [c136]André Stollenwerk, Florian Sehl, Gernot Marx, Stefan Kowalewski, Thorsten Janisch:
Enrichment of a diving computer with body sensor network data. BSN 2017: 169-172 - [c135]Florian Göbe, Selin Aydin, Stefan Kowalewski:
Applicability of supervisory control theory for the supervision of PLC programs. ETFA 2017: 1-8 - [c134]Mathias Obster, Stefan Kowalewski:
A live static code analysis architecture for PLC software. ETFA 2017: 1-4 - [c133]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: 1-8 - [c132]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: 1-4 - [c131]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: 1537-1549 - [c130]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: 288-294 - 2016
- [j27]Dzenan Dzafic, Florian Lahr, Pierre Schoonbrood, Dominik Franke, Stefan Kowalewski:
Das Barrierenerkennungssystem von eNav. AGIT Journal Angew. Geoinformatik 2: 298-307 (2016) - [j26]Dzenan Dzafic, Daniel Klein-Ridder, Pierre Schoonbrood, Dominik Franke, Stefan Kowalewski:
Der Bodenbelag-Detektor des eNav-Systems. AGIT Journal Angew. Geoinformatik 2: 318-327 (2016) - [c129]Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski:
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. ARCH@CPSWeek 2016: 68-79 - [c128]Florian Göbe, Oliver Ney, Stefan Kowalewski:
Reusability and modularity of safety specifications for supervisory control. ETFA 2016: 1-8 - [c127]Hendrik Simon, Stefan Kowalewski:
Static analysis of Sequential Function Charts using abstract interpretation. ETFA 2016: 1-4 - [c126]Christian Dernehl, Norman Hansen, Stefan Kowalewski:
Abstract Interpretation of MATLAB Code with Interval Sets. FMICS-AVoCS 2016: 25-38 - [c125]Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski:
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. MBMV 2016: 33-45 - [c124]Christian Dernehl, Jan Kühn, Stefan Kowalewski:
Abstract Interpretation for Block Diagrams - Two Case Studies. MoDeVVa@MoDELS 2016: 20-29 - [c123]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: 174-181 - [c122]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: 187-194 - [c121]Christian Dernehl, Norman Hansen, Stefan Kowalewski:
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. SEFM 2016: 137-152 - [c120]Thomas Gerlitz, Stefan Kowalewski:
Flow Sensitive Slicing for MATLAB/Simulink Models. WICSA 2016: 81-90 - [c119]Thomas Gerlitz, Stefan Kowalewski:
Architectural Analysis of MATLAB/Simulink Models with Artshop. WICSA 2016: 307-310 - [c118]Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski:
Synthesis Tool for Automation Controller Supervision. WODES 2016: 424-431 - [c117]Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann:
Concolic test generation for PLC programs using coverage metrics. WODES 2016: 432-437 - 2015
- [j25]Dzenan Dzafic, Stefan Klug, Dominik Franke, Stefan Kowalewski:
Routing über Flächen mit SpiderWebGraph. AGIT Journal Angew. Geoinformatik 1: 516-525 (2015) - [j24]Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe:
Editorial for the Software Engineering 2013 Conference. Comput. Sci. Res. Dev. 30(3-4): 229-230 (2015) - [c116]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: 13-20 - [c115]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: 8-24 - [c114]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: 1-4 - [c113]Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley:
Analyzing the Restart Behavior of Industrial Control Applications. FM 2015: 585-588 - [c112]Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski:
Static Value Range Analysis for Matlab/Simulink-Models. GI-Jahrestagung 2015: 1649-1660 - [c111]Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski:
Priority Inheritance during Remote Procedure Calls in Real-Time Android using Extended Binder Framework. JTRES 2015: 5:1-5:10 - [c110]Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski:
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM 2015: 408-414 - [c109]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: 1-6 - [c108]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: 19-23 - 2014
- [j23]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski:
Runtime verification of microcontroller binary code. Sci. Comput. Program. 80: 109-129 (2014) - [c107]Ibtissem Ben Makhlouf, Stefan Kowalewski:
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. ARCH@CPSWeek 2014: 37-42 - [c106]Ibtissem Ben Makhlouf, Stefan Kowalewski:
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. ARCH@CPSWeek 2014: 169-179 - [c105]Mathias Obster, Igor Kalkov, Stefan Kowalewski:
Development and execution of PLC programs on real-time capable mobile devices. ETFA 2014: 1-8 - [c104]Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski:
Applying static code analysis on industrial controller code. ETFA 2014: 1-4 - [c103]Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski:
Predictable Broadcasting of Parallel Intents in Real-Time Android. JTRES 2014: 57 - [c102]Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich:
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES 2014: 400-405 - [i2]Stefan Kowalewski, Bernhard Rumpe, André Stollenwerk:
Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik? CoRR abs/1409.0385 (2014) - 2013
- [j22]Birgit Vogel-Heuser, Stefan Kowalewski:
Cyber-physische Systeme. Autom. 61(10): 667-668 (2013) - [j21]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): 775-777 (2013) - [j20]Jörg Brauer, Andy King, Stefan Kowalewski:
Abstract interpretation of microcontroller code: Intervals meet congruences. Sci. Comput. Program. 78(7): 862-883 (2013) - [j19]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): 287-289 (2013) - [c101]Ibtissem Ben Makhlouf, Paul Hänsch, Stefan Kowalewski:
Comparison of reachability methods for uncertain linear time-invariant systems. ECC 2013: 1101-1106 - [c100]Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski:
Predicate Abstraction for Programmable Logic Controllers. FMICS 2013: 123-138 - [c99]Norbert Wiechowski, Thomas Gerlitz, Daniel Merschen, Stefan Kowalewski:
Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung. GI-Jahrestagung 2013: 2502-2516 - [c98]Dominik Franke, Stefan Hempel, Stefan Kowalewski:
Specifying Life Cycle Requirements in a Natural-like Language and ptLTL. ICST Workshops 2013: 120-121 - [c97]Thomas Gerlitz, Igor Kalkov, John F. Schommer, Dominik Franke, Stefan Kowalewski:
Non-blocking garbage collection for real-time Android. JTRES 2013: 108-117 - [c96]Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski:
Reachability analysis for managing platoons at intersections. MED 2013: 1141-1147 - [c95]Ashraf Armoush, Dominik Franke, Igor Kalkov, Stefan Kowalewski:
An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems. MobiCASE 2013: 294-297 - [e3]Stefan Kowalewski, Bernhard Rumpe:
Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. März 2013 in Aachen. LNI P-213, GI 2013, ISBN 978-3-88579-607-7 [contents] - 2012
- [j18]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. Innov. Syst. Softw. Eng. 8(1): 35-49 (2012) - [j17]Andreas Pleuss, Goetz Botterweck, Deepak Dhungana, Andreas Polzer, Stefan Kowalewski:
Model-driven support for product line evolution on feature level. J. Syst. Softw. 85(10): 2261-2274 (2012) - [c94]Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski:
Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes. ADHS 2012: 333-338 - [c93]John F. Schommer, Dominik Franke, Tim Lange, Stefan Kowalewski:
Load Balancing for Cross Layer Communication. COMPSAC Workshops 2012: 476-481 - [c92]Daniel Merschen, Julian Pott, Stefan Kowalewski:
Integration and Analysis of Design Artefacts in Embedded Software Development. COMPSAC Workshops 2012: 503-508 - [c91]Dominik Franke, Corinna Elsemann, Stefan Kowalewski:
Reverse Engineering and Testing Service Life Cycles of Mobile Platforms. DEXA Workshops 2012: 16-20 - [c90]Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol:
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. ICST 2012: 241-250 - [c89]Kamal Barakat, Stefan Kowalewski:
Modeling and verification of network protocol specs using timed pi-calculus. ICUMT 2012: 884-891 - [c88]Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski:
A platoon of vehicles approaching an intersection: A testing platform for safe intersections. ITSC 2012: 1918-1923 - [c87]Igor Kalkov, Dominik Franke, John F. Schommer, Stefan Kowalewski:
A real-time extension to the Android platform. JTRES 2012: 105-114 - [c86]Sebastian Biallas, Jörg Brauer, Stefan Kowalewski:
Arcade.PLC: a verification platform for programmable logic controllers. ASE 2012: 338-341 - [c85]Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski:
Analysis of Simulink Models Using Databases and Model Transformations. MOMPES 2012: 69-84 - [c84]Dominik Franke, Stefan Kowalewski, Carsten Weise:
A Mobile Software Quality Model. QSIC 2012: 154-157 - [c83]Sebastian 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 - [c82]Paul Hänsch, Stefan Kowalewski:
Invariants for LTI Systems with Uncertain Input. RP 2012: 137-148 - [c81]Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski:
Loop Leaping with Closures. SAS 2012: 214-230 - [c80]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 - [c79]Dominik Franke, Stefan Kowalewski:
Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers. SEFM Satellite Events 2012: 140-146 - [c78]Kamal Barakat, Stefan Kowalewski, Thomas Noll:
A Native Approach to Modeling Timed Behavior in the Pi-Calculus. TASE 2012: 253-256 - [c77]Sebastian Biallas, Stefan Kowalewski, Bastian Schlich:
Range and value-set analysis for programmable logic controllers. WODES 2012: 378-383 - [c76]Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski:
Static Analysis of Lockless Microcontroller C Programs. SSV 2012: 103-114 - [c75]Eva Beckschulze, Stefan Kowalewski, Jörg Brauer:
Access-Based Localization for Octagons. NSAD@SAS 2012: 29-40 - 2011
- [j16]Jan P. Maschuw, Hilal Diab, Dirk Abel, Stefan Kowalewski:
Control Design for Generalized Platoon Problems. Autom. 59(12): 721-729 (2011) - [j15]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) - [c74]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski:
Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS 2011: 37-51 - [c73]Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer:
Testing Microcontroller Software Simulators. GI-Jahrestagung 2011: 333 - [c72]Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski:
Scalable Symbolic Execution of Distributed Systems. ICDCS 2011: 333-342 - [c71]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 - [c70]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 - [c69]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 - [c68]Eva Beckschulze, Jörg Brauer, André Stollenwerk, Stefan Kowalewski:
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. ISORC Workshops 2011: 33-40 - [c67]Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski:
Comparing Continous Behavior in Model-based Development of Embedded Software. MBEES 2011: 61-70 - [c66]Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski:
Automated Test-Trace Inspection for Microcontroller Binary Code. RV 2011: 239-244 - [c65]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 - [c64]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 - [c63]Dominique Gückel, Stefan Kowalewski:
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. SSV 2011: 71-83 - [c62]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 - [c61]Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise:
Reverse Engineering of Mobile Application Lifecycles. WCRE 2011: 283-292 - [c60]Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski:
Reachability Analysis of Linear Systems with Stepwise Constant Inputs. Hybrid Autonomous Systems@ETAPS 2011: 61-74 - 2010
- [j14]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). Autom. 58(4): 227-235 (2010) - [c59]Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski:
Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. CIT 2010: 2433-2440 - [c58]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 - [c57]Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski:
Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316 - [c56]André Stollenwerk, Andreas Derks, Stefan Kowalewski, Falk Salewski:
A modular, robust and open source microcontroller platform for broad educational usage. WESE 2010: 8 - [c55]Jörg Brauer, Andy King, Stefan Kowalewski:
Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS 2010: 82-98 - [c54]Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich:
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245 - [c53]Goetz Botterweck, Andreas Pleuss, Deepak Dhungana, Andreas Polzer, Stefan Kowalewski:
EvoFM: feature-driven planning of product-line evolution. PLEASE@ICSE 2010: 24-31 - [c52]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 - [c51]Hilal Diab, Martín G. Chávez Grunewald, Ibtissem Ben Makhlouf, Dirk Abel, Stefan Kowalewski:
A testing platform for cooperative vehicle platoon controllers. ITSC 2010: 1718-1723 - [c50]Goetz Botterweck, Andreas Polzer, Stefan Kowalewski:
Variability and Evolution in Model-based Engineering of Embedded Systems. MBEES 2010: 87-96 - [c49]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 - [c48]Andreas Polzer, Bernd Hedenetz, Daniel Merschen, Goetz Botterweck, Jacques Thomas, Stefan Kowalewski:
View-supported rollout and evolution of model-based ECU applications. MOMPES 2010: 37-44 - [c47]Dominique Gückel, Jörg Brauer, Stefan Kowalewski:
A system for synthesizing abstraction-enabled simulators for binary code verification. SIES 2010: 118-127 - [c46]Ralf Mitsching, Carsten Weise, Stefan Kowalewski:
Design Patterns for Integrating Variability in Timed Automata. SSIRI (Companion) 2010: 38-45 - [c45]Sebastian Biallas, Jörg Brauer, Stefan Kowalewski:
Counterexample-Guided Abstraction Refinement for PLCs. SSV 2010 - [c44]Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski:
On-The-Fly Path Reduction. TTSS 2010: 3-16 - [e2]Stefan Kowalewski, Marco Roveri:
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 [contents]
2000 – 2009
- 2009
- [j13]Ashraf Armoush, Falk Salewski, Stefan Kowalewski:
Design Pattern Representation for Safety-Critical Embedded Systems. J. Softw. Eng. Appl. 2(1): 1-12 (2009) - [j12]Bastian Schlich, Stefan Kowalewski:
Model checking C source code for embedded systems. Int. J. Softw. Tools Technol. Transf. 11(3): 187-202 (2009) - [c43]Martín Guillermo, Ibtissem Ben Makhlouf, Stefan Kowalewski, Chávez Grunewald, Dirk Abel:
Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools. ADHS 2009: 292-297 - [c42]Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski:
Stack bounds analysis for microcontroller assembly code. WESS 2009 - [c41]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 - [c40]Jacob Palczynski, Stefan Kowalewski:
Early Behaviour Modelling for Control Systems. EMS 2009: 148-153 - [c39]André Stollenwerk, Chate Jongdee, Stefan Kowalewski:
An undergraduate embedded software laboratory for the masses. WESE@ESWEEK 2009: 34-41 - [c38]Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski:
Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. EUROMICRO-SEAA 2009: 523-527 - [c37]Andreas Polzer, Goetz Botterweck, Stefan Kowalewski, Iris Wangerin:
Variabilität im modelbasierten Engineering von eingebetteten Systemen. GI Jahrestagung 2009: 2702-2710 - [c36]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 - [c35]Goetz Botterweck, Andreas Polzer, Stefan Kowalewski:
Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems. MoDELS (Workshops) 2009: 68-82 - [c34]Goetz Botterweck, Andreas Polzer, Stefan Kowalewski:
Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems. ACES-MB@MoDELS 2009 - [c33]Goetz Botterweck, Andreas Pleuss, Andreas Polzer, Stefan Kowalewski:
Towards feature-driven planning of product-line evolution. FOSD 2009: 109-116 - [c32]Andreas Polzer, Stefan Kowalewski, Goetz Botterweck:
Applying software product line techniques in model-based embedded systems engineering. MOMPES 2009: 2-10 - [c31]Goetz Botterweck, Andreas Polzer, Stefan Kowalewski:
Interactive Configuration of Embedded Systems Product Lines. MAPLE@SPLC 2009 - [c30]Jörg Brauer, Bastian Schlich, Stefan Kowalewski:
Parallel and Distributed Invariant Checking of Microcontroller Software. SSV 2009: 45-63 - [e1]Stefan 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. Lecture Notes in Computer Science 5505, Springer 2009, ISBN 978-3-642-00767-5 [contents] - 2008
- [j11]Falk Salewski, Stefan Kowalewski:
Hardware/Software Design Considerations for Automotive Embedded Systems. IEEE Trans. Ind. Informatics 4(3): 156-163 (2008) - [c29]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 - [c28]Ashraf Armoush, Falk Salewski, Stefan Kowalewski:
Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems. ICIT 2008: 232-237 - [c27]Ashraf Armoush, Falk Salewski, Stefan Kowalewski:
Effective Pattern Representation for Safety Critical Embedded Systems. CSSE (4) 2008: 91-97 - [c26]Ashraf Armoush, Falk Salewski, Stefan Kowalewski:
A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. EUC (1) 2008: 484-491 - [c25]Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski:
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ISoLA 2008: 82-92 - [c24]Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer:
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) 2008: 85-87 - [c23]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 - [c22]Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer:
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering 2008: 278-280 - [c21]Falk Salewski, Stefan Kowalewski:
The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. SIES 2008: 141-148 - 2007
- [j10]Kurt Dirk Bettenhausen, Stefan Kowalewski, Andreas Kugi:
Bedeutung der Automatisierungstechnik. Autom. 55(5): 269-271 (2007) - [j9]Dirk Wilking, Umar Farooq Kahn, Stefan Kowalewski:
An Empirical Evaluation of Refactoring. e Informatica Softw. Eng. J. 1(1): 27-42 (2007) - [j8]Falk Salewski, Stefan Kowalewski:
Hardware platform design decisions in embedded systems: a systematic teaching approach. SIGBED Rev. 4(1): 27-35 (2007) - [c20]Bastian Schlich, Jann Löll, Stefan Kowalewski:
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS 2007: 21-37 - [c19]Dirk Wilking, David Schilli, Stefan Kowalewski:
Measuring the Human Factor with the Rasch Model. CEE-SET 2007: 157-168 - [c18]Falk Salewski, Stefan Kowalewski:
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. SAFECOMP 2007: 270-275 - [c17]Falk Salewski, Stefan Kowalewski:
The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. SIES 2007: 78-85 - [c16]Bastian Schlich, Falk Salewski, Stefan Kowalewski:
Applying Model Checking to an Automotive Microcontroller Application. SIES 2007: 209-216 - [c15]Dirk Wilking, Stefan Kowalewski:
Analyzing Software Engineering Processes on Source Code Level. SoMeT 2007: 305-314 - 2006
- [c14]Ibtissem Ben Makhlouf, Stefan Kowalewski:
An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems. ADHS 2006: 377-382 - [c13]Jacob Palczynski, Bastian Schlich, Stefan Kowalewski:
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) 2006: 751-755 - [c12]Bastian Schlich, Stefan Kowalewski:
[mc]square: A Model Checker for Microcontroller Code. ISoLA 2006: 466-473 - [c11]Falk Salewski, Stefan Kowalewski:
Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications. IES 2006: 1-4 - 2005
- [j7]Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six:
Editorial zum Themenheft "Automotive Software Engineering". Inform. Forsch. Entwickl. 19(4): 187-188 (2005) - [j6]Falk Salewski, Dirk Wilking, Stefan Kowalewski:
Diverse hardware platforms in embedded systems lab courses: a way to teach the differences. SIGBED Rev. 2(4): 70-74 (2005) - [j5]Falk Salewski, Stefan Kowalewski:
Zuverlässigkeitsmechanismen für Eingebettete Systeme. Softwaretechnik-Trends 25(4) (2005) - [i1]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:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2003
- [c10]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 - 2001
- [j4]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) - [c9]Marko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne:
Reliability-Oriented Product Line Engineering of Embedded Systems. PFE 2001: 83-100 - 2000
- [j3]Sebastian Engell, Stefan Kowalewski, Christian Schulz, Olaf Stursberg:
Continuous-discrete interactions in chemical processing plants. Proc. IEEE 88(7): 1050-1068 (2000)
1990 – 1999
- 1999
- [j2]Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg:
Verification of logic controllers for continuous plants using timed condition/event-system models. Autom. 35(3): 505-518 (1999) - [c8]Olaf Stursberg, Stefan Kowalewski:
Approximating switched continuous systems by rectangular automata. ECC 1999: 3352-3357 - [c7]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 - 1998
- [j1]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. Parallel Distributed Comput. Pract. 1(2) (1998) - [c6]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 - 1997
- [c5]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 - [c4]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 - 1996
- [c3]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 - [c2]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 - 1995
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
