编辑配置文件（在新选项卡中打开） Fränzle，马丁 合著者距离 作者ID： 弗兰兹尔·马汀 发布日期： Fränzle，马丁 外部链接： 管理程序 已编制索引的文档： 54出版物自1995年以来，包括1个附加arXiv预打印 5名编辑的贡献 合著者： 64位合著者具有53联合出版物 1480名合作作者 全部的 前5名合著者 5 单作者的 13 詹乃军 10 薛、白 8 蒂诺·特伊格 5 陈明帅 5 克里斯蒂安·赫尔德 4 安德烈亚斯·艾格斯 4 迈克尔·赖赫哈特·汉森 4 李，杨佳 4 彼得·莫萨德（Peter N.Mosaad）。 4 纳齐尔·莫萨德，彼得 三 马赫萨·希尔穆罕默德 三 马尼省斯瓦米纳坦 三 詹姆斯·沃雷尔。 2 达姆，沃纳 2 冯胜华 2 塞巴斯蒂安·格温 2 霍尔格·赫尔曼斯 2 迪帕克·卡普尔 2 保罗·克罗格 2 艾哈迈德·莫欣·马赫迪 2 海因里希·奥迪 2 舒伯特、托比亚斯 2 王秋叶 2 邹亮 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 贝恩德·贝克尔 1 卢卡·卡德利 1 科什卡，米兰 1 Cheng，Chih-Hong先生 1 Nam-Joon Cho 1 塞巴斯蒂安·沃姆·多夫 1 阿文德·伊斯瓦兰 1 克里斯蒂安·艾伦 1 哈桑·埃森 1 安托万·吉拉德 1 恩斯特·莫里茨·哈恩 1 Joost-Pieter卡托恩 1 Marta Z.Kwiatkowska。 1 卢卡·劳伦蒂 1 李美伦 1 卡斯滕·吕斯 1 约翰·莱杰罗斯 1 亚历山大·梅兹纳 1 缪尔纳，尼尔斯 1 内迪亚科夫（Nedialko S.）。 1 尤尔根·尼豪斯 1 尼古拉·保莱蒂 1 卡琳·夸斯 1 贾·戴维德·奎塞尔 1 纳西姆·拉姆达尼 1 斯特凡·拉特肖恩 1 桑卡拉纳拉亚南，斯里拉姆 1 她，志坤 1 奥利弗·泰尔 1 安东尼奥斯·索尔多斯 1 伯恩哈德·冯·斯坦格尔 1 王淑玲 1 海克·卫尔海姆 1 伯恩德·韦斯特法尔 1 马克斯·惠特比 1 阿恩·维特穆斯 1 尼科拉斯·沃尔维克 1 张丽君 全部的 前5名系列 三 计算的形式方面 2 信息处理信件 2 IEEE自动控制汇刊 2 计算机科学课堂讲稿 2 非线性分析。混合动力系统 1 信息学报 1 计算机语言 1 计算机与系统科学杂志 1 信息与计算 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 理论计算机科学电子笔记 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 1 计算机科学科学年鉴 全部的 前5名领域 50 计算机科学（68至XX） 17 系统论；控制（93至XX） 14 数学逻辑和基础（03-XX） 6 常微分方程（34-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 总体主题；集合（00-XX） 4 运筹学、数学规划（90-XX） 2 数论（11-XX） 2 动力系统和遍历理论（37至XX） 2 数值分析（65-XX） 1 变分法与最优控制；最优化（49至XX） 1 概率论与随机过程（60-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用248中的次179文件 引用人▼ 年份▼ 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 Zbl 1144.68371号 Fränzle，马丁；克里斯蒂安·赫尔德；蒂诺·特伊格；斯特凡·拉特肖恩；舒伯特、托比亚斯 48 2006 混合系统分析：一盎司现实主义可以拯救无限状态。 兹比尔0944.68119 Fränzle，马丁 24 1999 HySAT：混合系统有界模型检查的有效证明引擎。 Zbl 1116.68048号 Fränzle，马丁；克里斯蒂安·赫尔德 20 2007 随机混合系统的可测性和安全性验证。 Zbl 1362.68170号 Fränzle，马丁；恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯；尼科拉斯·沃尔维克；张丽君 17 2011 SAT模ODE：混合系统的直接SAT方法。 Zbl 1183.68369号 安德烈亚斯·艾格斯；Fränzle，马丁；克里斯蒂安·赫尔德 13 2008 随机可满足性模理论：概率混合系统分析的新技术。 兹比尔1143.68452 Fränzle，马丁；霍尔格·赫尔曼斯；蒂诺·特伊格 10 2008 多项式混合自动机的最终结果是什么？ Zbl 1087.68571号 Fränzle，马丁 10 2001 模型检查密集持续时间演算。 Zbl 1084.68071号 Fränzle，马丁 8 2004 Simulink/Stateflow图的正式验证。 Zbl 1471.68159号 邹亮；詹乃军；王淑玲；Fränzle，马丁 8 2015 用累计持续时间确定区间逻辑。 Zbl 1186.03055号 Fränzle，马丁；迈克尔·汉森。 7 2007 时间自动机可达关系的有效定义。 Zbl 1478.68126号 Fränzle，马丁；卡琳·夸斯；马赫萨·希尔穆罕默德；詹姆斯·沃雷尔 5 2020 状态约束摄动多项式系统的鲁棒不变集生成。 Zbl 07120148号 薛、白；王秋叶；詹乃军；Fränzle，马丁 5 2019 时滞微分方程稳定性和安全性的自动验证。 Zbl 1381.68188号 邹亮；Fränzle，马丁；詹乃军；纳齐尔·莫萨德，彼得 5 2015 通过组合不同的封闭方法改进SAT模ODE以用于混合系统分析。 Zbl 1350.68231号 安德烈亚斯·艾格斯；纳西姆·拉姆达尼；内迪亚科夫；Fränzle，马丁 5 2011 多项式连续系统的欠逼近可达集。 Zbl 1417.93064号 薛、白；Fränzle，马丁；詹乃军 5 2018 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 Zbl 1225.93102号 蒂诺·特伊格；安德烈亚斯·艾格斯；Fränzle，马丁 4 2011 概率混合自动机自动分析的工程约束求解器。 Zbl 1205.68252号 Fränzle，马丁；蒂诺·特伊格；安德烈亚斯·艾格斯 4 2010 具有时变不确定性多项式系统的内逼近可达集。 Zbl 07256270号 薛、白；Fränzle，马丁；詹乃军 4 2020 化学反应网络的句法引导优化合成。 Zbl 1494.68163号 卢卡·卡德利；科什卡，米兰；Fränzle，马丁；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；尼古拉·保莱蒂；马克斯·惠特比 4 2017 接下来会发生什么还不确定。对延迟交互具有弹性的综合控制器。 Zbl 1520.91077号 陈明帅；Fränzle，马丁；李，杨佳；彼得·莫萨德（Peter N.Mosaad）。；詹乃军 三 2018 简洁逻辑的高效SAT引擎：加速零线性约束系统的证明搜索。 Zbl 1273.68319号 Fränzle，马丁；克里斯蒂安·赫尔德 三 2003 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆；舒伯特、托比亚斯；贝恩德·贝克尔；Fränzle，马丁；克里斯蒂安·赫尔德 三 2011 重温多值时间自动机的可判定性和最优可达性。 Zbl 1262.68090号 Fränzle，马丁；马尼省斯瓦米纳坦 三 2009 非线性算法的随机可满足性模理论。 Zbl 1142.68525号 蒂诺·特伊格；Fränzle，马丁 三 2008 验证了基于仿真的延迟微分动力学验证。 Zbl 1427.68163号 陈明帅；Fränzle，马丁；李，杨佳；彼得·莫萨德（Peter N.Mosaad）。；詹乃军 三 2016 Reach避免了基于边界分析的非线性系统的验证。 Zbl 1370.93045号 薛、白；阿文德·伊斯瓦兰；Nam-Joon Cho；Fränzle，马丁 三 2017 没必要认识很多邻居。实现MLSL的可实现解释。 Zbl 1444.68181号 Fränzle，马丁；迈克尔·汉森。；海因里希·奥迪 三 2015 概率混合系统统计模型检验的置信界。 兹比尔1374.68279 克里斯蒂安·艾伦；塞巴斯蒂安·格温；Fränzle，马丁 2 2012 随机布尔可满足性问题的广义Craig插值及其在概率状态可达性和区域稳定性中的应用。 Zbl 1242.68191号 蒂诺·特伊格；Fränzle，马丁 2 2012 以NP-easy为例：持续时间演算的有界模型构造。 Zbl 1278.68170号 Fränzle，马丁 2 2002 随机布尔可满足性的分解。 Zbl 1306.68175号 蒂诺·特伊格；Fränzle，马丁 2 2010 时滞微分方程可达集的安全过逼近和欠逼近。 Zbl 1497.93100号 薛、白；彼得·纳齐尔·莫萨德；Fränzle，马丁；陈明帅；李，杨佳；詹乃军 2 2017 不确定性和延迟是失败的根源——通过综合延迟控制在算法上驯服它们。 Zbl 1528.68214号 陈明帅；Fränzle，马丁；李，杨佳；彼得·莫萨德（Peter N.Mosaad）。；詹乃军 1 2021 分布式执行Statemate的语义。 Zbl 1093.68599号 Fränzle，马丁；尤尔根·尼豪斯；亚历山大·梅兹纳；达姆，沃纳 1 2003 随机布尔可满足性问题的广义Craig插值。 Zbl 1315.68183号 蒂诺·特伊格；Fränzle，马丁 1 2011 跨越类似游戏之间的桥梁。 Zbl 1348.68147号 贾·戴维德·奎塞尔；Fränzle，马丁；达姆，沃纳 1 2011 混合系统专题：计算和控制。 Zbl 1384.00108号 1 2018 自治动力系统可达集的安全过逼近和欠逼近。 Zbl 1518.93015号 李美伦；彼得·莫萨德（Peter N.Mosaad）。；Fränzle，马丁；她，志坤；薛、白 1 2018 可靠的软件工程：理论、工具和应用。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。 Zbl 1347.68007号 1 2016 定价时间自动机的成本和回报。 兹比尔1483.68167 Fränzle，马丁；马赫萨·希尔穆罕默德；马尼省斯瓦米纳坦；詹姆斯·沃雷尔 1 2018 不确定性和延迟是失败的根源——通过综合延迟控制在算法上驯服它们。 Zbl 1528.68214号 陈明帅；Fränzle，马丁；李，杨佳；彼得·莫萨德（Peter N.Mosaad）。；詹乃军 1 2021 时间自动机中可达性关系的有效可定义性。 Zbl 1478.68126号 Fränzle，马丁；卡琳·夸斯；马赫萨·希尔穆罕默德；詹姆斯·沃雷尔 5 2020 具有时变不确定性多项式系统的内逼近可达集。 Zbl 07256270号 薛、白；Fränzle，马丁；詹乃军 4 2020 状态约束摄动多项式系统的鲁棒不变集生成。 Zbl 07120148号 薛、白；王秋叶；詹乃军；Fränzle，马丁 5 2019 多项式连续系统的欠逼近可达集。 Zbl 1417.93064号 薛、白；Fränzle，马丁；詹乃军 5 2018 接下来会发生什么还不确定。合成对延迟交互有弹性的控制器。 Zbl 1520.91077号 陈明帅；Fränzle，马丁；李，杨佳；彼得·莫萨德（Peter N.Mosaad）。；詹乃军 三 2018 混合系统专题：计算和控制。 Zbl 1384.00108号 1 2018 自治动力系统可达集的安全上下近似。 Zbl 1518.93015号 李美伦；彼得·莫萨德（Peter N.Mosaad）。；Fränzle，马丁；她，志坤；薛、白 1 2018 定价时间自动机的成本和回报。 兹比尔1483.68167 Fränzle，马丁；马赫萨·希尔穆罕默德；马尼省斯瓦米纳坦；詹姆斯·沃雷尔 1 2018 化学反应网络的句法引导优化合成。 Zbl 1494.68163号 卢卡·卡德利；科什卡，米兰；Fränzle，马丁；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；尼古拉·保莱蒂；马克斯·惠特比 4 2017 基于边界分析的非线性系统可达性验证。 Zbl 1370.93045号 薛、白；阿文德·伊斯瓦兰；Nam-Joon Cho；Fränzle，马丁 三 2017 时滞微分方程可达集的安全过逼近和欠逼近。 Zbl 1497.93100号 薛、白；彼得·纳齐尔·莫萨德；Fränzle，马丁；陈明帅；李，杨佳；詹乃军 2 2017 验证了基于仿真的延迟微分动力学验证。 Zbl 1427.68163号 陈明帅；Fränzle，马丁；李，杨佳；彼得·莫萨德（Peter N.Mosaad）。；詹乃军 三 2016 可靠的软件工程：理论、工具和应用。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。 Zbl 1347.68007号 1 2016 Simulink/Stateflow图的正式验证。 Zbl 1471.68159号 邹亮；詹乃军；王淑玲；Fränzle，马丁 8 2015 时滞微分方程稳定性和安全性的自动验证。 Zbl 1381.68188号 邹亮；Fränzle，马丁；詹乃军；纳齐尔·莫萨德，彼得 5 2015 没必要认识很多邻居。实现MLSL的可实现解释。 Zbl 1444.68181号 Fränzle，马丁；迈克尔·汉森。；海因里希·奥迪 三 2015 概率混合系统统计模型检验的置信界。 Zbl 1374.68279号 克里斯蒂安·艾伦；塞巴斯蒂安·格温；Fränzle，马丁 2 2012 随机布尔可满足性问题的广义Craig插值及其在概率状态可达性和区域稳定性中的应用。 Zbl 1242.68191号 蒂诺·特伊格；Fränzle，马丁 2 2012 随机混合系统的可测性和安全性验证。 Zbl 1362.68170号 Fränzle，马丁；恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯；尼科拉斯·沃尔维克；张丽君 17 2011 通过结合不同的封闭方法改进混合系统分析的SAT模ODE。 Zbl 1350.68231号 安德烈亚斯·艾格斯；纳西姆·拉姆达尼；内迪亚科夫；Fränzle，马丁 5 2011 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 Zbl 1225.93102号 蒂诺·特伊格；安德烈亚斯·艾格斯；Fränzle，马丁 4 2011 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆；舒伯特、托比亚斯；贝恩德·贝克尔；Fränzle，马丁；克里斯蒂安·赫尔德 三 2011 随机布尔可满足性问题的广义Craig插值。 Zbl 1315.68183号 蒂诺·特伊格；Fränzle，马丁 1 2011 跨越类似游戏之间的桥梁。 Zbl 1348.68147号 贾·戴维德·奎塞尔；Fränzle，马丁；达姆，沃纳 1 2011 概率混合自动机自动分析的工程约束求解器。 兹比尔1205.68252 Fränzle，马丁；蒂诺·特伊格；安德烈亚斯·艾格斯 4 2010 随机布尔可满足性的分解。 Zbl 1306.68175号 蒂诺·特伊格；Fränzle，马丁 2 2010 重温多值时间自动机的可判定性和最优可达性。 Zbl 1262.68090号 Fränzle，马丁；马尼省斯瓦米纳坦 三 2009 SAT模ODE：混合系统的直接SAT方法。 Zbl 1183.68369号 安德烈亚斯·艾格斯；Fränzle，马丁；克里斯蒂安·赫尔德 13 2008 随机可满足性模理论：概率混合系统分析的新技术。 兹比尔1143.68452 Fränzle，马丁；霍尔格·赫尔曼斯；蒂诺·特伊格 10 2008 非线性算法的随机可满足性模理论。 Zbl 1142.68525号 蒂诺·特伊格；Fränzle，马丁 三 2008 HySAT：混合系统有界模型检查的有效证明引擎。 Zbl 1116.68048号 Fränzle，马丁；克里斯蒂安·赫尔德 20 2007 用累计持续时间确定区间逻辑。 Zbl 1186.03055号 Fränzle，马丁；迈克尔·汉森。 7 2007 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 Zbl 1144.68371号 Fränzle，马丁；克里斯蒂安·赫尔德；蒂诺·特伊格；斯特凡·拉特肖恩；舒伯特、托比亚斯 48 2006 模型检查密集持续时间演算。 Zbl 1084.68071号 Fränzle，马丁 8 2004 简洁逻辑的高效SAT引擎：加速零线性约束系统的证明搜索。 Zbl 1273.68319号 Fränzle，马丁；克里斯蒂安·赫尔德 三 2003 分布式执行Statemate的语义。 Zbl 1093.68599号 Fränzle，马丁；尤尔根·尼豪斯；亚历山大·梅兹纳；达姆，沃纳 1 2003 以NP-easy为例：持续时间演算的有界模型构造。 Zbl 1278.68170号 Fränzle，马丁 2 2002 多项式混合自动机的最终结果是什么？ Zbl 1087.68571号 Fränzle，马丁 10 2001 混合系统分析：一盎司现实主义可以拯救无限状态。 兹比尔0944.68119 Fränzle，马丁 24 1999 所有引用出版物 前5名被引用出版物 全部的 前5名384位作者引用 16 Fränzle，马丁 9 詹乃军 8 艾丽卡·阿尔布拉汉姆 7 蒂诺·特伊格 6 安德烈亚斯·艾格斯 6 斯特凡·拉特肖恩 6 王淑玲 5 亚历山德罗·阿巴特 5 亚历山德罗·西马蒂 5 安德烈·普拉泽 4 洛伦佐·克莱门特 4 基里恩·克莱默 4 丹尼尔·科宁 4 拉诺特、拉格罗 4 卡拉广场 4 她，志坤 三 阿尔贝托·卡萨格兰德 三 弗洛里安·科齐利厄斯 三 阿尔贝托·格里乔 三 霍尔格·赫尔曼斯 三 塞巴斯蒂安·荣格斯 三 Joost-Pieter卡托恩 三 Stefan Kupferschmid 三 萨沃米尔·拉索塔 三 Legay、Axel 三 乔治·J·帕帕斯。 三 纳西姆·拉姆达尼 三 斯特凡·舒普 三 马尼省斯瓦米纳坦 三 西蒙·蒂尼 三 薛、白 三 詹伯华 2 科尔斯汀·鲍尔 2 贝恩德·贝克尔 2 塞尔吉·博戈莫洛夫 2 克里斯蒂娜·博拉莱拉斯 2 奥利维尔·伯内兹 2 帕特里夏·鲍耶 2 布莱恩，马丁 2 卜、雷 2 达里奥·卡塔鲁扎 2 陈明帅 2 彼得·柯林斯。 2 达姆，沃纳 2 詹姆斯·哈罗德·达文波特 2 劳伦特·多恩 2 托马索·德罗西 2 英格兰，马修 2 乌里·法伦贝格 2 阿明·法朱迪安 2 庆蒂里尼、拉斐拉 2 恩斯特·莫里茨·哈恩 2 迈克尔·赖赫哈特·汉森 2 克里斯蒂安·赫尔德 2 焦、李 2 Khanh，To Van先生 2 金恩赫（Kim，Eunhee） 2 托马斯·科拉里克 2 权永民 2 金·古德斯特兰·拉森 2 李宣东 2 萨尔瓦多卢卡斯 2 阿维纳什·马利克 2 尼古拉斯·马基 2 尤金尼奥·莫吉 2 塞尔吉奥·莫弗 2 伊娃·玛丽亚·纳瓦罗·洛佩斯 2 内迪亚科夫（Nedialko S.）。 2 小川，水井裕人 2 安德烈·帕塞里尼 2 拉多斯·瓦·皮奥科夫斯基 2 阿尔贝托，Policriti 2 帕维特拉·普拉巴卡 2 恩里克·罗德里格斯-卡博内尔 2 阿尔伯特·鲁比奥 2 桑卡拉纳拉亚南，斯里拉姆 2 Schneider，Klaus公司 2 彼得·施拉梅尔 2 施瓦姆伯格，迈克 2 罗伯托·塞巴斯蒂亚尼 2 马赫萨·希尔穆罕默德 2 杰里米·斯普洛斯顿 2 Jean-Pierre塔宾 2 斯特凡诺·特索 2 斯特凡诺·托内塔 2 董武轩 2 克里斯托夫·韦登巴赫 2 詹姆斯·沃雷尔。 2 徐，熊 2 马吉德·扎马尼 2 张丽君 1 苏米特·贾·安纳德 1 约翰·A·阿伯特。 1 朱利叶斯·阿德尔特 1 沃尔夫冈·阿伦特 1 亚明·艾特阿默尔 1 贝扎德·阿克巴普尔 1 恩斯特·奥尔特豪斯 1 马哈提·阿南德 1 穆拉特·阿卡克 …还有284位作者 全部的 前5名37篇连载文章中引用 15 系统设计中的形式化方法 10 理论计算机科学 8 信息与计算 7 自动推理杂志 7 程序设计中的逻辑和代数方法杂志 5 Automatica公司 5 非线性分析。混合动力系统 4 计算的形式方面 4 数学与人工智能年鉴 三 人工智能 三 计算机与系统科学杂志 2 信息学报 2 应用数学与计算 2 MSCS公司。计算机科学中的数学结构 2 欧洲控制杂志 2 计算机科学中的逻辑方法 1 国际控制杂志 1 富兰克林学院学报 1 SIAM控制与优化杂志 1 系统和控制信件 1 计算机程序设计科学 1 运营研究信件 1 离散事件动态系统 1 数值算法 1 控制科学档案 1 摩尔多瓦计算机科学杂志 1 约束条件 1 计算系统理论 1 动力系统的数学和计算机建模 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 系统科学与复杂性杂志 1 应用数学杂志 1 计算机科学中的数学 1 泛逻辑 1 计算机科学前沿 1 计算机科学评论 全部的 前5名21个领域被引用 146 计算机科学（68至XX） 49 系统论；控制（93至XX） 40 数学逻辑和基础（03-XX） 17 运筹学、数学规划（90-XX） 9 数值分析（65-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 6 生物学和其他自然科学（92-XX） 5 概率论与随机过程（60-XX） 4 常微分方程（34-XX） 三 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 2 数论（11-XX） 2 范畴理论；同调代数（18-XX） 2 动力系统和遍历理论（37至XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 算子理论（47-XX） 1 变分法与最优控制；最优化（49至XX） 1 一般拓扑结构（54-XX） 1 代数拓扑（55-XX） 1 粒子和系统力学（70-XX） 按年份列出的引文