R. Kiaghadi, "Optimal Rescue Sequences in Disastrous Incidents" in Proc. Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-43264-4_43

A. Rakow, M. Hajnorouzi, und A. Bairy, "What to tell when? - Information Provision as a Game" in Proc. Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023, 2023.
doi: 10.4204/EPTCS.395.1

A. Rakow, "Framing Relevance for Safety-Critical Autonomous Systems" CoRR, vol. abs/2307.14355.
doi: 10.48550/ARXIV.2307.14355

B. Neurohr, T. Koopmann, E. Moehlmann, und M. Fraenzle, "Determining the Validity of Simulation Models for the Verification of Automated Driving Systems" IEEE Access, vol. 11.
doi: 10.1109/ACCESS.2023.3316354

J. Weilbach, S. Gerwinn, M. Kandemir, und M. Fraenzle, "Estimation of Counterfactual Interventions under Uncertainties" CoRR, vol. abs/2309.08332.
doi: 10.48550/ARXIV.2309.08332

M. Fraenzle, W. Hagemann, W. Damm, A. Rakow, und M. Swaminathan, "Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles" in Proc. Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, 2023.
doi: 10.1007/978-3-031-40132-9_12

F. C. Córdoba, A. Palmisano, M. Fraenzle, R. Bloem, und B. Koenighofer, "Safety Shielding under Delayed Observation" in Proc. Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic, 2023.
doi: 10.1609/ICAPS.V33I1.27181

M. Fraenzle, S. Winter, und M. Zimmermann, "Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games" in Proc. Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023, 2023.
doi: 10.4204/EPTCS.390.14

F. Moradkhani, C. Fibich, und M. Fraenzle, "Verification of LSTM Neural Networks with Non-linear Activation Functions" in Proc. NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-33170-1_1

J. Kröger, B. Koopmann, I. Stierand, und M. Fränzle, "Contract-based specification of mode-dependent timing behavior" Innovations in Systems and Software Engineering.
doi: 10.1007/s11334-023-00531-4

A. Bairy und M. Fränzle, "Optimal Explanation Generation using Attention Distribution Model" in Proc. Human Interaction and Emerging Technologies (IHIET-AI 2023): Artificial Intelligence and Future Applications, 2023.
doi: 10.54941/ahfe1002928

B. Xue, N. Zhan, und M. Fränzle, "Reach-Avoid Analysis for Polynomial Stochastic Differential Equations" IEEE Transactions on Automatic Control, vol. 69, iss. 3.
doi: 10.1109/TAC.2023.3332570

F. Cano Córdoba, A. Palmisano, M. Fränzle, R. Bloem, und B. Könighofer, "Safety Shielding under Delayed Observation" Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, iss. 1.
doi: 10.1609/icaps.v33i1.27181

B. Xue, N. Zhan, M. Fränzle, J. Wang, und W. Liu, "Reach-Avoid Verification Based on Convex Optimization" IEEE Transactions on Automatic Control, vol. 69, iss. 1.
doi: 10.1109/TAC.2023.3274821

A. Trende, I. Krefting, L. Weber, J. Rieger, A. Lüdtke, und M. Fränzle, "Investigation of Graphical User Interfaces for Online Driving Style Customization of Highly Automated Vehicles" in Proc. Human Interaction & Emerging Technologies (IHIET 2023): Artificial Intelligence & Future Applications, 2023.
doi: 10.54941/ahfe1004059

J. Kröger und M. Fränzle, Updates at Runtime for Cyber Physical Systems. A Game Theoretic ApproachBonn: Gesellschaft für Informatik e.V.
doi: 10.18420/se2023-ws-08

A. Bairy, "Modeling Explanations in Autonomous Vehicles" in Proc. Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, 2022.
doi: 10.1007/978-3-031-07727-2_20

A. Bairy, W. Hagemann, A. Rakow, und M. Schwammberger, "Towards Formal Concepts for Explanation Timing and Justifications" in Proc. 30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022, 2022.
doi: 10.1109/REW56159.2022.00025

A. Rakow und J. Kröger, "Roles and Responsibilities for a Predictable Update Process -- A Position Paper" in Proc. Verification and Evaluation of Computer and Communication Systems, Cham, 2022.

A. Rakow, "A Doxastic Characterisation of Autonomous Decisive Systems" in Proc. Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022, 2022.
doi: 10.4204/eptcs.371.8

M. Schwammberger, C. Harper, G. V. Alves, G. Chance, T. Pipe, und K. Eder, "Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process" CoRR, vol. abs/2208.05273.
doi: 10.48550/arXiv.2208.05273

M. Schwammberger und V. Klös, "From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata" in Proc. Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022, 2022.
doi: 10.4204/EPTCS.371.2

G. V. Alves und M. Schwammberger, "Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata" in Proc. Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022, 2022.
doi: 10.4204/EPTCS.371.6

V. Klös, M. Sadeghi, und M. Schwammberger, "Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES)" in Proc. 30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022, 2022.
doi: 10.1109/REW56159.2022.00021

A. Abate, U. Fahrenberg, und M. Fränzle, "Introduction to the Special Issue on Distributed Hybrid Systems" Leibniz Trans. Embed. Syst. vol. 8, iss. 2.
doi: 10.4230/LITES.8.2.0

B. Xue, N. Zhan, M. Fränzle, J. Wang, und W. Liu, "Reach-avoid Verification Based on Convex Optimization" CoRR, vol. abs/2208.08105.
doi: 10.48550/arXiv.2208.08105

B. Xue, N. Zhan, und M. Fränzle, "Reach-Avoid Analysis for Stochastic Differential Equations" CoRR, vol. abs/2208.10752.
doi: 10.48550/arXiv.2208.10752

B. Koopmann, S. Puch, G. Ehmen, und M. Fränzle, "Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach" CoRR, vol. abs/2211.01633.
doi: 10.48550/arXiv.2211.01633

G. Fey, M. Fränzle, und R. Drechsler, "Self-Explanation in Systems of Systems" in Proc. 30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022, 2022.
doi: 10.1109/REW56159.2022.00023

B. Finkbeiner, M. Fränzle, F. Kohn, und P. Kröger, "A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation" Algorithms, vol. 15, iss. 4.
doi: 10.3390/a15040126

M. Fränzle, "The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic" in Proc. A Journey from Process Algebra via Timed Automata to Model Learning -- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 2022.
doi: 10.1007/978-3-031-15629-8_12

M. Fränzle, M. Shirmohammadi, M. Swaminathan, und J. Worrell, "Costs and rewards in priced timed automata" Inf. Comput. vol. 282, p. 104656.
doi: 10.1016/j.ic.2020.104656

