Stefan Kowalewski

According to our database1, Stefan Kowalewski authored at least 173 papers between 1995 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Case studies on automated verification with slope boundaries for block diagrams.
Computer Languages, Systems & Structures, 2018

Cycle-bounded model checking of PLC software via dynamic large-block encoding.
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

Design and Verification of Restart-Robust Industrial Control Software.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Controlled Natural Languages for Hazard Analysis and Risk Assessment.
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
Explicit prioritization of parallel Intent broadcasts in real-time Android.
Concurrency and Computation: Practice and Experience, 2017

Continuous gas transfer monitoring during extracorporeal membrane oxygenation.
Biomed. Signal Proc. and Control, 2017

Multimodales dynamisches Routen mit eNav.
AGIT Journal, 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

A live static code analysis architecture for PLC software.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Applicability of supervisory control theory for the supervision of PLC programs.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Enrichment of a diving computer with body sensor network data.
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
Das Barrierenerkennungssystem von eNav.
AGIT Journal, 2016

Der Bodenbelag-Detektor des eNav-Systems.
AGIT Journal, 2016

Synthesis Tool for Automation Controller Supervision.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Concolic test generation for PLC programs using coverage metrics.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Architectural Analysis of MATLAB/Simulink Models with Artshop.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Flow Sensitive Slicing for MATLAB/Simulink Models.
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

Sensor Supervision and Control Value Limitations in Networked Intensive Care.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Abstract Interpretation for Block Diagrams - Two Case Studies.
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Abstract Interpretation of MATLAB Code with Interval Sets.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Static analysis of Sequential Function Charts using abstract interpretation.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Reusability and modularity of safety specifications for supervisory control.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions.
Proceedings of the ARCH@CPSWeek 2016, 2016

2015
Editorial for the Software Engineering 2013 Conference.
Computer Science - R&D, 2015

Routing über Flächen mit SpiderWebGraph.
AGIT Journal, 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

Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.
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

Static Value Range Analysis for Matlab/Simulink-Models.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015

Analyzing the Restart Behavior of Industrial Control Applications.
Proceedings of the FM 2015: Formal Methods, 2015

Automatic test case generation for PLC programs using coverage metrics.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Current Challenges in the Verification of Hybrid Systems.
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
Runtime verification of microcontroller binary code.
Sci. Comput. Program., 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

Predictable Broadcasting of Parallel Intents in Real-Time Android.
Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

Applying static code analysis on industrial controller code.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Development and execution of PLC programs on real-time capable mobile devices.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability.
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.
STTT, 2013

Abstract interpretation of microcontroller code: Intervals meet congruences.
Sci. Comput. Program., 2013

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
Sci. Comput. Program., 2013

Reachability Analysis of Linear Systems with Stepwise Constant Inputs.
Electr. Notes Theor. Comput. Sci., 2013

Cyber-physische Systeme.
Automatisierungstechnik, 2013

An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems.
Proceedings of the Mobile Computing, Applications, and Services, 2013

Reachability analysis for managing platoons at intersections.
Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

Non-blocking garbage collection for real-time Android.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Specifying Life Cycle Requirements in a Natural-like Language and ptLTL.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung.
Proceedings of the Informatik 2013, 2013

Predicate Abstraction for Programmable Logic Controllers.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Comparison of reachability methods for uncertain linear time-invariant systems.
Proceedings of the European Control Conference, 2013

2012
Model-driven support for product line evolution on feature level.
Journal of Systems and Software, 2012

Managing complexity and variability of a model-based embedded software product line.
ISSE, 2012

Access-Based Localization for Octagons.
Electr. Notes Theor. Comput. Sci., 2012

Static Analysis of Lockless Microcontroller C Programs
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Range and value-set analysis for programmable logic controllers.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Native Approach to Modeling Timed Behavior in the Pi-Calculus.
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

Model-Based Analysis of Design Artefacts Applying an Annotation Concept.
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Loop Leaping with Closures.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Invariants for LTI Systems with Uncertain Input.
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

A Mobile Software Quality Model.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Analysis of Simulink Models Using Databases and Model Transformations.
Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

Arcade.PLC: a verification platform for programmable logic controllers.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

A real-time extension to the Android platform.
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

Modeling and verification of network protocol specs using timed pi-calculus.
Proceedings of the 4th International Congress on Ultra Modern Telecommunications and Control Systems, 2012

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Reverse Engineering and Testing Service Life Cycles of Mobile Platforms.
Proceedings of the 23rd International Workshop on Database and Expert Systems Applications, 2012

