贝蒂姆·穆萨
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2018 【c6】 马蒂亚斯·海兹曼 , 陈玉芳 , 丹尼尔·迪奇 , 马里乌斯·格雷丘斯 , Jochen Hoenicke公司 , 李勇 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克里斯蒂安·席林 , 坦尼娅·辛德勒 , 安德烈亚斯·波德尔斯基 :
终极Automizer和寻找完美插值-(竞争贡献)。 TACAS(2) 2018 : 447-451 2017 【c5】 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 贝蒂姆·穆萨 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
克雷格与牛顿在软件模型检查中的比较。 ESEC/SIGSOFT FSE 2017 : 487-497 【c4】 马蒂亚斯·海兹曼 , 陈玉文 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
按需构建Floyd-Hoare Automata的Ultimate Automizer(竞争贡献)。 TACAS(2) 2017 : 394-398 2016 【c3】 马蒂亚斯·海兹曼 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 简·雷克 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 安德烈亚斯·波德尔斯基 :
具有双轨证明(竞争贡献)的终极Automizer。 TACAS公司 2016 : 950-953 2015 【c2】 马蒂亚斯·海兹曼 , 丹尼尔·迪奇 , 简·雷克 , 贝蒂姆·穆萨 , 安德烈亚斯·波德尔斯基 :
带阵列插值的终极自动分析器-(竞争贡献)。 TACAS公司 2015 : 455-457 2014 【c1】 马蒂亚斯·海兹曼 , 尤根基督 , 丹尼尔·迪奇 , Jochen Hoenicke公司 , 马库斯·林登曼 , 贝蒂姆·穆萨 , 克里斯蒂安·席林 , 斯特凡·维瑟特 , 安德烈亚斯·波德尔斯基 :
具有不满意核心的终极自动机-(竞争贡献)。 TACAS公司 2014 : 418-420
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)