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