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

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

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

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

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

Axel Hahn, Andre Bolles, Martin Fränzle, Sibylle Fröschle, Jin Park; International Journal of e-Navigation and Maritime Economy; 2016

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

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

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

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

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

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