维吉尔·普雷沃斯托
人员信息
优化列表
2020年-今天
2024 [公元27年] 路易斯·高瑟 , 维吉尔·普雷沃斯托 , 朱利安·西莫尔斯 :
用于形式规范的结构、联合和未指定术语的语义。 FormaliSE@ICSE 2024 : 100-110 [i11] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 帕斯卡尔·勒加尔 :
基于VCGen的高效关系属性模块化验证。 CoRR公司 腹肌/2401.08385 ( 2024 ) 2023 [电子3] 维吉尔·普雷沃斯托 , 克里斯蒂娜·塞塞莱亚努 :
测试和证明-第17届国际会议,TAP 2023,英国莱斯特,2023年7月18日至19日,会议记录。 计算机科学讲义 14066, 施普林格 2023 ,国际标准图书编号 978-3-031-38827-9 [目录] 2022 [公元26年] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 帕斯卡尔·勒加尔 :
关系属性的认证验证。 国际单项体育联合会 2022 : 86-105 [公元25年] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 帕斯卡尔·勒加尔 :
基于VCGen的高效关系属性模块化验证。 ISoLA(1) 2022 : 498-516 [公元24年] 蒂博特·马丁 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 :
验证基于冗余检查的对策:案例研究。 囊 2022 : 1849-1852 [i10] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 帕斯卡尔·勒加尔 :
关系属性的认证验证。 CoRR公司 abs/2202.10349 ( 2022 ) 2021 [j5] 帕特里克·鲍丁 , 弗朗索瓦·博伯特 , 大卫·比勒 , 洛伊克·科伦森 , 弗洛伦特·基什内尔 , 尼古拉·科马托夫 , 安德烈·马罗内泽 , 瓦伦汀·佩雷尔 , 维吉尔·普雷沃斯托 , 朱利安·西莫尔斯 , 尼基·威廉姆斯 :
对无错误C程序的不懈追求:Frama-C软件分析平台。 Commun公司。 ACM公司 64 ( 8 ) : 56-68 ( 2021 ) 【c23】 维吉尔·罗伯斯 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 路易斯·瑞林 , 帕斯卡尔·勒加尔 :
使用MetAcsl规范和验证高级需求的方法。 FormaliSE@ICSE 2021 : 54-67 2020 [公元22年] 蒂博特·马丁 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 马蒂厄·莱梅尔 :
检测数据流标准的污染测试目标。 国际单项体育联合会 2020 : 337-345
2010 – 2019
2019 【c21】 维吉尔·罗伯斯 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 路易斯·里林 , 帕斯卡尔·勒加尔 :
MetAcsl:高级属性的规范和验证。 TACAS(1) 2019 : 358-364 [公元20年] 维吉尔·罗伯斯 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 路易斯·里林 , 帕斯卡尔·勒加尔 :
使用MetAcsl缓和注释:指定、测试和证明高级属性。 FM时的TAP 2019 : 167-185 [第19条] 凯瑟琳·杜布瓦 , 维吉尔·普雷沃斯托 , 纪尧姆·伯勒 :
向未来工程师教授正式方法。 FM茶 2019 : 69-80 [电子2] 罗斯玛丽·莫纳汉 , 维吉尔·普雷沃斯托 , 何塞·普伦萨 :
正式集成开发环境第五次研讨会论文集, F-IDE@FM 2019年,葡萄牙波尔图,2019年10月7日。 EPTCS系统 310, 2019 [目录] 2018 [第18条] 米夏·马尔科齐 , 塞巴斯蒂安·巴丁 , 尼古拉·科马托夫 , 迈克·帕帕达基斯 , 维吉尔·普雷沃斯托 , 洛伊克·科伦森 :
是时候清理测试目标了。 ICSE公司 2018 : 456-467 [第17条] 史蒂文·德·奥利维拉 , 维吉尔·普雷沃斯托 , 彼得·哈贝梅尔 , 萨德克·本萨勒姆 :
左旋矢量是轨道问题的证明。 RP公司 2018 : 30-44 [第16条] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 帕斯卡尔·勒加尔 , 维吉尔·普雷沃斯托 , 纪尧姆·佩蒂奥 :
自编C代码关系属性的静态和动态验证。 STAF处的TAP 2018 : 44-62 [电子1] 保罗·马斯奇 , 罗斯玛丽·莫纳汉 , 维吉尔·普雷沃斯托 :
正式集成开发环境第四次研讨会论文集, FLoC下的F-IDE 2018年7月14日,英国牛津。 EPTCS系统 284, 2018 [目录] [第九章] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 帕斯卡尔·勒加尔 , 维吉尔·普雷沃斯托 :
证明注释C程序中关系属性的自组合。 CoRR公司 abs/1801.06876 ( 2018 ) [i8] 史蒂文·德·奥利维拉 , 维吉尔·普雷沃斯托 , 彼得·哈贝梅尔 , 萨德克·本萨勒姆 :
左旋矢量是轨道问题的证明。 CoRR公司 腹肌/1803.09511 ( 2018 ) [i7] 维吉尔·罗伯斯 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 路易斯·瑞林 , 帕斯卡尔·勒加尔 :
MetAcsl:高级属性的规范和验证。 CoRR公司 abs/1811.10509 ( 2018 ) 2017 [第15条] 史蒂文·德·奥利维拉 , 萨德克·本萨勒姆 , 维吉尔·普雷沃斯托 :
通过求解可解循环来合成不变量。 ATVA公司 2017 : 327-343 [第14条] 米夏·马尔科齐 , 米卡·德拉哈耶 , 塞巴斯蒂安·巴丁 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 :
结构测试目标的通用有效规范。 ICST公司 2017 : 436-441 [第13条] 米夏·马尔科齐 , 塞巴斯蒂安·巴丁 , 米卡·德拉哈耶 , 尼古拉·科斯马托夫 , 维吉尔·普雷沃斯托 :
利用LTest缓和覆盖标准的异质性。 ICST公司 2017 : 500-507 [第12条] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 帕斯卡尔·勒加尔 , 维吉尔·普雷沃斯托 :
RPP:通过自组合自动证明关系属性。 TACAS(1) 2017 : 391-397 [第11条] 伊曼·布迪巴 , 克里斯托夫·加斯顿 , 帕斯卡尔·勒加尔 , 维吉尔·普雷沃斯托 :
具有功能概要的过渡系统的符号执行。 STAF处的TAP 2017 : 41-58 [i6] 米夏·马尔科齐 , 塞巴斯蒂安·巴丁 , 尼古拉·科马托夫 , 迈克·帕帕达基斯 , 维吉尔·普雷沃斯托 , 洛伊克·科伦森 :
将测试人员从污染测试目标中解放出来。 CoRR公司 abs/1708.08765 ( 2017 ) 2016 [第10条] 史蒂文·德·奥利维拉 , 萨德克·本萨勒姆 , 维吉尔·普雷沃斯托 :
线性代数多项式不变量。 ATVA公司 2016 : 479-494 [i5] 莱昂内尔·布拉特 , 尼古拉·科马托夫 , 帕斯卡尔·勒加尔 , 维吉尔·普雷沃斯托 :
用关系属性进行演绎验证。 CoRR公司 腹肌/1606.00678 ( 2016 ) [i4] 塞巴斯蒂安·巴丁 , 米卡·德拉哈耶 , 尼古拉·科斯马托夫 , 米夏·马尔科齐 , 维吉尔·普雷沃斯托 :
结构测试目标的通用有效规范。 CoRR公司 abs/1609.01204 ( 2016 ) [i3] 史蒂文·德·奥利维拉 , 萨德克·本萨勒姆 , 维吉尔·普雷沃斯托 :
线性代数多项式不变量。 CoRR公司 abs/1611.07726 ( 2016 ) [i2] 史蒂文·德·奥利维拉 , 萨德克·本萨勒姆 , 维吉尔·普雷沃斯托 :
通过求解可解循环来合成不变量。 CoRR公司 abs/1611.07753 ( 2016 ) 2015 【j4】 弗洛伦特·基什内尔 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 朱利安·西莫尔斯 , 鲍里斯·雅科博夫斯基 :
Frama-C:软件分析视角。 形式方面计算。 27 ( 三 ) : 573-609 ( 2015 ) 【c9】 伊曼·布迪巴 , 克里斯托夫·加斯顿 , 帕斯卡尔·勒加尔 , 维吉尔·普雷沃斯托 :
由程序调用和合同丰富的输入输出符号转换系统进行的基于模型的测试。 图片集 2015 : 35-51 2013 【c8】 维吉尔·普雷沃斯托 , Jochen Burghardt公司 , 延斯·格拉赫 , 科尔斯汀·哈蒂格 , 汉斯·维尔纳·波尔 , 金·沃林格 :
使用Frama-C对铁路软件进行正式规范和自动验证。 印度 2013 : 710-715 【c7】 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 朱利安·西莫尔斯 :
关于Frama-C程序证明的一课。特邀教程论文。 STAF处的TAP 2013 : 168-177 2012 【c6】 帕斯卡·库克 , 本杰明·莫纳特 , 安妮·帕卡莱特 , 维吉尔·普雷沃斯托 , 约翰·雷格尔 , 鲍里斯·亚科博夫斯基 , 杨学军 :
使用随机生成的程序测试静态分析器。 NASA形式方法 2012 : 120-125 【c5】 帕斯卡·库克 , 弗洛伦特·基什内尔 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 , 朱利安·西莫尔斯 , 鲍里斯·亚科博夫斯基 :
Frama-C——软件分析视角。 SEFM公司 2012 : 233-247 2011 [j3] 帕斯卡·库克 , 本杰明·莫纳特 , 安妮·帕卡莱特 , 维吉尔·普雷沃斯托 :
通过最弱的前置条件实现C函数的函数依赖性。 国际期刊软件。 技术工具。 Transf公司。 13 ( 5 ) : 405-417 ( 2011 )
2000 – 2009
2009 【c4】 帕斯卡·库克 , 朱利安·西莫尔斯 , 帕特里克·鲍丁 , 理查德·博尼肯 , 盖劳德·卡内 , 洛伊克·科伦森 , 本杰明·莫纳特 , 维吉尔·普雷沃斯托 , 阿尔曼·普切蒂 :
经验报告:OCaml用于工业强度静态分析框架。 ICFP公司 2009 : 281-286 2005 [注2] 大卫·德拉哈耶 , 马修·尧姆 , 维吉尔·普雷沃斯托 :
库克,这是一场比赛。 DESS Dédevelopment de logiciels srs的经验不足。 技术科学。 信息类 24 ( 9 ) : 1139-1160 ( 2005 ) 【c3】 维吉尔·普雷沃斯托 , 西尔万·博尔梅 :
带有后期装订的证明上下文。 薄层色谱分析 2005 : 324-338 [i1] 维吉尔·普雷沃斯托 :
经认证的数学层次结构:FoCal系统。 数学、算法、证明 2005 2003 【b1】 维吉尔·普雷沃斯托 :
语言FoC的概念和植入逻辑发展证书。 (用于开发认证软件的FoC语言的设计和实现)。 法国巴黎皮埃尔和玛丽·居里大学, 2003 2002 [j1] 维吉尔·普雷沃斯托 , 达米安·多利盖兹 :
FOC语言中的算法和证明继承性。 J.汽车。 原因。 29 ( 3-4 ) : 337-363 ( 2002 ) 【c2】 维吉尔·普雷沃斯托 , 达米安·多利盖兹 , 塞雷斯·哈丁 :
代数结构和从属记录。 TPHOL公司 2002 : 298-313 2001 【c1】 维吉尔·普雷沃斯托 :
图书馆FOC接口原型。 JFLA公司 2001 : 59-74