Martin Fränzle

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 101

Top Venues

CoRR

it Inf. Technol.

ACM Trans. Cyber Phys. Syst.

FORMATS

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle
Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. 20 (1) (2024)
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, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69 (1) (2024)
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, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
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, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Birte Neurohr, Tjark Koopmann, Eike Möhlmann, Martin Fränzle
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems. IEEE Access 11 (2023)
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
Safety Shielding under Delayed Observation. ICAPS (2023)
Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle
Estimation of Counterfactual Interventions under Uncertainties. CoRR (2023)
Farzaneh Moradkhani, Connor Fibich, Martin Fränzle
Verification of LSTM Neural Networks with Non-linear Activation Functions. NFM (2023)
Martin Fränzle, Sarah Winter, Martin Zimmermann
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF (2023)
Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products (2023)
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
Safety Shielding under Delayed Observation. CoRR (2023)
Martin Fränzle, Sarah Winter, Martin Zimmermann
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. CoRR (2023)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and rewards in priced timed automata. Inf. Comput. 282 (2022)
Görschwin Fey, Martin Fränzle, Rolf Drechsler
Self-Explanation in Systems of Systems. RE Workshops (2022)
Bai Xue, Naijun Zhan, Martin Fränzle
Reach-Avoid Analysis for Stochastic Differential Equations. CoRR (2022)
Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. CoRR (2022)
Alexander Trende, Ina Krefting, Anirudh Unni, Jochem W. Rieger, Martin Fränzle
A Case-Study for a Human-Centered Approach to Traffic Management Systems. HCI (40) (2022)
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
Differential Games Based on Invariant Sets Generation. ACC (2022)
Paul Kröger, Martin Fränzle
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Martin Fränzle
The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Alessandro Abate, Uli Fahrenberg, Martin Fränzle
Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15 (4) (2022)
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
Reach-avoid Verification Based on Convex Optimization. CoRR (2022)
Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle
Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments. CoRR (2021)
Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. SEFM (2021)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. Acta Informatica 58 (5) (2021)
Ina Krefting, Alexander Trende, Anirudh Unni, Jochem W. Rieger, Andreas Lüdtke, Martin Fränzle
Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles. AutomotiveUI (adjunct) (2021)
Paul Kröger, Martin Fränzle
Bayesian hybrid automata: Reconciling formal methods with metrology. it Inf. Technol. 63 (5-6) (2021)
Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle
Reach-avoid Analysis for Stochastic Discrete-time Systems. ACC (2021)
Farzaneh Moradkhani, Martin Fränzle
Functional verification of cyber-physical systems containing machine-learnt components. it Inf. Technol. 63 (5-6) (2021)
Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle
Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments. ITSC (2021)
Alexander Trende, Anirudh Unni, Jochem W. Rieger, Martin Fränzle
Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks. HCI (39) (2021)
Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle
Handling of Operating Modes in Contract-Based Timing Specifications. VECoS (2021)
Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger
System correctness under adverse conditions. it Inf. Technol. 63 (5-6) (2021)
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle
Verification of Sigmoidal Artificial Neural Networks using iSAT. SNR (2021)
Erzana Berani Abdelwahab, Martin Fränzle
A sampling-based approach for handling delays in continuous and hybrid systems. it Inf. Technol. 63 (5-6) (2021)
Bai Xue, Martin Fränzle, Naijun Zhan
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties. IEEE Trans. Autom. Control. 65 (4) (2020)
Alexander Trende, Franziska Hartwich, Cornelia Schmidt, Martin Fränzle
Improving the Detection of User Uncertainty in Automated Overtaking Maneuvers by Combining Contextual, Physiological and Individualized User Data. HCI (40) (2020)
Bai Xue, Naijun Zhan, Martin Fränzle
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems. CDC (2020)
Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. VEHITS (2020)
Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm
Identification and Quantification of Hazardous Scenarios for Automated Driving. IMBSA (2020)
Sebastian vom Dorff, Bert Böddeker, Maximilian Kneißl, Martin Fränzle
A Fail-safe Architecture for Automated Driving. DATE (2020)
Martin Fränzle, Paul Kröger
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. ISoLA (3) (2020)
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
Effective definability of the reachability relation in timed automata. Inf. Process. Lett. 153 (2020)
Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia
Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle
Robust invariant sets generation for state-constrained perturbed polynomial systems. HSCC (2019)
Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. CoRR (2019)
Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan
Editorial. Formal Aspects Comput. 31 (1) (2019)
Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM (2019)
Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate
Verifying Reachability Properties in Markov Chains via Incremental Induction. CoRR (2019)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek (2019)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Dynamic Conflict Resolution Using Justification Based Reasoning. CREST@ETAPS (2019)
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
Effective Definability of the Reachability Relation in Timed Automata. CoRR (2019)
Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. IV (2019)
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) (2019)
Martin Fränzle, Mingshuai Chen, Paul Kröger
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. ACM SIGLOG News 6 (1) (2019)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Justification Based Reasoning in Dynamic Conflict Resolution. CoRR (2019)
Sulayman K. Sowe, Martin Fränzle, Jan-Patrick Osterloh, Alexander Trende, Lars Weber, Andreas Lüdtke
Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. SEFM Workshops (2019)
Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. SAFECOMP (2018)
Saifullah Khan, Muhammad Alam, Martin Fränzle, Nils Müllner, Yuanfang Chen
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios. Comput. Electr. Eng. 68 (2018)
Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger
Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. AAAI Spring Symposia (2018)
Bai Xue, Martin Fränzle, Naijun Zhan
Under-Approximating Reach Sets for Polynomial Continuous Systems. HSCC (2018)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and Rewards in Priced Timed Automata. CoRR (2018)
Stefan Puch, Martin Fränzle, Sebastian Gerwinn
Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. ISoLA (2) (2018)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and Rewards in Priced Timed Automata. ICALP (2018)
Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS (2018)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. ATVA (2018)
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) (2017)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV (2017)
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Sci. Ann. Comput. Sci. 27 (1) (2017)
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS (2017)
Stella Parisi, Martin Fränzle
Navigating with safety in confined waterways: an explorative case study. Mensch & Computer Workshopband (2017)
Bai Xue, Arvind Easwaran, Nam-Joon Cho, Martin Fränzle
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis. IEEE Trans. Autom. Control. 62 (7) (2017)
Saifullah Khan, Muhammad Alam, Martin Fränzle
A hybrid MAC scheme for wireless vehicular communication. EUROCON (2017)
Bai Xue, Martin Fränzle, Peter Nazier Mosaad
Just scratching the surface: Partial exploration of initial values in reach-set computation. CDC (2017)
Martin Fränzle, James Kapinski, Pavithra Prabhakar
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Dagstuhl Reports 6 (9) (2016)
Saifullah Khan, Martin Fränzle
Multi-channel mode for emergency system in urban connected vehicles. IWQoS (2016)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Validated Simulation-Based Verification of Delayed Differential Dynamics. FM (2016)
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
Temporal Logic Verification for Delay Differential Equations. ICTAC (2016)
Heinrich Ody, Martin Fränzle, Michael R. Hansen
Discounted Duration Calculus. FM (2016)
Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports 6 (12) (2016)
Saifullah Khan, Muhammad Alam, Nils Müllner, Martin Fränzle
Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment. VNC (2016)
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
Accurate ICP-based floating-point reasoning. FMCAD (2016)
Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)
Mohamed Abdelaal, Oliver E. Theel, Christian Kuka, Peilin Zhang, Yang Gao, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle
Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. Int. J. Distributed Sens. Networks 12 (5) (2016)
Mohamed Abdelaal, Martin Fränzle, Axel Hahn
Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints. EMS (2015)
Yang Gao, Martin Fränzle
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. SNR@CAV (2015)
Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg
State-based real-time analysis of SDF applications on MPSoCs with shared communication resources. J. Syst. Archit. 61 (9) (2015)
Mohamed-Hedi Amri, Yasmina Becis, Didier Aubry, Nacim Ramdani, Martin Fränzle
Robust indoor location tracking of multiple inhabitants using only binary sensors. CASE (2015)
Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad
Automatic Verification of Stability and Safety for Delay Differential Equations. CAV (2) (2015)
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. 14 (1) (2015)
Rolf Drechsler, Martin Fränzle, Robert Wille
Envisioning self-verification of electronic systems. ReCoSoC (2015)
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. FORMATS (2015)
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle
Formal Verification of Simulink/Stateflow Diagrams. ATVA (2015)
Saifullah Khan, Muhammad Alam, Nils Müllner, Martin Fränzle
Cooperation and network coding based MAC protocol for VANETs. VNC (2015)
Christian Ellen, Sebastian Gerwinn, Martin Fränzle
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Yang Gao, Martin Fränzle
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. QEST (2015)
Nils Müllner, Martin Fränzle, Sibylle B. Fröschle
Estimating the probability of a timely traffic-hazard warning via simulation. SpringSim (ANSS) (2015)

Martin Fränzle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Fränzle