Martin Fränzle Member of OFFIS e. V., until december 2021 Division Executive Board Tranportation, Scientific Director Division Transportation

Martin Fränzle
Contact
Activities

Position at OFFIS

Member of OFFIS e. V., until december 2021 Division Executive Board Tranportation, Scientific Director Division Transportation

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS), Embedded Systems Design (ESD), Cyber-Resilient Architectures and Security (CRAS), Multi-Scale Multi-Rate Simulation (MS²), Applied Artificial Intelligence (AAI)

Position at the University

Head of the Foundations and Applications of
Systems of Cyber-Physical Systems Department, Fak. II, Department of Computer Science, University of Oldenburg

Research Focus

Model-based design of embedded control systems; modeling, design, synthesis and verification of hybrid discrete-continuous systems; stability and safety analysis; modeling, design, synthesis and verification of hard real-time systems; formal description languages and verification methods; safe driver assistance; safe autonomous robotics
News

+49 441 9722-500

+49 441 9722-502

Martin.Fraenzle(at)uni-oldenburg.de

https://uol.de/socps

D122

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
GERMANY

Publications
of Martin Fränzle

2021

A comparative, sociotechnical design perspective on Responsible Innovation: multidisciplinary research and education on digitized energy and Automated Vehicles

David J Hess, Dasom Lee, Bianca Biebl, Martin Fränzle, Sebastian Lehnhoff, Himanshu Neema, Jürgen Niehaus, Alexander Pretschner, Janos Sztipanovits; Journal of Responsible Innovation; 09 / 2021

BIB
A sampling-based approach for handling delays in continuous and hybrid systems

Erzana Berani Abdelwahab, Martin Fränzle; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021

BIB
Bayesian hybrid automata: Reconciling formal methods with metrology

Paul Kröger, Martin Fränzle; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021

BIB
Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles

Krefting I., Trende A., Unni A., Rieger J., Lüdtke A., Fränzle M. ; 13th International Conference on Automotive User Interfaces and Interactive Vehicular Applications; 09 / 2021

BIB
Functional verification of cyber-physical systems containing machine-learnt components

Farzaneh Moradkhani, Martin Fränzle; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021

BIB
Handling of Operating Modes in Contract-based Timing Specifications

Janis Kröger and Björn Koopmann and Ingo Stierand and Nadra Tabassam and Martin Fränzle; Proceedings of the 15th International Verification and Evaluation of Computer and Communication Systems (VECoS'21); 11 / 2021

BIB
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 58(5); 10 / 2021

BIB
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction

Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle; Proceedings, volume 13085 of Lecture Notes in Computer Science; 12 / 2021

BIB
Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks

Trende A., Unni A., Rieger J., Fraenzle M.; 23 rd HCI - International Conference on Human-Computer Interaction; 07 / 2021

BIB
Phase transition in the bipartite z-matching

Till Kahlke, Martin Fränzle, Alexander K Hartmann; Eur. Phys. J. B, 94:244; 10 / 2021

BIB
Reach-avoid Analysis for Stochastic Discrete-time Systems

Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle; 2021 American Control Conference (ACC); 05 / 2021

BIB
Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments

Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle; 24th IEEE International Intelligent Transportation Systems Conference (ITSC); 09 / 2021

BIB
System correctness under adverse conditions

Ernst-Rüdiger Olderog, Martin Fränzle, Oliver Theel, Paul Kröger; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021

BIB

2020

A Fail-safe Architecture for Automated Driving

Sebastian vom Dorff and Bert Böddeker and Maximilian Kneißl and Martin Fränzle; 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020; 2020

Challenges for Integrating Humans into Vehicular Cyber-Physical Systems

Sowe, Sulayman K. and Fränzle, Martin and Osterloh, Jan Patrick and Trende, Alexander and Weber, Lars and Lüdtke, Andreas; Lecture Notes in Computer Science - Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers; 2020

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

Björn Koopmann and Stefan Puch and Günter Ehmen and Martin Fränzle; Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS'20); 05 / 2020

Costs and rewards in priced timed automata

Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, JamesWorrell; Information and Computation; 2020

Effective definability of the reachability relation in timed automata

Martin Fränzle and Karin Quaas and Mahsa Shirmohammadi and James Worrell; Inf. Process. Lett.; 2020

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

Martin Fränzle and Paul Kröger; Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III; 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; Model-Based Safety and Assessment; September / 2020

Improving the detection of user uncertainty in automated overtaking maneuvers by combining contextual, physiological and individualized user data

Trende Alexander, Hartwich Franziska, Schmidt Cornelia, Fränzle Martin; International Conference on Human-Computer Interaction; Juli / 2020

Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems

Yosab Bebawy, Houssem Guissouma, Sebastian Vander Maelen, Janis Kröger, Georg Hake, Ingo Stierand, Martin Fränzle, Eric Sax, Axel Hahn; The 2020 International Conference on Computational Science and Computational Intelligence (CSCI'20); 12 / 2020

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; February / 2020

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

Bai Xue and Martin Fränzle and Naijun Zhan; IEEE Trans. Autom. Control.; 2020

Safety Verification for Random Ordinary Differential Equations

Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE T COMPUT AID D); October / 2020

2019

Challenges for Integrating Humans into Vehicular Cyber-Physical Systems

Sulayman K. Sowe and Martin Fränzle and Jan-Patrick Osterloh and Alexander Trende and Lars Weber and Andreas Lüdtke; Proceedings of 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS-19); 2019

