default search action
Stefan 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) - [i10]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) - 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]