Provably Correct Compiler Development and Implementation. - Bettina Buth; Karl-Heinz Buth; Martin Fränzle; Burghard von Karger; Yassine Lakhnech; Hans Langmaack; Markus Müller-Olm (CC, 1992)

Developing Correct Systems. - Jonathan P. Bowen; Ernst-Rüdiger Olderog; Martin Fränzle; Anders P. Ravn (RTS, 1993)

Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. - Martin Fränzle; Markus Müller-Olm (CC, 1994)

Provably Correct Systems. - Jifeng He 001; C. A. R. Hoare; Martin Fränzle; Markus Müller-Olm; Ernst-Rüdiger Olderog; Michael Schenke; Michael R. Hansen; Anders P. Ravn; Hans Rischel (FTRTFT, 1994)

A Generalized Notion of Semantic Independence. - Martin Fränzle; Bernhard von Stengel; Arne Wittmüss (Inf. Process. Lett., 1995)

Synthesizing Controllers from Duration Calculus. - Martin Fränzle (FTRTFT, 1996)

Controller design from temporal logic: undecidability need not matter. - Martin Fränzle (1997)

Compiling Graphical Real-Time Specifications into Silicon. - Martin Fränzle; Karsten Lüth (FTRTFT, 1998)

Compilation and Synthesis for Real-Time Embedded Controllers. - Martin Fränzle; Markus Müller-Olm (Correct System Design, 1999)

Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. - Martin Fränzle (CSL, 1999)

What Will Be Eventually True of Polynomial Hybrid Automata? - Martin Fränzle (TACS, 2001)

Visual temporal logic as a rapid prototyping tool. - Martin Fränzle; Karsten Lüth (Comput. Lang., 2001)

Take It NP-Easy: Bounded Model Construction for Duration Calculus. - Martin Fränzle (FTRTFT, 2002)

Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. - Martin Fränzle; Christian Herde (LPAR, 2003)

A Semantics for Distributed Execution of Statemate. - Martin Fränzle; Jürgen Niehaus; Alexander Metzner; Werner Damm (Formal Aspects Comput., 2003)

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. - Bernd Becker 001; Markus Behle; Friedrich Eisenbrand; Martin Fränzle; Marc Herbstritt; Christian Herde; Jörg Hoffmann 001; Daniel Kröning; Bernhard Nebel; Ilia Polian; Ralf Wimmer 001 (MBMV, 2004)

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. - Martin Fränzle; Christian Herde (FMICS, 2004)

Model-checking dense-time Duration Calculus. - Martin Fränzle (Formal Aspects Comput., 2004)

A Robust Interpretation of Duration Calculus. - Martin Fränzle; Michael R. Hansen (ICTAC, 2005)

Scheduling Distributed Real-Time Systems by Satisfiability Checking. - Alexander Metzner; Martin Fränzle; Christian Herde; Ingo Stierand (RTCSA, 2005)

An optimal approach to the task allocation problem on hierarchical architectures. - Alexander Metzner; Martin Fränzle; Christian Herde; Ingo Stierand (IPDPS, 2006)

Test automation for hybrid systems. - Bahareh Badban; Martin Fränzle; Jan Peleska 001; Tino Teige (SOQUA, 2006)

Verification of Hybrid Systems. - Martin Fränzle (CAV, 2007)

Deciding an Interval Logic with Accumulated Durations. - Martin Fränzle; Michael R. Hansen (TACAS, 2007)

A Symbolic Decision Procedure for Robust Safety of Timed Systems. - Mani Swaminathan; Martin Fränzle (TIME, 2007)

HySAT: An efficient proof engine for bounded model checking of hybrid systems. - Martin Fränzle; Christian Herde (Formal Methods Syst. Des., 2007)

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). - Bernd Becker 001; Andreas Podelski; Werner Damm; Martin Fränzle; Ernst-Rüdiger Olderog; Reinhard Wilhelm (it Inf. Technol., 2007)

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. - Martin Fränzle; Christian Herde; Tino Teige; Stefan Ratschan; Tobias Schubert 001 (J. Satisf. Boolean Model. Comput., 2007)

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. - Andreas Eggers; Martin Fränzle; Christian Herde (ATVA, 2008)

Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. - Tino Teige; Martin Fränzle (CPAIOR, 2008)

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. - Martin Fränzle; Holger Hermanns; Tino Teige (HSCC, 2008)

