安德烈亚斯·凯蒂斯
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [第10条] Xaver Fink公司 , 阿纳斯塔西亚·马夫里杜 , 安德烈亚斯·卡蒂斯 , 博尔贾·费尔南德斯·阿迪戈 :
通过监视器验证PLC程序:扩展FRET和PLCverif的集成。 非金融市场 2024 : 427-435 2023 【c9】 索菲亚·阿达姆 , 伊格纳西奥·D·洛佩斯·米格尔 , 阿纳斯塔西亚·马夫里杜 , 托马斯·普雷斯伯格 , 马金·贝斯 , 恩里克·布兰科·维尼埃拉 , 安德烈亚斯·凯蒂斯 , Jean-Charles Tournier公司 , Khanh V.Trinh公司 , 博尔贾·费尔南德斯·阿迪戈 :
从自然语言要求到可编程逻辑控制器的验证:将FRET集成到PLCverif中。 非金融市场 2023 : 353-360 【c8】 托马斯·普雷斯伯格 , 安德烈亚斯·凯蒂斯 , 亚伦·达特 , 阿纳斯塔西亚·马夫里杜 :
编写、分析和监控升降式巡航飞机的要求。 参考平方英尺 2023 : 295-308 2022 【c7】 安德烈亚斯·凯蒂斯 , 阿纳斯塔西亚·马夫里杜 , 迪米特拉·吉安娜科波卢 , 托马斯·普雷斯伯格 , 约翰·舒曼 :
捕获、分析、诊断:FRET中需求的可实现性检查。 CAV(2) 2022 : 490-504 2021 【c6】 阿纳斯塔西亚·马夫里杜 , 安德烈亚斯·凯蒂斯 , 迪米特拉·吉安娜科波卢 , 大卫·库伊 , 托马斯·普雷斯伯格 , 迈克尔·沃伦 :
从部分到整体假设担保合同:FRET中的成分可实现性分析。 FM公司 2021 : 503-523 2020 [c5] 安德烈亚斯·凯蒂斯 , 格里戈里·费德尤科维奇 , 陈汝佳 , 大卫·A·格雷夫 , 桑贾·拉亚杜尔加姆 , 迈克尔·沃伦 :
具有随机行为的无限状态系统的综合。 ASE公司 2020 : 250-261 [i6] 安德烈亚斯·凯蒂斯 , 格里戈里·费德尤科维奇 , 陈汝佳 , 大卫·A·格雷夫 , 桑贾·拉亚杜尔加姆 , 迈克尔·沃伦 :
具有随机行为的无限状态系统的综合。 CoRR公司 abs/2009.12330 ( 2020 )
2010 – 2019
2018 【c4】 安德烈亚斯·卡蒂斯 , 格里戈里·费德尤科维奇 , 郭华军 , 安德鲁·加塞克 , 约翰·巴克斯 , 阿里·古芬克尔 , 迈克尔·沃伦 :
基于假设担保合同的反应系统的有效性指导综合。 TACAS(2) 2018 : 176-193 2017 [i5] 安德烈亚斯·凯蒂斯 , 格里戈里·费德尤科维奇 , 郭华军 , 安德鲁·加塞克 , 约翰·巴克斯 , 阿里·古芬克尔 , 迈克尔·沃伦 :
基于假设保证合同的反应系统的有效性引导合成。 CoRR公司 abs/1709.04986 ( 2017 ) 2016 【c3】 安德烈亚斯·凯蒂斯 , 安德鲁·加塞克 , 迈克尔·沃伦 :
从涉及无限理论的假设担保合同走向综合:初步报告。 FormaliSE@ICSE 2016 : 36-41 [i4] 安德烈亚斯·凯蒂斯 , 迈克尔·沃伦 , 安德鲁·加塞克 :
从涉及无限理论的假设担保合同走向综合:初步报告。 CoRR公司 腹肌/1602.00148 ( 2016 ) [i3] 安德烈亚斯·凯蒂斯 , 格里戈里·费德尤科维奇 , 安德鲁·加塞克 , 约翰·D·巴克斯 , 阿里·古芬克尔 , 迈克尔·沃伦 :
使用可变现性Skolemized证明的假设担保合同综合。 CoRR公司 abs/1610.05867 ( 2016 ) 2015 【c2】 安德鲁·加塞克 , 安德烈亚斯·卡蒂斯 , 迈克尔·W·惠伦 , 约翰·巴克斯 , 达伦·D·科弗 :
利用理论对合同的可实现性进行检查。 非金融市场 2015 : 173-187 【c1】 安德烈亚斯·凯蒂斯 , 安德鲁·加塞克 , 迈克尔·沃伦 :
可实现性检查算法的机器检查证明。 VSTTE公司 2015 : 110-123 [i2] 安德烈亚斯·凯蒂斯 , 安德鲁·加塞克 , 迈克尔·沃伦 :
可实现性检查算法的机器检查证明。 CoRR公司 abs/1502.01292 ( 2015 ) [i1] 安德鲁·加塞克 , 安德烈亚斯·凯蒂斯 , 迈克尔·沃伦 , 约翰·巴克斯 , 达伦·D·科弗 :
利用理论对合同的可实现性进行检查。 CoRR公司 abs/1502.03005 ( 2015 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)