D. Grundt, S. L. Jurj, W. Hagemann, P. Kröger, und M. Fränzle, "Verification of Sigmoidal Artificial Neural Networks using iSAT" Electronic Proceedings in Theoretical Computer Science, vol. 361.
doi: 10.4204/eptcs.361.6

A. Trende, A. Unni, M. Jablonski, B. Biebl, A. Lüdtke, M. Fränzle, und J. W. Rieger, "Driver's turning intent recognition model based on brain activation and contextual information" Frontiers in Neuroergonomics, vol. 3.
doi: 10.3389/fnrgo.2022.956863

A. Unni, A. Trende, C. Pauley, L. Weber, B. Biebl, S. Kacianka, A. Lüdtke, K. Bengler, A. Pretschner, M. Fränzle, und J. W. Rieger, "Investigating Differences in Behavior and Brain in Human-Human and Human-Autonomous Vehicle Interactions in Time-Critical Situations" Frontiers in Neuroergonomics, vol. 3.
doi: 10.3389/fnrgo.2022.836518

J. Kröger, B. Koopmann, I. Stierand, N. Tabassam, und M. Fränzle, "Handling of Operating Modes in Contract-Based Timing Specifications" in Proc. Verification and Evaluation of Computer and Communication Systems, Cham, 2022.

N. Tabassam und M. G. Fränzle, "Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles" in Proc. Smart Transportation Systems 2022, Singapore, 2022.

B. Xue, Q. Wang, N. Zhan, M. Fränzle, und S. Feng, "Differential Games Based on Invariant Sets Generation" in Proc. 2022 American Control Conference (ACC), 2022.
doi: 10.23919/ACC53348.2022.9867496

A. Trende, I. Krefting, A. Unni, J. Rieger, und M. Fränzle, "A Case-Study for a Human-Centered Approach to Traffic Management Systems" in Proc. HCI International 2022 Posters, Cham, 2022.

M. Fränzle, "Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation."
doi: 10.15488/13211

P. Kröger und M. Fränzle, "Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation" Leibniz Transaction on Embedded Systems, vol. 8, iss. 2.
doi: 10.4230/LITES.8.2.5

A. Trende, A. Unni, J. Rieger, und M. Fränzle, "Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks" in Proc. HCI International 2021 - Posters, Cham, 2021.

S. vom Dorff, C. Cheng, H. Esen, und M. Fränzle, "Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction" in Proc. Software Engineering and Formal Methods, Cham, 2021.

A. Rakow und J. Kröger, "Roles and Responsibilities for a Predictable Update Process -- A Position Paper" in Proc. Verification and Evaluation of Computer and Communication Systems, Cham, 2022.

J. Kröger, B. Koopmann, I. Stierand, N. Tabassam, und M. Fränzle, "Handling of Operating Modes in Contract-Based Timing Specifications" in Proc. Verification and Evaluation of Computer and Communication Systems, Cham, 2022.

M. Schwammberger, "Proving Properties of Autonomous Car Manoeuvres in Urban Traffic" it - Information Technology, vol. 63, iss. 5-6.
doi: doi:10.1515/itit-2021-0007

P. Kröger und M. Fränzle, "Bayesian Hybrid Automata: Reconciling Formal Methods with Metrology" it - Information Technology, vol. 63, iss. 5-6.
doi: doi:10.1515/itit-2021-0008

F. Moradkhani und M. Fränzle, "Functional Verification of Cyber-Physical Systems Containing Machine-learnt Components" it - Information Technology, vol. 63, iss. 5-6.
doi: doi:10.1515/itit-2021-0009

E. B. Abdelwahab und M. Fränzle, "A Sampling-Based Approach for Handling Delays in Continuous and Hybrid Systems" it - Information Technology, vol. 63, iss. 5-6.
doi: doi:10.1515/itit-2021-0010

E. Olderog, M. Fränzle, O. Theel, und P. Kröger, "System Correctness under Adverse Conditions" it - Information Technology, vol. 63, iss. 5-6.
doi: doi:10.1515/itit-2021-0043

I. Krefting, A. Trende, A. Unni, J. Rieger, A. Luedtke, und M. Fränzle, "Evaluation of Graphical Human-Machine Interfaces for Turning Manoeuvres in Automated Vehicles." New York, NY, USA: Association for Computing Machinery, p. 77.

M. Schwammberger, "A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres" in Proc. 2021 IEEE 29th International Requirements Engineering Conference Workshops (REW), 2021.
doi: 10.1109/REW53955.2021.00035

B. Xue, R. Li, N. Zhan, und M. Fränzle, "Reach-avoid Analysis for Stochastic Discrete-time Systems" in Proc. 2021 American Control Conference (ACC), 2021.
doi: 10.23919/ACC50511.2021.9483095

S. vom Dorff, M. Kneissl, und M. Fränzle, "Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments" in Proc. 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 2021.
doi: 10.1109/ITSC48978.2021.9565022

H. Guissouma, J. Kröger, S. V. Maelen, und E. Sax, "Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems" in Proc. 2021 IEEE International Symposium on Systems Engineering (ISSE), 2021.
doi: 10.1109/ISSE51541.2021.9582468

M. Schwammberger, "Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr" in Proc. Ausgezeichnete Informatikdissertationen 2020, Bonn, 2021.

M. Schwammberger und G. Vaz Alves, "Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules" in Proc. rm Proceedings Third Workshop on Formal Methods for Autonomous Systems, rm Virtual, 21st-22nd of October 2021, 2021.
doi: 10.4204/EPTCS.348.1

M. Schwammberger, "Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic" PhD Thesis , 2021.

D. J. Hess, D. Lee, B. Biebl, M. Fränzle, S. Lehnhoff, H. Neema, J. Niehaus, A. Pretschner, und J. Sztipanovits, "A Comparative, Sociotechnical Design Perspective on Responsible Innovation: Multidisciplinary Research and Education on Digitized Energy and Automated Vehicles" Journal of Responsible Innovation, vol. 8, iss. 3.
doi: 10.1080/23299460.2021.1975377

M. Chen, M. Fränzle, Y. Li, P. N. Mosaad, und N. Zhan, "Indecision and Delays are the Parents of Failure--Taming Them Algorithmically by Synthesizing Delay-Resilient Control" Acta Informatica, vol. 58, iss. 5.

T. Kahlke, M. Fränzle, und A. K. Hartmann, "Phase Transition in the Bipartite z-Matching" The European Physical Journal B, vol. 94, iss. 12, p. 244.

B. Xue, M. Fränzle, und N. Zhan, "Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties" IEEE Transactions on Automatic Control, vol. 65, iss. 4.
doi: 10.1109/tac.2019.2923049

