Personen
Prof. Dr. Martin Fränzle
Position im OFFIS
Bereichsvorstand und Wissenschaftlicher Leiter im FuE Bereich Verkehr
Position an der Uni
Leiter der Abt. Hybride Systeme, Fak. II, Department für Informatik der Universität Oldenburg
Forschungsbereiche
Verkehr
Verantwortung
Verkehr: Vorstand
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
Raum
D119
Telefon
+49 441 9722-566
fax
+49 441 9722-502
Adresse
OFFIS
martin.fraenzle [ A T ] 
offis.de
www
http://hs.informatik.uni-oldenburg.de/25665.html
Publikationen
Titel
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System
Titel der Konferenz
2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA'2012)
Alle Autoren
Nils Müllner, Oliver Theel, Martin Fränzle
Jahr
2012
Titel
Using Guided Simulation to Assess Driver Assistance Systems
Titel der Konferenz
FORMS/FORMAT 2010
Jahr
2011
Titel
Predicting the Effect of Driver Assistance via Simulation
Titel der Konferenz
Human Modelling in Assisted Transportation 2010 (HMAT)
Jahr
2011
Titel
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Buchtitel
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
Jahr
2011
Titel
Measurability and Safety Verification for Stochastic Hybrid Systems
Buchtitel
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
Jahr
2011
Titel
Proof Certificates and Non-linear Arithmetic Constraints
Buchtitel
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
Jahr
2011
Titel
Crossing the bridge between similar games
Buchtitel
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
Jahr
2011
Titel
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Buchtitel
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Alle Autoren
Teige, Tino; Fränzle, Martin
Jahr
2011
Titel
Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
Alle Autoren
Teige, Tino; Eggers, Andreas; Fränzle, Martin
Jahr
2011
Titel
Semantic Independence
Buchtitel
Encyclopedia of Parallel Computing
Alle Autoren
Fränzle, Martin; Lengauer, Christian
Jahr
2011
Titel
A Semantics for Distributed Execution of STATEMATE
Alle Autoren
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
Jahr
2003