BIB
Identifikation und Quantifizierung von Automationsrisiken für hochautomatisierte Fahrfunktionen

Eckard Böde, Matthias Büker, Werner Damm, Martin Fränzle, Birte Kramer, Christian Neurohr, Sebastian Vander Maelen; Juli / 2019

Identifikation von Automationsrisiken hochautomatischer Fahrfunktionen in PEGASUS

Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Vander Maelen, Martin Fränzle; AAET Automatisiertes und vernetztes Fahren; Februar / 2019

In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata

Fränzle, Martin and Chen, Mingshuai and Kröger, Paul; ACM SIGLOG News; February / 2019

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

Werner Damm and Martin Fränzle and Andreas Lüdtke and Jochem W. Rieger and Alexander Trende and Anirudh Unni; 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019; 2019

MULTIC-Tooling

Eckard Böde and Werner Damm and Günter Ehmen and Martin Fränzle and Kim Grüttner and Philipp Ittershagen and Bernhard Josko and Björn Koopmann and Frank Poppen and Michael Siegel and Ingo Stierand; FAT-Schriftenreihe 316; 06 / 2019

Probably Approximate Safety Verification of Hybrid Dynamical Systems

Bai Xue and Martin Fränzle and Hengjun Zhao and Naijun Zhan and Arvind Easwaran; Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings; 2019

Robust invariant sets generation for state-constrained perturbed polynomial systems

Bai Xue and Qiuye Wang and Naijun Zhan and Martin Fränzle; Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019; 2019

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

Shenghua Feng and Mingshuai Chen and Naijun Zhan and Martin Fränzle and Bai Xue; Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I; 2019

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; Computer Safety, Reliability, and Security; September / 2018

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

Stefan Puch and Martin Fränzle and Sebastian Gerwinn; Leveraging Applications of Formal Methods, Verification and Validation. Verification; 2018

2017

A hybrid MAC scheme for wireless vehicular communication

Khan, Saifullah and Alam, Muhammad and Fränzle, Martin; IEEE-EUROCON, 2017 -17th International Conference on Smart Technologies, Ohrid, Macedonia, July 6-8, 2017; July / 2017

Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems

Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017

Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)

Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; FAT-Schriftenreihe 302; 10 / 2017

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

Xue, Bai and Fränzle, Martin and Mosaad, Peter Nazier; 2017 IEEE 56th Conference on Decision and Control (CDC); December / 2017

BIB
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic

Peter Nazier Mosaad and Martin Fränzle and Bai Xue; Scientific Annals of Computer Science; 2017

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

Parisi, S.; Fränzle, M.; SEC-HCI Workshop, MUC 2017; 2017

BIB
Reach-avoid verification for nonlinear systems based on boundary analysis

Xue, Bai and Easwaran, Arvind and Cho, Nam-Joon and Fränzle, Martin; IEEE Trans. Automat. Contr.; 2017

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

Xue, Bai and Mosaad, Peter Nazier and Fränzle, Martin and Chen, Mingshuai and Li, Yangjia and Zhan, Naijun; Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017; 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

Cardelli, Luca and Ceska, Milan and Fränzle, Martin and Kwiatkowska, Marta and Laurenti, Luca and Paoletti, Nicola and Whitby, Max; Lecture Notes in Computer Science; July / 2017

2016

Requirements for e-Navigation Achitectures

Axel Hahn, Andre Bolles, Martin Fränzle, Sibylle Fröschle, Jin Park; International Journal of e-Navigation and Maritime Economy; 2016

BIB

2015

Estimating the Probability of a Timely Traffic-Hazard Warning via Simulation

Müllner, Nils and Fränzle, Martin and Fröschle, Sibylle; Proceedings of the 48th Annual Symposium on Simulation (AnSS2015); 01 / 2015

BIB
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter; Formal Modeling and Analysis of Timed Systems; 2015

Requirements for e-Navigation Achitectures

Axel Hahn and Andre Bolles and Martin Fränzle and Sibylle Fröschle and Jin Park; Proceedings of International Conference on Advanced Intelligent Maritime Safety and Technology; 2015

BIB
State-Based Real-Time Analysis of SDF Applications on MPSoCs with Shared Communication Resources

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg; Journal of Systems Architecture (JSA): the EUROMICRO Journal; oct / 2015

State-Based Real-Time Analysis of SDF Applications on Multi-Cores

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg; 1st International Workshop on Investigating Dataflow in Embedded computing Architecture (IDEA); 1 / 2015

2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro; Quantitative Evaluation of Systems; 2014

Multicore Performance analysis of a Multi-phase Electrical Motor Controller

Fakih, Maher and Grüttner, Kim and Fränzle, Martin and Rettberg, Achim; Proceedings of the Embedded Real Time Software and Systems Congress (ERTS²) 2014; 2 / 2014

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

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; International Journal on Software Tools for Technology Transfer; 2014

