基本信息
浏览量:130
职业迁徙
个人简介
M. Fränzle’s research interests are in modelling, verification, and synthesis of reactive, real-time, and hybrid dynamics in embedded and cyber-physical systems. He has worked on the semantics of high-level modelling and specification languages and on decision problems and their application to verifying and synthesizing real-time and hybrid discrete-continuous systems including settings subject to stochastic disturbances. The complexity barrier rapidly hit by such automated verification and synthesis procedures has been attacked through extending bounded model checking to very expressive temporal logics, branching-time abstractions, and by developing SAT-modulo-theory techniques for arithmetic constraint solving and tailoring them to the specific formulae structures arising in different verification domains and in synthesis. Furthermore, SAT-modulo-theory techniques for arithmetic constraint solving have been extended to the undecidable domain of arithmetic constraints involving transcendental functions and ordinary differential equations as well as to stochastic variants facilitating the fully symbolic analysis of probabilistic hybrid systems. Another major line of research deals with robust notions of system correctness, i.e. with the construction of correctness certificates which remain valid under the ubiquitous kinds of disturbances like, e.g., manufacturing tolerances or incomplete information. Fundamental research on these topics has mostly been pursued within large collaborative research projects, like the Transregional Collaborative Research Center SFB-TR 14 AVACS (Automatic Verification and Analysis of Complex Systems) or recently the Research Training Group DFG GRK 1765 SCARE (System Correctness under Adverse Conditions).
研究兴趣
论文共 268 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMSno. 1 (2024): 2:1-2:32
Innovations in Systems and Software Engineeringno. 1 (2024): 31-47
Klaus Bengler,Werner Damm, Andreas Luedtke, Reiger Jochem, Benedikt Austel,Bianca Biebl,Martin Fraenzle,Willem Hagemann,Moritz Held,David Hess,Klas Ihme,Severin Kacianka,
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMSno. 1 (2024): 4:1-4:23
IEEE Trans. Autom. Control.no. 3 (2024): 1882-1889
IEEE TRANSACTIONS ON AUTOMATIC CONTROLno. 1 (2024): 598-605
NFMpp.1-15, (2023)
CoRRno. 1 (2023): 80-85
引用0浏览0EI引用
0
0
AHFE international (2023)
引用0浏览0引用
0
0
IEEE Access (2023): 102949-102960
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn