Martin Fränzle

Renjue Li

Proceedings of the 2021 American Control Conference, 2021

2020

Safety Verification for Random Ordinary Differential Equations.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Effective definability of the reachability relation in timed automata.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2020

Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems, 2020

Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems.

[BibT_eX]

[DOI]

Paul Kröger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Identification and Quantification of Hazardous Scenarios for Automated Driving.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

Improving the Detection of User Uncertainty in Automated Overtaking Maneuvers by Combining Contextual, Physiological and Individualized User Data.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2020 - Posters - 22nd International Conference, 2020

A Fail-safe Architecture for Automated Driving.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata.

[BibT_eX]

[DOI]

Mingshuai Chen

Paul Kröger

ACM SIGLOG News, 2019

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

Dynamic Conflict Resolution Using Justification Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Verifying Reachability Properties in Markov Chains via Incremental Induction.

[BibT_eX]

[DOI]

CoRR, 2019

Justification Based Reasoning in Dynamic Conflict Resolution.

[BibT_eX]

[DOI]

CoRR, 2019

Challenges for Integrating Humans into Vehicular Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2019

Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Probably Approximate Safety Verification of Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Robust invariant sets generation for state-constrained perturbed polynomial systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Birgit van Huijgevoort

Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2018

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events.

[BibT_eX]

[DOI]

Stefan Puch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Under-Approximating Reach Sets for Polynomial Continuous Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology.

[BibT_eX]

[DOI]

Paul Kröger

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2018 AAAI Spring Symposia, 2018

2017

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic.

[BibT_eX]

[DOI]

Peter Nazier Mosaad

Sci. Ann. Comput. Sci., 2017

Navigating with safety in confined waterways: an explorative case study.

[BibT_eX]

[DOI]

Stella Parisi

Proceedings of the Mensch und Computer 2017, 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

A hybrid MAC scheme for wireless vehicular communication.

[BibT_eX]

[DOI]

Saifullah Khan

Muhammad Alam

Proceedings of the IEEE EUROCON 2017 -17th International Conference on Smart Technologies, 2017

Just scratching the surface: Partial exploration of initial values in reach-set computation.

[BibT_eX]

[DOI]

Peter Nazier Mosaad

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Yang Gao

Proceedings of the Provably Correct Systems, 2017

2016

Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2016

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362).

[BibT_eX]

[DOI]

James Kapinski

Pavithra Prabhakar

Dagstuhl Reports, 2016

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2016

Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Vehicular Networking Conference, 2016

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Multi-channel mode for emergency system in urban connected vehicles.

[BibT_eX]

[DOI]

Saifullah Khan

Proceedings of the 24th IEEE/ACM International Symposium on Quality of Service, 2016

Temporal Logic Verification for Delay Differential Equations.

[BibT_eX]

[DOI]

Peter Nazier Mosaad

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Advancing Software Model Checking Beyond Linear Arithmetic Theories.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2016

Accurate ICP-based floating-point reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Discounted Duration Calculus.

[BibT_eX]

[DOI]

Heinrich Ody

Proceedings of the FM 2016: Formal Methods, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2015

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.

[BibT_eX]

[DOI]

Christian Ellen

Int. J. Softw. Tools Technol. Transf., 2015

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods.

[BibT_eX]

[DOI]

Nacim Ramdani

Nedialko S. Nedialkov

Softw. Syst. Model., 2015

State-based real-time analysis of SDF applications on MPSoCs with shared communication resources.

[BibT_eX]

[DOI]

J. Syst. Archit., 2015

Cooperation and network coding based MAC protocol for VANETs.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Vehicular Networking Conference, 2015

Estimating the probability of a timely traffic-hazard warning via simulation.

[BibT_eX]

[DOI]

Sibylle B. Fröschle

Proceedings of the 48th Annual Simulation Symposium, 2015

Envisioning self-verification of electronic systems.

[BibT_eX]

[DOI]

Rolf Drechsler

Robert Wille

Proceedings of the 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2015

A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain.

[BibT_eX]

[DOI]

Yang Gao

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints.

[BibT_eX]

[DOI]

Mohamed Abdelaal

Axel Hahn

Proceedings of the 2015 IEEE European Modelling Symposium, 2015

Automatic Verification of Stability and Safety for Delay Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain.

[BibT_eX]

[DOI]

Yang Gao

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

