克劳斯·施瓦茨勒
人员信息
优化列表
2020年–今天
2021 【c5】 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 多米尼克·克伦普 , Mehdi Naouar公司 , 安德烈亚斯·波德尔斯基 , 克劳斯·施瓦茨勒 :
使用Petri网展开验证并发程序。 VMCAI公司 2021 : 174-195 2020 【c4】 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 亚历山大·纳茨 , 克劳斯·施瓦茨勒 , 弗兰克·舒赛尔 :
终极大班与符号解释和流体抽象-(竞争贡献)。 TACAS(2) 2020 : 418-422
2010 – 2019
2019 【d1】 马蒂亚斯·海兹曼 , 马克斯·巴思 , 丹尼尔·迪奇 , 吉尔·恩克 , 伦纳德·费希特纳 , 多米尼克·克伦普 , Mehdi Naouar公司 , 拉尔斯·尼茨克 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 , 伊丽莎白·夏诺 , 克劳斯·施瓦茨勒 :
Ultimate Automizer SV-COMP 2020竞争贡献。 泽诺多 , 2019 2017 【c3】 马蒂亚斯·海兹曼 , 陈玉文 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
按需构建Floyd-Hoare Automata的Ultimate Automizer(竞争贡献)。 TACAS(2) 2017 : 394-398 【c2】 马吕斯·格雷特斯 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 亚历山大·纳茨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
终极大班:痕迹抽象与抽象解释-(竞赛贡献)。 TACAS(2) 2017 : 399-403 2016 【c1】 马蒂亚斯·海兹曼 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 简·雷克 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 安德烈亚斯·波德尔斯基 :
具有双轨证明(竞争贡献)的终极Automizer。 TACAS公司 2016 : 950-953