B. Xue, N. Zhan, und M. Fränzle, "Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems" in Proc. Proceedings of the 59th IEEE Conference on Decision and Control (CDC2020), 2020.
doi: 10.1109/CDC42340.2020.9304212

A. Trende, F. Hartwich, C. Schmidt, und M. Fränzle, "Improving the detection of user uncertainty in automated overtaking maneuvers by combining contextual, physiological and individualized user data" Constantine Stephanidis and Margherita Antona, editors, HCI International 2020 - Posters, Cham, 2020, vol. Springer International Publishing.

B. Xue, M. Fränzle, N. Zhan, S. Bogomolov, und B. Xia, "Safety Verification for Random Ordinary Differential Equations" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE T COMPUT AID D).
doi: document/9211452

Y. Bebawy, H. Guissouma, S. V. Maelen, J. Kröger, G. Hake, I. Stierand, M. Fränzle, E. Sax, und A. Hahn, "Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems." 2020.

S. vom Dorff, B. Böddeker, M. Kneißl, und M. Fränzle, "A Fail-safe Architecture for Automated Driving" in Proc. 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020.
doi: 10.23919/date48585.2020.9116283

M. Fränzle und P. Kröger, "Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems" in Proc. 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.
doi: 10.1007/978-3-030-61467-6

M. Fränzle, K. Quaas, M. Shirmohammadi, und J. Worrell, "Effective definability of the reachability relation in timed automata" Inf. Process. Lett..
doi: 10.1016/j.ipl.2019.105871

B. Koopmann, S. Puch, G. Ehmen, und M. Fränzle, "Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach" in Proc. Karsten Berns, Markus Helfert and Oleg Gusikhin editors: Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS'20), 2020.
doi: 10.5220/0009351500150026

B. Kramer, C. Neurohr, M. Büker, E. Böde, M. Fränzle, und W. Damm, "Identification and Quantification of Hazardous Scenarios for Automated Driving" in Proc. In Mark Zeller and Kai Höfig, editors, Model - Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, volume 12297 of Lecture Notes in Computer Science, 2020.

M. Fränzle, M. Shirmohammadi, M. Swaminathan, und J. Worrell, "Costs and rewards in priced timed automata" Information and Computation.

M. Chen, M. Fränzle, Y. Li, P. N. Mosaad, und N. Zhan, "Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control" Acta Informatica.
doi: 10.1007/s00236-020-00374-7

S. K. Sowe, M. Fränzle, J. P. Osterloh, A. Trende, L. Weber, und A. Lüdtke, "Challenges for Integrating Humans into Vehicular Cyber-Physical Systems" in Proc. 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.
doi: 10.1007/978-3-030-57506-9_2

A. Abate, H. Blom, N. Cauchi, K. Degiorgio, M. Fränzle, E. M. Hahn, S. Haesaert, H. Ma, M. Oishi, C. Pilch, A. Remke, M. Salamati, S. Soudjani, B. van Huijgevoort, und A. P. Vinod, "ARCH-COMP19 Category Report: Stochastic Modelling" in Proc. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, 2019.

E. Böde, M. Büker, W. Damm, M. Fränzle, B. Kramer, C. Neurohr, und S. V. Maelen, "Identifikation und Quantifizierung von Automationsrisiken für hochautomatisierte Fahrfunktionen" , techreport , 2019.

E. Böde, W. Damm, G. Ehmen, M. Fränzle, K. Grüttner, P. Ittershagen, B. Josko, B. Koopmann, F. Poppen, M. Siegel, und I. Stierand, "MULTIC-Tooling." FAT-Schriftenreihe 316.

M. Büker, B. Kramer, E. Böde, S. V. Mealen, und M. Fränzle, "Identifikation von Automationsrisiken hochautomatischer Fahrfunktionen in PEGASUS" in Proc. AAET Automatisiertes und vernetztes Fahren, 2019.

W. Damm, M. Fränzle, W. Hagemann, P. Kröger, und A. Rakow, "Justification Based Reasoning in Dynamic Conflict Resolution" CoRR abs/1905.11764.

W. Damm, M. Fränzle, W. Hagemann, P. Kröger, und A. Rakow, "Dynamic Conflict Resolution Using Justification Based Reasoning" in Proc. Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019, 2019.
doi: 10.4204/eptcs.308.4

W. Damm, M. Fränzle, A. Lüdtke, J. W. Rieger, A. Trende, und A. Unni, "Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic" , Paris, 2019.

S. Feng, M. Chen, N. Zhan, M. Fränzle, und B. Xue, "Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations" in Proc. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, 2019.
doi: 10.1007/978-3-030-25540-4_37

M. Fränzle, M. Chen, und P. Kröger, "In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata" ACM SIGLOG News, vol. 6, iss. 1.
doi: 10.1145/3313909.3313913

M. Fränzle, K. Quaas, M. Shirmohammadi, und J. Worrell, "Effective Definability of the Reachability Relation in Timed Automata" CoRR, vol. abs/1903.09773.

E. Polgreen, M. Brain, M. Fränzle, und A. Abate, "Verifying Reachability Properties in Markov Chains via Incremental Induction" CoRR, vol. abs/1909.08017.

S. Puch, "Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme" PhD Thesis , 2019.

S. K. Sowe, M. Fränzle, J. Osterloh, A. Trende, L. Weber, und A. Lüdtke, "Challenges for Integrating Humans into Vehicular Cyber-Physical Systems." 2019.

B. Xue, M. Fränzle, H. Zhao, N. Zhan, und A. Easwaran, "Probably Approximate Safety Verification of Hybrid Dynamical Systems" in Proc. Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, 2019.
doi: 10.1007/978-3-030-32409-4_15

B. Xue, Q. Wang, N. Zhan, und M. Fränzle, "Robust Invariant Sets Generation for State-constrained Perturbed Polynomial Systems" in Proc. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019, 2019.
doi: 10.1145/3302504.3311810

M. Fränzle, J. Tegtmeier, M. Käsberg, und M. Eicher, "Funktionale Sicherheit automatisierter, vernetzter Fahrzeuge" Karsten Lemmer editor: Neue autoMobilität II. Kooperativer Straßenverkehr und intelligente Verkehrssteuerung für die Mobilität der Zukunft (acatech Studie).

J. Sztipanovits, X. D. Koutsoukos, G. Karsai, S. Sastry, C. Tomlin, W. Damm, M. Fränzle, J. W. Rieger, A. Pretschner, und F. Köster, "Science of design for societal-scale cyber-physical systems: challenges and opportunities" Cyber-Physical Systems.
doi: 10.1080/23335777.2019.1624619

M. Abdelaal, M. Fränzle, und A. Hahn, "Nonlinear Model Predictive Control for trajectory tracking and collision avoidance of underactuated vessels with disturbances" Ocean Engineering, vol. 160.
doi: 10.1016/j.oceaneng.2018.04.026

