Stop the war!Остановите войну!
for scientists:
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
- 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)- 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 - 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]