M. Fränzle

Most-cited papers

Identification and Quantification of Hazardous Scenarios for Automated Driving
Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde +2 more
2020Model-Based Safety and Assessment70 citations
Semantic Scholar
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios
S. Khan, Muhammad Alam, M. Fränzle, Nils Mullner +1 more
2018Computers & electrical engineering42 citations
Semantic Scholar
Reach-avoid Analysis for Stochastic Discrete-time Systems
Bai Xue, Renjue Li, Nai-Jun Zhan, M. Fränzle
2021American Control Conference33 citations
Semantic Scholar
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations
Bai Xue, Nai-Jun Zhan, M. Fränzle
2022IEEE Transactions on Automatic Control32 citations Open access
Semantic Scholar
Robust invariant sets generation for state-constrained perturbed polynomial systems
Bai Xue, Qiu-Ye Wang, Nai-Jun Zhan, M. Fränzle
2019International Conference on Hybrid Systems: Computation and Control29 citations
Semantic Scholar
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata
M. Fränzle, Mingshuai Chen, Paul Kröger
2019SIGL24 citations
Semantic Scholar
Reach-Avoid Verification Based on Convex Optimization
Bai Xue, Nai-Jun Zhan, M. Fränzle, Ji Wang +1 more
2022IEEE Transactions on Automatic Control20 citations Open access
Semantic Scholar
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation
B. Finkbeiner, M. Fränzle, F. Kohn, Paul Kröger
2022Algorithms19 citations Open access
Semantic Scholar
ARCH-COMP19 Category Report: Stochastic Modelling
A. Abate, H. Blom, Nathalie Cauchi, Kurt Degiorgio +11 more
2019ARCH@CPSIoTWeek19 citations Open access
Semantic Scholar
Under-Approximating Reach Sets for Polynomial Continuous Systems
Bai Xue, M. Fränzle, Nai-Jun Zhan
2018International Conference on Hybrid Systems: Computation and Control19 citations
Semantic Scholar
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions
Eckard Böde, Matthias Büker, Ulrich Eberle, M. Fränzle +2 more
2018International Conference on Computer Safety, Reliability, and Security18 citations
Semantic Scholar
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic*
W. Damm, M. Fränzle, Andreas Luedtke, Jochem W. Rieger +2 more
20192019 IEEE Intelligent Vehicles Symposium (IV)17 citations Open access
Semantic Scholar
Self-Explanation in Systems of Systems
Goerschwin Fey, M. Fränzle, R. Drechsler
20222022 IEEE 30th International Requirements Engineering Conference Workshops (REW)16 citations
Semantic Scholar
A Fail-safe Architecture for Automated Driving
Sebastian vom Dorff, B. Böddeker, M. Kneissl, M. Fränzle
2020Design, Automation and Test in Europe16 citations
Semantic Scholar
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction
K. Bengler, Werner Damm, Andreas Luedtke, Reiger Jochem +19 more
2023ACM Trans. Cyber Phys. Syst.14 citations Open access
Semantic Scholar
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations
Shenghua Feng, Mingshuai Chen, Nai-Jun Zhan, M. Fränzle +1 more
2019International Conference on Computer Aided Verification13 citations Open access
Semantic Scholar
Probably Approximate Safety Verification of Hybrid Dynamical Systems
Bai Xue, M. Fränzle, Hengjun Zhao, Nai-Jun Zhan +1 more
2019IEEE International Conference on Formal Engineering Methods13 citations Open access
Semantic Scholar
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction
Mingshuai Chen, M. Fränzle, Yangjia Li, P. N. Mosaad +1 more
2018Automated Technology for Verification and Analysis13 citations
Semantic Scholar
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems
Bai Xue, Nai-Jun Zhan, M. Fränzle
2020IEEE Conference on Decision and Control12 citations
Semantic Scholar
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control
Mingshuai Chen, M. Fränzle, Yangjia Li, P. N. Mosaad +1 more
2020Acta Informatica12 citations Open access
Semantic Scholar
Neue autoMobilität II. Kooperativer Straßenverkehr und intelligente Verkehrssteuerung für die Mobilität der Zukunft
T. Hesse, L. Schultz, Yulika Zebuhr, Mathias Höhne +41 more
201912 citations
Semantic Scholar
Science of design for societal-scale cyber-physical systems: challenges and opportunities
J. Sztipanovits, X. Koutsoukos, G. Karsai, S. Sastry +6 more
2019Cyber-Physical Systems12 citations
Semantic Scholar
A comparative, sociotechnical design perspective on Responsible Innovation: multidisciplinary research and education on digitized energy and Automated Vehicles
D. Hess, Dasom Lee, Bianca Biebl, M. Fränzle +5 more
2021Journal of Responsible Innovation11 citations Open access
Semantic Scholar
Investigating Differences in Behavior and Brain in Human-Human and Human-Autonomous Vehicle Interactions in Time-Critical Situations
Anirudh Unni, Alexander Trende, Claire Pauley, Lars Weber +7 more
2022Frontiers in Neuroergonomics10 citations Open access
Semantic Scholar
Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems
Y. Bebawy, Houssem Guissouma, Sebastian Vander Maelen, Janis Kröger +5 more
20202020 International Conference on Computational Science and Computational Intelligence (CSCI)10 citations
Semantic Scholar
Effective Definability of the Reachability Relation in Timed Automata
M. Fränzle, Karin Quaas, M. Shirmohammadi, J. Worrell
2019Information Processing Letters10 citations Open access
Semantic Scholar
Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events
Stefan Puch, M. Fränzle, S. Gerwinn
2018Leveraging Applications of Formal Methods9 citations
Semantic Scholar
Stream-Based Monitoring Under Measurement Noise
Bernd Finkbeiner, M. Fränzle, Florian Kohn, Paul Kröger
2024Runtime Verification8 citations
Semantic Scholar
A Reference Architecture of Human Cyber-Physical Systems – Part I: Fundamental Concepts
Werner Damm, David J. Hess, M. Schweda, J. Sztipanovits +18 more
2023ACM Trans. Cyber Phys. Syst.7 citations Open access
Semantic Scholar
Improving the Detection of User Uncertainty in Automated Overtaking Maneuvers by Combining Contextual, Physiological and Individualized User Data
Alexander Trende, Franziska Hartwich, Cornelia Schmidt, M. Fränzle
2020Interacción7 citations
Semantic Scholar
Safety Shielding under Delayed Observation
Filip Cano Córdoba, Alexander Palmisano, M. Fränzle, R. Bloem +1 more
2023International Conference on Automated Planning and Scheduling6 citations Open access
Semantic Scholar
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach
Björn Koopmann, Stefan Puch, Günter Ehmen, M. Fränzle
2022International Conference on Vehicle Technology and Intelligent Transport Systems6 citations Open access
Semantic Scholar
Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments
Sebastian vom Dorff, M. Kneissl, M. Fränzle
2021International Conference on Intelligent Transportation Systems6 citations Open access
Semantic Scholar
Differential Games Based on Invariant Sets Generation
Bai Xue, Qiu-Ye Wang, Nai-Jun Zhan, M. Fränzle +1 more
2022American Control Conference5 citations
Semantic Scholar
Safety Verification for Random Ordinary Differential Equations
Bai Xue, M. Fränzle, Nai-Jun Zhan, Sergiy Bogomolov +1 more
2020IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems5 citations
Semantic Scholar
The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology
M. Fränzle, Paul Kröger
2018Symposium on Real-Time and Hybrid Systems5 citations
Semantic Scholar
Counterfactual-based Root Cause Analysis for Dynamical Systems
Juliane Weilbach, S. Gerwinn, K. Barsim, M. Fränzle
2024ECML/PKDD4 citations
Semantic Scholar
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
Pauline Blohm, M. Fränzle, Paula Herber, Paul Kröger +1 more
2024Leveraging Applications of Formal Methods4 citations
Semantic Scholar
A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations
Werner Damm, M. Fränzle, Alyssa J. Kerscher, F. Laine +19 more
2023ACM Trans. Cyber Phys. Syst.4 citations Open access
Semantic Scholar
Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles
Ina Krefting, Alexander Trende, Anirudh Unni, Jochem W. Rieger +2 more
2021International Conference on Automotive User Interfaces and Interactive Vehicular Applications4 citations
Semantic Scholar
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems
M. Fränzle, Paul Kröger
2020Leveraging Applications of Formal Methods4 citations
Semantic Scholar
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
M. Fränzle, T. M. Grosen, K. G. Larsen, Martin Zimmermann
2024Formal Aspects Comput.3 citations Open access
Semantic Scholar
Contract-based specification of mode-dependent timing behavior
Janis Kröger, Björn Koopmann, Ingo Stierand, M. Fränzle
2023Innovations in Systems and Software Engineering3 citations Open access
Semantic Scholar
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems
Birte Neurohr, Tjark Koopmann, E. Möhlmann, M. Fränzle
2023IEEE Access3 citations Open access
Semantic Scholar
Verification of LSTM Neural Networks with Non-linear Activation Functions
Farzaneh Moradkhani, Connor Fibich, M. Fränzle
2023NASA Formal Methods3 citations
Semantic Scholar
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation
Paul Kröger, M. Fränzle
2022Leibniz Transactions on Embedded Systems3 citations
Semantic Scholar
Verification of Sigmoidal Artificial Neural Networks using iSAT
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger +1 more
2022International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT3 citations Open access
Semantic Scholar
Driver's turning intent recognition model based on brain activation and contextual information
Alexander Trende, Anirudh Unni, Mischa Jablonski, Bianca Biebl +3 more
2022Frontiers in Neuroergonomics3 citations Open access
Semantic Scholar
Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks
Alexander Trende, Anirudh Unni, Jochem W. Rieger, M. Fränzle
2021Interacción3 citations
Semantic Scholar
Challenges for Integrating Humans into Vehicular Cyber-Physical Systems
Sulayman K. Sowe, M. Fränzle, Jan-Patrick Osterloh, Alexander Trende +2 more
2019SEFM Workshops3 citations
Semantic Scholar