E. Böde, M. Büker, U. Eberle, M. Fränzle, S. Gerwinn, und B. Kramer, "Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions" in Proc. Computer Safety, Reliability, and Security, Cham, 2018.
doi: 10.1007/978-3-319-99130-6_10

M. Chen, M. Fränzle, Y. Li, P. N. Mosaad, und N. Zhan, "What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction" in Proc. Automated Technology for Verification and Analysis, Cham, 2018.
doi: 10.1007/978-3-030-01090-4_4

W. Damm, M. Fränzle, S. Gerwinn, und P. Kröger, "Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles" in Proc. 2018 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 26-28, 2018, 2018.

M. Fränzle, A. Girard, J. Lygeros, und S. Sankaranarayanan, "Special issue on Hybrid Systems: Computation and Control" Nonlinear Analysis: Hybrid Systems, vol. 27.
doi: 10.1016/j.nahs.2017.07.001

M. Fränzle und P. Kröger, "The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology" in Proc. Symposium on Real-Time and Hybrid Systems, Cham, 2018.
doi: 10.1007/978-3-030-01461-2_9

M. Fränzle, M. Shirmohammadi, M. Swaminathan, und J. Worrell, "Costs and Rewards in Priced Timed Automata" in Proc. 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Dagstuhl, Germany, 2018.
doi: 10.4230/LIPIcs.ICALP.2018.125

M. Fränzle, M. Shirmohammadi, M. Swaminathan, und J. Worrell, "Costs and Rewards in Priced Timed Automata" CoRR, vol. abs/1803.01914.

S. Khan, M. Alam, M. Fränzle, N. Müllner, und Y. Chen, "A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios" Computers & Electrical Engineering, vol. 68.
doi: 10.1016/j.compeleceng.2018.04.017

M. Li, P. N. Mosaad, M. Fränzle, Z. She, und B. Xue, "Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems" in Proc. Formal Modeling and Analysis of Timed Systems, Cham, 2018.

S. Puch, M. Fränzle, und S. Gerwinn, "Quantitative Risk Assessment of Safety-critical Systems via Guided Simulation for Rare Events" in Proc. Leveraging Applications of Formal Methods, Verification and Validation. Verification, Cham, 2018.
doi: 10.1007/978-3-030-03421-4_20

B. Xue, M. Fränzle, und N. Zhan, "Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties" arXiv e-prints.

B. Xue, M. Fränzle, und N. Zhan, "Under-Approximating Reach Sets for Polynomial Continuous Systems" in Proc. Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week), New York, NY, USA, 2018.
doi: 10.1145/3178126.3178133

B. Xue, Q. Wang, N. Zhan, und M. Fränzle, "Reach-Avoid Differential Games Based on Invariant Generation" arXiv e-prints.

N. Müllner, S. Khan, M. H. Rahman, W. Afzal, und M. Saadatmand, "Simulation-Based Safety Testing Brake-By-Wire" in Proc. International Conference on Software Testing, Verification and Validation Workshops, ICST, 2017.

S. Khan, M. Alam, und M. Fränzle, "A hybrid MAC scheme for wireless vehicular communication" in Proc. IEEE-EUROCON, 2017 -17th International Conference on Smart Technologies, Ohrid, Macedonia, July 6-8, 2017, Ohrid, Macedonia, 2017.
doi: 10.1109/EUROCON.2017.8011239

B. Xue, M. Fränzle, und P. N. Mosaad, "Just scratching the surface: Partial exploration of initial values in reach set computation" in Proc. 2017 IEEE 56th Conference on Decision and Control (CDC), 2017.

B. Xue, A. Easwaran, N. Cho, und M. Fränzle, "Reach-avoid verification for nonlinear systems based on boundary analysis" IEEE Trans. Automat. Contr..

L. Cardelli, M. Ceska, M. Fränzle, M. Kwiatkowska, L. Laurenti, N. Paoletti, und M. Whitby, Syntax-Guided Optimal Synthesis for Chemical Reaction Networks, Springer International Publishing.
doi: 10.1007/978-3-319-63390-9_20

S. Parisi und M. Fränzle, "Navigating with safety in confined waterways: an explorative case study" in Proc. SEC-HCI Workshop, MUC 2017, 2017.

P. N. Mosaad, M. Fränzle, und B. Xue, "Model Checking Delay Differential Equations Against Metric Interval Temporal Logic" Scientific Annals of Computer Science.

B. Xue, P. N. Mosaad, M. Fränzle, M. Chen, Y. Li, und N. Zhan, "Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations" in Proc. Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, 2017.
doi: 10.1007/978-3-319-65765-3_16

E. Böde, M. Büker, W. Damm, G. Ehmen, M. Fränzle, S. Gerwinn, T. Goodfellow, K. Grüttner, B. Josko, B. Koopmann, T. Peikenkamp, F. Poppen, P. Reinkemeier, M. Siegel, und I. Stierand, "Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)" in Proc. FAT Series, 2017.

M. Fränzle, S. Gerwinn, und Y. Gao, Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systemsspringer.

M. Abdelaal, O. E. Theel, C. Kuka, P. Zhang, Y. Gao, V. Bashlovkina, D. Nicklas, und M. Fränzle, "Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks" IJDSN, vol. 2016.
doi: 10.1155/2016/1576038

K. Scheibler, F. Neubauer, A. Mahdi, M. Fränzle, T. Teige, T. Bienmüller, D. Fehrer, und B. Becker, "Extending iSAT3 with ICP-Contractors for Bitwise Integer Operations" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 116, 2016.

H. Ody, M. Fränzle, und M. R. Hansen, "Discounted Duration Calculus" in Proc. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, 2016.

M. Chen, M. Fränzle, Y. Li, P. N. Mosaad, und N. Zhan, "Validated Simulation-Based Verification of Delayed Differential Dynamics" in Proc. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, 2016.

K. Scheibler, F. Neubauer, A. Mahdi, M. Fränzle, T. Teige, T. Bienmüller, D. Fehrer, und B. Becker, "Accurate ICP-based Floating-Point Reasoning" in Proc. Formal Methods in Computer-Aided Design (FMCAD 2016), 2016.

Fränzle, Martin and Markey, Nicolas, Formal Modeling and Analysis of Timed SystemsFORMATS 2016 : 14th International Conference, Québec City (Canada): springer.

A. Mahdi, K. Scheibler, F. Neubauer, M. Fränzle, und B. Becker, "Advancing Software Model Checking Beyond Linear Arithmetic Theories" in Proc. Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, 2016.
doi: 10.1007/978-3-319-49052-6_12

P. Mosaad, M. Fränzle, und B. Xue, "Temporal Logic Verification for Delay Differential Equations" in Proc. 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016.