Analysis of Hybrid Systems Using HySAT. - Christian Herde; Andreas Eggers; Martin Fränzle; Tino Teige (ICONS, 2008)

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. - Mani Swaminathan; Martin Fränzle; Joost-Pieter Katoen (IFIP TCS, 2008)

Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. - Martin Fränzle; Michael R. Hansen (SEFM, 2008)

Constraint-Based Analysis of Probabilistic Hybrid Systems. - Tino Teige; Martin Fränzle (ADHS, 2009)

Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. - Martin Fränzle; Mani Swaminathan (FORMATS, 2009)

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. - Stefan Kupferschmid; Tino Teige; Bernd Becker 001; Martin Fränzle (MBMV, 2009)

Efficient Model Checking for Duration Calculus? - Martin Fränzle; Michael R. Hansen (Int. J. Softw. Informatics, 2009)

Using Guided Simulation to Assess Driver Assistance Systems. - Martin Fränzle; Tayfun Gezgin; Hardi Hungar; Stefan Puch; Gerald Sauter (FORMS/FORMAT, 2010)

The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. - Jan Gacnik; Henning Jost; Frank Köster; Martin Fränzle (FORMS/FORMAT, 2010)

Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. - Martin Fränzle; Tino Teige; Andreas Eggers (IFM, 2010)

Resolution for Stochastic Boolean Satisfiability. - Tino Teige; Martin Fränzle (LPAR (Yogyakarta), 2010)

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. - Martin Fränzle; Tino Teige; Andreas Eggers (J. Log. Algebraic Methods Program., 2010)

Proof certificates and non-linear arithmetic constraints. - Stefan Kupferschmid; Bernd Becker 001; Tino Teige; Martin Fränzle (DDECS, 2011)

Crossing the Bridge between Similar Games. - Jan-David Quesel; Martin Fränzle; Werner Damm (FORMATS, 2011)

Measurability and safety verification for stochastic hybrid systems. - Martin Fränzle; Ernst Moritz Hahn; Holger Hermanns; Nicolás Wolovick; Lijun Zhang 001 (HSCC, 2011)

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. - Andreas Eggers; Nacim Ramdani; Nedialko S. Nedialkov; Martin Fränzle (SEFM, 2011)

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. - Tino Teige; Martin Fränzle (TACAS, 2011)

Preface. - Martin Fränzle; Antonios Tsourdos (Hybrid Autonomous Systems@ETAPS, 2011)

Parallel SAT Solving in Bounded Model Checking. - Erika Ábrahám; Tobias Schubert 001; Bernd Becker 001; Martin Fränzle; Christian Herde (J. Log. Comput., 2011)

Semantic Independence. - Martin Fränzle; Christian Lengauer (Encyclopedia of Parallel Computing, 2011)

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. - Christian Ellen; Sebastian Gerwinn; Martin Fränzle (FORMATS, 2012)

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability. - Tino Teige; Martin Fränzle (Log. Methods Comput. Sci., 2012)

Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking. - Maher Fakih; Kim Grüttner; Martin Fränzle; Achim Rettberg (DATE, 2013)

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. - Liang Zou; Naijun Zhan; Shuling Wang; Martin Fränzle; Shengchao Qin (EMSOFT, 2013)

Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation. - Stefan Puch; Bertram Wortelen; Martin Fränzle; Thomas Peikenkamp (HCI (22), 2013)

Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs. - Maher Fakih; Kim Grüttner; Martin Fränzle; Achim Rettberg (IESS, 2013)

A path planning framework for autonomous vehicles. - Sönke Eilers; Jürgen Boger; Martin Fränzle (RoMoCo, 2013)

Combining decomposition and reduction for state space analysis of a self-stabilizing system. - Nils Müllner; Oliver E. Theel; Martin Fränzle (J. Comput. Syst. Sci., 2013)

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. - Nils Müllner; Oliver E. Theel; Martin Fränzle (AINA, 2014)

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. - Nils Müllner; Oliver E. Theel; Martin Fränzle (AINA Workshops, 2014)

