Martin Fränzle Member of OFFIS e. V., until december 2021 Division Executive Board Tranportation, Scientific Director Division Transportation
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 ofSystems 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 D122
OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
GERMANY
Publications
of Martin Fränzle
2021
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
Erzana Berani Abdelwahab, Martin Fränzle; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021
Paul Kröger, Martin Fränzle; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021
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
Farzaneh Moradkhani, Martin Fränzle; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021
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
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan; Acta Informatica 58(5); 10 / 2021
Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle; Proceedings, volume 13085 of Lecture Notes in Computer Science; 12 / 2021
Trende A., Unni A., Rieger J., Fraenzle M.; 23 rd HCI - International Conference on Human-Computer Interaction; 07 / 2021
Till Kahlke, Martin Fränzle, Alexander K Hartmann; Eur. Phys. J. B, 94:244; 10 / 2021
Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle; 2021 American Control Conference (ACC); 05 / 2021
Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle; 24th IEEE International Intelligent Transportation Systems Conference (ITSC); 09 / 2021
Ernst-Rüdiger Olderog, Martin Fränzle, Oliver Theel, Paul Kröger; it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6; 11 / 2021
2020
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
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
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
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, JamesWorrell; Information and Computation; 2020
Martin Fränzle and Karin Quaas and Mahsa Shirmohammadi and James Worrell; Inf. Process. Lett.; 2020
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
Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm; Model-Based Safety and Assessment; September / 2020
Trende Alexander, Hartwich Franziska, Schmidt Cornelia, Fränzle Martin; International Conference on Human-Computer Interaction; Juli / 2020
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
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad,Naijun Zhan; Acta Informatica; February / 2020
Bai Xue and Martin Fränzle and Naijun Zhan; IEEE Trans. Autom. Control.; 2020
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
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
Eckard Böde, Matthias Büker, Werner Damm, Martin Fränzle, Birte Kramer, Christian Neurohr, Sebastian Vander Maelen; Juli / 2019
Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Vander Maelen, Martin Fränzle; AAET Automatisiertes und vernetztes Fahren; Februar / 2019
Fränzle, Martin and Chen, Mingshuai and Kröger, Paul; ACM SIGLOG News; February / 2019
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
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
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
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
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
Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer; Computer Safety, Reliability, and Security; September / 2018
Stefan Puch and Martin Fränzle and Sebastian Gerwinn; Leveraging Applications of Formal Methods, Verification and Validation. Verification; 2018
2017
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
Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017
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
Xue, Bai and Fränzle, Martin and Mosaad, Peter Nazier; 2017 IEEE 56th Conference on Decision and Control (CDC); December / 2017
Peter Nazier Mosaad and Martin Fränzle and Bai Xue; Scientific Annals of Computer Science; 2017
Parisi, S.; Fränzle, M.; SEC-HCI Workshop, MUC 2017; 2017
Xue, Bai and Easwaran, Arvind and Cho, Nam-Joon and Fränzle, Martin; IEEE Trans. Automat. Contr.; 2017
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
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
Axel Hahn, Andre Bolles, Martin Fränzle, Sibylle Fröschle, Jin Park; International Journal of e-Navigation and Maritime Economy; 2016
2015
Müllner, Nils and Fränzle, Martin and Fröschle, Sibylle; Proceedings of the 48th Annual Symposium on Simulation (AnSS2015); 01 / 2015
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
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
Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg; Journal of Systems Architecture (JSA): the EUROMICRO Journal; oct / 2015
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
Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro; Quantitative Evaluation of Systems; 2014
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
Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; International Journal on Software Tools for Technology Transfer; 2014
2013
Eilers, Sönke and Boger, Jürgen and Fränzle, Martin; 9th International Workshop on Robot Motion and Control; 7 / 2013
Müllner, Nils and Theel, Oliver and Fränzle, Martin; Journal of Computer and System Sciences (JCSS); 01 / 2013
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
Maher Fakih, Kim Grüttner, Martin Fränzle, and Achim Rettberg; International Embedded Systems Symposium (IESS); 6 / 2013
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
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
2012
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
Müllner, Nils and Theel, Oliver and Fränzle, Martin; Advanced Information Networking and Applications, International Conference on; 03 / 2012
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
Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils; 09 / 2012
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
Puch, Stefan and Wortelen, Bertram and Fränzle, Martin and Peikenkamp, Thomas; Proceedings of the 2012 European Simulation and Modelling Conference; 10 / 2012
2011
Teige, Tino and Eggers, Andreas and Fränzle, Martin; Nonlinear Analysis: Hybrid Systems; 01 / 2011
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
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
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
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
Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; Human Modelling in Assisted Transportation; 01 / 2011
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
Fränzle, Martin and Lengauer, Christian; Encyclopedia of Parallel Computing; 01 / 2011
Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; FORMS/FORMAT 2010; 01 / 2011
2003
Fränzle, Martin and Niehaus, Jürgen and Metzner, Alexander and Damm, Werner; 12 / 2003
Projects
of Martin Fränzle
C
Cooperative dynamic formation of platoons for safe and energy-optimized goods transportation
Duration: 2013 - 2016D
Duration: 2017 - 2019
E
European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
Duration: 2016 - 2019G
Competitive Aerial Robotic Technologies
(Sorry - only available in german!)
Duration: 2007 - 2010I
Integrated Modeling for Safe Transportation 2 (sorry - only available in german)
Duration: 2010 - 2013
Innovative Operational UAS Integration
(Sorry - only available in german!)
Duration: 2007 - 2009M
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
Duration: 2010 - 2013P
S
Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich (sorry - only available in German)
Duration: 2009 - 2012
Software Methods and Technologies for Modular Updates of Cyber-Physical Systems
Duration: 2018 - 2021V
Vernetzung virtualisierter Verkehrsinfrastrukturen und automatisierter Fahrfunktionen für nachhaltige Mobilitätslösungen
Duration: 2020 - 2021 