S. Khan und M. Fränzle, "Multi-channel mode for emergency system in urban connected vehicles" in Proc. 24th IEEE/ACM International Symposium on Quality of Service, IWQoS 2016, Beijing, China, June 20-21, 2016, 2016.
doi: 10.1109/iwqos.2016.7590415

S. Parisi und A. Lüdtke, "Evaluation of Distributed Situation Awareness on a Ship Bridge" in Proc. Proceedings of the European Conference on Cognitive Ergonomics, New York, NY, USA, 2016.
doi: 10.1145/2970930.2970965

Fränzle, Martin and Kapur, Deepak and Zhan, Naijun, Dependable Software Engineering: Theories, Tools, and ApplicationsSecond International Symposium, SETTA 2016, November 9-11, 2016, Beijing, China:
doi: 10.1007/978-3-319-47677-3

Y. Gao und M. Fränzle, "CSiSAT: A Satisfiability Solver for SMT Formulas with Continuous Probability Distributions" in Proc. SNR 2016: 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2016.

Y. Gao und M. Fränzle, "Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain" Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015, vol. 37.

M. Amri, Y. Becis, D. Aubry, N. Ramdani, und M. Fränzle, "Robust indoor location tracking of multiple inhabitants using only binary sensors" in Proc. IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015, 2015.
doi: 10.1109/coase.2015.7294061

A. Eggers, N. Ramdani, N. S. Nedialkov, und M. Fränzle, "Improving the SAT Modulo ODE Approach to Hybrid Systems Analysis by Combining Different Enclosure Methods" Softw. Syst. Model. vol. 14, iss. 1.
doi: 10.1007/s10270-012-0295-3

Y. Page, F. Fahrenkrog, A. Fiorentino, M. Fränzle, J. Gwehenberger, T. Helmer, M. Lindman, O. op den Camp, S. Puch, L. van Rooi, U. Sander, und P. Wimmer, "A Comprehensive and Harmonized Method for Assessing the Effectiveness of Advanced Driver Assistance Systems by Virtual Simulation: The P.E.A.R.S. Initiative" in Proc. The 24th International Technical Conference on the Enhanced Safety of Vehicles (ESV), Gothenburg, Sweden, 2015.

M. Fakih, K. Grüttner, M. Fränzle, und A. Rettberg, "State-based real-time analysis of SDF applications on MPSoCs with shared communication resources" Journal of Systems Architecture - Embedded Systems Design, vol. 61, iss. 9.
doi: 10.1016/j.sysarc.2015.04.005

M. Fränzle, S. Gerwinn, P. Kröger, A. Abate, und J. Katoen, Multi-objective Parameter Synthesis in Probabilistic Hybrid SystemsSpringer International Publishing.
doi: 10.1007/978-3-319-22975-1_7

Y. Gao und M. Fränzle, "A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain" Quantitative Evaluation of Systems, vol. 9259.

L. Zou, N. Zhan, S. Wang, und M. Fränzle, "Formal Verification of Simulink/Stateflow Diagrams" in Proc. Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, 2015.
doi: 10.1007/978-3-319-24953-7_33

L. Zou, M. Fränzle, N. Zhan, und P. N. Mosaad, "Automatic Verification of Stability and Safety for Delay Differential Equations" in Proc. Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, 2015.
doi: 10.1007/978-3-319-21668-3_20

M. Fränzle, M. R. Hansen, und H. Ody, "No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL" in Proc. Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015.
doi: 10.1007/978-3-319-23506-6_11

N. Müllner, M. Fränzle, und S. Fröschle, "Estimating the Probability of a Timely Traffic-Hazard Warning via Simulation" in Proc. Proceedings of the 48th Annual Symposium on Simulation (AnSS2015), Washington DC, USA, 2015.

E. Olderog und M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" Formal Aspects of Computing, vol. 27, iss. 4.
doi: 10.1007/s00165-014-0306-y

S. Khan und M. Fränzle, "Robust mid-range communication in urban VANETs." 2015.
doi: 10.1109/ICACT.2015.7224769

S. Khan, M. Alam, N. Mullner, und M. Franzle, "Cooperation and network coding based MAC protocol for VANETs" in Proc. Vehicular Networking Conference (VNC), 2015 IEEE, 2015.
doi: 10.1109/vnc.2015.7385548

N. Müllner, O. Theel, und M. Fränzle, "Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts" in Proc. Proceedings of the 10th International Symposium on Frontiers of Information Systems and Network Applications (FINA2014), 2014.

N. Müllner, O. Theel, und M. Fränzle, "Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems" in Proc. Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications (AINA2014), 2014.

N. Müllner, "Unmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments" PhD Thesis , 2014.

A. Mahdi und M. Fränzle, "Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems" in Proc. Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, 2014.
doi: 10.1007/978-3-319-11439-2_16

A. Mahdi, B. Westphal, und M. Fränzle, "Transformations for Compositional Verification of Assumption-Commitment Properties" in Proc. Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, 2014.
doi: 10.1007/978-3-319-11439-2_17

A. Eggers, "Direct Handling of Ordinary Differential Equations in Constraint-Solving-Based Analysis of Hybrid Systems" PhD Thesis , Germany, 2014.

C. Ellen, S. Gerwinn, und M. Fränzle, "Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains" International Journal on Software Tools for Technology Transfer.
doi: 10.1007/s10009-014-0329-y

M. Fakih, K. Grüttner, M. Fränzle, und A. Rettberg, "Mulitcore Performance Analysis of a Multi-Phase Electrical Motor Controller" in Proc. Proceedings of the Embedded Real Time Software and Systems Congress (ERTS$^2$), 2014.

HSCC '14: Proceedings of the 17th International Conference on Hybrid Systems: Computation and ControlNew York, NY, USA: ACM.

M. Abdelaal, Y. Gao, M. Fränzle, und O. Theel, "EAVS: Energy Aware Virtual Sensing for Wireless Sensor Networks" in Proc. ISSNIP 2014 - Symposium on Sensor Networks, 2014.

N. Müllner, Unmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments, Ammerländer Heerstr. 114-118, 26111 Oldenburg: BIS-Verlag der Carl von Ossietzky Universität Oldenburg.

M. Oertel, A. Mahdi, E. Böde, und A. Rettberg, "Contract--based Safety: Specification and Application Guidelines" in Proc. Proceedings of the 1st International Workshop on Emerging Ideas and Trends in Engineering of Cyber--Physical Systems (EITEC 2014), 2014.

N. Müllner, O. Theel, und M. Fränzle, "Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems" Journal of Computer and System Sciences (JCSS), vol. 79, iss. 7.
doi: 10.1016/j.jcss.2013.01.022

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp, Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided SimulationSpringer Berlin Heidelberg.
doi: 10.1007/978-3-642-39173-6_13