EAVS: Energy aware virtual sensing for wireless sensor networks. - Mohamed Abdelaal 001; Yang Gao 011; Martin Fränzle; Oliver E. Theel (ISSNIP, 2014)

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. - Sadegh Esmaeil Zadeh Soudjani; Sebastian Gerwinn; Christian Ellen; Martin Fränzle; Alessandro Abate (QEST, 2014)

Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. - Ahmed Mahdi; Martin Fränzle (RP, 2014)

Transformations for Compositional Verification of Assumption-Commitment Properties. - Ahmed Mahdi; Bernd Westphal; Martin Fränzle (RP, 2014)

Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). - Alessandro Abate; Martin Fränzle; Ian A. Hiskens; Martin Strelec (Dagstuhl Reports, 2014)

Formal Verification of Simulink/Stateflow Diagrams. - Liang Zou; Naijun Zhan; Shuling Wang; Martin Fränzle (ATVA, 2015)

No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. - Martin Fränzle; Michael R. Hansen; Heinrich Ody (Correct System Design, 2015)

Robust indoor location tracking of multiple inhabitants using only binary sensors. - Mohamed-Hedi Amri; Yasmina Becis; Didier Aubry; Nacim Ramdani; Martin Fränzle (CASE, 2015)

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. - Yang Gao 011; Martin Fränzle (SNR@CAV, 2015)

Automatic Verification of Stability and Safety for Delay Differential Equations. - Liang Zou; Martin Fränzle; Naijun Zhan; Peter Nazier Mosaad (CAV (2), 2015)

Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints. - Mohamed Abdelaal 001; Martin Fränzle; Axel Hahn (EMS, 2015)

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. - Martin Fränzle; Sebastian Gerwinn; Paul Kröger; Alessandro Abate; Joost-Pieter Katoen (FORMATS, 2015)

A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. - Yang Gao 011; Martin Fränzle (QEST, 2015)

Envisioning self-verification of electronic systems. - Rolf Drechsler; Martin Fränzle; Robert Wille (ReCoSoC, 2015)

Estimating the probability of a timely traffic-hazard warning via simulation. - Nils Müllner; Martin Fränzle; Sibylle B. Fröschle (SpringSim (ANSS), 2015)

Cooperation and network coding based MAC protocol for VANETs. - Saifullah Khan; Muhammad Alam 002; Nils Müllner; Martin Fränzle (VNC, 2015)

State-based real-time analysis of SDF applications on MPSoCs with shared communication resources. - Maher Fakih; Kim Grüttner; Martin Fränzle; Achim Rettberg (J. Syst. Archit., 2015)

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. - Andreas Eggers; Nacim Ramdani; Nedialko S. Nedialkov; Martin Fränzle (Softw. Syst. Model., 2015)

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. - Christian Ellen; Sebastian Gerwinn; Martin Fränzle (Int. J. Softw. Tools Technol. Transf., 2015)

Validated Simulation-Based Verification of Delayed Differential Dynamics. - Mingshuai Chen; Martin Fränzle; Yangjia Li; Peter Nazier Mosaad; Naijun Zhan (FM, 2016)

Discounted Duration Calculus. - Heinrich Ody; Martin Fränzle; Michael R. Hansen (FM, 2016)

Accurate ICP-based floating-point reasoning. - Karsten Scheibler; Felix Neubauer; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer; Bernd Becker 001 (FMCAD, 2016)

Advancing Software Model Checking Beyond Linear Arithmetic Theories. - Ahmed Mahdi; Karsten Scheibler; Felix Neubauer; Martin Fränzle; Bernd Becker 001 (Haifa Verification Conference, 2016)

Temporal Logic Verification for Delay Differential Equations. - Peter Nazier Mosaad; Martin Fränzle; Bai Xue 001 (ICTAC, 2016)

