Martin Fränzle - Publications, H-index & Citations

Martin Fränzle

Carl von Ossietzky Universitat Oldenburg

25H指数

315论文数

2.9K被引数

收录论文 12

发表时间

Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime 在运行时更新网络物理系统期间确保集成条件

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025

IF0

2026-01-01

PREAI

Kroeger, Janis; Stierand, Ingo; Fraenzle, Martin

Optimised Timing of Multi-step Explanations for Multiple Users Through Reactive Games 通过反应式游戏优化多用户多步解释的时机

EXPLAINABLE, TRUSTWORTHY, AND RESPONSIBLE AI AND MULTI-AGENT SYSTEMS, EXTRAAMAS 2025

IF0

2026-01-01

PREAI

Bairy, Akhila; Fraenzle, Martin; Schwammberger, Maike

Reach-Avoid Analysis for Polynomial Stochastic Differential Equations 多项式随机微分方程的趋避分析

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2024-03-01

OAAI

Xue, Bai; Zhan, Naijun; Fraenzle, Martin

Reach-Avoid Verification Based on Convex Optimization 基于凸优化的达到-避免验证

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2024-01-01

OAAI

Xue, Bai; Zhan, Naijun; Fraenzle, Martin; Wang, Ji; Liu, Wanwei

Determining the Validity of Simulation Models for the Verification of Automated Driving Systems

IEEE ACCESS

IF3.6

2023-01-01

OAAI

Neurohr, Birte; Koopmann, Tjark; Moehlmann, Eike; Fraenzle, Martin

A comparative, sociotechnical design perspective on Responsible Innovation: multidisciplinary research and education on digitized energy and Automated Vehicles 负责任创新的比较，社会技术设计视角: 数字化能源和自动驾驶汽车的多学科研究和教育

JOURNAL OF RESPONSIBLE INNOVATION

IF4.1

2021-09-23

OAAI

Hess, David J.; Lee, Dasom; Biebl, Bianca; Fraenzle, Martin; Lehnhoff, Sebastian; Neema, Himanshu; Niehaus, Juergen; Pretschner, Alexander; Sztipanovits, Janos

Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties 具有时变不确定性的多项式系统的内部逼近可达集

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2020-04-01

OAAI

Xue, Bai; Fraenzle, Martin; Zhan, Naijun

A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios

COMPUTERS & ELECTRICAL ENGINEERING

IF4.9

2018-05-01

PREAI

Khan, Saifullah; Alam, Muhammad; Fraenzle, Martin; Muellner, Nils; Chen, Yuanfang

Special issue on Hybrid Systems: Computation and Control

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2018-02-01

OAAI

Fraenzle, Martin; Girard, Antoine; Lygeros, John; Sankaranarayanan, Sriram

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2017-07-01

PREAI

Xue, Bai; Easwaran, Arvind; Cho, Nam-Joon; Fraenzle, Martin

State-based real-time analysis of SDF applications on MPSoCs with shared communication resources

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2015-10-01

PREAI

Fakih, Maher; Gruettner, Kim; Fraenzle, Martin; Rettberg, Achim

Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2011-05-01

PREAI

Teige, Tino; Eggers, Andreas; Fraenzle, Martin

研究方向