Load Balancing for Cross Layer Communication.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Integration and Analysis of Design Artefacts in Embedded Software Development.
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

On-The-Fly Path Reduction.
Electr. Notes Theor. Comput. Sci., 2011

Control Design for Generalized Platoon Problems.
Automatisierungstechnik, 2011

Reverse Engineering of Mobile Application Lifecycles.
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

Automatic Derivation of Abstract Semantics From Instruction Set Descriptions.
Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Adaptable Value-Set Analysis for Low-Level Code.
Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Coping with Complexity of Testing Models for Real-Time Embedded Systems.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Automated Test-Trace Inspection for Microcontroller Binary Code.
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

Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

TripleT: Improving Test Responsiveness for High Performance Embedded Systems.
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

Scalable Symbolic Execution of Distributed Systems.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Testing Microcontroller Software Simulators.
Proceedings of the Informatik 2011: Informatik schafft Communities, 2011

Past Time LTL Runtime Verification for Microcontroller Binary Code.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

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).
Automatisierungstechnik, 2010

Counterexample-Guided Abstraction Refinement for PLCs.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Design Patterns for Integrating Variability in Timed Automata.
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

View-supported rollout and evolution of model-based ECU applications.
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

Variability and Evolution in Model-based Engineering of Embedded Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

A testing platform for cooperative vehicle platoon controllers.
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

EvoFM: feature-driven planning of product-line evolution.
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, 2010

Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.
Proceedings of the FORMS/FORMAT 2010, 2010

Range Analysis of Microcontroller Code Using Bit-Level Congruences.
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

Synthesizing simulators for model checking microcontroller binary code.
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
Model checking C source code for embedded systems.
STTT, 2009

Design Pattern Representation for Safety-Critical Embedded Systems.
JSEA, 2009

Parallel and Distributed Invariant Checking of Microcontroller Software.
Electr. Notes Theor. Comput. Sci., 2009

Interactive Configuration of Embedded Systems Product Lines.
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

Towards feature-driven planning of product-line evolution.
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 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 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

Variabilität im modelbasierten Engineering von eingebetteten Systemen.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

Safety Assessment of Design Patterns for Safety-Critical Embedded Systems.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Early Behaviour Modelling for Control Systems.
Proceedings of the EMS 2009, 2009

Mapping Requirement Models to Mathematical Models in Control System Development.
Proceedings of the Model Driven Architecture, 2009

Stack bounds analysis for microcontroller assembly code.
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
Hardware/Software Design Considerations for Automotive Embedded Systems.
IEEE Trans. Industrial 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

Modellbasierte Anforderungserfassung für softwarebasierte Regelungen.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis.
Proceedings of the Software Engineering 2008, 2008

Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis.
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

A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Effective Pattern Representation for Safety Critical Embedded Systems.
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

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.
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 Review, 2007

An Empirical Evaluation of Refactoring.
e-Informatica, 2007

Bedeutung der Automatisierungstechnik.
Automatisierungstechnik, 2007

Analyzing Software Engineering Processes on Source Code Level.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

Applying Model Checking to an Automotive Microcontroller Application.
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

Measuring the Human Factor with the Rasch Model.
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

[mc]square: A Model Checker for Microcontroller Code.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern.
Proceedings of the Informatik 2006, 2006

An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Zuverlässigkeitsmechanismen für Eingebettete Systeme.
Softwaretechnik-Trends, 2005

Diverse hardware platforms in embedded systems lab courses: a way to teach the differences.
SIGBED Review, 2005

Editorial zum Themenheft "Automotive Software Engineering".
Inform., Forsch. Entwickl., 2005


2003
Anwendungserfahrungen und methodische Anpassungen bei der Einführung von Software-Produktlinien.
Proceedings of the INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September, 2003

2001
An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems.
Eur. J. Control, 2001

Reliability-Oriented Product Line Engineering of Embedded Systems.
Proceedings of the Software Product-Family Engineering, 4th International Workshop, 2001

1999
Verification of logic controllers for continuous plants using timed condition/event-system models.
Automatica, 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

1998
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.
Scalable Computing: Practice and Experience, 1998

An Algorithm for the Approximative Analysis of Rectangular Automata.
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

Comparing Timed C/E Systems with Timed Automata (Abstract).
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

Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.
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


  Loading...