


Остановите войну!
for scientists:
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
- 2021
- [c153]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 - [c152]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
- [j37]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) - [j36]Dimitri Bohlender
, Stefan Kowalewski:
Leveraging Horn clause solving for compositional verification of PLC software. Discret. Event Dyn. Syst. 30(1): 1-24 (2020) - [c151]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
- [c150]David Thönnessen, Nick Smallbone, Martin Fabian
, Koen Claessen, Stefan Kowalewski:
Testing Safety PLCs Using QuickCheck. CASE 2019: 1-6 - [c149]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 - [c148]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 - [c147]Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, Christian Brecher:
Applying Runtime Monitoring to the Industrial Internet of Things. ETFA 2019: 348-355 - [c146]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 - [c145]Maximilian Kloock, Patrick Scheffe, Lukas Botz, Janis Maczijewski, Bassam Alrifaee
, Stefan Kowalewski:
Networked Model Predictive Vehicle Race Control. ITSC 2019: 1552-1557 - [c144]Maximilian Kloock, Patrick Scheffe, Sascha Marquardt, Janis Maczijewski, Bassam Alrifaee
, Stefan Kowalewski:
Distributed Model Predictive Intersection Control of Multiple Vehicles. ITSC 2019: 1735-1740 - [c143]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 - [c142]Maximilian Kloock, Ludwig Kragl, Janis Maczijewski, Bassam Alrifaee
, Stefan Kowalewski:
Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles. IV 2019: 1620-1625 - [c141]Marcus Völker, Stefan Kowalewski:
A Change-Based Heuristic for Static Analysis with Policy Iteration. SAS 2019: 73-95 - 2018
- [j35]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) - [c140]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 - [c139]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 - [c138]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 - [c137]Dimitri Bohlender, Stefan Kowalewski:
Design and Verification of Restart-Robust Industrial Control Software. IFM 2018: 47-68 - [c136]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 - [c135]Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski:
Cycle-bounded model checking of PLC software via dynamic large-block encoding. SAC 2018: 1891-1898 - 2017
- [j34]Dzenan Dzafic, Nicolas Wagener, Peter Schoonbrood, Dominik Franke, Stefan Kowalewski:
Multimodales dynamisches Routen mit eNav. AGIT Journal Angew. Geoinformatik 3: 278-287 (2017) - [j33]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) - [j32]Igor Kalkov
, Alexandru Gurghian, Stefan Kowalewski:
Explicit prioritization of parallel Intent broadcasts in real-time Android. Concurr. Comput. Pract. Exp. 29(22) (2017) - [c134]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- - [c133]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 - [c132]André Stollenwerk, Florian Sehl, Gernot Marx, Stefan Kowalewski, Thorsten Janisch:
Enrichment of a diving computer with body sensor network data. BSN 2017: 169-172 - [c131]Florian Göbe, Selin Aydin, Stefan Kowalewski:
Applicability of supervisory control theory for the supervision of PLC programs. ETFA 2017: 1-8 - [c130]Mathias Obster, Stefan Kowalewski:
A live static code analysis architecture for PLC software. ETFA 2017: 1-4 - [c129]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 - [c128]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 - [c127]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 - [c126]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
- [j31]Dzenan Dzafic, Florian Lahr, Pierre Schoonbrood, Dominik Franke, Stefan Kowalewski:
Das Barrierenerkennungssystem von eNav. AGIT Journal Angew. Geoinformatik 2: 298-307 (2016) - [j30]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) - [c125]Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski:
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. ARCH@CPSWeek 2016: 68-79 - [c124]Florian Göbe, Oliver Ney, Stefan Kowalewski:
Reusability and modularity of safety specifications for supervisory control. ETFA 2016: 1-8 - [c123]Hendrik Simon, Stefan Kowalewski:
Static analysis of Sequential Function Charts using abstract interpretation. ETFA 2016: 1-4 - [c122]Christian Dernehl, Norman Hansen, Stefan Kowalewski:
Abstract Interpretation of MATLAB Code with Interval Sets. FMICS-AVoCS 2016: 25-38 - [c121]Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski:
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. MBMV 2016: 33-45 - [c120]Christian Dernehl, Jan Kühn, Stefan Kowalewski:
Abstract Interpretation for Block Diagrams - Two Case Studies. MoDeVVa@MoDELS 2016: 20-29 - [c119]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 - [c118]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 - [c117]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 - [c116]Thomas Gerlitz, Stefan Kowalewski:
Flow Sensitive Slicing for MATLAB/Simulink Models. WICSA 2016: 81-90 - [c115]Thomas Gerlitz, Stefan Kowalewski:
Architectural Analysis of MATLAB/Simulink Models with Artshop. WICSA 2016: 307-310 - [c114]Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski:
Synthesis Tool for Automation Controller Supervision. WODES 2016: 424-431 - [c113]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
- [j29]Dzenan Dzafic, Stefan Klug, Dominik Franke, Stefan Kowalewski:
Routing über Flächen mit SpiderWebGraph. AGIT Journal Angew. Geoinformatik 1: 516-525 (2015) - [j28]Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe
:
Editorial for the Software Engineering 2013 Conference. Comput. Sci. Res. Dev. 30(3-4): 229-230 (2015) - [c112]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 - [c111]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 - [c110]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 - [c109]Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley:
Analyzing the Restart Behavior of Industrial Control Applications. FM 2015: 585-588 - [c108]Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski:
Static Value Range Analysis for Matlab/Simulink-Models. GI-Jahrestagung 2015: 1649-1660 - [c107]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 - [c106]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 - [c105]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 - [c104]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
- [j27]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger
, Stefan Kowalewski:
Runtime verification of microcontroller binary code. Sci. Comput. Program. 80: 109-129 (2014) - [c103]Ibtissem Ben Makhlouf, Stefan Kowalewski:
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. ARCH@CPSWeek 2014: 37-42 - [c102]Ibtissem Ben Makhlouf, Stefan Kowalewski:
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. ARCH@CPSWeek 2014: 169-179 - [c101]Mathias Obster, Igor Kalkov, Stefan Kowalewski:
Development and execution of PLC programs on real-time capable mobile devices. ETFA 2014: 1-8 - [c100]Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski:
Applying static code analysis on industrial controller code. ETFA 2014: 1-4 - [c99]Igor Kalkov, Alexandru Gurghian, Stefan Kowalewski:
Predictable Broadcasting of Parallel Intents in Real-Time Android. JTRES 2014: 57 - [c98]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
- [j26]Birgit Vogel-Heuser, Stefan Kowalewski:
Cyber-physische Systeme. Autom. 61(10): 667-668 (2013) - [j25]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: 61-74 (2013) - [j24]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) - [j23]Jörg Brauer, Andy King, Stefan Kowalewski:
Abstract interpretation of microcontroller code: Intervals meet congruences. Sci. Comput. Program. 78(7): 862-883 (2013) - [j22]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) - [c97]Ibtissem Ben Makhlouf, Paul Hänsch, Stefan Kowalewski:
Comparison of reachability methods for uncertain linear time-invariant systems. ECC 2013: 1101-1106 - [c96]Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski:
Predicate Abstraction for Programmable Logic Controllers. FMICS 2013: 123-138 - [c95]Norbert Wiechowski, Thomas Gerlitz, Daniel Merschen, Stefan Kowalewski:
Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung. GI-Jahrestagung 2013: 2502-2516 - [c94]Dominik Franke, Stefan Hempel, Stefan Kowalewski:
Specifying Life Cycle Requirements in a Natural-like Language and ptLTL. ICST Workshops 2013: 120-121 - [c93]Thomas Gerlitz, Igor Kalkov, John F. Schommer, Dominik Franke, Stefan Kowalewski:
Non-blocking garbage collection for real-time Android. JTRES 2013: 108-117 - [c92]Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski:
Reachability analysis for managing platoons at intersections. MED 2013: 1141-1147 - [c91]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
- [j21]Eva Beckschulze, Stefan Kowalewski, Jörg Brauer:
Access-Based Localization for Octagons. Electron. Notes Theor. Comput. Sci. 287: 29-40 (2012) - [j20]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) - [j19]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) - [c90]Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski:
Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes. ADHS 2012: 333-338 - [c89]John F. Schommer, Dominik Franke, Tim Lange, Stefan Kowalewski:
Load Balancing for Cross Layer Communication. COMPSAC Workshops 2012: 476-481 - [c88]Daniel Merschen, Julian Pott, Stefan Kowalewski:
Integration and Analysis of Design Artefacts in Embedded Software Development. COMPSAC Workshops 2012: 503-508 - [c87]Dominik Franke, Corinna Elsemann, Stefan Kowalewski:
Reverse Engineering and Testing Service Life Cycles of Mobile Platforms. DEXA Workshops 2012: 16-20 - [c86]Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol:
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. ICST 2012: 241-250 - [c85]Kamal Barakat, Stefan Kowalewski:
Modeling and verification of network protocol specs using timed pi-calculus. ICUMT 2012: 884-891 - [c84]Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski:
A platoon of vehicles approaching an intersection: A testing platform for safe intersections. ITSC 2012: 1918-1923 - [c83]Igor Kalkov, Dominik Franke, John F. Schommer, Stefan Kowalewski:
A real-time extension to the Android platform. JTRES 2012: 105-114 - [c82]Sebastian Biallas, Jörg Brauer, Stefan Kowalewski:
Arcade.PLC: a verification platform for programmable logic controllers. ASE 2012: 338-341 - [c81]Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski:
Analysis of Simulink Models Using Databases and Model Transformations. MOMPES 2012: 69-84 - [c80]Dominik Franke, Stefan Kowalewski, Carsten Weise:
A Mobile Software Quality Model. QSIC 2012: 154-157 - [c79]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 - [c78]Paul Hänsch, Stefan Kowalewski:
Invariants for LTI Systems with Uncertain Input. RP 2012: 137-148 - [c77]Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski:
Loop Leaping with Closures. SAS 2012: 214-230 - [c76]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 - [c75]Dominik Franke, Stefan Kowalewski:
Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers. SEFM Satellite Events 2012: 140-146 - [c74]Kamal Barakat, Stefan Kowalewski, Thomas Noll
:
A Native Approach to Modeling Timed Behavior in the Pi-Calculus. TASE 2012: 253-256 - [c73]Sebastian Biallas, Stefan Kowalewski, Bastian Schlich:
Range and value-set analysis for programmable logic controllers. WODES 2012: 378-383 - [c72]Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski:
Static Analysis of Lockless Microcontroller C Programs. SSV 2012: 103-114 - 2011
- [j18]Jan P. Maschuw, Hilal Diab, Dirk Abel, Stefan Kowalewski:
Control Design for Generalized Platoon Problems. Autom. 59(12): 721-729 (2011) - [j17]Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski:
On-The-Fly Path Reduction. Electron. Notes Theor. Comput. Sci. 274: 3-16 (2011) - [j16]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) - [c71]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger
, Stefan Kowalewski:
Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS 2011: 37-51 - [c70]Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer:
Testing Microcontroller Software Simulators. GI-Jahrestagung 2011: 333 - [c69]Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski
, Klaus Wehrle
, Carsten Weise, Stefan Kowalewski:
Scalable Symbolic Execution of Distributed Systems. ICDCS 2011: 333-342 - [c68]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 - [c67]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 - [c66]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 - [c65]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 - [c64]Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski:
Comparing Continous Behavior in Model-based Development of Embedded Software. MBEES 2011: 61-70 - [c63]