拉尔夫·威默 0001
人员信息
附属: Altair Engineering GmbH,德国弗莱堡 隶属关系(以前): 德国弗赖堡概念工程有限公司 从属关系(2011年博士): 德国弗莱堡大学计算机科学研究所
其他同名人员
拉尔夫·D·威默 -美国马萨诸塞州剑桥市麻省理工学院脑与认知科学系
SPARQL查询
优化列表
2020年–今天
2024 [公元11年] 利奥诺·温特勒 , 拉尔夫·威默 , 伯恩德·贝克尔 , 尼尔斯·詹森 :
POMDP的强大简单政策。 国际期刊软件。 技术工具。 Transf公司。 26 ( 三 ) : 269-299 ( 2024 ) 2023 [i10] 拉尔夫·威默 , 胡明义 :
在DQBF预处理中使用单位传播和通用约简。 CoRR公司 abs/2303.14446 ( 2023 ) 2022 [公元10年] Aile Ge-Ernst公司 , 克里斯托夫·斯科尔 , 尤拉吉·西奇 , 拉尔夫·威默 :
使用量词定位求解依赖量化布尔公式。 西奥。 计算。 科学。 925 : 1-24 ( 2022 ) [公元65年] 沃尔夫冈·埃克尔 , 同行Adelt , 沃尔夫冈·米勒 , 雷霍德·赫克曼 , 尔斯蒂奇 , 弗拉基米尔·赫尔特 , 罗尔夫·德雷克斯勒 , 格哈德焦虑 , 拉尔夫·威默 , 安德烈亚斯·莫德勒 , 拉斐尔·斯塔尔 , 卡斯滕·埃姆里奇 , 丹尼尔·米勒-格里奇内德 , 伯恩德·贝克尔 , 菲利普·斯科尔 , Eyck Jentzsch公司 , 简·施拉梅尔彻 , 金·格吕特纳 , 保罗·帕洛梅罗·贝尔纳多 , 奥利弗·布林曼 , 米哈拉·达米安 , 朱利安·奥珀曼 , 安德烈亚斯·科赫 , 约格·博尔曼 , 约翰内斯·帕茨施 , 克里斯蒂安·梅尔 , 沃尔夫冈·昆兹 :
Scale4Edge RISC-V生态系统。 日期 2022 : 808-813 [公元64年] 胡铭 , 利奥诺·温特勒 , 拉尔夫·威默 :
部分可观测马尔可夫决策过程的诊断。 MBMV公司 2022 : 1-10 2021 [公元9年] 利奥诺·温特勒 , 塞巴斯蒂安·荣格斯 , 拉尔夫·威默 , 尼尔斯·詹森 , Ufuk Topcu公司 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
基于游戏抽象的机器人规划POMDP策略综合。 IEEE传输。 自动。 控制。 66 ( 三 ) : 1040-1054 ( 2021 ) [公元63年] 帕斯卡·皮珀 , 拉尔夫·威默 , 格哈德焦虑 , 罗尔夫·德雷克斯勒 :
架构(Architecture)级最小侵入性硬件/软件协同调试实时可视化。 ACM大湖区超大规模集成电路研讨会 2021 : 321-326 2020 [公元62年] 利奥诺·温特勒 , 拉尔夫·威默 , 尼尔斯·詹森 , 伯恩德·贝克尔 :
加强POMDP的决定性政策。 非金融市场 2020 : 115-132 [第九章] 莱昂诺·温特尔 , 拉尔夫·威默 , 尼尔斯·詹森 , 伯恩德·贝克尔 :
加强POMDP的决定性政策。 CoRR公司 abs/2007.08351 ( 2020 )
2010 – 2019
2019 [j8] 拉尔夫·威默 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
(D)QBF预处理器HQPre的基本原理及其实现。 J.满意。 布尔模型。 计算。 11 ( 1 ) : 3-52 ( 2019 ) [第61条] 克里斯托夫·斯科尔 , 杰洪·罗兰·蒋 , 拉尔夫·威默 , Aile Ge-Ernst公司 :
依赖量化布尔公式的PSPACE子类及其有效求解。 AAAI公司 2019 : 1584-1591 [公元60年] Aile Ge-Ernst公司 , 克里斯托夫·朔尔 , 拉尔夫·威默 :
DQBF的本地化量词。 FMCAD公司 2019 : 184-192 [公元59年] 史蒂文·卡尔 , 尼尔斯·詹森 , 拉尔夫·威默 , 亚历山大·康斯坦丁·塞尔班 , 伯恩德·贝克尔 , Ufuk Topcu公司 :
使用递归神经网络改进POMDP的反例指导策略。 国际JCAI 2019 : 5532-5539 [公元58年] 尼尔斯·詹森 , 塞巴斯蒂安·荣格斯 , Joost-Pieter Katoen公司 , 蒂姆·夸特曼 , 伯恩德·贝克尔 , 拉尔夫·威默 , 利奥诺·温特勒 :
POMDP的正确施工政策。 信噪比 2019 : 6-8 [i8] 史蒂文·卡尔 , 尼尔斯·詹森 , 拉尔夫·威默 , 亚历山大·康斯坦丁塞尔维亚人 , 伯恩德·贝克尔 , Ufuk Topcu公司 :
使用递归神经网络改进POMDP的反例指导策略。 CoRR公司 abs/1903.08428 ( 2019 ) [i7] Aile Ge-Ernst公司 , 克里斯托夫·斯科尔 , 拉尔夫·威默 :
DQBF的定量器定位。 CoRR公司 abs/1905.04755 ( 2019 ) 2018 [公元57年] 史蒂文·卡尔 , 尼尔斯·詹森 , 拉尔夫·威默 , 杰福 , Ufuk Topcu公司 :
部分可观测马尔可夫决策过程的人在回路综合。 行政协调会 2018 : 762-769 [公元56年] 拉尔夫·威默 , 安德烈亚斯·卡伦鲍尔 , 鲁本·贝克尔 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
通过依赖消除从DQBF到QBF。 MBMV公司 2018 [公元55年] 利奥诺·温特勒 , 塞巴斯蒂安·荣格斯 , 拉尔夫·威默 , 尼尔斯·詹森 , Ufuk Topcu公司 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
抽象-基本验证POMDP im Motion-Planning-Kontext。 MBMV公司 2018 [公元54年] 尤利亚·布特科娃 , 拉尔夫·威默 , 霍尔格·赫尔曼斯 :
折扣的马尔可夫自动机! MMB公司 2018 : 19-34 [公元53年] 克里斯托夫·斯科尔 , 拉尔夫·威默 :
依赖量化布尔公式:求解方法和应用概述-扩展摘要。 坐 2018 : 3-16 [第52条] 塞巴斯蒂安·荣格斯 , 尼尔斯·詹森 , 拉尔夫·威默 , 蒂姆·夸特曼 , 利奥诺·温特勒 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
使用参数综合的POMDP的有限状态控制器。 阿联酋 2018 : 519-529 [第2页] 拉尔夫·威默 , 卡琳娜·威默 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
用依赖量化布尔公式分析不完备电路。 高级逻辑综合 2018 : 151-168 [i6] 史蒂文·卡尔 , 尼尔斯·詹森 , 拉尔夫·威默 , 杰福 , Ufuk Topcu公司 :
部分可观测马尔可夫决策过程的人在回路综合。 CoRR公司 abs/1802.09810 ( 2018 ) 2017 [j7] 哈桑·哈特菲 , 拉尔夫·威默 , 贝蒂娜Braiting , 路易斯·玛丽亚·费雷尔·菲奥里蒂 , 伯恩德·贝克尔 , 霍尔格·赫尔曼斯 :
随机博弈和马尔可夫自动机中的成本与时间。 形式方面计算。 29 ( 4 ) : 629-649 ( 2017 ) [第51条] 利奥诺·温特勒 , 塞巴斯蒂安·荣格斯 , 拉尔夫·威默 , 尼尔斯·詹森 , Ufuk Topcu公司 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
使用基于游戏的抽象在部分可观测性下进行运动规划。 疾病预防控制中心 2017 : 2201-2208 [公元50年] 拉尔夫·威默 , 安德烈亚斯·卡伦鲍尔 , 鲁本·贝克尔 , 克里斯托夫·朔尔 , 伯恩德·贝克尔 :
通过依赖消除从DQBF到QBF。 坐 2017 : 326-343 [公元49年] 尤利亚·布特科娃 , 拉尔夫·威默 , 霍尔格·赫尔曼斯 :
马尔可夫自动机的长期回报。 TACAS(2) 2017 : 188-203 [公元48年] 拉尔夫·威默 , 斯文·雷默 , 保罗·马林 , 伯恩德·贝克尔 :
HQSpre-一种有效的QBF和DQBF预处理器。 TACAS(1) 2017 : 373-390 [i5] 莱昂诺·温特尔 , 塞巴斯蒂安·荣格斯 , 拉尔夫·威默 , 尼尔斯·詹森 , Ufuk Topcu公司 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
使用基于游戏的抽象在部分可观测性下进行运动规划。 CoRR公司 abs/1708.04236 ( 2017 ) [i4] 塞巴斯蒂安·荣格斯 , 尼尔斯·詹森 , 拉尔夫·威默 , 蒂姆·夸特曼 , 利奥诺·温特勒 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
使用参数综合的POMDP的允许有限状态控制器。 CoRR公司 abs/1710.10294 ( 2017 ) 2016 [公元47年] 卡琳娜·威默 , 拉尔夫·威默 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
DQBF的Skolem函数。 ATVA公司 2016 : 395-411 [公元46年] 拉尔夫·威默 :
沃沃特。 MBMV公司 2016 : 4 [公元45年] 拉尔夫·威默 , 克里斯托夫·斯科尔 , 卡琳娜·威默 , 伯恩德·贝克尔 :
DQBF的依赖方案。 坐 2016 : 473-489 [电子1] 拉尔夫·威默 :
第19届GI/ITG/GMM研讨会方法und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,MBMV 2016,德国布雷斯高弗莱堡,2016年3月1日至2日。 阿尔伯特·卢德维格斯弗赖堡大学 2016 ,国际标准图书编号 978-3-00-052380-9 [目录] 2015 [j6] 拉尔夫·威默 , 尼尔斯·詹森 , 安德烈亚斯·沃帕尔 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
概率自动机的高级反例。 日志。 方法计算。 科学。 11 ( 1 ) ( 2015 ) [j5] 恩斯特·莫里茨·哈恩 , 霍尔格·赫尔曼斯 , 拉尔夫·威默 , 伯恩德·贝克尔 :
连续时间马尔可夫链的瞬时报酬近似。 IEEE传输。 Reliab公司。 64 ( 4 ) : 1254-1275 ( 2015 ) [公元44年] 卡琳娜·吉蒂娜 , 拉尔夫·威默 , 斯文·雷默 , 马提亚斯·绍尔 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
通过量词消除求解DQBF。 日期 2015 : 1617-1622 [公元43年] 蒂姆·夸特曼 , 尼尔斯·詹森 , 克里斯蒂安·德内特 , 拉尔夫·威默 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
预期奖励反例。 FM公司 2015 : 435-452 [公元42年] 卡斯滕·谢布勒(Karsten Scheibler) , 利奥诺·温特勒 , 拉尔夫·威默 , 伯恩德·贝克尔 :
人工神经网络的验证。 MBMV公司 2015 : 30-40 [公元41年] 拉尔夫·威默 , 卡琳娜·吉蒂娜 , 珍妮弗·尼斯特 , 克里斯托夫·朔尔 , 伯恩德·贝克尔 :
DQBF的预处理。 坐 2015 : 173-190 [公元40年] 哈桑·哈特菲 , 贝蒂娜Braiting , 拉尔夫·威默 , 路易斯·玛丽亚·费雷尔·菲奥里蒂 , 霍尔格·赫尔曼斯 , 伯恩德·贝克尔 :
随机博弈和马尔可夫自动机中的成本与时间。 设置 2015 : 19-34 [公元39年] 伯恩德·贝克尔 , 马提亚斯·绍尔 , 克里斯托夫·斯科尔 , 拉尔夫·威默 :
在测试和验证中建模未知值。 SyDe暑期学校 2015 : 122-150 [公元38年] Bettina编织 , 路易斯·玛丽亚·费雷尔·菲奥里蒂 , 哈桑·哈特菲 , 拉尔夫·威默 , 伯恩德·贝克尔 , 霍尔格·赫尔曼斯 :
基于抽象的马尔可夫自动机报酬测度计算。 VMCAI公司 2015 : 172-189 2014 【j4】 尼尔斯·詹森 , 拉尔夫·威默 , 埃里卡·阿布拉哈姆 , 巴纳·扎伊松 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 , 约翰·舒斯特 :
大型离散时间马尔可夫链的符号反例生成。 科学。 计算。 程序。 91 : 90-114 ( 2014 ) [j3] 拉尔夫·威默 , 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
线性时间概率验证的最小反例。 西奥。 计算。 科学。 549 : 61-100 ( 2014 ) [公元37年] 克里斯蒂安·德内特 , 尼尔斯·詹森 , 拉尔夫·威默 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 :
快速调试PRISM模型。 ATVA公司 2014 : 146-162 [公元36年] 拉尔夫·威默 , 埃里卡·阿布拉哈姆 :
也许或也许不:对随机验证的贡献。 技术信息方面 2014 : 119-128 [公元35年] 尼尔斯·詹森 , 弗洛里安·科齐利厄斯 , 马蒂亚斯·沃尔克 , 拉尔夫·威默 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
加速参数概率验证。 QEST公司 2014 : 404-420 [公元34年] 埃里卡·阿布拉哈姆 , 伯恩德·贝克尔 , 克里斯蒂安·德内特 , 尼尔斯·詹森 , Joost-Pieter Katoen公司 , 拉尔夫·威默 :
离散时间马尔可夫模型的反例生成:介绍性调查。 SFM公司 2014 : 65-121 [公元33年] 贝蒂娜Braiting , 路易斯·玛丽亚·费雷尔·菲奥里蒂 , 哈桑·哈特菲 , 拉尔夫·威默 , 伯恩德·贝克尔 , 霍尔格·赫尔曼斯 :
MeGARA:基于菜单的马尔可夫自动机游戏抽象和抽象精炼。 QAPL公司 2014 : 48-63 2013 [公元32年] 卡琳娜·吉蒂娜 , 斯文·雷默 , 马提亚斯·绍尔 , 拉尔夫·威默 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
使用相关性量化布尔公式对部分设计进行等效性检查。 ICCD公司 2013 : 396-403 [公元31年] 卡琳娜·吉蒂娜 , 斯文·雷默 , 马提亚斯·绍尔 , 拉尔夫·威默 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
重新审视部分实现的等价性检查。 MBMV公司 2013 : 61-70 [公元30年] 贝蒂娜Braiting , 拉尔夫·威默 , 伯恩德·贝克尔 , 埃里卡·阿布拉哈姆 :
随机有界模型检验:有界报酬和组成。 MBMV公司 2013 : 243-254 [公元29年] 拉尔夫·威默 , 尼尔斯·詹森 , 安德烈亚斯·沃帕尔 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
概率自动机的高级反例。 QEST公司 2013 : 39-54 [i3] 尼尔斯·詹森 , 弗洛里安·科齐利厄斯 , 马蒂亚斯·沃尔克 , 拉尔夫·威默 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
加速参数概率验证。 CoRR公司 abs/1312.3979 ( 2013 ) 2012 [公元28年] 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 , 马蒂亚斯·沃尔克 , 拉尔夫·威默 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
COMICS工具-计算DTMC的最小反例。 ATVA公司 2012 : 349-353 [公元27年] 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 , Barna Zajzon公司 , 拉尔夫·威默 , 约翰·舒斯特 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
离散时间马尔可夫链的符号反例生成。 FACS公司 2012 : 134-151 [公元26年] 拉尔夫·威默 , 伯恩德·贝克尔 , 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 , Joost-Pieter Katoen公司 :
最小临界子系统作为欧米伽正则DTMC特性的反例。 MBMV公司 2012 : 169-180 [公元25年] 拉尔夫·威默 , 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 , 伯恩德·贝克尔 , Joost-Pieter Katoen公司 :
离散时间马尔可夫模型的最小临界子系统。 TACAS公司 2012 : 299-314 [i2] 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 , 麦克·谢夫勒 , 马蒂亚斯·沃尔克 , 安德烈亚斯·沃帕尔 , 拉尔夫·威默 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
COMICS工具-计算离散时间马尔可夫链的最小反例。 CoRR公司 腹肌/1206.0603 ( 2012 ) [i1] 恩斯特·莫里茨·哈恩 , 霍尔格·赫尔曼斯 , 拉尔夫·威默 , 伯恩德·贝克尔 :
网格、人群和病毒的瞬时回报近似。 CoRR公司 abs/1212.1251 ( 2012 ) 2011 【b1】 拉尔夫·威默 :
符号学方法的概率验证:Zustandsraumreduktion和Gegenbeispile。 弗莱堡大学, 2011 [公元24年] Pepijn Crouzen公司 , 恩斯特·莫里茨·哈恩 , 霍尔格·赫尔曼斯 , 阿比舍克达马 , 奥利弗·E·塞尔 , 拉尔夫·威默 , 贝蒂娜Braiting , 伯恩德·贝克尔 :
概率分布算法的有界公平性。 ACSD系统 2011 : 89-97 [c23] 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 , 延斯·卡特兰 , 拉尔夫·威默 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
离散时间马尔可夫链的层次反例。 ATVA公司 2011 : 443-452 [公元22年] 贝蒂娜Braiting , 拉尔夫·威默 , 伯恩德·贝克尔 , 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 :
使用基于SMT的有界模型检查生成马尔可夫链的反例。 FMOODS/FORTE公司 2011 : 75-89 【c21】 贝蒂娜Braiting , 拉尔夫·威默 , 伯恩德·贝克尔 , 尼尔斯·詹森 , 埃里卡·阿布拉哈姆 :
基于SMT的马尔可夫链反例生成。 MBMV公司 2011 : 19-28 [公元20年] 拉尔夫·威默 , 恩斯特·莫里茨·哈恩 , 霍尔格·赫尔曼斯 , 伯恩德·贝克尔 :
马尔可夫决策过程不完备网络的可达性分析。 记忆码 2011 : 151-160 [第1页] 拉尔夫·威默 :
符号学方法的概率验证:Zustandsraumreduktion和Gegenbeispile。 Ausgezeichnete信息发布 2011 : 271-280 2010 [注2] 拉尔夫·威默 , 塞勒姆·德利萨维 , 霍尔格·赫尔曼斯 :
具有自动平衡时间和空间的符号分割细化。 执行。 评价 67 ( 9 ) : 816-836 ( 2010 ) [第19条] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 , 拉尔夫·威默 :
AADL的模型检查器。 CAV汽车 2010 : 562-565 [第18条] 纳塔莉亚·卡林尼克 , 埃里卡·阿布拉哈姆 , 托比亚斯·舒伯特 , 拉尔夫·威默 , 伯恩德·贝克尔 :
为SMT求解器的并行化开发不同的策略。 MBMV公司 2010 : 97-106 [第17条] 拉尔夫·威默 , 伯恩德·贝克尔 :
马尔可夫链符号互模拟计算的正确性问题。 MMB/DFT公司 2010 : 287-301 [第16条] 拉尔夫·威默 , 贝蒂娜Braiting , 伯恩德·贝克尔 , 恩斯特·莫里茨·哈恩 , Pepijn Crouzen公司 , 霍尔格·赫尔曼斯 , 阿比舍克达马 , 奥利弗·E·塞尔 :
并发概率系统长运行平均值的符号计算。 QEST公司 2010 : 27-36 [第15条] 埃里卡·阿布拉哈姆 , 尼尔斯·詹森 , 拉尔夫·威默 , Joost-Pieter Katoen公司 , 伯恩德·贝克尔 :
通过SCC缩减进行DTMC模型检查。 QEST公司 2010 : 37-46
2000 – 2009
2009 [j1] 埃卡德·博德 , 马克·赫伯斯特里特 , 霍尔格·赫尔曼斯 , 斯文·乔尔 , 托马斯·佩肯坎普 , 雷扎·普隆安 , 简·亨德里克·拉科夫 , 拉尔夫·威默 , 伯恩德·贝克尔 :
STATEMATE的成分可靠性评估。 IEEE传输。 软件工程。 35 ( 2 ) : 274-292 ( 2009 ) [第14条] 纳塔莉亚·卡林尼克 , 托比亚斯·舒伯特 , 埃里卡·阿布拉哈姆 , 拉尔夫·威默 , 伯恩德·贝克尔 :
Picoso-一个并行区间约束解算器。 PDPTA公司 2009 : 473-479 [第13条] 阿比舍克达马 , 奥利弗·E·塞尔 , 佩皮恩·克劳岑 , 霍尔格·赫尔曼斯 , 拉尔夫·威默 , 伯恩德·贝克尔 :
无声自稳定系统的可靠性工程。 SSS系统 2009 : 238-253 [第12条] 拉尔夫·威默 , 贝蒂娜Braiting , 伯恩德·贝克尔 :
用有界模型检验生成离散时间马尔可夫链的反例。 VMCAI公司 2009 : 366-380 2008 [第11条] 拉尔夫·威默 , 亚历山大·科尔特斯 , 马克·赫伯斯特里特 , 伯恩德·贝克尔 :
概率模型检验和结果的可靠性。 DDECS公司 2008 : 207-212 [c10] 伯恩德·贝克尔 , 马克·赫伯斯特里特 , 纳塔莉亚·卡林尼克 , 马修·刘易斯 , 尤里·利奇特纳 , 托拜厄斯·诺珀 , 拉尔夫·威默 :
部分电路设计有界模型检验的命题近似。 ICCD公司 2008 : 52-59 【c9】 拉尔夫·威默 , 亚历山大·科尔特斯 , 马克·赫伯斯特里特 , 伯恩德·贝克尔 :
概率验证中的可靠性要求。 MBMV公司 2008 : 99-108 【c8】 拉尔夫·威默 , 塞勒姆·德利萨维 , 霍尔格·赫尔曼斯 :
动态平衡时间和空间的符号划分细化。 QEST公司 2008 : 65-74 2007 【c7】 拉尔夫·威默 , 马克·赫伯斯特里特 , 伯恩德·贝克尔 :
基于BDD的互模拟计算的优化技术。 ACM大湖区超大规模集成电路研讨会 2007 : 405-410 【c6】 拉尔夫·威默 , 马克·赫伯斯特里特 , 伯恩德·贝克尔 :
转发、分割和块排序以优化基于BDD的互模拟计算。 MBMV公司 2007 : 203-212 2006 【c5】 拉尔夫·威默 , 马克·赫伯斯特里特 , 霍尔格·赫尔曼斯 , 凯利·斯特兰普 , 伯恩德·贝克尔 :
Sigref-符号双模拟工具箱。 ATVA公司 2006 : 477-492 【c4】 拉尔夫·威默 , 马克·赫伯斯特里特 , 伯恩德·贝克尔 :
使用符号分支互模拟最小化大型状态空间。 DDECS公司 2006 : 9-14 【c3】 Eckard Böde公司 , 马克·赫伯斯特里特 , 霍尔格·赫尔曼斯 , 斯文·乔尔 , 托马斯·佩肯坎普 , 雷扎·普隆安 , 拉尔夫·威默 , 伯恩德·贝克尔 :
STATEMATE的成分性能评估。 QEST公司 2006 : 167-178 2005 【c2】 伯恩德·贝克尔 , 马库斯·贝勒 , 弗里德里希·艾森布兰德 , 拉尔夫·威默 :
Branch and Cut Framework中的BDD。 WEA公司 2005 : 452-463 2004 【c1】 伯恩德·贝克尔 , 马库斯·贝勒 , 弗里德里希·艾森布兰德 , 马丁·弗伦泽 , 马克·赫布斯特里特 , 克里斯蒂安·赫尔德 , 约格·霍夫曼 , 丹尼尔·克罗宁 , 伯恩哈德·内贝尔 , 伊利亚·波利安 , 拉尔夫·威默 :
混合离散系统的有界模型检验和归纳验证。 MBMV公司 2004 : 65-75