Stop the war!Остановите войну!
for scientists:
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
- 2023
[c113]Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer:
Safety Shielding under Delayed Observation. ICAPS 2023: 80-85- [c112]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 - [c111]Farzaneh Moradkhani
, Connor Fibich, Martin Fränzle:
Verification of LSTM Neural Networks with Non-linear Activation Functions. NFM 2023: 1-15 - [i15]Martin Fränzle, Sarah Winter, Martin Zimmermann:
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. 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)