Prof. Dr. Martin Fränzle Bereichsvorstand und Wissenschaftlicher Leiter im FuE Bereich Verkehr

Prof. Dr. Martin Fränzle
Kontaktdaten
Tätigkeiten

Position im OFFIS

Bereichsvorstand und Wissenschaftlicher Leiter im FuE Bereich Verkehr

Forschungsbereiche

Verkehr

Position an der Uni

Leiter der Abteilung Hybride Systeme, Fak. II, Department für Informatik der Universität Oldenburg

Forschungsinteresse

Modellbasierter Entwurf eingebetteter Steuerungssysteme; Modellierung, Entwurf, Synthese und Verifikation hybrid diskret-kontinuierlicher Systeme; Stabilitäts- und Sicherheitsanalyse; Modellierung, Entwurf, Synthese und Verifikation harter Echtzeitsysteme; Formale Beschreibungssprachen und Verifikationsmethoden; sichere Fahrerassistenz; sichere autonome Robotik
News

+49 441 9722-566

+49 441 9722-502

martin.fraenzle(at)offis.de

hs.informatik.uni-oldenburg.de/25665.html

D 119/120

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Prof. Dr. Martin Fränzle

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; October / 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
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

2003

A Semantics for Distributed Execution of STATEMATE

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

BIB

Projekte
von Prof. Dr. Martin Fränzle

C

COMPANION

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

Laufzeit: 2013 - 2016

D

Digitaler Knoten 4.0

Laufzeit: 2017 - 2019

E

ENABLE-S3

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

Laufzeit: 2016 - 2019

G

go!CART

Competitive Aerial Robotic Technologies

Laufzeit: 2008 - 2010

I

IMOST 2

Integrated Modeling for Safe Transportation 2

Laufzeit: 2010 - 2013

INOUI

Innovative Operational UAS Integration

Laufzeit: 2007 - 2009

M

MoVeS

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

Laufzeit: 2010 - 2013

S

SaLsA

Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich

Laufzeit: 2009 - 2012