| 2025 | FMICS | Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime. | Janis Krger, Ingo Stierand, Martin Frnzle |
| 2024 | EDCC | What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -. | Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Frnzle |
| 2024 | IFM | Monitoring Real-Time Systems Under Parametric Delay. | Martin Frnzle, Thomas Mller Grosen, Kim G. Larsen, Martin Zimmermann |
| 2024 | ISoLA | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. | Pauline Blohm, Martin Frnzle, Paula Herber, Paul Krger, Anne Remke |
| 2024 | RV | Stream-Based Monitoring Under Measurement Noise. | Bernd Finkbeiner, Martin Frnzle, Florian Kohn, Paul Krger |
| 2023 | ACML | Estimation of Counterfactual Interventions under Uncertainties. | Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Frnzle |
| 2023 | VECoS | Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception. | Martin Frnzle, Andreas Hein |
| 2022 | HCI | A Case-Study for a Human-Centered Approach to Traffic Management Systems. | Alexander Trende, Ina Krefting, Anirudh Unni, Jochem W. Rieger, Martin Frnzle |
| 2022 | RE | Self-Explanation in Systems of Systems. | Grschwin Fey, Martin Frnzle, Rolf Drechsler |
| 2021 | HCI | Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks. | Alexander Trende, Anirudh Unni, Jochem W. Rieger, Martin Frnzle |
| 2021 | SEFM | Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. | Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Frnzle |
| 2021 | VECoS | Handling of Operating Modes in Contract-Based Timing Specifications. | Janis Krger, Bjrn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Frnzle |
| 2020 | DATE | A Fail-safe Architecture for Automated Driving. | Sebastian vom Dorff, Bert Bddeker, Maximilian Kneil, Martin Frnzle |
| 2020 | HCI | Improving the Detection of User Uncertainty in Automated Overtaking Maneuvers by Combining Contextual, Physiological and Individualized User Data. | Alexander Trende, Franziska Hartwich, Cornelia Schmidt, Martin Frnzle |
| 2020 | ISoLA | Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. | Martin Frnzle, Paul Krger |
| 2020 | VEHITS | Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. | Bjrn Koopmann, Stefan Puch, Gnter Ehmen, Martin Frnzle |
| 2019 | CAV | Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. | Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Frnzle, Bai Xue |
| 2019 | ICFEM | Probably Approximate Safety Verification of Hybrid Dynamical Systems. | Bai Xue, Martin Frnzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran |
| 2019 | SEFM | Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. | Sulayman K. Sowe, Martin Frnzle, Jan-Patrick Osterloh, Alexander Trende, Lars Weber, Andreas Ldtke |
| 2018 | ATVA | What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. | Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
| 2018 | ICALP | Costs and Rewards in Priced Timed Automata. | Martin Frnzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell |
| 2018 | ISoLA | Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. | Stefan Puch, Martin Frnzle, Sebastian Gerwinn |
| 2018 | SAFECOMP | Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. | Eckard Bde, Matthias Bker, Ulrich Eberle, Martin Frnzle, Sebastian Gerwinn, Birte Kramer |
| 2017 | CAV | Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. | Luca Cardelli, Milan Ceska, Martin Frnzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby |
| 2016 | FM | Validated Simulation-Based Verification of Delayed Differential Dynamics. | Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
| 2016 | FM | Discounted Duration Calculus. | Heinrich Ody, Martin Frnzle, Michael R. Hansen |
| 2016 | FMCAD | Accurate ICP-based floating-point reasoning. | Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer, Bernd Becker |
| 2016 | ICTAC | Temporal Logic Verification for Delay Differential Equations. | Peter Nazier Mosaad, Martin Frnzle, Bai Xue |
| 2016 | IWQoS | Multi-channel mode for emergency system in urban connected vehicles. | Saifullah Khan, Martin Frnzle |
| 2016 | SYNASC | Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. | Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer |
| 2015 | ATVA | Formal Verification of Simulink/Stateflow Diagrams. | Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle |
| 2015 | CAV | Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. | Yang Gao, Martin Frnzle |
| 2015 | CAV | Automatic Verification of Stability and Safety for Delay Differential Equations. | Liang Zou, Martin Frnzle, Naijun Zhan, Peter Nazier Mosaad |
| 2014 | AINA | Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. | Nils Mllner, Oliver E. Theel, Martin Frnzle |
| 2014 | AINA | Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. | Nils Mllner, Oliver E. Theel, Martin Frnzle |
| 2013 | DATE | Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking. | Maher Fakih, Kim Grttner, Martin Frnzle, Achim Rettberg |
| 2013 | EMSOFT | Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. | Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle, Shengchao Qin |
| 2013 | HCI | Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation. | Stefan Puch, Bertram Wortelen, Martin Frnzle, Thomas Peikenkamp |
| 2012 | AINA | Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. | Nils Mllner, Oliver E. Theel, Martin Frnzle |
| 2011 | DDECS | Proof certificates and non-linear arithmetic constraints. | Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Frnzle |
| 2011 | SEFM | Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. | Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Frnzle |
| 2011 | TACAS | Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. | Tino Teige, Martin Frnzle |
| 2010 | IFM | Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. | Martin Frnzle, Tino Teige, Andreas Eggers |
| 2010 | LPAR | Resolution for Stochastic Boolean Satisfiability. | Tino Teige, Martin Frnzle |
| 2008 | ATVA | SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. | Andreas Eggers, Martin Frnzle, Christian Herde |
| 2008 | CPAIOR | Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. | Tino Teige, Martin Frnzle |
| 2008 | SEFM | Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. | Martin Frnzle, Michael R. Hansen |
| 2007 | CAV | Verification of Hybrid Systems. | Martin Frnzle |
| 2007 | TACAS | Deciding an Interval Logic with Accumulated Durations. | Martin Frnzle, Michael R. Hansen |
| 2007 | TIME | A Symbolic Decision Procedure for Robust Safety of Timed Systems. | Mani Swaminathan, Martin Frnzle |
| 2006 | FMICS | Parallel SAT Solving in Bounded Model Checking. | Erika brahm, Tobias Schubert, Bernd Becker, Martin Frnzle, Christian Herde |
| 2005 | ICTAC | A Robust Interpretation of Duration Calculus. | Martin Frnzle, Michael R. Hansen |
| 2005 | RTCSA | Scheduling Distributed Real-Time Systems by Satisfiability Checking. | Alexander Metzner, Martin Frnzle, Christian Herde, Ingo Stierand |
| 2003 | LPAR | Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. | Martin Frnzle, Christian Herde |
| 1999 | CSL | Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. | Martin Frnzle |
| 1994 | CC | Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. | Martin Frnzle, Markus Mller-Olm |
| 1993 | ECRTS | Developing Correct Systems. | Jonathan P. Bowen, Ernst-Rdiger Olderog, Martin Frnzle, Anders P. Ravn |
| 1992 | CC | Provably Correct Compiler Development and Implementation. | Bettina Buth, Karl-Heinz Buth, Martin Frnzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Mller-Olm |