马蒂亚斯·海兹曼
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元40年] 马克斯·巴思 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 玛丽·克里斯汀·雅各布斯 :
Ultimate TestGen:使用基于自动化的软件模型检查生成测试用例(竞争贡献)。 FASE公司 2024 : 326-330 [公元39年] 弗兰克·舒赛尔 , 曼纽尔·本特勒 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 姜新余 , 多米尼克·克伦普 , 安德烈亚斯·波德尔斯基 :
终极自动机和逐位运算的抽象-(竞争贡献)。 塔卡斯(3) 2024 : 418-423 [公元38年] 马蒂亚斯·海兹曼 , 多米尼克·克伦普 , 拉尔斯·尼茨克 , 弗兰克·舒赛尔 :
石化:使用动态线程管理对程序进行软件模型检查。 VMCAI(2) 2024 : 3-25 2023 [公元37年] 马蒂亚斯·海兹曼 , 马克斯·巴思 , 丹尼尔·迪奇 , 伦纳德·费希特纳 , Jochen Hoenicke公司 , 多米尼克·克伦普 , Mehdi Naouar公司 , 坦尼娅·辛德勒 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
终极Automizer和CommuHash范式-(竞争贡献)。 TACAS(2) 2023 : 577-581 [公元36年] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 多米尼克·克伦普 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
终极大班和终极比赛中的种族检测(比赛贡献)。 TACAS(2) 2023 : 582-587 [i8] 马蒂亚斯·海兹曼 , 多米尼克·克伦普 , 弗兰克·舒赛尔 , 拉尔斯·尼茨克 :
石化:用动态线程管理(扩展版)检查程序的软件模型。 CoRR公司 abs/2311.01302 ( 2023 ) 2022 [j4] 德克·拜尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 托马斯·伦伯格 , 迈克尔·陶奇尼格 :
核查证人。 ACM事务处理。 柔和。 工程方法。 31 ( 4 ) : 57:1-57:69 ( 2022 ) [公元35年] 多米尼克·克伦普 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 弗兰克·舒赛尔 , 马塞尔·埃宾豪斯 , 阿扎德·法尔赞 , 安德烈亚斯·波德尔斯基 :
终极宝石切割机和概括轴-(竞争贡献)。 TACAS(2) 2022 : 479-483 2021 [公元34年] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
在基于逻辑的中间验证语言中分离映射变量。 网络 2021 : 169-186 [公元33年] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 多米尼克·克伦普 , 迈赫迪·纳乌阿尔 , 安德烈亚斯·波德尔斯基 , 克劳斯·施瓦茨勒 :
使用Petri网展开验证并发程序。 VMCAI公司 2021 : 174-195 2020 [c32] 纳拉西姆哈·阿迪加 , 詹姆斯·博纳诺 , 亚当·科鲁拉 , 马蒂亚斯·海兹曼 , 布莱恩·普拉斯基 , 安东尼·萨普里托 :
IBM z15高频大型机分支预测器工业产品。 国际标准协会 2020 : 27-39 [公元31年] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 亚历山大·纳茨 , 克劳斯·施瓦茨勒 , 弗兰克·舒赛尔 :
终极大班与符号解释和流体抽象-(竞争贡献)。 TACAS(2) 2020 : 418-422 [电子1] 劳伦特·弗里堡 , 马蒂亚斯·海兹曼 :
第八届验证与程序转换国际研讨会和第七届验证与合成Horn子句研讨会会议记录/ HCVS@ETAPS 2020年,爱尔兰都柏林,2020年4月25日至26日。 EPTCS系统 320, 2020 [目录]
2010 – 2019
2019 [j3] 贾克·韦伯 , Sylvain Conchon公司 , 大卫·戴哈贝 , 马蒂亚斯·海兹曼 , 艾娜·尼梅茨 , 贾尔斯·雷格尔 :
2015-2018年SMT竞赛。 J.满意。 布尔模型。 计算。 11 ( 1 ) : 221-259 ( 2019 ) [公元30年] 玛丽亚·克里斯塔基斯 , 马蒂亚斯·海兹曼 , 穆罕默德·努迈尔·曼苏尔 , 克里斯蒂安·席林 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
语义错误定位和可疑度排序。 TACAS(1) 2019 : 226-243 [公元29年] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
Ultimate TreeAutomizer(CHC-COMP工具描述)。 HCVS公司/ PERR@ETAPS(预计到达时间) 2019 : 42-47 [i7] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
不同用途的不同地图。 中间验证语言的程序转换。 CoRR公司 abs/1901.01915 ( 2019 ) 2018 [公元28年] 陈玉芳 , 马蒂亚斯·海兹曼 , Ondrej Lengál , 李勇 , 蔡明贤 , 安德烈亚·图里尼 , 张丽君 :
用于程序终止检查的高级基于自动机的算法。 PLDI公司 2018 : 135-150 [公元27年] 巴特·肯·罗森伯格(Bat-Chen Rothenberg) , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 :
使用跟踪抽象进行增量验证。 SAS公司 2018 : 364-382 [公元26年] 简·雷克 , 马蒂亚斯·海兹曼 :
几何不确定性参数。 TACAS(2) 2018 : 266-283 [公元25年] 马蒂亚斯·海兹曼 , 陈玉芳 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , Jochen Hoenicke公司 , 李勇 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克里斯蒂安·席林 , 坦尼娅·辛德勒 , 安德烈亚斯·波德尔斯基 :
终极Automizer和寻找完美插值-(竞争贡献)。 TACAS(2) 2018 : 447-451 [公元24年] 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 , 克里斯蒂安·席林 , 坦尼娅·辛德勒 :
带动态块编码的终极大班-(竞争贡献)。 TACAS(2) 2018 : 452-456 【c23】 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
映射相等域。 VSTTE公司 2018 : 291-308 2017 [公元22年] 德克·拜尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 :
核查人员之间交换核查见证人。 软件工程 2017 : 93-94 【c21】 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 贝蒂姆·穆萨 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
克雷格与牛顿在软件模型检查中的比较。 ESEC/SIGSOFT FSE 2017 : 487-497 [公元20年] 马蒂亚斯·海兹曼 , 陈玉文 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
按需构建Floyd-Hoare Automata的Ultimate Automizer(竞争贡献)。 TACAS(2) 2017 : 394-398 [第19条] 马吕斯·格雷特斯 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 亚历山大·纳茨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
终极大班:痕迹抽象与抽象解释-(竞赛贡献)。 TACAS(2) 2017 : 399-403 [第18条] 马蒂亚斯·海兹曼 , 克里斯蒂安·席林 , 丹尼尔·蒂施纳 :
利用部分Max-SAT最小化可视下推自动机。 TACAS(1) 2017 : 461-478 [i6] 马蒂亚斯·海兹曼 , 克里斯蒂安·席林 , 丹尼尔·蒂施纳 :
利用部分Max-SAT最小化可视下推自动机。 CoRR公司 abs/1701.05160 ( 2017 ) 2016 [第17条] 德克·拜尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 安德烈亚斯·斯塔尔鲍尔 :
见证软件验证器之间的验证和逐步验证。 软件工程 2016 : 105-106 [第16条] 德克·贝尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 :
正确见证人:核查人员之间交换核查结果。 SIGSOFT FSE公司 2016 : 326-337 [第15条] Frantisek Blahoudek公司 , 马蒂亚斯·海兹曼 , 斯文·舍韦 , 简·斯特雷切克 , 蔡明贤 :
补充半确定Büchi自动机。 TACAS公司 2016 : 770-787 [第14条] 马蒂亚斯·海兹曼 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 简·雷克 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 安德烈亚斯·波德尔斯基 :
具有双轨证明(竞争贡献)的终极Automizer。 TACAS公司 2016 : 950-953 [i5] 简·雷克 , 马蒂亚斯·海兹曼 :
几何不确定性参数。 CoRR公司 腹肌/1609.05207 ( 2016 ) 2015 【b1】 马蒂亚斯·海兹曼 :
跟踪、插值和自动机:一种新的自动软件验证方法。 弗莱堡大学,弗莱堡im Breisgau,德国, 2015 [注2] 简·雷克 , 马蒂亚斯·海兹曼 :
线性循环的排名模板。 日志。 方法计算。 科学。 11 ( 1 ) ( 2015 ) [第13条] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 文森特·兰恩菲尔德 , 安德烈亚斯·波德尔斯基 :
公平模理论:LTL软件模型检查的新方法。 CAV(1) 2015 : 49-66 [第12条] 阿扎德·法尔赞 , 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 扎卡里·金凯德 , 安德烈亚斯·波德尔斯基 :
自动程序验证。 拉丁美洲旅游协会 2015 : 25-46 [第11条] 德克·拜尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 安德烈亚斯·斯塔尔鲍尔 :
见证软件验证器之间的验证和逐步验证。 ESEC/SIGSOFT FSE 2015 : 721-733 [第10条] 马蒂亚斯·海兹曼 , 丹尼尔·迪奇 , 简·雷克 , 贝蒂姆·穆萨 , 安德烈亚斯·波德尔斯基 :
带阵列插值的终极自动分析器-(竞争贡献)。 TACAS公司 2015 : 455-457 2014 【c9】 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 安德烈亚斯·波德尔斯基 :
通过学习终止程序进行终止分析。 CAV汽车 2014 : 797-813 【c8】 简·雷克 , 马蒂亚斯·海兹曼 :
线性循环的排名模板。 TACAS公司 2014 : 172-186 【c7】 马蒂亚斯·海兹曼 , 尤根基督 , 丹尼尔·迪奇 , Jochen Hoenicke公司 , 马库斯·林登曼 , 贝蒂姆·穆萨 , 克里斯蒂安·席林 , 斯特凡·维瑟特 , 安德烈亚斯·波德尔斯基 :
具有不可满足内核的终极Automizer-(竞争贡献)。 TACAS公司 2014 : 418-420 [i4] 简·雷克 , 马蒂亚斯·海兹曼 :
线性循环的排名模板。 CoRR公司 abs/1401.5338 ( 2014 ) [i3] 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 简·雷克 , 安德烈亚斯·波德尔斯基 :
线性套索程序的线性排名。 CoRR公司 腹肌/1401.5347 ( 2014 ) [i2] 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 安德烈亚斯·波德尔斯基 :
通过学习终止程序进行终止分析。 CoRR公司 abs/1405.4189 ( 2014 ) [i1] 简·雷克 , 马蒂亚斯·海兹曼 :
几何级数作为线性Lasso程序的非终止参数。 CoRR公司 abs/1405.4413 ( 2014 ) 2013 【c6】 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 简·雷克 , 安德烈亚斯·波德尔斯基 :
线性套索程序的线性排名。 ATVA公司 2013 : 365-380 【c5】 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 安德烈亚斯·波德尔斯基 :
为热爱Automata的人进行软件模型检查。 CAV汽车 2013 : 36-52 【c4】 马蒂亚斯·海兹曼 , 尤根基督 , 丹尼尔·迪奇 , 埃夫伦·埃尔米斯 , Jochen Hoenicke公司 , 马库斯·林登曼 , 亚历山大·纳茨 , 克里斯蒂安·席林 , 安德烈亚斯·波德尔斯基 :
使用SMTInterpol的Ultimate Automizer-(竞争贡献)。 TACAS公司 2013 : 641-643 2010 【c3】 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 安德烈亚斯·波德尔斯基 :
嵌套插值。 POPL公司 2010 : 471-482 【c2】 马蒂亚斯·海兹曼 , 尼尔·D·琼斯 , 安德烈亚斯·波德尔斯基 :
尺寸变化终止和过渡不变量。 SAS公司 2010 : 22-50
2000 – 2009
2009 [j1] 克里斯托弗·克里戈夫斯基 , 院长G.Bair , 丽贝卡·戈特 , M.H.Decker先生 , A.V.Giri公司 , 克里斯蒂安·哈伯曼 , 马蒂亚斯·海兹曼 , 斯特凡·莱茨 , 威廉·刘易斯 , 史蒂芬·M·利克 , H.Mallar公司 , 爱德华·麦凯恩 , 沃尔夫冈·罗斯纳 , N.Siddique公司 , A.E.塞格勒 , 布莱恩·汤普托 , K.韦伯 , 拉尔夫·温克尔曼 :
IBM System z10处理器芯片组的功能验证。 IBM J.研究开发。 53 ( 1 ) : 三 ( 2009 ) 【c1】 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 安德烈亚斯·波德尔斯基 :
痕迹提取的细化。 SAS公司 2009 : 69-85
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)