Multi-channel mode for emergency system in urban connected vehicles. - Saifullah Khan; Martin Fränzle (IWQoS, 2016)

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. - Felix Neubauer; Karsten Scheibler; Bernd Becker 001; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer (SC²@SYNASC, 2016)

Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment. - Saifullah Khan; Muhammad Alam 002; Nils Müllner; Martin Fränzle (VNC, 2016)

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). - Sergiy Bogomolov; Martin Fränzle; Kyoko Makino; Nacim Ramdani (Dagstuhl Reports, 2016)

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). - Martin Fränzle; James Kapinski; Pavithra Prabhakar (Dagstuhl Reports, 2016)

Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. - Mohamed Abdelaal 001; Oliver E. Theel; Christian Kuka; Peilin Zhang; Yang Gao 011; Vasilisa Bashlovkina; Daniela Nicklas; Martin Fränzle (Int. J. Distributed Sens. Networks, 2016)

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems. - Martin Fränzle; Yang Gao 011; Sebastian Gerwinn (Provably Correct Systems, 2017)

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. - Luca Cardelli; Milan Ceska 002; Martin Fränzle; Marta Z. Kwiatkowska; Luca Laurenti; Nicola Paoletti; Max Whitby (CAV (2), 2017)

Just scratching the surface: Partial exploration of initial values in reach-set computation. - Bai Xue 001; Martin Fränzle; Peter Nazier Mosaad (CDC, 2017)

A hybrid MAC scheme for wireless vehicular communication. - Saifullah Khan; Muhammad Alam 002; Martin Fränzle (EUROCON, 2017)

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. - Bai Xue 001; Peter Nazier Mosaad; Martin Fränzle; Mingshuai Chen; Yangjia Li; Naijun Zhan (FORMATS, 2017)

Navigating with safety in confined waterways: an explorative case study. - Stella Parisi; Martin Fränzle (MuC (Workshopband), 2017)

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. - Peter Nazier Mosaad; Martin Fränzle; Bai Xue 001 (Sci. Ann. Comput. Sci., 2017)

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis. - Bai Xue 001; Arvind Easwaran; Nam-Joon Cho; Martin Fränzle (IEEE Trans. Autom. Control., 2017)

Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. - Werner Damm; Martin Fränzle; Sebastian Gerwinn; Paul Kröger (AAAI Spring Symposia, 2018)

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. - Mingshuai Chen; Martin Fränzle; Yangjia Li; Peter Nazier Mosaad; Naijun Zhan (ATVA, 2018)

The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology. - Martin Fränzle; Paul Kröger (Symposium on Real-Time and Hybrid Systems, 2018)

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. - Meilun Li; Peter Nazier Mosaad; Martin Fränzle; Zhikun She; Bai Xue 001 (FORMATS, 2018)

Under-Approximating Reach Sets for Polynomial Continuous Systems. - Bai Xue 001; Martin Fränzle; Naijun Zhan (HSCC, 2018)

Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. - Stefan Puch; Martin Fränzle; Sebastian Gerwinn (ISoLA (2), 2018)

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. - Eckard Böde; Matthias Büker; Ulrich Eberle; Martin Fränzle; Sebastian Gerwinn; Birte Kramer (SAFECOMP, 2018)

A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios. - Saifullah Khan; Muhammad Alam 002; Martin Fränzle; Nils Müllner; Yuanfang Chen (Comput. Electr. Eng., 2018)

Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. - Shenghua Feng; Mingshuai Chen; Naijun Zhan; Martin Fränzle; Bai Xue 001 (CAV (1), 2019)

ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

Robust invariant sets generation for state-constrained perturbed polynomial systems. - Bai Xue 001; Qiuye Wang; Naijun Zhan; Martin Fränzle (HSCC, 2019)

Probably Approximate Safety Verification of Hybrid Dynamical Systems. - Bai Xue 001; Martin Fränzle; Hengjun Zhao; Naijun Zhan; Arvind Easwaran (ICFEM, 2019)

Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. - Werner Damm; Martin Fränzle; Andreas Lüdtke; Jochem W. Rieger; Alexander Trende; Anirudh Unni (IV, 2019)

Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. - Sulayman K. Sowe; Martin Fränzle; Jan-Patrick Osterloh; Alexander Trende; Lars Weber; Andreas Lüdtke (SEFM Workshops, 2019)

Justification Based Reasoning in Dynamic Conflict Resolution. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CoRR, 2019)

Verifying Reachability Properties in Markov Chains via Incremental Induction. - Elizabeth Polgreen; Martin Brain; Martin Fränzle; Alessandro Abate (CoRR, 2019)

