Stefan Kowalewski
Orcid: 0000-0001-9397-2009Affiliations:
- RWTH Aachen University, Germany
According to our database1,
Stefan Kowalewski
authored at least 208 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern.
Autom., 2023
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023
Proceedings of the HCI in Business, Government and Organizations, 2023
A modular and verifiable software architecture for interconnected medical systems in intensive care.
Proceedings of the Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, 2023
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
2022
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model.
IEEE Access, 2022
Generation of Coupling Topologies for Multi-Agent Systems using Non-Cooperative Games.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
Investigating Outdoor Recognition Performance of Infrared Beacons for Infrastructure-based Localization.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
Proceedings of the Formal Methods for Industrial Critical Systems, 2022
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production.
Proceedings of the Formal Methods for Industrial Critical Systems, 2022
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2021
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021
Cyber-Physical Mobility Lab: An Open-Source Platform for Networked and Autonomous Vehicles.
Proceedings of the 2021 European Control Conference, 2021
2020
Discret. Event Dyn. Syst., 2020
Networked and Autonomous Model-scale Vehicles for Experiments in Research and Education.
CoRR, 2020
Autom., 2020
Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles.
Proceedings of the 2nd International Workshop on Autonomous Systems Design, 2020
2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
A Portable Implementation of the Real-Time Publish-Subscribe Protocol for Microcontrollers in Distributed Robotic Applications.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019
Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019
2018
Comput. Lang. Syst. Struct., 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems".
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Controlled Natural Language, 2018
Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
A New Condition Indicator for Slow-Rotating Roller Chains based on the Angle and Torque of the Driving Motor.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
2017
Concurr. Comput. Pract. Exp., 2017
Biomed. Signal Process. Control., 2017
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017
A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
A concept for PLC hardware-in-the-loop testing using an extension of structured text.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the 14th IEEE International Conference on Wearable and Implantable Body Sensor Networks, 2017
Unterstützte Handerkennung in Thermographiebildern zur Validierung der hygienischen Händedesinfektion.
Proceedings of the Bildverarbeitung für die Medizin 2017 - Algorithmen - Systeme, 2017
Towards the Use of Controlled Natural Languages in Hazard Analysis and Risk Assessment.
Proceedings of the Automotive - Safety & Security 2017, 2017
2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
Evaluating Hand Disinfection with Alcohol-Based Hand Sanitizers Using Thermal Imaging.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
Proceedings of the ARCH@CPSWeek 2016, 2016
2015
Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Priority Inheritance during Remote Procedure Calls in Real-Time Android using Extended Binder Framework.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015
A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
CoRR, 2014
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014
2013
Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009.
Int. J. Softw. Tools Technol. Transf., 2013
Sci. Comput. Program., 2013
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
Sci. Comput. Program., 2013
Proceedings of the Mobile Computing, Applications, and Services, 2013
Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013
Proceedings of the Formal Methods for Industrial Critical Systems, 2013
Proceedings of the 12th European Control Conference, 2013
2012
J. Syst. Softw., 2012
Innov. Syst. Softw. Eng., 2012
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the Reachability Problems - 6th International Workshop, 2012
Design and implementation of a vehicle dynamics control system by means of torque vectoring for an autonomous vehicle.
Proceedings of the 2012 IEEE International Conference on Robotics and Biomimetics, 2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012
A platoon of vehicles approaching an intersection: A testing platform for safe intersections.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012
Proceedings of the 4th International Congress on Ultra Modern Telecommunications and Control Systems, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the 23rd International Workshop on Database and Expert Systems Applications, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Application of static analyses for state-space reduction to the microcontroller binary code.
Sci. Comput. Program., 2011
Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011
Proceedings of the 18th Working Conference on Reverse Engineering, 2011
Experiences of applying model-based analysis to support the development of automotive software product lines.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011
Proceedings of the 6th International Workshop on Systems Software Verification, 2011
Proceedings of the 6th International Workshop on Systems Software Verification, 2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Comparing Continous Behavior in Model-based Development of Embedded Software.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students.
Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
2010
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010
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., 2010
Proceedings of the 5th International Workshop on Systems Software Verification, 2010
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
A system for synthesizing abstraction-enabled simulators for binary code verification.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010
Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, 2010
Proceedings of the FORMS/FORMAT 2010, 2010
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
A modular, robust and open source microcontroller platform for broad educational usage.
Proceedings of the 2010 Workshop on Embedded Systems Education, 2010
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010
Test front loading in early stages of automotive software development based on AUTOSAR.
Proceedings of the Design, Automation and Test in Europe, 2010
Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
J. Softw. Eng. Appl., 2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), 2009
Applying software product line techniques in model-based embedded systems engineering.
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009
Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems.
Proceedings of the Models in Software Engineering, 2009
Evaluation of the real-time Java runtime environment for deployment in time-critical systems.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
Proceedings of the 2009 Workshop on Embedded Systems Education, 2009
Proceedings of the Model Driven Architecture, 2009
Proceedings of the 4th Workshop on Embedded Systems Security, 2009
Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
2008
IEEE Trans. Ind. Informatics, 2008
The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems.
Proceedings of the 2008 International Conference on Information Technology, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Hardware platform design decisions in embedded systems: a systematic teaching approach.
SIGBED Rev., 2007
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches.
Proceedings of the Computer Safety, 2007
Proceedings of the Balancing Agility and Formalism in Software Engineering, 2007
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications.
Proceedings of the International Symposium on Industrial Embedded Systems, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006
2005
Diverse hardware platforms in embedded systems lab courses: a way to teach the differences.
SIGBED Rev., 2005
Inform. Forsch. Entwickl., 2005
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.
Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005
2003
Anwendungserfahrungen und methodische Anpassungen bei der Einführung von Software-Produktlinien.
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003
2001
Eur. J. Control, 2001
Proceedings of the Software Product-Family Engineering, 4th International Workshop, 2001
2000
1999
Verification of logic controllers for continuous plants using timed condition/event-system models.
Autom., 1999
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
Proceedings of the 5th European Control Conference, 1999
1998
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.
Scalable Comput. Pract. Exp., 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
1997
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.
Proceedings of the Hybrid Systems V, 1997
Proceedings of the Hybrid and Real-Time Systems, 1997
1996
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Hybrid Systems IV, 1996
1995
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems.
Proceedings of the EUROSIM'96, 1995