弗吉尼亚威尔斯
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2018 [公元32年] 塞萨尔·奥乔亚·埃斯库德罗 , 雷米·德尔马斯 , 托马斯·博乔特 , 马蒂厄·戴维 , 弗吉尼亚威尔斯 :
DO-178测试程序的自动生成。 非金融市场 2018 : 399-415 [公元31年] 越南黄乐 , 洛伊克·科伦森 , 朱利安·西莫尔斯 , 弗吉尼亚威尔斯 :
测试和证明相结合的验证范围。 STAF处的TAP 2018 : 120-138 2017 [j8] 弗雷德里克·博尼奥尔 , 弗吉尼亚威尔斯 , 雅敏·艾特·阿米尔 , 克劳斯·迪特尔·斯奎 :
起落架案例研究:挑战和实验。 国际期刊软件。 工具技术。 Transf公司。 19 ( 2 ) : 133-140 ( 2017 ) 2016 [j7] 安托万·费林 , 弗吉尼亚威尔斯 , 菲利普·博恩 :
用于验证时间属性和计算痕迹信息的统计自动机。 国际期刊计算。 Commun公司。 控制 11 ( 5 ) : 645-656 ( 2016 ) 2015 [j6] 亚历山德鲁·罗伯特·古杜万 , 赫莱内·韦斯林克 , 弗吉尼亚威尔斯 , 盖·杜里欧 , 亚恩·福塞罗 , 米歇尔·希伯 :
循环航空电子设备测试的测试语言。 J.航空公司。 信息系统。 12 ( 4 ) : 374-391 ( 2015 ) [公元30年] 卡卢·卡布雷拉·卡斯蒂略 , 赫莱内·韦斯林克 , 弗吉尼亚威尔斯 :
向我展示新的反例:基于路径的方法。 ICST公司 2015 : 1-10 [i2] 达伦·D·科弗 , 格温·克莱因 , 康拉德·斯林德 , 弗吉尼亚威尔斯 :
形式方法工具的鉴定(Dagstuhl研讨会15182)。 达格斯图尔报告 5 ( 4 ) : 142-159 ( 2015 ) 2014 [公元29年] 波尼奥尔炸薯条 , 弗吉尼亚威尔斯 :
起落架系统案例研究。 ABZ(案例研究) 2014 : 1-18 [电子2] 波尼奥尔炸薯条 , 维吉尼·维尔斯 , 雅敏·艾特·阿米尔 , 克劳斯·迪特尔·斯奎 :
ABZ 2014:起落架案例研究-案例研究轨道,于2014年6月2-6日在法国图卢兹举行的第四届抽象状态机、合金、B、TLA、VDM和Z国际会议上举行。 诉讼程序。 计算机与信息科学中的通信 433, 施普林格 2014 ,国际标准图书编号 978-3-319-07511-2 [目录] [i1] 弗吉尼亚威尔斯 :
评估认证标准有效性的正式实验。 CoRR公司 abs/1404.7542 ( 2014 ) 2013 [j5] 扬尼克·莫伊 , 埃曼纽尔·莱迪诺 , 埃尔维·德尔塞尼 , 弗吉尼亚威尔斯 , 本杰明·莫纳特 :
测试或正式验证:DO-178C替代方案和行业经验。 IEEE软件。 30 ( 三 ) : 50-57 ( 2013 ) [公元28年] 亚历山德鲁·罗伯特·古杜万 , Hélène Waeselynck女士 , 弗吉尼亚威尔斯 , 盖·杜里欧 , 亚恩·福塞罗 , 米歇尔·希伯 :
STELAE-用于航空电子系统的模型驱动测试开发环境。 国际标准化组织 2013 : 1-8 [公元27年] 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 , 维吉尼·维尔斯 , 圣埃芬·杜普拉特 :
嵌入式软件中的行为验证,从模型到源代码。 模型 2013 : 320-335 [公元26年] 亚历山德鲁·罗伯特·古杜万 , 赫莱内·韦斯林克 , 弗吉尼亚威尔斯 , 盖·杜里欧 , 亚恩·福塞罗 , 米歇尔·席贝尔 :
航空电子嵌入式系统测试的元模型。 MODELSWARD公司 2013 : 5-13 2012 [c25] 安托万·费林 , 维吉尼·维尔斯 :
航空电子软件认证的静态和动态分析相结合。 ISSRE研讨会 2012 : 331-336 [公元24年] 阿尔塞纳·萨巴斯 , 苏巴什·尚卡尔 , 弗吉尼亚威尔斯 , 米歇尔·博伊尔 :
不良方面交互:针对三种方面故障类型的预防策略。 SERE(伴侣) 2012 : 75-84 2011 【c23】 阿尔塞纳·萨巴斯 , 苏巴什·尚卡尔 , 弗吉尼亚威尔斯 , 米歇尔·博伊尔 :
面向方面系统的分类建模方法。 泰塞 2011 : 85-92 [公元22年] 阿尔塞纳·萨巴斯 , 苏巴什·尚卡尔 , 弗吉尼亚威尔斯 , 米歇尔·博伊尔 :
不良方面相互作用:预防政策。 泰塞 2011 : 225-228 2010 【j4】 雅敏·艾特·阿米尔 , 波尼奥尔炸薯条 , 弗吉尼亚威尔斯 :
致力于更广泛地使用航空航天系统设计和验证的正式方法。 国际期刊软件。 工具技术。 Transf公司。 12 ( 1 ) : 1-7 ( 2010 ) 【c21】 托马斯·博乔特 , 皮埃尔·维雷利泽 , 赫莱内·韦斯林克 , 弗吉尼亚威尔斯 :
属性冲突的路径:分析反示例的结构方法。 相位 2010 : 74-83 [公元20年] 雅敏·艾特·阿米尔 , 波尼奥尔炸薯条 , 多米尼克·梅里 , 弗吉尼亚威尔斯 :
主题方向:设计和验证复杂嵌入式系统的形式语言和方法。 ISoLA(1) 2010 : 58-59
2000 – 2009
2009 [第19条] 让·苏伊里斯 , 维吉尼·维尔斯 , 大卫·德尔马斯 , 埃尔维·德尔塞尼 :
航空电子软件产品的正式验证。 FM公司 2009 : 532-546 [第18条] 托马斯·博乔特 , 皮埃尔·维雷利泽 , 赫莱内·韦斯林克 , 弗吉尼亚威尔斯 :
模型检查飞行控制系统:空中客车的经验。 ICSE伴侣 2009 : 18-27 2008 [第17条] 盖·杜里欧 , 赫莱内·韦斯林克 , 弗吉尼亚威尔斯 :
LETO-空客关键系统基于Lustre的测试Oracle。 飞行管理信息系统 2008 : 7-22 2007 [j3] 库尔特·斯特瓦特 , 维吉尼·维尔斯 :
导言。 自动。 柔和。 工程师。 14 ( 1 ) : 1-2 ( 2007 ) [电子1] 雅敏·艾特·阿米尔 , 波尼奥尔炸薯条 , 弗吉尼亚威尔斯 :
2007年ISoLA,《利用形式方法的应用、验证和确认研讨会》,Poitiers-Futuroscope,法国,2007年12月12-14日。 信息新技术评论 RNTI-SM-1, Cépaduès-Editions公司 2007 ,国际标准图书编号 978-2-85428-814-8 [目录] 2006 [注2] 雅敏·艾特·阿米尔 , 雷米·德尔马斯 , 弗吉尼亚威尔斯 :
联合国领导层制定了多种航空系统规范。 技术科学。 信息学 25 ( 1 ) : 43-72 ( 2006 ) [第16条] 雅敏·艾特·阿米尔 , 雷米·德尔马斯 , 亚历山大·科尔蒂尔 , 维吉尼·维尔斯 :
航空电子系统的形式化建模。 一种基于范畴理论和EXPRESS建模语言的方法。 ISoLA公司 2006 : 36-44 [第15条] 奥迪尔·洛朗 , 克里斯特尔·塞金 , 弗吉尼亚威尔斯 :
在规范级由功能覆盖约束指导的自动测试生成方法。 ASE公司 2006 : 285-288 2004 [第14条] 盖·杜里欧 , 奥迪尔·洛朗 , 克里斯特尔·塞金 , 弗吉尼亚威尔斯 :
使用SCADE为关键嵌入式系统生成正式证明和测试用例。 IFIP大会专题会议 2004 : 499-504 [第13条] 雅敏·艾特·阿米尔 , 雷米·德尔马斯 , 弗吉尼亚威尔斯 :
航空电子系统的异构形式化建模和组合验证框架。 记忆码 2004 : 223-232 2003 [第12条] 亚明·艾特·阿穆尔 , 波尼奥尔炸薯条 , S.Pairault公司 , 弗吉尼亚威尔斯 :
航空系统分析。 JFLA公司 2003 : 111-124 [第11条] 雅敏·艾特·阿米尔 , 杰拉德·贝尔 , 波尼奥尔炸薯条 , S.派罗 , 弗吉尼亚威尔斯 :
航空电子嵌入式系统的鲁棒性分析。 LCTES公司 2003 : 123-132 2002 [j1] 皮埃尔·比伯 , 雅克·卡津 , 皮埃尔·吉拉德 , Jean-Louis Lanet女士 , 弗吉尼亚威尔斯 , 盖伊·扎农 :
检查智能卡小程序的安全交互:扩展版本。 J.计算。 安全。 10 ( 4 ) : 369-398 ( 2002 ) 2001 [第10条] 奥迪尔·洛朗 , 皮埃尔·米歇尔 , 弗吉尼亚威尔斯 :
使用形式验证技术减少仿真和测试工作量。 失效模式与后果 2001 : 465-477 2000 【c9】 玛丽埃尔·多奇 , 弗吉尼亚威尔斯 :
扩展测试机构。 AMAST公司 2000 : 514-528 【c8】 皮埃尔·比伯 , 雅克·卡赞 , 皮埃尔·吉拉德 , Jean-Louis Lanet女士 , 弗吉尼亚威尔斯 , 盖伊·扎农 :
检查智能卡小程序的安全交互。 ESORICS公司 2000 : 1-16 【c7】 皮埃尔·比伯 , 雅克·卡赞 , A.El Marouani , 皮埃尔·吉拉德 , Jean-Louis Lanet女士 , 弗吉尼亚威尔斯 , 盖伊·扎农 :
PACAP原型:检测Java卡非法流的工具。 Java卡研讨会 2000 : 25-37
1990 – 1999
1999 【c6】 弗吉尼亚威尔斯 , 史蒂夫·伊斯特布鲁克 :
使用SCR对航天飞机软件更改请求进行形式化建模。 重新 1999 : 114-122 【c5】 皮埃尔·比伯 , 雅克·卡赞 , 维吉尼·维尔斯 , 盖伊·扎农 , 皮埃尔·吉拉德 , Jean-Louis Lanet女士 :
电子钱包Applet认证:扩展摘要。 安全体系结构和信息流研讨会 1999 : 14-25 1998 【c4】 伊斯特布鲁克 , 约翰·卡拉汉 , 弗吉尼亚威尔斯 :
通过不一致性跟踪和分析进行验证和确认。 IWSSD系统 1998 : 43-49 【c3】 弗吉尼亚威尔斯 , 史蒂夫·伊斯特布鲁克 :
使用类别理论管理不断演变的规范。 ASE公司 1998 : 12-21 1997 【c2】 皮埃尔·米歇尔 , 弗吉尼亚威尔斯 :
模块化形式规范和验证框架。 失效模式与后果 1997 : 533-552 1996 【c1】 克里斯特尔·塞金 , 弗吉尼亚威尔斯 :
使用逻辑和分类方法验证容错系统。 失效模式与后果 1996 : 347-366
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)