Dynamic Conflict Resolution Using Justification Based Reasoning. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CREST@ETAPS, 2019)

Editorial. - Martin Fränzle; Deepak Kapur; Heike Wehrheim; Naijun Zhan (Formal Aspects Comput., 2019)

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. - Martin Fränzle; Mingshuai Chen; Paul Kröger (ACM SIGLOG News, 2019)

Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems. - Bai Xue 001; Naijun Zhan; Martin Fränzle (CDC, 2020)

A Fail-safe Architecture for Automated Driving. - Sebastian vom Dorff; Bert Böddeker; Maximilian Kneißl; Martin Fränzle (DATE, 2020)

Improving the Detection of User Uncertainty in Automated Overtaking Maneuvers by Combining Contextual, Physiological and Individualized User Data. - Alexander Trende; Franziska Hartwich; Cornelia Schmidt; Martin Fränzle (HCI (40), 2020)

Identification and Quantification of Hazardous Scenarios for Automated Driving. - Birte Kramer; Christian Neurohr; Matthias Büker; Eckard Böde; Martin Fränzle; Werner Damm (IMBSA, 2020)

Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. - Martin Fränzle; Paul Kröger (ISoLA (3), 2020)

Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. - Björn Koopmann; Stefan Puch; Günter Ehmen; Martin Fränzle (VEHITS, 2020)

Effective definability of the reachability relation in timed automata. - Martin Fränzle; Karin Quaas; Mahsa Shirmohammadi; James Worrell 001 (Inf. Process. Lett., 2020)

Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties. - Bai Xue 001; Martin Fränzle; Naijun Zhan (IEEE Trans. Autom. Control., 2020)

Safety Verification for Random Ordinary Differential Equations. - Bai Xue 001; Martin Fränzle; Naijun Zhan; Sergiy Bogomolov; Bican Xia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Reach-avoid Analysis for Stochastic Discrete-time Systems. - Bai Xue 001; Renjue Li; Naijun Zhan; Martin Fränzle (ACC, 2021)

Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles. - Ina Krefting; Alexander Trende; Anirudh Unni; Jochem W. Rieger; Andreas Lüdtke; Martin Fränzle (AutomotiveUI (adjunct), 2021)

Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks. - Alexander Trende; Anirudh Unni; Jochem W. Rieger; Martin Fränzle (HCI (39), 2021)

Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments. - Sebastian vom Dorff; Maximilian Kneißl; Martin Fränzle (ITSC, 2021)

Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. - Sebastian vom Dorff; Chih-Hong Cheng; Hasan Esen; Martin Fränzle (SEFM, 2021)

Handling of Operating Modes in Contract-Based Timing Specifications. - Janis Kröger; Björn Koopmann; Ingo Stierand; Nadra Tabassam; Martin Fränzle (VECoS, 2021)

Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. - Mingshuai Chen; Martin Fränzle; Yangjia Li; Peter Nazier Mosaad; Naijun Zhan (Acta Informatica, 2021)

Verification of Sigmoidal Artificial Neural Networks using iSAT. - Dominik Grundt; Sorin Liviu Jurj; Willem Hagemann; Paul Kröger; Martin Fränzle (SNR, 2021)

A sampling-based approach for handling delays in continuous and hybrid systems. - Erzana Berani Abdelwahab; Martin Fränzle (it Inf. Technol., 2021)

Bayesian hybrid automata: Reconciling formal methods with metrology. - Paul Kröger; Martin Fränzle (it Inf. Technol., 2021)

Functional verification of cyber-physical systems containing machine-learnt components. - Farzaneh Moradkhani; Martin Fränzle (it Inf. Technol., 2021)

System correctness under adverse conditions. - Ernst-Rüdiger Olderog; Martin Fränzle; Oliver E. Theel; Paul Kröger (it Inf. Technol., 2021)

Differential Games Based on Invariant Sets Generation. - Bai Xue 001; Qiuye Wang; Naijun Zhan; Martin Fränzle; Shenghua Feng (ACC, 2022)

