Personen
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
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
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