M. Fakih, K. Grüttner, M. Fränzle, und A. Rettberg, "Exploiting Segregation in Bus--Based MPSoCs to Improve Scalability of Model--Checking--Based Performance Analysis for SDFAs" in Proc. International Embedded Systems Symposium (IESS), 2013.

M. Fakih, K. Grüttner, M. Fränzle, und A. Rettberg, "Towards Performance Analysis of SDFGs Mapped to Shared--Bus Architectures Using Model--Checking" in Proc. Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2013, 3001 Leuven, Belgium, 2013.

S. Eilers, J. Boger, und M. Fränzle, "A Path Planning Framework for Autonomous Vehicles" in Proc. 9th International Workshop on Robot Motion and Control, 2013.
doi: 10.1109/RoMoCo.2013.6614609

M. Fränzle und A. Tsourdos, "Preface.".

Fränzle, Martin and Tsourdos, Antonios, Proceedings of the first workshop on Hybrid Autonomous SystemsElsevier.

M. Kamgarpour, C. Ellen, S. Esmaeil Zadeh Soudjani, S. Gerwinn, J. L. Mathieu, N. Müllner, A. Abate, D. S. Callaway, M. Fränzle, und J. Lygeros, "Modeling Options for Demand Side Participation of Thermostatically Controlled Loads" in Proc. Bulk Power System Dynamics and Control -- IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium, 2013.
doi: 10.1109/irep.2013.6629396

L. Zou, N. Zhan, S. Wang, M. Fränzle, und S. Qin, "Verifying Simulink Diagrams Via A Hybrid Hoare Logic Prover" in Proc. Proccedings of the 13th International Conference on Embedded Software (EMSOFT), 2013.
doi: 10.1109/EMSOFT.2013.6658587

E. Olderog und M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" in Proc. integrated Formal Methods (iFM), 2013.
doi: 10.1007/978-3-642-38613-8_26

T. Teige und M. Fränzle, "Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability" Logical Methods in Computer Science, vol. 8, iss. 2.
doi: 10.2168/LMCS-8(2:16)2012

A. Eggers, N. Ramdani, N. S. Nedialkov, und M. Fränzle, "Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE" in Proc. Proceedings of the 16th IFAC Symposium on System Identification, 2012.
doi: 10.3182/20120711-3-BE-2027.00292

S. Puch, M. Fränzle, J. Osterloh, und C. Läsche, "Rapid Virtual-Human-in-the-Loop Simulation with the High Level Architecture" in Proc. Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012), Genua, 2012.

C. Ellen, S. Gerwinn, und M. Fränzle, "Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems" in Proc. Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2012.

S. Eilers, S. Gerwinn, M. Fränzle, C. Kuka, S. Schweiger, und T. Toben, "An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments" in Proc. Proceedings of The CONCUR '12 Workshop on Trustworthy Cyber--Physical Systems, 2012.

M. Swaminathan, J. Katoen, und E. Olderog, "Layered Reasoning for Randomized Distributed Algorithms" Formal Aspects of Computing, vol. 24, iss. 4-6.
doi: 10.1007/s00165-012-0231-x

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp, "Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems" in Proc. ESM'2012 - The 2012 European Simulation And Modelling Conference, Essen, 2012.

A. Eggers, N. Ramdani, N. S. Nedialkov, und M. Fränzle, "Improving the SAT Modulo ODE Approach to Hybrid Systems Analysis by Combining Different Enclosure Methods" Software and Systems Modeling.
doi: 10.1007/s10270-012-0295-3

T. Teige, "Stochastic Satisfiability Modulo Theories: A Symbolic Technique for the Analysis of Probabilistic Hybrid Systems" PhD Thesis , Germany, 2012.

N. Müllner, O. Theel, und M. Fränzle, "Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System" in Proc. Proceedings of the 2012 IEEE 26th International Conference on Advanced Information Networking and Applications, 2012.
doi: 10.1109/AINA.2012.127

M. Fränzle, An Introduction to Interval MethodsOldenburger Universitätsverlag.

C. Ellen, E. Christoph, und M. Oertel, "Automatic Transition Between Structural System Views in a Safety Relevant Embedded Systems Development Process" in Proc. Proceedings of the Conference on Design, Automation and Test in Europe, 3001 Leuven, Belgium, 2012.

T. Teige und M. Fränzle, "Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 67, 2011.

T. Teige, "Stochastic Satisfiability Modulo Theories: A Technique for the Analysis of Probabilistic Hybrid Systems" in Proc. Joint Workshop of the German Research Training Groups in Computer Science, 2011, p. 47.

S. Kupferschmid, B. Becker, T. Teige, und M. Fränzle, "Proof Certificates and Non-linear Arithmetic Constraints" in Proc. Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011), 2011.

T. Teige und M. Fränzle, "Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems" in Proc. Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2011.

T. Teige, A. Eggers, und M. Fränzle, "Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems" Nonlinear Analysis: Hybrid Systems, vol. 5, iss. 2.
doi: 10.1016/j.nahs.2010.04.009

M. Fränzle, T. Gezgin, H. Hungar, S. Puch, und G. Sauter, "Predicting the Effect of Driver Assistance via Simulation" in Proc. Human Modelling in Assisted Transportation, 2011.

N. T. Dinh, M. Fränzle, und A. Eggers, "AVACS H1/2 8-year Benchmark: Analyzing Traffic Models With iSAT" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 81, 2011.

A. Eggers, E. Kruglov, S. Kupferschmid, K. Scheibler, T. Teige, und C. Weidenbach, "Superposition Modulo Non-Linear Arithmetic" in Proc. 8th international Symposium on Frontiers of Combining Systems (FroCos 2011), 2011.
doi: 10.1007/978-3-642-24364-6_9

A. Eggers, N. Ramdani, N. S. Nedialkov, und M. Fränzle, "Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods" in Proc. Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM), 2011.
doi: 10.1007/978-3-642-24690-6_13

W. Damm, M. Fränzle, und J. Quesel, "Crossing the Bridge between Similar Games" in Proc. Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings, 2011.
doi: 10.1007/978-3-642-24310-3_12

M. Fränzle und C. Lengauer, Semantic IndependenceSpringer-Verlag.

C. Herde, Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure -- Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems, 1st ed., Vieweg+Teubner Research.

M. Fränzle, E. M. Hahn, H. Hermanns, N. Wolovick, und L. Zhang, "Measurability and safety verification for stochastic hybrid systems" in Proc. Proceedings of the 14th international conference on Hybrid systems: computation and control, New York, NY, USA, 2011.
doi: 10.1145/1967701.1967710

