Martin Fränzle

200 papers A* 3A 5B 22C 13Misc 2Journal 62Unranked 85

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring. CoRR Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2026	—	`ed.`	Engineering Safe and Trustworthy Cyber Physical Systems - Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday Engineering Safe and Trustworthy Cyber Physical Systems Martin Fränzle, Jürgen Niehaus, Bernd Westphal
2026	J	`jnl`	Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. Log. Methods Comput. Sci. Linda Feeken, Martin Fränzle
2025	—	`conf`	Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions. FMAS@iFM Ishan Saxena, Bernd Westphal, Martin Fränzle
2025	J	`jnl`	Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization. CoRR Taoran Wu, Yiling Xue, Dejin Ren, Arvind Easwaran, Martin Fränzle, Bai Xue
2025	C	`conf`	Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime. FMICS Janis Kröger, Ingo Stierand, Martin Fränzle
2025	—	`conf`	Model Learning for Adjusting the Level of Automation in HCPS. FMAS@iFM Mehrnoush Hajnorouzi, Astrid Rakow, Martin Fränzle
2025	J	`jnl`	On the Existence of Reactive Strategies Resilient to Delay. Log. Methods Comput. Sci. Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann
2025	—	`conf`	Optimised Timing of Multi-step Explanations for Multiple Users Through Reactive Games. EXTRAAMAS Akhila Bairy, Martin Fränzle, Maike Schwammberger
2025	J	`jnl`	Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. CoRR Linda Feeken, Martin Fränzle
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2024	—	`conf`	AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems - A Challenge for Formal Methods. SETSS Martin Fränzle
2024	J	`jnl`	Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle
2024	—	`conf`	Counterfactual-Based Root Cause Analysis for Dynamical Systems. ECML/PKDD (6) Juliane Weilbach, Sebastian Gerwinn, Karim Said Barsim, Martin Fränzle
2024	J	`jnl`	Counterfactual-based Root Cause Analysis for Dynamical Systems. CoRR Juliane Weilbach, Sebastian Gerwinn, Karim Said Barsim, Martin Fränzle
2024	B	`conf`	Monitoring Real-Time Systems Under Parametric Delay. IFM Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann
2024	J	`jnl`	Monitoring Real-Time Systems under Parametric Delay. CoRR Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann
2024	J	`jnl`	Reach-Avoid Analysis for Polynomial Stochastic Differential Equations. IEEE Trans. Autom. Control. Bai Xue, Naijun Zhan, Martin Fränzle
2024	J	`jnl`	Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2024	—	`conf`	Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks. Principles of Verification (3) Martin Fränzle, Rabeaeh Kiaghadi, Paul Kröger
2024	—	`conf`	Solved by Definiton? The Impact of Assumptions on Physical Pedestrian Models. ITSC Sebastian vom Dorff, Martin Fränzle
2024	B	`conf`	Stream-Based Monitoring Under Measurement Noise. RV Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2024	—	`conf`	Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. ISoLA (3) Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke
2024	—	`conf`	Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. GandALF Linda Feeken, Martin Fränzle
2024	—	`conf`	What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -. EDCC Workshops Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Fränzle
2023	J	`jnl`	Determining the Validity of Simulation Models for the Verification of Automated Driving Systems. IEEE Access Birte Neurohr, Tjark Koopmann, Eike Möhlmann, Martin Fränzle
2023	C	`conf`	Estimation of Counterfactual Interventions under Uncertainties. ACML Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle
2023	J	`jnl`	Estimation of Counterfactual Interventions under Uncertainties. CoRR Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle
2023	J	`jnl`	On the Existence of Reactive Strategies Resilient to Delay. CoRR Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann
2023	—	`conf`	Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
2023	—	`conf`	Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception. AISoLA (Selected Papers) Martin Fränzle, Andreas Hein
2023	A*	`conf`	Safety Shielding under Delayed Observation. ICAPS Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
2023	J	`jnl`	Safety Shielding under Delayed Observation. CoRR Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
2023	—	`conf`	Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF Martin Fränzle, Sarah Winter, Martin Zimmermann
2023	—	`conf`	Verification of LSTM Neural Networks with Non-linear Activation Functions. NFM Farzaneh Moradkhani, Connor Fibich, Martin Fränzle
2022	—	`conf`	A Case-Study for a Human-Centered Approach to Traffic Management Systems. HCI (40) Alexander Trende, Ina Krefting, Anirudh Unni, Jochem W. Rieger, Martin Fränzle
2022	J	`jnl`	A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2022	J	`jnl`	Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. Leibniz Trans. Embed. Syst. Paul Kröger, Martin Fränzle
2022	J	`jnl`	Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. CoRR Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle
2022	J	`jnl`	Costs and rewards in priced timed automata. Inf. Comput. Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2022	C	`conf`	Differential Games Based on Invariant Sets Generation. ACC Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
2022	J	`jnl`	Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. Alessandro Abate, Uli Fahrenberg, Martin Fränzle
2022	J	`jnl`	Reach-Avoid Analysis for Stochastic Differential Equations. CoRR Bai Xue, Naijun Zhan, Martin Fränzle
2022	J	`jnl`	Reach-avoid Verification Based on Convex Optimization. CoRR Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2022	—	`conf`	Self-Explanation in Systems of Systems. RE Workshops Görschwin Fey, Martin Fränzle, Rolf Drechsler
2022	—	`conf`	The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. A Journey from Process Algebra via Timed Automata to Model Learning Martin Fränzle
2021	J	`jnl`	A sampling-based approach for handling delays in continuous and hybrid systems. it Inf. Technol. Erzana Berani Abdelwahab, Martin Fränzle
2021	J	`jnl`	Bayesian hybrid automata: Reconciling formal methods with metrology. it Inf. Technol. Paul Kröger, Martin Fränzle
2021	—	`conf`	Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles. AutomotiveUI (adjunct) Ina Krefting, Alexander Trende, Anirudh Unni, Jochem W. Rieger, Andreas Lüdtke, Martin Fränzle
2021	J	`jnl`	Functional verification of cyber-physical systems containing machine-learnt components. it Inf. Technol. Farzaneh Moradkhani, Martin Fränzle
2021	C	`conf`	Handling of Operating Modes in Contract-Based Timing Specifications. VECoS Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle
2021	J	`jnl`	Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. Acta Informatica Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2021	B	`conf`	Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. SEFM Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle
2021	—	`conf`	Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks. HCI (39) Alexander Trende, Anirudh Unni, Jochem W. Rieger, Martin Fränzle
2021	C	`conf`	Reach-avoid Analysis for Stochastic Discrete-time Systems. ACC Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle
2021	—	`conf`	Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments. ITSC Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle
2021	J	`jnl`	Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments. CoRR Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle
2021	J	`jnl`	System correctness under adverse conditions. it Inf. Technol. Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger
2021	—	`conf`	Verification of Sigmoidal Artificial Neural Networks using iSAT. SNR Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle
2020	A	`conf`	A Fail-safe Architecture for Automated Driving. DATE Sebastian vom Dorff, Bert Böddeker, Maximilian Kneißl, Martin Fränzle
2020	C	`conf`	Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. VEHITS Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle
2020	J	`jnl`	Effective definability of the reachability relation in timed automata. Inf. Process. Lett. Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
2020	—	`conf`	Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. ISoLA (3) Martin Fränzle, Paul Kröger
2020	—	`conf`	Identification and Quantification of Hazardous Scenarios for Automated Driving. IMBSA Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm
2020	—	`conf`	Improving the Detection of User Uncertainty in Automated Overtaking Maneuvers by Combining Contextual, Physiological and Individualized User Data. HCI (40) Alexander Trende, Franziska Hartwich, Cornelia Schmidt, Martin Fränzle
2020	J	`jnl`	Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties. IEEE Trans. Autom. Control. Bai Xue, Martin Fränzle, Naijun Zhan
2020	—	`conf`	Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems. CDC Bai Xue, Naijun Zhan, Martin Fränzle
2020	J	`jnl`	Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia
2019	—	`conf`	ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019	—	`conf`	Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. SEFM Workshops Sulayman K. Sowe, Martin Fränzle, Jan-Patrick Osterloh, Alexander Trende, Lars Weber, Andreas Lüdtke
2019	—	`conf`	Dynamic Conflict Resolution Using Justification Based Reasoning. CREST Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2019	J	`jnl`	Editorial. Formal Aspects Comput. Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan
2019	J	`jnl`	Effective Definability of the Reachability Relation in Timed Automata. CoRR Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
2019	J	`jnl`	In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. ACM SIGLOG News Martin Fränzle, Mingshuai Chen, Paul Kröger
2019	C	`conf`	Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. IV Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
2019	J	`jnl`	Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. CoRR Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
2019	J	`jnl`	Justification Based Reasoning in Dynamic Conflict Resolution. CoRR Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2019	C	`conf`	Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
2019	—	`conf`	Robust invariant sets generation for state-constrained perturbed polynomial systems. HSCC Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle
2019	—	`conf`	Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
2019	J	`jnl`	Verifying Reachability Properties in Markov Chains via Incremental Induction. CoRR Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate
2018	J	`jnl`	A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios. Comput. Electr. Eng. Saifullah Khan, Muhammad Alam, Martin Fränzle, Nils Müllner, Yuanfang Chen
2018	A*	`conf`	Costs and Rewards in Priced Timed Automata. ICALP Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2018	J	`jnl`	Costs and Rewards in Priced Timed Automata. CoRR Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2018	B	`conf`	Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. SAFECOMP Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer
2018	—	`conf`	Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. AAAI Spring Symposia Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger
2018	—	`conf`	Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. ISoLA (2) Stefan Puch, Martin Fränzle, Sebastian Gerwinn
2018	—	`conf`	Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue
2018	—	`ch.`	The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology. Symposium on Real-Time and Hybrid Systems Martin Fränzle, Paul Kröger
2018	—	`conf`	Under-Approximating Reach Sets for Polynomial Continuous Systems. HSCC Bai Xue, Martin Fränzle, Naijun Zhan
2018	B	`conf`	What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. ATVA Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2017	—	`conf`	A hybrid MAC scheme for wireless vehicular communication. EUROCON Saifullah Khan, Muhammad Alam, Martin Fränzle
2017	—	`conf`	Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2017	—	`ch.`	Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems. Provably Correct Systems Martin Fränzle, Yang Gao, Sebastian Gerwinn
2017	—	`conf`	Just scratching the surface: Partial exploration of initial values in reach-set computation. CDC Bai Xue, Martin Fränzle, Peter Nazier Mosaad
2017	J	`jnl`	Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Sci. Ann. Comput. Sci. Peter Nazier Mosaad, Martin Fränzle, Bai Xue
2017	—	`conf`	Navigating with safety in confined waterways: an explorative case study. MuC (Workshopband) Stella Parisi, Martin Fränzle
2017	J	`jnl`	Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis. IEEE Trans. Autom. Control. Bai Xue, Arvind Easwaran, Nam-Joon Cho, Martin Fränzle
2017	—	`conf`	Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
2017	—	`conf`	Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
2016	—	`conf`	Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2016	B	`conf`	Accurate ICP-based floating-point reasoning. FMCAD Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
2016	—	`conf`	Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
2016	Misc	`ed.`	Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings SETTA Martin Fränzle, Deepak Kapur, Naijun Zhan
2016	B	`conf`	Discounted Duration Calculus. FM Heinrich Ody, Martin Fränzle, Michael R. Hansen
2016	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings FORMATS Martin Fränzle, Nicolas Markey
2016	J	`jnl`	Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. Int. J. Distributed Sens. Networks Mohamed Abdelaal, Oliver E. Theel, Christian Kuka, Peilin Zhang, Yang Gao, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle
2016	B	`conf`	Multi-channel mode for emergency system in urban connected vehicles. IWQoS Saifullah Khan, Martin Fränzle
2016	—	`conf`	Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment. VNC Saifullah Khan, Muhammad Alam, Nils Müllner, Martin Fränzle
2016	J	`jnl`	Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Dagstuhl Reports Martin Fränzle, James Kapinski, Pavithra Prabhakar
2016	J	`jnl`	Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani
2016	C	`conf`	Temporal Logic Verification for Delay Differential Equations. ICTAC Peter Nazier Mosaad, Martin Fränzle, Bai Xue
2016	B	`conf`	Validated Simulation-Based Verification of Delayed Differential Dynamics. FM Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2015	—	`conf`	A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. QEST Yang Gao, Martin Fränzle
2015	—	`conf`	Automatic Verification of Stability and Safety for Delay Differential Equations. CAV (2) Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad
2015	—	`conf`	Cooperation and network coding based MAC protocol for VANETs. VNC Saifullah Khan, Muhammad Alam, Nils Müllner, Martin Fränzle
2015	—	`conf`	Envisioning self-verification of electronic systems. ReCoSoC Rolf Drechsler, Martin Fränzle, Robert Wille
2015	—	`conf`	Estimating the probability of a timely traffic-hazard warning via simulation. SpringSim (ANSS) Nils Müllner, Martin Fränzle, Sibylle B. Fröschle
2015	B	`conf`	Formal Verification of Simulink/Stateflow Diagrams. ATVA Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle
2015	J	`jnl`	Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
2015	—	`conf`	Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. FORMATS Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
2015	—	`conf`	No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. Correct System Design Martin Fränzle, Michael R. Hansen, Heinrich Ody
2015	—	`conf`	Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints. EMS Mohamed Abdelaal, Martin Fränzle, Axel Hahn
2015	—	`conf`	Robust indoor location tracking of multiple inhabitants using only binary sensors. CASE Mohamed-Hedi Amri, Yasmina Becis, Didier Aubry, Nacim Ramdani, Martin Fränzle
2015	J	`jnl`	State-based real-time analysis of SDF applications on MPSoCs with shared communication resources. J. Syst. Archit. Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg
2015	J	`jnl`	Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Int. J. Softw. Tools Technol. Transf. Christian Ellen, Sebastian Gerwinn, Martin Fränzle
2015	—	`conf`	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. SNR@CAV Yang Gao, Martin Fränzle
2014	—	`ed.`	17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014 HSCC Martin Fränzle, John Lygeros
2014	B	`conf`	Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. AINA Nils Müllner, Oliver E. Theel, Martin Fränzle
2014	—	`conf`	Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. AINA Workshops Nils Müllner, Oliver E. Theel, Martin Fränzle
2014	—	`conf`	EAVS: Energy aware virtual sensing for wireless sensor networks. ISSNIP Mohamed Abdelaal, Yang Gao, Martin Fränzle, Oliver E. Theel
2014	—	`conf`	Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate
2014	—	`conf`	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. RP Ahmed Mahdi, Martin Fränzle
2014	J	`jnl`	Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). Dagstuhl Reports Alessandro Abate, Martin Fränzle, Ian A. Hiskens, Martin Strelec
2014	—	`conf`	Transformations for Compositional Verification of Assumption-Commitment Properties. RP Ahmed Mahdi, Bernd Westphal, Martin Fränzle
2013	—	`conf`	A path planning framework for autonomous vehicles. RoMoCo Sönke Eilers, Jürgen Boger, Martin Fränzle
2013	J	`jnl`	Combining decomposition and reduction for state space analysis of a self-stabilizing system. J. Comput. Syst. Sci. Nils Müllner, Oliver E. Theel, Martin Fränzle
2013	—	`conf`	Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation. HCI (22) Stefan Puch, Bertram Wortelen, Martin Fränzle, Thomas Peikenkamp
2013	—	`conf`	Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs. IESS Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg
2013	—	`ed.`	Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011 Hybrid Autonomous Systems@ETAPS Martin Fränzle, Antonios Tsourdos
2013	A	`conf`	Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking. DATE Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg
2013	Misc	`conf`	Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. EMSOFT Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin
2012	B	`conf`	Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. AINA Nils Müllner, Oliver E. Theel, Martin Fränzle
2012	—	`conf`	Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. FORMATS Christian Ellen, Sebastian Gerwinn, Martin Fränzle
2012	J	`jnl`	Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability. Log. Methods Comput. Sci. Tino Teige, Martin Fränzle
2011	—	`conf`	Crossing the Bridge between Similar Games. FORMATS Jan-David Quesel, Martin Fränzle, Werner Damm
2011	A	`conf`	Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. TACAS Tino Teige, Martin Fränzle
2011	B	`conf`	Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. SEFM Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
2011	—	`conf`	Measurability and safety verification for stochastic hybrid systems. HSCC Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang
2011	J	`jnl`	Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2011	—	`conf`	Preface. Hybrid Autonomous Systems@ETAPS Martin Fränzle, Antonios Tsourdos
2011	C	`conf`	Proof certificates and non-linear arithmetic constraints. DDECS Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
2011	—	`ch.`	Semantic Independence. Encyclopedia of Parallel Computing Martin Fränzle, Christian Lengauer
2011	—	`conf`	Using Guided Simulation to Assess Driver Assistance Systems. MBEES Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
2010	J	`jnl`	Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Log. Algebraic Methods Program. Martin Fränzle, Tino Teige, Andreas Eggers
2010	—	`conf`	Resolution for Stochastic Boolean Satisfiability. LPAR (Yogyakarta) Tino Teige, Martin Fränzle
2010	B	`conf`	Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. IFM Martin Fränzle, Tino Teige, Andreas Eggers
2010	—	`conf`	The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. FORMS/FORMAT Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle
2010	—	`conf`	Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
2009	—	`conf`	Constraint-Based Analysis of Probabilistic Hybrid Systems. ADHS Tino Teige, Martin Fränzle
2009	J	`jnl`	Efficient Model Checking for Duration Calculus? Int. J. Softw. Informatics Martin Fränzle, Michael R. Hansen
2009	—	`conf`	Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. MBMV Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle
2009	—	`conf`	Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. FORMATS Martin Fränzle, Mani Swaminathan
2008	—	`conf`	Analysis of Hybrid Systems Using HySAT. ICONS Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige
2008	B	`conf`	Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM Martin Fränzle, Michael R. Hansen
2008	B	`conf`	SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA Andreas Eggers, Martin Fränzle, Christian Herde
2008	B	`conf`	Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. CPAIOR Tino Teige, Martin Fränzle
2008	—	`conf`	Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. HSCC Martin Fränzle, Holger Hermanns, Tino Teige
2008	—	`conf`	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen
2007	C	`conf`	A Symbolic Decision Procedure for Robust Safety of Timed Systems. TIME Mani Swaminathan, Martin Fränzle
2007	A	`conf`	Deciding an Interval Logic with Accumulated Durations. TACAS Martin Fränzle, Michael R. Hansen
2007	J	`jnl`	Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. J. Satisf. Boolean Model. Comput. Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert
2007	J	`jnl`	HySAT: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods Syst. Des. Martin Fränzle, Christian Herde
2007	J	`jnl`	SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it Inf. Technol. Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
2007	A*	`conf`	Verification of Hybrid Systems. CAV Martin Fränzle
2006	A	`conf`	An optimal approach to the task allocation problem on hierarchical architectures. IPDPS Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
2006	—	`conf`	Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2006	—	`conf`	Test automation for hybrid systems. SOQUA Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige
2005	C	`conf`	A Robust Interpretation of Duration Calculus. ICTAC Martin Fränzle, Michael R. Hansen
2005	B	`conf`	Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
2004	—	`conf`	Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
2004	C	`conf`	Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. FMICS Martin Fränzle, Christian Herde
2004	J	`jnl`	Model-checking dense-time Duration Calculus. Formal Aspects Comput. Martin Fränzle
2003	J	`jnl`	A Semantics for Distributed Execution of Statemate. Formal Aspects Comput. Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
2003	B	`conf`	Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. LPAR Martin Fränzle, Christian Herde
2002	—	`conf`	Take It NP-Easy: Bounded Model Construction for Duration Calculus. FTRTFT Martin Fränzle
2001	J	`jnl`	Visual temporal logic as a rapid prototyping tool. Comput. Lang. Martin Fränzle, Karsten Lüth
2001	—	`conf`	What Will Be Eventually True of Polynomial Hybrid Automata? TACS Martin Fränzle
1999	B	`conf`	Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. CSL Martin Fränzle
1999	—	`conf`	Compilation and Synthesis for Real-Time Embedded Controllers. Correct System Design Martin Fränzle, Markus Müller-Olm
1998	—	`conf`	Compiling Graphical Real-Time Specifications into Silicon. FTRTFT Martin Fränzle, Karsten Lüth
1997	—	`—`	Controller design from temporal logic: undecidability need not matter. Martin Fränzle
1996	—	`conf`	Synthesizing Controllers from Duration Calculus. FTRTFT Martin Fränzle
1995	J	`jnl`	A Generalized Notion of Semantic Independence. Inf. Process. Lett. Martin Fränzle, Bernhard von Stengel, Arne Wittmüss
1994	—	`conf`	Provably Correct Systems. FTRTFT Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
1994	B	`conf`	Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. CC Martin Fränzle, Markus Müller-Olm
1993	—	`conf`	Developing Correct Systems. RTS Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn
1992	B	`conf`	Provably Correct Compiler Development and Implementation. CC Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm