Members of the R&D-Division Transportation
Prof. Dr. Martin Fränzle
Position at OFFIS
Bereichsvorstand und Wissenschaftlicher Leiter im FuE Bereich Verkehr
Position at the University
Leiter der Abt. Hybride Systeme, Fak. II, Department für Informatik der Universität Oldenburg
Research and Developement Division
Verkehr
Responsibility
Verkehr: Vorstand
Research Focus
- 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
Room
D119
Phone
+49 441 9722-566
fax
+49 441 9722-502
Address
OFFIS
martin.fraenzle [ A T ] 
offis.de
www
http://hs.informatik.uni-oldenburg.de/25665.html
Publications
Title
Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking
booktitle
Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2013
Alle Autoren
Fakih, Maher; Grüttner, Kim; Fränzle, Martin; Rettberg, Achim
Year
2013
Title
Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems
Alle Autoren
Müllner, Nils; Theel, Oliver; Fränzle, Martin
Year
2013
Title
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs
Title of Conference
International Embedded Systems Symposium (IESS) 2013
Alle Autoren
Fakih, Maher; Grüttner, Kim; Fränzle, Martin; Rettberg, Achim
Year
2013
Title
Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation
booktitle
HCI International 2013 Conference Proceedings
Title of Conference
HCI International 2013
Alle Autoren
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
Year
2013
Title
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System
Title of Conference
2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA'2012)
Alle Autoren
Nils Müllner, Oliver Theel, Martin Fränzle
Year
2012
Title
Rapid Virtual-Human-in-the-Loop Simulation with the High Level Architecture
booktitle
Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012)
Title of Conference
Summer Computer Simulation Conference 2012 (SCSC 2012)
Alle Autoren
Puch, Stefan; Fränzle, Martin; Osterloh, Jan-Patrick; Läsche, Christoph
Year
2012
Title
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems
booktitle
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK
Title of Conference
Formal Modeling and Analysis of Timed Systems (FORMATS)
Alle Autoren
Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin
Year
2012
Title
Modeling TCL via DTMC
Title of Conference
Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems
Alle Autoren
Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils
Year
2012
Title
An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments
booktitle
Workshop Proceedings: Trustworthy Cyber-Physical Systems
Alle Autoren
Eilers, Sönke ; Gerwinn, Sebastian; Fränzle, Martin; Kuka, Christian; Schweiger, Sören; Toben, Tobe
Year
2012
Title
Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems
booktitle
Proceedings of the 2012 European Simulation and Modelling Conference
Title of Conference
26th European Simulation and Modelling Conference
Alle Autoren
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
Year
2012
Title
Using Guided Simulation to Assess Driver Assistance Systems
Title of Conference
FORMS/FORMAT 2010
Year
2011
Title
Predicting the Effect of Driver Assistance via Simulation
Title of Conference
Human Modelling in Assisted Transportation 2010 (HMAT)
Year
2011
Title
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
booktitle
Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)
Alle Autoren
Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle
Year
2011
Title
Measurability and Safety Verification for Stochastic Hybrid Systems
booktitle
Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings
Alle Autoren
Fränzle, Martin; Hahn, Ernst Moritz Hahn; Hermanns, Holgers; Wolovick, Nicolas; Zhang, Lijun
Year
2011
Title
Proof Certificates and Non-linear Arithmetic Constraints
booktitle
Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)
Alle Autoren
Kupferschmid, Stefan; Becker, Bernd; Teige, Tino; Fränzle, Martin
Year
2011
Title
Crossing the bridge between similar games
booktitle
Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings
Alle Autoren
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
Year
2011
Title
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
booktitle
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Alle Autoren
Teige, Tino; Fränzle, Martin
Year
2011
Title
Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
Alle Autoren
Teige, Tino; Eggers, Andreas; Fränzle, Martin
Year
2011
Title
Semantic Independence
booktitle
Encyclopedia of Parallel Computing
Alle Autoren
Fränzle, Martin; Lengauer, Christian
Year
2011
Title
A Semantics for Distributed Execution of STATEMATE
Alle Autoren
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
Year
2003