E. Ábrahám, T. Schubert, B. Becker, M. Fränzle, und C. Herde, "Parallel SAT Solving in Bounded Model Checking" Journal of Logic and Computation, vol. 21, iss. 1.
doi: 10.1093/logcom/exp002

T. Teige und M. Fränzle, "Resolution for Stochastic Boolean Satisfiability" in Proc. Logic for Programming, Artificial Intelligence, and Reasoning, 17th International Conference (LPAR-17), 2010.
doi: 10.1007/978-3-642-16242-8_44

M. Fränzle, T. Teige, und A. Eggers, "Satisfaction Meets Expectations: Computing Expected Values of Probabilistic Hybrid Systems with SMT" in Proc. Integrated Formal Methods 2010, 2010.
doi: 10.1007/978-3-642-16265-7

M. Fränzle, T. Teige, und A. Eggers, "Engineering Constraint Solvers for Automatic Analysis of Probabilistic Hybrid Automata" Journal of Logic and Algebraic Programming, vol. 79.
doi: 10.1016/j.jlap.2010.07.003

S. Puch, G. Sauter, und M. Fränzle, "HLA-basierte Kosimulation domänentypischer Simulatoren" Carl von Ossietzky Universität Oldenburg2010.

J. Gacnik, H. Jost, F. Köster, und M. Fränzle, "The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge" in Proc. Proceedings of the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2010), 2010.

M. Fränzle, T. Gezgin, H. Hungar, S. Puch, und G. Sauter, "Using Guided Simulation to Assess Driver Assistance Systems" in Proc. Proc. FORMS/FORMAT 2010, 2010.

A. Eggers, "SAT Modulo ODE: A Direct SAT approach to Hybrid Systems" in Proc. 10271 Abstracts Collection -- Verification over discrete-continuous boundaries, Dagstuhl, Germany, 2010.

C. Herde, "Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete--Continuous Systems" PhD Thesis , 2010.

E. Olderog und M. Swaminathan, "Layered Composition for Timed Automata" in Proc. 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), 2010.
doi: 10.1007/978-3-642-15297-9_18

T. Teige, "Stochastic Satisfiability Modulo Theories: A Technique for the Analysis of Probabilistic Hybrid Systems" in Proc. Dagstuhl 2009 - Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs, 2009.

T. Teige und M. Fränzle, "Constraint-Based Analysis of Probabilistic Hybrid Systems" in Proc. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009), 2009.

S. Kupferschmid, T. Teige, B. Becker, und M. Fränzle, "Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae" in Proc. Proceedings of the 12th Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' (MBMV 2009), 2009.

A. Eggers, N. Kalinnik, S. Kupferschmid, und T. Teige, "Challenges in Constraint-Based Analysis of Hybrid Systems" in Proc. Recent Advances in Constraints -- 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers, Berlin, Heidelberg, 2009.
doi: 10.1007/978-3-642-03251-6_4

A. Eggers, M. Fränzle, und C. Herde, "Application of Constraint Solving and ODE-Enclosure Methods to the Analysis of Hybrid Systems" in Proc. NUMERICAL ANALYSIS AND APPLIED MATHEMATICS: International Conference on Numerical Analysis and Applied Mathematics 2009, Melville, New York, 2009.
doi: 10.1063/1.3241327

G. Sauter, H. Dierks, M. Fränzle, und M. R. Hansen, "Light-weight hybrid model checking facilitating online prediction of temporal properties" in Proc. Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT '09, Kgs. Lyngby, Denmark, 2009.

G. Sauter, H. Dierks, M. Fränzle, und M. R. Hansen, "Light-weight hybrid model checking facilitating online prediction of temporal properties" Carl von Ossietzky Universität Oldenburg2009.

M. Fränzle und M. Swaminathan, "Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata" in Proc. The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), 2009.

M. Fränzle, "Engineering constraint solvers for the analysis of hybrid systems" in Proc. 20th Nordic Workshop on Programming Theory, NWPT '08, 2008, p. 9.

M. Fränzle, A. Eggers, C. Herde, und T. Teige, "Hybrid Discrete-Continuous Systems" in Proc. Modern Computational Science 09, 2009.

W. P. Heise, M. R. Hansen, und M. Fränzle, "A prototype of a model checker for Duration Calculus" in Proc. Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT '09, Kgs. Lyngby, Denmark, 2009.

M. Fränzle und M. R. Hansen, "Efficient Model Checking for Duration Calculus" International Journal of Software and Informatics, vol. 3, iss. 2--3.

J. Gacnic, H. Jost, F. Köster, J. Rataj, K. Lemmer, W. Damm, M. Fränzle, und E. Schnieder, "DeSCAS -- Formale Ontologien zur Verwebung von interdisziplinären Entwicklungsprozessen" in Proc. AUTOMATION 2009 -- Der Automatisierungskongress in Deutschland, Düsseldorf, 2009.

T. Teige, C. Herde, M. Fränzle, und E. Ábrahám, "Conflict Analysis and Restarts in a mixed Boolean and Non-linear Arithmetic Constraint Solver" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 34, with 12 pages, 2008.

S. Kupferschmid, T. Teige, B. Becker, und M. Fränzle, "Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 40, with 13 pages, 2008.

A. Eggers, N. Kalinnik, S. Kupferschmid, und T. Teige, "Challenges in Constraint-based Analysis of Hybrid Systems" in Proc. Preproceedings of the Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP 2008), 2008.

M. Fränzle, H. Hermanns, und T. Teige, "Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems" in Proc. Pre-Proceedings of the ETAPS 2008 Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), 2008.

M. Fränzle, H. Hermanns, und T. Teige, "Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems" in Proc. Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), 2008.

T. Teige, "Stochastic Satisfiability Modulo Theory: A Technique for the Analysis of Probabilistic Hybrid Systems" in Proc. Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008, Dagstuhl, Berlin, 2008.

T. Teige und M. Fränzle, "Stochastic Satisfiability modulo Theories for Non-linear Arithmetic" in Proc. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, 2008.

A. Eggers, M. Fränzle, und C. Herde, "SAT Modulo ODE: A Direct SAT approach to Hybrid Systems" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 37 with 14 Pages, 2008.

A. Eggers, M. Fränzle, und C. Herde, "SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems" in Proc. Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), 2008.

C. Herde, A. Eggers, M. Fränzle, und T. Teige, "Analysis of Hybrid Systems using HySAT" in Proc. The Third International Conference on Systems (ICONS 2008), 2008.

M. Swaminathan, M. Fränzle, und J. Katoen, "The Surprising Robustness of (Closed) Timed Automata against Clock-Drift." in Proc. Fifth IFIP International Conference on Theoretical Computer Science, 2008-09-15 2008.

