Martin Fränzle
Carl von Ossietzky Universität Oldenburg
H-index: 30
Europe-Germany
Top articles of Martin Fränzle
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Cyber-physical systems | ACM Transactions on | H Mousavi A Ebnenasir E Mahmoudzadeh X Fan Q Wang | 2023 |
What Level of Power Should We Give an Automation? —Adjusting the Level of Automation in HCPS— | Mehrnoush Hajnorouzi Astrid Rakow Akhila Bairy Jan-Patrick Osterloh Martin Fränzle | 2024/3/24 | |
Estimation of Counterfactual Interventions under Uncertainties | Juliane Weilbach Sebastian Gerwinn Melih Kandemir Martin Fraenzle | 2024/2/27 | |
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction | ACM Transactions on Cyber-Physical Systems | Klaus Bengler Werner Damm Andreas Luedtke Reiger Jochem Benedikt Austel | 2024/1/14 |
A Reference Architecture of Human Cyber-Physical Systems–Part I: Fundamental Concepts | ACM Transactions on Cyber-Physical Systems | Werner Damm David Hess Mark Schweda Janos Sztipanovits Klaus Bengler | 2024/1/14 |
Mode Management in Contract-Based Design | Janis Kröger Martin Fränzle | 2024 | |
Monitoring Real-Time Systems under Parametric Delay | arXiv preprint arXiv:2404.18282 | Martin Fränzle Thomas M Grosen Kim G Larsen Martin Zimmermann | 2024/4/28 |
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games | arXiv preprint arXiv:2305.19985 | Martin Fränzle Sarah Winter Martin Zimmermann | 2023/5/31 |
Reach-avoid analysis for polynomial stochastic differential equations | IEEE Transactions on Automatic Control | Bai Xue Naijun Zhan Martin Fränzle | 2023/11/13 |
Verification of LSTM Neural Networks with Non-linear Activation Functions | Farzaneh Moradkhani Connor Fibich Martin Fränzle | 2023/5/16 | |
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/9/18 |
Reach-avoid verification based on convex optimization | IEEE Transactions on Automatic Control | Bai Xue Naijun Zhan Martin Fränzle Ji Wang Wanwei Liu | 2023/5/10 |
Contract-based specification of mode-dependent timing behavior | Innovations in Systems and Software Engineering | Janis Kröger Björn Koopmann Ingo Stierand Martin Fränzle | 2023/9/7 |
Investigation of graphical user interfaces for online driving style customization of highly automated vehicles | Alexander Trende Ina Krefting Lars Weber Jochem W Rieger Andreas Lüdtke | 2023 | |
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles | Martin Fränzle Willem Hagemann Werner Damm Astrid Rakow Mani Swaminathan | 2023/8/17 | |
Updates at Runtime for Cyber Physical Systems. A Game Theoretic Approach | Janis Kröger Martin Fränzle | 2023 | |
Safety Shielding under Delayed Observation | arXiv e-prints | Filip Cano Córdoba Alexander Palmisano Martin Fränzle Roderick Bloem Bettina Könighofer | 2023/7 |
Costs and rewards in priced timed automata | Information and Computation | Martin Fränzle Mahsa Shirmohammadi Mani Swaminathan James Worrell | 2022/1/1 |
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/4/11 |
Self-explanation in systems of systems | Goerschwin Fey Martin Fränzle Rolf Drechsler | 2022/8/15 |