default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Fränzle
Person information
- affiliation: University of Oldenburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j40]Janis Kröger
, Björn Koopmann, Ingo Stierand, Martin Fränzle:
Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. 20(1): 31-47 (2024)- [j39]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69(1): 598-605 (2024) - [j38]Bai Xue, Naijun Zhan, Martin Fränzle:
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations. IEEE Trans. Autom. Control. 69(3): 1882-1889 (2024) - [j37]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:
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8(1): 2:1-2:32 (2024) - [j36]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:
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8(1): 3:1-3:27 (2024) - [j35]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:
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8(1): 4:1-4:23 (2024) - [c121]Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Fränzle:
What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -. EDCC Workshops 2024: 14-21 - [c120]Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann:
Monitoring Real-Time Systems Under Parametric Delay. IFM 2024: 194-213 - [c119]Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke:
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. ISoLA (3) 2024: 26-47 - [c118]Juliane Weilbach, Sebastian Gerwinn, Karim Said Barsim, Martin Fränzle:
Counterfactual-Based Root Cause Analysis for Dynamical Systems. ECML/PKDD (6) 2024: 303-319 - [c117]Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger:
Stream-Based Monitoring Under Measurement Noise. RV 2024: 22-39 - [i18]Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann:
Monitoring Real-Time Systems under Parametric Delay. CoRR abs/2404.18282 (2024) - [i17]Juliane Weilbach, Sebastian Gerwinn, Karim Said Barsim, Martin Fränzle:
Counterfactual-based Root Cause Analysis for Dynamical Systems. CoRR abs/2406.08106 (2024) - [i16]Linda Feeken, Martin Fränzle:
Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. CoRR abs/2411.00048 (2024) - 2023
- [j34]Birte Neurohr, Tjark Koopmann, Eike Möhlmann, Martin Fränzle:
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems. IEEE Access 11: 102949-102960 (2023) - [c116]Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle:
Estimation of Counterfactual Interventions under Uncertainties. ACML 2023: 1463-1478 - [c115]Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer:
Safety Shielding under Delayed Observation. ICAPS 2023: 80-85 - [c114]Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan:
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products 2023: 180-201 - [c113]Farzaneh Moradkhani, Connor Fibich, Martin Fränzle:
Verification of LSTM Neural Networks with Non-linear Activation Functions. NFM 2023: 1-15 - [c112]Martin Fränzle, Andreas Hein:
Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception. AISoLA (Selected Papers) 2023: 415-433 - [c111]Martin Fränzle, Sarah Winter, Martin Zimmermann:
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF 2023: 220-235 - [i15]Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann:
On the Existence of Reactive Strategies Resilient to Delay. CoRR abs/2305.19985 (2023) - [i14]Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer:
Safety Shielding under Delayed Observation. CoRR abs/2307.02164 (2023) - [i13]Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle:
Estimation of Counterfactual Interventions under Uncertainties. CoRR abs/2309.08332 (2023) - 2022
- [j33]Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger:
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15(4): 126 (2022) - [j32]Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
Costs and rewards in priced timed automata. Inf. Comput. 282: 104656 (2022) - [j31]Alessandro Abate, Uli Fahrenberg, Martin Fränzle:
Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. 8(2): 00:1-00:3 (2022) - [j30]Paul Kröger, Martin Fränzle:
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. Leibniz Trans. Embed. Syst. 8(2): 05:1-05:27 (2022) - [c110]Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng:
Differential Games Based on Invariant Sets Generation. ACC 2022: 1285-1292 - [c109]Martin Fränzle:
The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 201-212 - [c108]Alexander Trende, Ina Krefting, Anirudh Unni, Jochem W. Rieger, Martin Fränzle:
A Case-Study for a Human-Centered Approach to Traffic Management Systems. HCI (40) 2022: 259-266 - [c107]Görschwin Fey, Martin Fränzle, Rolf Drechsler:
Self-Explanation in Systems of Systems. RE Workshops 2022: 85-91 - [i12]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-avoid Verification Based on Convex Optimization. CoRR abs/2208.08105 (2022) - [i11]Bai Xue, Naijun Zhan, Martin Fränzle:
Reach-Avoid Analysis for Stochastic Differential Equations. CoRR abs/2208.10752 (2022) - [i10]Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle:
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. CoRR abs/2211.01633 (2022) - 2021
- [j29]Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. Acta Informatica 58(5): 497-528 (2021) - [j28]Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger:
System correctness under adverse conditions. it Inf. Technol. 63(5-6): 249-251 (2021) - [j27]Paul Kröger, Martin Fränzle:
Bayesian hybrid automata: Reconciling formal methods with metrology. it Inf. Technol. 63(5-6): 265-275 (2021) - [j26]Farzaneh Moradkhani, Martin Fränzle:
Functional verification of cyber-physical systems containing machine-learnt components. it Inf. Technol. 63(5-6): 277-287 (2021) - [j25]Erzana Berani Abdelwahab, Martin Fränzle:
A sampling-based approach for handling delays in continuous and hybrid systems. it Inf. Technol. 63(5-6): 289-298 (2021) - [c106]Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle:
Reach-avoid Analysis for Stochastic Discrete-time Systems. ACC 2021: 4879-4885 - [c105]Ina Krefting, Alexander Trende, Anirudh Unni, Jochem W. Rieger, Andreas Lüdtke, Martin Fränzle:
Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles. AutomotiveUI (adjunct) 2021: 77-80 - [c104]Alexander Trende, Anirudh Unni, Jochem W. Rieger, Martin Fränzle:
Modelling Turning Intention in Unsignalized Intersections with Bayesian Networks. HCI (39) 2021: 289-296 - [c103]Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle:
Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments. ITSC 2021: 969-975 - [c102]Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle:
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. SEFM 2021: 501-520 - [c101]Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle:
Handling of Operating Modes in Contract-Based Timing Specifications. VECoS 2021: 59-74 - [c100]Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle:
Verification of Sigmoidal Artificial Neural Networks using iSAT. SNR 2021: 45-60 - [i9]Sebastian vom Dorff, Maximilian Kneißl, Martin Fränzle:
Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments. CoRR abs/2109.04175 (2021) - 2020
- [j24]Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell:
Effective definability of the reachability relation in timed automata. Inf. Process. Lett. 153 (2020) - [j23]Bai Xue, Martin Fränzle, Naijun Zhan:
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties. IEEE Trans. Autom. Control. 65(4): 1468-1483 (2020) - [j22]Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia:
Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4090-4101 (2020) - [c99]Bai Xue, Naijun Zhan, Martin Fränzle:
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems. CDC 2020: 867-873 - [c98]Sebastian vom Dorff, Bert Böddeker, Maximilian Kneißl, Martin Fränzle:
A Fail-safe Architecture for Automated Driving. DATE 2020: 828-833 - [c97]Alexander Trende, Franziska Hartwich, Cornelia Schmidt, Martin Fränzle:
Improving the Detection of User Uncertainty in Automated Overtaking Maneuvers by Combining Contextual, Physiological and Individualized User Data. HCI (40) 2020: 390-397 - [c96]Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm:
Identification and Quantification of Hazardous Scenarios for Automated Driving. IMBSA 2020: 163-178 - [c95]Martin Fränzle, Paul Kröger:
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. ISoLA (3) 2020: 255-272 - [c94]Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle:
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach. VEHITS 2020: 15-26
2010 – 2019
- 2019
- [j21]Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan:
Editorial. Formal Aspects Comput. 31(1): 1 (2019) - [j20]Martin Fränzle, Mingshuai Chen, Paul Kröger:
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. ACM SIGLOG News 6(1): 19-39 (2019) - [c93]Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue:
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) 2019: 650-669 - [c92]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:
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 2019: 62-102 - [c91]Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle:
Robust invariant sets generation for state-constrained perturbed polynomial systems. HSCC 2019: 128-137 - [c90]Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran:
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM 2019: 236-252 - [c89]Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni:
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. IV 2019: 82-89 - [c88]Sulayman K. Sowe, Martin Fränzle, Jan-Patrick Osterloh, Alexander Trende, Lars Weber, Andreas Lüdtke:
Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. SEFM Workshops 2019: 20-26 - [c87]Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow:
Dynamic Conflict Resolution Using Justification Based Reasoning. CREST@ETAPS 2019: 47-65 - [i8]Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni:
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. CoRR abs/1902.04929 (2019) - [i7]Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell:
Effective Definability of the Reachability Relation in Timed Automata. CoRR abs/1903.09773 (2019) - [i6]Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow:
Justification Based Reasoning in Dynamic Conflict Resolution. CoRR abs/1905.11764 (2019) - [i5]Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate:
Verifying Reachability Properties in Markov Chains via Incremental Induction. CoRR abs/1909.08017 (2019) - 2018
- [j19]Saifullah Khan, Muhammad Alam, Martin Fränzle, Nils Müllner, Yuanfang Chen:
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios. Comput. Electr. Eng. 68: 447-462 (2018) - [c86]Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger:
Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. AAAI Spring Symposia 2018 - [c85]Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. ATVA 2018: 56-74 - [c84]Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue:
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS 2018: 252-270 - [c83]Bai Xue, Martin Fränzle, Naijun Zhan:
Under-Approximating Reach Sets for Polynomial Continuous Systems. HSCC 2018: 51-60 - [c82]Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
Costs and Rewards in Priced Timed Automata. ICALP 2018: 125:1-125:14 - [c81]Stefan Puch, Martin Fränzle, Sebastian Gerwinn:
Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. ISoLA (2) 2018: 305-321 - [c80]Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer:
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. SAFECOMP 2018: 139-153 - [p2]Martin Fränzle, Paul Kröger:
The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology. Symposium on Real-Time and Hybrid Systems 2018: 165-185 - [i4]Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
Costs and Rewards in Priced Timed Automata. CoRR abs/1803.01914 (2018) - 2017
- [j18]Peter Nazier Mosaad, Martin Fränzle, Bai Xue:
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Sci. Ann. Comput. Sci. 27(1): 77-109 (2017) - [j17]Bai Xue, Arvind Easwaran, Nam-Joon Cho, Martin Fränzle:
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis. IEEE Trans. Autom. Control. 62(7): 3518-3523 (2017) - [c79]Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby:
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) 2017: 375-395 - [c78]Bai Xue, Martin Fränzle, Peter Nazier Mosaad:
Just scratching the surface: Partial exploration of initial values in reach-set computation. CDC 2017: 1769-1775 - [c77]Saifullah Khan, Muhammad Alam, Martin Fränzle:
A hybrid MAC scheme for wireless vehicular communication. EUROCON 2017: 889-895 - [c76]Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan:
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS 2017: 281-299 - [c75]Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer:
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV 2017: 53-54 - [c74]Stella Parisi, Martin Fränzle:
Navigating with safety in confined waterways: an explorative case study. MuC (Workshopband) 2017 - [p1]Martin Fränzle, Yang Gao, Sebastian Gerwinn:
Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems. Provably Correct Systems 2017: 9-38 - 2016
- [j16]Mohamed Abdelaal, Oliver E. Theel, Christian Kuka, Peilin Zhang, Yang Gao, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle:
Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. Int. J. Distributed Sens. Networks 12(5): 1576038:1-1576038:28 (2016) - [c73]Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
Validated Simulation-Based Verification of Delayed Differential Dynamics. FM 2016: 137-154 - [c72]Heinrich Ody, Martin Fränzle, Michael R. Hansen:
Discounted Duration Calculus. FM 2016: 577-592 - [c71]Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker:
Accurate ICP-based floating-point reasoning. FMCAD 2016: 177-184 - [c70]Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker:
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference 2016: 186-201 - [c69]Peter Nazier Mosaad, Martin Fränzle, Bai Xue:
Temporal Logic Verification for Delay Differential Equations. ICTAC 2016: 405-421 - [c68]Saifullah Khan, Martin Fränzle:
Multi-channel mode for emergency system in urban connected vehicles. IWQoS 2016: 1-2 - [c67]Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer:
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC 2016: 32-38 - [c66]Saifullah Khan, Muhammad Alam, Nils Müllner, Martin Fränzle:
Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment. VNC 2016: 1-2 - [e4]Martin Fränzle, Nicolas Markey:
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Lecture Notes in Computer Science 9884, Springer 2016, ISBN 978-3-319-44877-0 [contents] - [e3]Martin Fränzle, Deepak Kapur, Naijun Zhan:
Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9984, 2016, ISBN 978-3-319-47676-6 [contents] - [i3]Martin Fränzle, James Kapinski, Pavithra Prabhakar:
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Dagstuhl Reports 6(9): 29-45 (2016) - [i2]Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani:
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports 6(12): 1-28 (2016) - 2015
- [j15]Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg:
State-based real-time analysis of SDF applications on MPSoCs with shared communication resources. J. Syst. Archit. 61(9): 486-509 (2015) - [j14]Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle:
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. 14(1): 121-148 (2015) - [j13]Christian Ellen, Sebastian Gerwinn, Martin Fränzle:
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Int. J. Softw. Tools Technol. Transf. 17(4): 485-504 (2015) - [c65]Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle:
Formal Verification of Simulink/Stateflow Diagrams. ATVA 2015: 464-481 - [c64]Martin Fränzle, Michael R. Hansen, Heinrich Ody:
No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. Correct System Design 2015: 152-171 - [c63]Mohamed-Hedi Amri, Yasmina Becis, Didier Aubry, Nacim Ramdani, Martin Fränzle:
Robust indoor location tracking of multiple inhabitants using only binary sensors. CASE 2015: 194-199 - [c62]Yang Gao, Martin Fränzle:
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. SNR@CAV 2015: 2-10 - [c61]Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad:
Automatic Verification of Stability and Safety for Delay Differential Equations. CAV (2) 2015: 338-355 - [c60]Mohamed Abdelaal, Martin Fränzle, Axel Hahn:
Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints. EMS 2015: 313-318 - [c59]Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen:
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. FORMATS 2015: 93-107 - [c58]Yang Gao, Martin Fränzle:
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. QEST 2015: 295-311 - [c57]Rolf Drechsler, Martin Fränzle, Robert Wille:
Envisioning self-verification of electronic systems. ReCoSoC 2015: 1-6 - [c56]Nils Müllner, Martin Fränzle, Sibylle B. Fröschle:
Estimating the probability of a timely traffic-hazard warning via simulation. SpringSim (ANSS) 2015: 130-137 - [c55]Saifullah Khan, Muhammad Alam, Nils Müllner, Martin Fränzle:
Cooperation and network coding based MAC protocol for VANETs. VNC 2015: 64-67 - 2014
- [c54]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. AINA Workshops 2014: 334-341 - [c53]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. AINA 2014: 1049-1056 - [c52]Mohamed Abdelaal, Yang Gao, Martin Fränzle, Oliver E. Theel:
EAVS: Energy aware virtual sensing for wireless sensor networks. ISSNIP 2014: 1-6 - [c51]Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate:
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST 2014: 57-73 - [c50]Ahmed Mahdi, Martin Fränzle:
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. RP 2014: 203-215 - [c49]Ahmed Mahdi, Bernd Westphal, Martin Fränzle:
Transformations for Compositional Verification of Assumption-Commitment Properties. RP 2014: 216-229 - [e2]Martin Fränzle, John Lygeros:
17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. ACM 2014, ISBN 978-1-4503-2732-9 [contents] - [i1]Alessandro Abate, Martin Fränzle, Ian A. Hiskens, Martin Strelec:
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). Dagstuhl Reports 4(10): 69-97 (2014) - 2013
- [j12]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Combining decomposition and reduction for state space analysis of a self-stabilizing system. J. Comput. Syst. Sci. 79(7): 1113-1125 (2013) - [c48]Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg:
Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking. DATE 2013: 1167-1172 - [c47]Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin:
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. EMSOFT 2013: 9:1-9:10 - [c46]Stefan Puch, Bertram Wortelen, Martin Fränzle, Thomas Peikenkamp:
Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation. HCI (22) 2013: 108-117 - [c45]Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg:
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs. IESS 2013: 205-217 - [c44]Sönke Eilers, Jürgen Boger, Martin Fränzle:
A path planning framework for autonomous vehicles. RoMoCo 2013: 203-208 - [e1]Martin Fränzle, Antonios Tsourdos:
Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011. Electronic Notes in Theoretical Computer Science 297, Elsevier 2013 [contents] - 2012
- [j11]Tino Teige, Martin Fränzle:
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability. Log. Methods Comput. Sci. 8(2) (2012) - [c43]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. AINA 2012: 936-943 - [c42]Christian Ellen, Sebastian Gerwinn, Martin Fränzle:
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. FORMATS 2012: 123-138 - 2011
- [j10]Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21(1): 5-21 (2011) - [c41]Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle:
Proof certificates and non-linear arithmetic constraints. DDECS 2011: 429-434 - [c40]Jan-David Quesel, Martin Fränzle, Werner Damm:
Crossing the Bridge between Similar Games. FORMATS 2011: 160-176 - [c39]Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang:
Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52 - [c38]Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter:
Using Guided Simulation to Assess Driver Assistance Systems. MBEES 2011: 71-80 - [c37]Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle:
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. SEFM 2011: 172-187 - [c36]Tino Teige, Martin Fränzle:
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. TACAS 2011: 158-172 - [c35]Martin Fränzle, Antonios Tsourdos:
Preface. Hybrid Autonomous Systems@ETAPS 2011: 1-2 - [r1]Martin Fränzle, Christian Lengauer:
Semantic Independence. Encyclopedia of Parallel Computing 2011: 1803-1810 - 2010
- [j9]Martin Fränzle, Tino Teige, Andreas Eggers:
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Log. Algebraic Methods Program. 79(7): 436-466 (2010) - [c34]Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter:
Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT 2010: 195-205 - [c33]Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle:
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. FORMS/FORMAT 2010: 207-215 - [c32]Martin Fränzle, Tino Teige, Andreas Eggers:
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. IFM 2010: 168-182 - [c31]Tino Teige, Martin Fränzle:
Resolution for Stochastic Boolean Satisfiability. LPAR (Yogyakarta) 2010: 625-639
2000 – 2009
- 2009
- [j8]Martin Fränzle, Michael R. Hansen:
Efficient Model Checking for Duration Calculus? Int. J. Softw. Informatics 3(2-3): 171-196 (2009) - [c30]Tino Teige, Martin Fränzle:
Constraint-Based Analysis of Probabilistic Hybrid Systems. ADHS 2009: 162-167 - [c29]Martin Fränzle, Mani Swaminathan:
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. FORMATS 2009: 149-163 - [c28]Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle:
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. MBMV 2009: 27-36 - 2008
- [c27]Andreas Eggers, Martin Fränzle, Christian Herde:
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA 2008: 171-185 - [c26]Tino Teige, Martin Fränzle:
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. CPAIOR 2008: 248-262 - [c25]Martin Fränzle, Holger Hermanns, Tino Teige:
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. HSCC 2008: 172-186 - [c24]Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige:
Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201 - [c23]Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen:
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS 2008: 537-553 - [c22]Martin Fränzle, Michael R. Hansen:
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72 - 2007
- [j7]Martin Fränzle, Christian Herde:
HySAT: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods Syst. Des. 30(3): 179-198 (2007) - [j6]Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm:
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. 49(2): 118-126 (2007) - [j5]Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert:
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. J. Satisf. Boolean Model. Comput. 1(3-4): 209-236 (2007) - [c21]Martin Fränzle:
Verification of Hybrid Systems. CAV 2007: 38 - [c20]Martin Fränzle, Michael R. Hansen:
Deciding an Interval Logic with Accumulated Durations. TACAS 2007: 201-215 - [c19]Mani Swaminathan, Martin Fränzle:
A Symbolic Decision Procedure for Robust Safety of Timed Systems. TIME 2007: 192 - 2006
- [c18]Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315 - [c17]Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand:
An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006 - [c16]Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige:
Test automation for hybrid systems. SOQUA 2006: 14-21 - 2005
- [c15]Martin Fränzle, Michael R. Hansen:
A Robust Interpretation of Duration Calculus. ICTAC 2005: 257-271 - [c14]Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand:
Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415 - 2004
- [j4]Martin Fränzle:
Model-checking dense-time Duration Calculus. Formal Aspects Comput. 16(2): 121-139 (2004) - [c13]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:
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV 2004: 65-75 - [c12]Martin Fränzle, Christian Herde:
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. FMICS 2004: 119-137 - 2003
- [j3]Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm:
A Semantics for Distributed Execution of Statemate. Formal Aspects Comput. 15(4): 390-405 (2003) - [c11]Martin Fränzle, Christian Herde:
Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. LPAR 2003: 302-316 - 2002
- [c10]Martin Fränzle:
Take It NP-Easy: Bounded Model Construction for Duration Calculus. FTRTFT 2002: 245-264 - 2001
- [j2]Martin Fränzle, Karsten Lüth:
Visual temporal logic as a rapid prototyping tool. Comput. Lang. 27(1/3): 93-113 (2001) - [c9]Martin Fränzle:
What Will Be Eventually True of Polynomial Hybrid Automata? TACS 2001: 340-359
1990 – 1999
- 1999
- [c8]Martin Fränzle, Markus Müller-Olm:
Compilation and Synthesis for Real-Time Embedded Controllers. Correct System Design 1999: 256-287 - [c7]Martin Fränzle:
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. CSL 1999: 126-140 - 1998
- [c6]Martin Fränzle, Karsten Lüth:
Compiling Graphical Real-Time Specifications into Silicon. FTRTFT 1998: 272-281 - 1997
- [b1]Martin Fränzle:
Controller design from temporal logic: undecidability need not matter. University of Kiel, 1997, pp. 1-190 - 1996
- [c5]Martin Fränzle:
Synthesizing Controllers from Duration Calculus. FTRTFT 1996: 168-187 - 1995
- [j1]Martin Fränzle, Bernhard von Stengel, Arne Wittmüss:
A Generalized Notion of Semantic Independence. Inf. Process. Lett. 53(1): 5-9 (1995) - 1994
- [c4]Martin Fränzle, Markus Müller-Olm:
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. CC 1994: 294-308 - [c3]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:
Provably Correct Systems. FTRTFT 1994: 288-335 - 1993
- [c2]Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn:
Developing Correct Systems. RTS 1993: 176-187 - 1992
- [c1]Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm:
Provably Correct Compiler Development and Implementation. CC 1992: 141-155
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