M. Fränzle und M. R. Hansen, "Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations" in Proc. 6th IEEE International Conferences on Software Engineering and Formal Methods, 2008.

M. Baumann, H. Colonius, H. Hungar, F. Köster, M. Langner, A. Lüdtke, C. Möbus, J. Peinke, S. Puch, C. Schiessl, R. Steenken, und L. Weber, "Integrated Modeling for Safe Transportation - Driver modeling and driver experiments." in Proc. Fahrermodellierung in Wissenschaft und Wirtschaft, 2. Berliner Fachtagung für Fahrermodellierung, 2008.

B. Badban, J. van de Pol, O. Tveretina, und H. Zantema, "Generalizing DPLL and Satisfiability for Equalities" Journal of Information and Computation, vol. 205, iss. 8.
doi: 10.1016/j.ic.2007.03.003

B. Becker, W. Damm, M. Fränzle, E. Olderog, A. Podelski, und R. Wilhelm, "SFB/TR 14 AVACS -- Automatic Verification and Analysis of Complex Systems" it -- Information Technology, vol. 49, iss. 2.

T. Teige, C. Herde, M. Fränzle, N. Kalinnik, und A. Eggers, "A Generalized Two-watched-literal Scheme in a mixed Boolean and Non-linear Arithmetic Constraint Solver" in Proc. Proceedings of the $13^th$ Portuguese Conference on Artificial Intelligence (EPIA 2007), 2007.

M. Swaminathan und M. Fränzle, "A Symbolic Decision Procedure for Robust Safety of Timed Systems" in Proc. proceedings on the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007.

M. Fränzle und M. R. Hansen, "Deciding an Interval Logic with Accumulated Durations" in Proc. Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 07), 2007.

T. Teige, "SAT-Modulo-Theory based Analysis of Probabilistic Hybrid Systems" in Proc. Proceedings of the Dagstuhl Graduate School Meeting 2007 ``Dagstuhl Zehn plus Eins'', Aachen, 2007.

M. Fränzle, C. Herde, S. Ratschan, T. Schubert, und T. Teige, "Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure" JSAT Special Issue on Constraint Programming and SAT, vol. 1.

M. Fränzle und C. Herde, "HySAT: An Efficient Proof Engine for Bounded Model Checking of Hybrid Systems" Formal Methods in System Design, vol. 30.

T. Teige, C. Herde, M. Fränzle, und E. Ábrahám, "Conflict Analysis and Restarts in a mixed Boolean and Non-linear Arithmetic Constraint Solver" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 34, 2008.

M. Fränzle, H. Hungar, C. Schmitt, und B. Wirtz, "HLang: Compositional Representation of Hybrid Systems via Predicates" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 20, 2007.

E. Ábrahám, T. Schubert, B. Becker, M. Fränzle, und C. Herde, "Parallel SAT Solving in Bounded Model Checking" in Proc. Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers, 2007.

M. Fränzle, "Verification of Hybrid Systems (Invited Tutorial)" in Proc. Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, 2007, p. 38.

B. Badban, "Verification techniques for Extensions of equality logic" PhD Thesis , 2006.

M. Fränzle, C. Herde, S. Ratschan, T. Schubert, und T. Teige, "Interval Constraint Solving Using Propositional SAT Solving Techniques" in Proc. Proceedings of the CP 2006 First International Workshop on the Integration of SAT and CP Techniques, 2006.

A. Metzner, M. Fränzle, C. Herde, und I. Stierand, "An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures" in Proc. Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium, 2006.

M. Fränzle und C. Herde, "HySAT: An Efficient Proof Engine for Bounded Model Checking of Hybrid Systems" Formal Methods in System Design.

A. Metzner und C. Herde, "RTSAT -- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures" in Proc. Proceedings of the IEEE Real-Time Systems Symposium, 2006.

B. Badban, M. Fränzle, J. Peleska, und T. Teige, "Test Automation for Hybrid Systems" in Proc. Proceedings of the Third International Workshop on SOFTWARE QUALITY ASSURANCE (SOQUA 2006), Portland Oregon, USA, 2006.

M. Swaminathan und M. Fränzle, "Robust Zone-Based Forward Reachability Analysis of Timed Automata" in Proc. Proceedings of the 7th School on Modelling and Verifying of parallel Processes (MOVEP 06), Bordeaux, France, 2006.

A. Metzner, M. Fränzle, C. Herde, und I. Stierand, "Scheduling Distributed Real-Time Systems by Satisfiability Checking" in Proc. Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications, 2005.

M. Fränzle und M. R. Hansen, "A robust interpretation of duration calculus" in Proc. Proceedings of ICTAC 05 International Colloquium on Theoretical Aspects of Computing, 2005.

M. Fränzle und C. Herde, "Efficient proof engines for bounded model checking of hybrid systems" Electronic Notes in Theoretical Computer Science, vol. 133.

A. Metzner und C. Herde, "RTSAT -- Scheduling Tasks in Distributed Real-Time Systems by Enhanced Satisifiability Checking" in Proc. Proceedings of the IEEE Real-Time Systems Symposium, Work in Progress Session, 2005.

J. Enslev, A. Nielsen, M. Fränzle, und M. R. Hansen, "Bounded Model Construction for Duration Calculus" in Proc. Proceedings of the 17th Nordic Workshop on Programming Theory (NWPT 05), Københavns Universitet, 2005.

M. Swaminathan und M. Fränzle, "Automatic and scalable verification of robust real-time systems" in Proc. Proceedings of the 17th Nordic Workshop on Programming Theory (NWPT 05), Københavns Universitet, 2005.

M. Fränzle und M. R. Hansen, "A robust interpretation of duration calculus" in Proc. Proceedings of NWPT 04 16th Nordic Workshop on Programming Theory, 2004.

M. Fränzle, "Model-checking dense-time duration calculus" Formal Aspects of Computing, vol. 16, iss. 2.

B. Becker, M. Behle, F. Eisenbrand, M. Fränzle, M. Herbstritt, C. Herde, J. Hoffmann, D. Kröning, B. Nebel, I. Polian, und R. Wimmer, "Bounded model checking and inductive verification of hybrid discrete-continuous systems" in Proc. GI/ITG/GMM Workshop 'Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen', 2004.

M. Fränzle und C. Herde, "Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems" in Proc. Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings of the 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, 2003.

M. Fränzle, J. Niehaus, A. Metzner, und W. Damm, "A Semantics for Distributed Execution of Statemate" Formal Aspects of Computing, vol. V15, iss. 4.
doi: 10.1007/s00165-003-0015-4

M. Fränzle, "Take It NP-Easy: Bounded Model Construction for Duration Calculus" in Proc. FTRTFT '02: Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, London, UK, 2002.