大卫·门特雷
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2022 [j1] Cláudio Belo Lourenço贝洛·卢伦索 , 丹尼斯·库西诺 , 弗洛里安·费索尔 , 克劳德·马奇 , 大卫·门特雷 , 井上裕久 :
自动形式化分析梯形图程序的时间属性。 国际期刊软件。 技术工具。 Transf公司。 24 ( 6 ) : 977-997 ( 2022 ) [第14条] 野口惠亚 , 奥坎·桑库尔 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·门特雷 :
修复实时要求。 ATVA公司 2022 : 371-387 2021 [第13条] 克劳迪奥·贝洛·洛伦索 , 丹尼斯·库西诺 , 弗洛里安·费索尔 , 克劳德·马奇 , 大卫·门特雷 , 井上裕久 :
梯形图程序时间属性的自动验证。 飞行管理信息系统 2021 : 21-38 2020 [第12条] 艾米丽·克莱门特 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·门特雷 :
非循环时间自动机中最大允许策略的计算。 格式 2020 : 111-126 [第11条] 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·门特雷 , 野口惠亚 , 奥坎·桑库尔 :
用于检查实时一致性的增量方法。 格式 2020 : 249-264 [i2] 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·门特雷 , 野口惠亚 , 奥坎·桑库尔 :
用于检查实时一致性的增量方法。 CoRR公司 abs/2007.01014 ( 2020 ) [i1] 艾米丽·克莱门特 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·门特雷 :
计算非循环时间自动机中的最大允许策略。 CoRR公司 abs/2007.01815 ( 2020 )
2010 – 2019
2019 [第10条] 小松顺 , 清水公一 , 上田武史 , 贝诺·博伊尔 , 大卫·门特雷 :
源代码类型检查的自动漏洞识别和安全安装。 NBiS公司 2019 : 292-304 【c9】 埃里克·拉维洛尼埃 , 大卫·门特雷 , 丹尼斯·库西诺 :
结合遗传算法和形式化方法的快速、自动和几乎完全的结构单元测试生成。 FM时的TAP 2019 : 55-63 【c8】 丹尼斯·库西诺 , 大卫·门特雷 , 井上裕久 :
梯形图编程的自动演绎验证。 F-IDE@FM 2019 : 7-12 2018 【c7】 塞巴斯蒂安·巴丁 , 尼古拉·科马托夫 , 布鲁诺·玛丽 , 大卫·门特雷 , 妮基·威廉姆斯 :
使用PathCrawler/LTest生成测试用例:如何自动化工业测试过程。 ISoLA(4) 2018 : 104-120 2017 【c6】 蒂鲍特·吉尔卡 , 大卫·门特雷 , 亚恩·雷吉斯·贾纳斯 :
可验证的语义差异语言。 PPDP(PPDP) 2017 : 73-84 2016 【c5】 大卫·门特雷 :
SysML2B:使用SysML进行B项目图形架构设计的自动工具。 ABZ公司 2016 : 308-311 2015 【c4】 蒂鲍特·吉尔卡 , 大卫·门特雷 , 亚恩·雷吉斯·贾纳斯 :
由结构化句法差异指导的相关程序的机械检查生成。 ATVA公司 2015 : 64-79 2014 【c3】 大卫·德拉哈耶 , 凯瑟琳·杜布瓦 , 克劳德·马奇 , 大卫·门特雷 :
BWare项目:为B证明义务的自动验证建立一个证明平台。 ABZ公司 2014 : 290-293 2012 【c2】 大卫·门特雷 , 克劳德·马奇 , Jean-Christophe Filliátre女士 , Masashi Asuka先生 :
使用多个自动验证器从工作室B解除证明义务。 ABZ公司 2012 : 238-251
2000 – 2009
2000 【c1】 大卫·门特雷 , 丹尼尔·勒·梅泰勒 , 蒂埃里·普里奥 :
使用Gamma框架对一致性协议进行形式化和验证。 PDSE公司 2000 : 105-113
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)