Robust indoor location tracking of multiple inhabitants using only binary sensors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL.

[BibT_eX]

[DOI]

Heinrich Ody

Proceedings of the Correct System Design, 2015

Formal Verification of Simulink/Stateflow Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Transformations for Compositional Verification of Assumption-Commitment Properties.

[BibT_eX]

[DOI]

Ahmed Mahdi

Bernd Westphal

Proceedings of the Reachability Problems - 8th International Workshop, 2014

Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems.

[BibT_eX]

[DOI]

Ahmed Mahdi

Sadegh Esmaeil Zadeh Soudjani

Proceedings of the Reachability Problems - 8th International Workshop, 2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

EAVS: Energy aware virtual sensing for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Ninth International Conference on Intelligent Sensors, 2014

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts.

[BibT_eX]

[DOI]

Oliver E. Theel

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems.

[BibT_eX]

[DOI]

Oliver E. Theel

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013

Combining decomposition and reduction for state space analysis of a self-stabilizing system.

[BibT_eX]

[DOI]

Oliver E. Theel

J. Comput. Syst. Sci., 2013

A path planning framework for autonomous vehicles.

[BibT_eX]

[DOI]

Sönke Eilers

Jürgen Boger

Proceedings of the 9th Workshop on Robot Motion and Control, 2013

Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation.

[BibT_eX]

[DOI]

Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport, 2013

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2013

Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Christian Ellen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Semantic Independence.

[BibT_eX]

[DOI]

Christian Lengauer

Proceedings of the Encyclopedia of Parallel Computing, 2011

Parallel SAT Solving in Bounded Model Checking.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Preface.

[BibT_eX]

[DOI]

Antonios Tsourdos

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.

[BibT_eX]

[DOI]

Nacim Ramdani

Nedialko S. Nedialkov

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Measurability and safety verification for stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Crossing the Bridge between Similar Games.

[BibT_eX]

[DOI]

Jan-David Quesel

Werner Damm

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Proof certificates and non-linear arithmetic constraints.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2010

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Resolution for Stochastic Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.

[BibT_eX]

[DOI]

Proceedings of the FORMS/FORMAT 2010, 2010

Using Guided Simulation to Assess Driver Assistance Systems.

[BibT_eX]

[DOI]

Proceedings of the FORMS/FORMAT 2010, 2010

2009

Efficient Model Checking for Duration Calculus?

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2009

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.

[BibT_eX]

[DOI]

Mani Swaminathan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Constraint-Based Analysis of Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.

[BibT_eX]

[DOI]

Mani Swaminathan

Joost-Pieter Katoen

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Analysis of Hybrid Systems Using HySAT.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Systems, 2008

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Holger Hermanns

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2007

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Reinhard Wilhelm

it Inf. Technol., 2007

HySAT: An efficient proof engine for bounded model checking of hybrid systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2007

A Symbolic Decision Procedure for Robust Safety of Timed Systems.

[BibT_eX]

[DOI]

Mani Swaminathan

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Deciding an Interval Logic with Accumulated Durations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Test automation for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

An optimal approach to the task allocation problem on hierarchical architectures.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Scheduling Distributed Real-Time Systems by Satisfiability Checking.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

A Robust Interpretation of Duration Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Model-checking dense-time Duration Calculus.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2003

A Semantics for Distributed Execution of Statemate.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2003

2002

Take It NP-Easy: Bounded Model Construction for Duration Calculus.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Visual temporal logic as a rapid prototyping tool.

[BibT_eX]

[DOI]

Karsten Lüth

Comput. Lang., 2001

What Will Be Eventually True of Polynomial Hybrid Automata?

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

1999

Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

Compilation and Synthesis for Real-Time Embedded Controllers.

[BibT_eX]

[DOI]

Markus Müller-Olm

Proceedings of the Correct System Design, 1999

1998

Compiling Graphical Real-Time Specifications into Silicon.

[BibT_eX]

[DOI]

Karsten Lüth

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Controller design from temporal logic: undecidability need not matter.

[BibT_eX]

[DOI]

PhD thesis, 1997

1996

Synthesizing Controllers from Duration Calculus.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995

A Generalized Notion of Semantic Independence.

[BibT_eX]

[DOI]

Bernhard von Stengel

Arne Wittmüss

Inf. Process. Lett., 1995

1994

Provably Correct Systems.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language.

[BibT_eX]

[DOI]