马吕斯·格雷特斯
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2019 [第10条] 亚历山大·海因茨 , 韦尔勒 , 塞尔吉·博戈莫洛夫 , 丹尼尔·马加泽尼 , 马吕斯·格雷特斯 , 安德烈亚斯·波德尔斯基 :
时间规划作为基于细化的模型检查。 ICAPS公司 2019 : 195-199 2018 【b1】 马吕斯·格雷特斯 :
抽象细化的新技术。 弗莱堡大学,弗莱堡im Breisgau,德国, 2018 【c9】 马蒂亚斯·海兹曼 , 陈玉芳 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , Jochen Hoenicke公司 , 李勇 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克里斯蒂安·席林 , 坦尼娅·辛德勒 , 安德烈亚斯·波德尔斯基 :
终极Automizer和寻找完美插值-(竞争贡献)。 TACAS(2) 2018 : 447-451 【c8】 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 马蒂亚斯·海兹曼 , Jochen Hoenicke公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 , 克里斯蒂安·席林 , 坦尼娅·辛德勒 :
带动态块编码的终极大班-(竞争贡献)。 TACAS(2) 2018 : 452-456 2017 【c7】 马吕斯·格雷特斯 , 丹尼尔·迪奇 , 安德烈亚斯·波德尔斯基 :
反例中的循环不变量。 SAS公司 2017 : 128-147 【c6】 马蒂亚斯·海兹曼 , 陈玉文 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
按需构建Floyd-Hoare Automata的Ultimate Automizer(竞争贡献)。 TACAS(2) 2017 : 394-398 【c5】 马吕斯·格雷特斯 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 亚历山大·纳茨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
终极大班:痕迹抽象与抽象解释-(竞赛贡献)。 TACAS(2) 2017 : 399-403 [i1] 马吕斯·格雷特斯 , 丹尼尔·迪奇 , 安德烈亚斯·波德尔斯基 :
使用抽象解释细化轨迹抽象。 CoRR公司 腹肌/1702.02369 ( 2017 ) 2016 【c4】 马蒂亚斯·海兹曼 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 简·雷克 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 安德烈亚斯·波德尔斯基 :
具有双轨证明(竞争贡献)的终极Automizer。 TACAS公司 2016 : 950-953 2015 【c3】 斯坦利·贝克 , 塞尔吉·博戈莫洛夫 , 马吕斯·格雷特斯 , 泰勒·T·约翰逊 :
坦克网络分层控制器基准生成器。 建筑@CPSWeek 2015 : 73-79 【c2】 戈兰·弗雷斯 , 塞尔吉·博戈莫洛夫 , 马吕斯·格雷特斯 , 托马斯·斯特拉姆 , 安德烈亚斯·波德尔斯基 :
使用支持功能消除可达性中的虚假转换。 高速列车控制中心 2015 : 149-158 2014 【c1】 塞尔吉·博戈莫洛夫 , 戈兰·弗雷斯 , 马吕斯·格雷特斯 , 拉杜·格罗苏 , 科琳娜·帕萨雷努 , 安德烈亚斯·波德尔斯基 , 托马斯·斯特拉姆 :
假设保证抽象精化满足混合系统。 海法核查会议 2014 : 116-131
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)