亚历山大·纳茨
人员信息
优化列表
2020年–今天
2024 [i3] 佩特拉·霍佐娃 , 雅罗斯拉夫·本迪克 , 亚历山大·纳茨 , 约夫·罗德 :
用于智能合约验证的非线性整数算法的过逼近。 CoRR公司 abs/2402.10174 ( 2024 ) 2023 [第17条] 佩特拉·霍佐娃 , 雅罗斯拉夫·本迪克 , 亚历山大·纳茨 , 约夫·罗德赫 :
用于智能合约验证的非线性整数算法的过逼近。 LPAR公司 2023 : 257-269 2021 [第16条] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenike公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
在基于逻辑的中间验证语言中分离映射变量。 网络 2021 : 169-186 2020 [第15条] Shuvendu K.Lahiri公司 , 阿卡什·拉尔 , 斯里达尔·戈皮纳特 , 亚历山大·纳茨 , 弗拉基米尔莱温 , 拉胡尔·库马尔 , 内特·迪辛格 , 雅各布·利希滕贝格 , 切坦·班萨尔 :
静态驱动验证程序中的天使式检查:无需(建模)成本即可实现高精度缺陷。 FMCAD公司 2020 : 169-178 [第14条] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 亚历山大·纳茨 , 克劳斯·施瓦茨勒 , 弗兰克·舒赛尔 :
终极大班与符号解释和流体抽象-(竞争贡献)。 TACAS(2) 2020 : 418-422
2010 – 2019
2019 【b1】 亚历山大·纳茨 :
程序验证中的数据流。 弗莱堡大学,弗莱堡im Breisgau,德国, 2019 [第13条] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenike公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
Ultimate TreeAutomizer(CHC-COMP工具描述)。 HCVS公司/ PERR@ETAPS(预计到达时间) 2019 : 42-47 [i2] 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenike公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
不同用途的不同地图。 中间验证语言的程序转换。 CoRR公司 abs/1901.01915 ( 2019 ) 2018 [第12条] 马蒂亚斯·海兹曼 , 陈玉芳 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , Jochen Hoenike公司 , 李勇 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克里斯蒂安·席林 , 坦尼娅·辛德勒 , 安德烈亚斯·波德尔斯基 :
终极Automizer和完美插值搜索-(竞争贡献)。 TACAS(2) 2018 : 447-451 [第11条] 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 马蒂亚斯·海兹曼 , Jochen Hoenike公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 , 克里斯蒂安·席林 , 坦尼娅·辛德勒 :
带动态块编码的终极大班-(竞争贡献)。 TACAS(2) 2018 : 452-456 [第10条] Jochen Hoenike公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
基于树的数据流证明方法。 VSTTE公司 2018 : 1-16 【c9】 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , Jochen Hoenike公司 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
映射相等域。 VSTTE公司 2018 : 291-308 2017 【c8】 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 贝蒂姆·穆萨 , 亚历山大·纳茨 , 安德烈亚斯·波德尔斯基 :
克雷格与牛顿在软件模型检查中的比较。 ESEC/SIGSOFT FSE 2017 : 487-497 【c7】 马蒂亚斯·海兹曼 , 陈玉文 , 丹尼尔·迪奇 , 马吕斯·格雷特斯 , 亚历山大·纳茨 , 贝蒂姆·穆萨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
按需构建Floyd-Hoare Automata的Ultimate Automizer(竞争贡献)。 TACAS(2) 2017 : 394-398 【c6】 马吕斯·格雷特斯 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 亚历山大·纳茨 , 克劳斯·施瓦茨勒 , 克里斯蒂安·席林 , 弗兰克·舒赛尔 , 安德烈亚斯·波德尔斯基 :
终极大班:痕迹抽象与抽象解释-(竞赛贡献)。 TACAS(2) 2017 : 399-403 [i1] 尤根基督 , Jochen Hoenike公司 , 亚历山大·纳茨 :
保护证明树插值。 CoRR公司 abs/1705.05309 ( 2017 ) 2015 【c5】 亚历山大·纳茨 , 丹尼尔·迪奇 , 穆斯塔法·马哈茂德·穆罕默德 , 安德烈亚斯·波德尔斯基 :
带内存安全检查的终极KOJAK-(竞争贡献)。 TACAS公司 2015 : 458-460 2014 【c4】 埃夫伦·埃尔米斯 , 亚历山大·纳茨 , 丹尼尔·迪奇 , Jochen Hoenike公司 , 安德烈亚斯·波德尔斯基 :
终极Kojak-(竞争贡献)。 TACAS公司 2014 : 421至423 2013 【c3】 尤根基督 , Jochen Hoenike公司 , 亚历山大·纳茨 :
保护证明树插值。 TACAS公司 2013 : 124-138 【c2】 马蒂亚斯·海兹曼 , 尤根基督 , 丹尼尔·迪奇 , 埃夫伦·埃尔米斯 , Jochen Hoenike公司 , 马库斯·林登曼 , 亚历山大·纳茨 , 克里斯蒂安·席林 , 安德烈亚斯·波德尔斯基 :
使用SMTInterpol的Ultimate Automizer-(竞争贡献)。 TACAS公司 2013 : 641-643 2012 【c1】 尤根基督 , Jochen Hoenike公司 , 亚历山大·纳茨 :
SMTInterpol:插值SMT解算器。 自旋蛋白 2012 : 248-254