2013

A Path Planning Framework for Autonomous Vehicles

Eilers, Sönke and Boger, Jürgen and Fränzle, Martin; 9th International Workshop on Robot Motion and Control; 7 / 2013

Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems

Müllner, Nils and Theel, Oliver and Fränzle, Martin; Journal of Computer and System Sciences (JCSS); 01 / 2013

BIB
Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation

Puch, Stefan and Wortelen, Bertram and Fränzle, Martin and Peikenkamp, Thomas; Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport; 07 / 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, and Achim Rettberg; International Embedded Systems Symposium (IESS); 6 / 2013

BIB
Modeling Options for Demand Side Participation of Thermostatically Controlled Loads

Kamgarpour, Maryam and Ellen, Christian and Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Mathieu, Johanna L. and Müllner, Nils and Abate, Alessandro and Callaway, Duncan S. and Fränzle, Martin and Lygeros, John; Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium; 8 / 2013

Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking

Fakih, Maher and Grüttner, Kim and Fränzle, Martin and Rettberg, Achim; Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2013; 03 / 2013

BIB

2012

An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments

Eilers, Sönke and Gerwinn, Sebastian and Fränzle, Martin and Kuka, Christian and Schweiger, Sören and Toben, Tobe; Workshop Proceedings: Trustworthy Cyber-Physical Systems; 08 / 2012

BIB
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System - Best Paper Award

Müllner, Nils and Theel, Oliver and Fränzle, Martin; Advanced Information Networking and Applications, International Conference on; 03 / 2012

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK; 09 / 2012

BIB
Modeling TCL via DTMC

Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils; 09 / 2012

BIB
Rapid Virtual-Human-in-the-Loop Simulation with the High Level Architecture

Puch, Stefan and Fränzle, Martin and Osterloh, Jan-Patrick and Läsche, Christoph; Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012) ; 07 / 2012

BIB
Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems

Puch, Stefan and Wortelen, Bertram and Fränzle, Martin and Peikenkamp, Thomas; Proceedings of the 2012 European Simulation and Modelling Conference; 10 / 2012

BIB

2011

Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems

Teige, Tino and Eggers, Andreas and Fränzle, Martin; Nonlinear Analysis: Hybrid Systems; 01 / 2011

BIB
Crossing the bridge between similar games

Quesel, Jan-David and Fränzle, Martin and Damm, Werner; Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings; 01 / 2011

BIB
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems

Teige, Tino and Fränzle, Martin; Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems; 01 / 2011

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

Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle; Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM); 01 / 2011

BIB
Measurability and Safety Verification for Stochastic Hybrid Systems

Fränzle, Martin and Hahn, Ernst Moritz Hahn and Hermanns, Holgers and Wolovick, Nicolas and Zhang, Lijun; Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings; 01 / 2011

BIB
Predicting the Effect of Driver Assistance via Simulation

Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; Human Modelling in Assisted Transportation; 01 / 2011

BIB
Proof Certificates and Non-linear Arithmetic Constraints

Kupferschmid, Stefan and Becker, Bernd and Teige, Tino and Fränzle, Martin; Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011); 01 / 2011

BIB
Semantic Independence

Fränzle, Martin and Lengauer, Christian; Encyclopedia of Parallel Computing; 01 / 2011

BIB
Using Guided Simulation to Assess Driver Assistance Systems

Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; FORMS/FORMAT 2010; 01 / 2011

BIB

2003

A Semantics for Distributed Execution of STATEMATE

Fränzle, Martin and Niehaus, Jürgen and Metzner, Alexander and Damm, Werner; 12 / 2003

BIB

Projects
of Martin Fränzle

C

CF1

CyberFactory#1

Duration: 2019 - 2022

COMPANION

Cooperative dynamic formation of platoons for safe and energy-optimized goods transportation

Duration: 2013 - 2016

D

Digitaler Knoten 4.0

Duration: 2017 - 2019

E

ENABLE-S3

European Initiative to Enable Validation for Highly Automated Safe and Secure Systems

Duration: 2016 - 2019

G

go!CART

Competitive Aerial Robotic Technologies

(Sorry - only available in german!)

Duration: 2007 - 2010

I

IMOST 2

Integrated Modeling for Safe Transportation 2 (sorry - only available in german)

Duration: 2010 - 2013

INOUI

Innovative Operational UAS Integration

(Sorry - only available in german!)

Duration: 2007 - 2009

M

MoVeS

Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances

Duration: 2010 - 2013

P

PANORAMA

Boosting Design Efficiency for Heterogeneous³ Systems

Duration: 2019 - 2022

S

SaLsA

Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich (sorry - only available in German)

Duration: 2009 - 2012

Step-Up!CPS

Software Methods and Technologies for Modular Updates of Cyber-Physical Systems

Duration: 2018 - 2021

V

ViVre

Vernetzung virtualisierter Verkehrsinfrastrukturen und automatisierter Fahrfunktionen für nachhaltige Mobilitätslösungen

Duration: 2020 - 2021