The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. - Martin Fränzle (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

A Case-Study for a Human-Centered Approach to Traffic Management Systems. - Alexander Trende; Ina Krefting; Anirudh Unni; Jochem W. Rieger; Martin Fränzle (HCI (40), 2022)

Self-Explanation in Systems of Systems. - Görschwin Fey; Martin Fränzle; Rolf Drechsler (RE Workshops, 2022)

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. - Bernd Finkbeiner; Martin Fränzle; Florian Kohn; Paul Kröger (Algorithms, 2022)

Reach-Avoid Analysis for Stochastic Differential Equations. - Bai Xue 001; Naijun Zhan; Martin Fränzle (CoRR, 2022)

Costs and rewards in priced timed automata. - Martin Fränzle; Mahsa Shirmohammadi; Mani Swaminathan; James Worrell 001 (Inf. Comput., 2022)

Introduction to the Special Issue on Distributed Hybrid Systems. - Alessandro Abate; Uli Fahrenberg; Martin Fränzle (Leibniz Trans. Embed. Syst., 2022)

Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. - Paul Kröger; Martin Fränzle (Leibniz Trans. Embed. Syst., 2022)

Estimation of Counterfactual Interventions under Uncertainties. - Juliane Weilbach; Sebastian Gerwinn; Melih Kandemir; Martin Fränzle (ACML, 2023)

Safety Shielding under Delayed Observation. - Filip Cano Córdoba; Alexander Palmisano; Martin Fränzle; Roderick Bloem; Bettina Könighofer (ICAPS, 2023)

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. - Martin Fränzle; Willem Hagemann; Werner Damm; Astrid Rakow; Mani Swaminathan (Applicable Formal Methods for Safe Industrial Products, 2023)

Verification of LSTM Neural Networks with Non-linear Activation Functions. - Farzaneh Moradkhani; Connor Fibich; Martin Fränzle (NFM, 2023)

Determining the Validity of Simulation Models for the Verification of Automated Driving Systems. - Birte Neurohr; Tjark Koopmann; Eike Möhlmann; Martin Fränzle (IEEE Access, 2023)

On the Existence of Reactive Strategies Resilient to Delay. - Martin Fränzle; Paul Kröger; Sarah Winter; Martin Zimmermann 002 (CoRR, 2023)

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. - Martin Fränzle; Sarah Winter; Martin Zimmermann 002 (GandALF, 2023)

What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -. - Mehrnoush Hajnorouzi; Astrid Rakow; Akhila Bairy; Jan-Patrick Osterloh; Martin Fränzle (EDCC Workshops, 2024)

Counterfactual-Based Root Cause Analysis for Dynamical Systems. - Juliane Weilbach; Sebastian Gerwinn; Karim Said Barsim; Martin Fränzle (ECML/PKDD (6), 2024)

Stream-Based Monitoring Under Measurement Noise. - Bernd Finkbeiner; Martin Fränzle; Florian Kohn; Paul Kröger (RV, 2024)

Monitoring Real-Time Systems under Parametric Delay. - Martin Fränzle; Thomas Møller Grosen; Kim G. Larsen; Martin Zimmermann 002 (CoRR, 2024)

Reach-Avoid Verification Based on Convex Optimization. - Bai Xue 001; Naijun Zhan; Martin Fränzle; Ji Wang 001; Wanwei Liu (IEEE Trans. Autom. Control., 2024)

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. - Klaus Bengler; Werner Damm; Andreas Lüdtke; Jochem W. Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. - Werner Damm; Martin Fränzle; Alyssa J. Kerscher; Forrest Laine; Klaus Bengler; Bianca Biebl; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Sebastian Lehnhoff; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. - Werner Damm; David Hess; Mark Schweda; Janos Sztipanovits; Klaus Bengler; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; Klas Ihme; Severin Kacianka; Alyssa J. Kerscher; et al. (ACM Trans. Cyber Phys. Syst., 2024)

Contract-based specification of mode-dependent timing behavior. - Janis Kröger; Björn Koopmann; Ingo Stierand; Martin Fränzle (Innov. Syst. Softw. Eng., 2024)

Reach-Avoid Analysis for Polynomial Stochastic Differential Equations. - Bai Xue 001; Naijun Zhan; Martin Fränzle (IEEE Trans. Autom. Control., 2024)