弗朗索瓦·沃纳达特 0001
人员信息
附属: 法国LAAS-CNRS图卢兹大学
其他同名人员
弗朗索瓦·贝尔纳达 — LGIPM、ENIM/法国梅茨大学(Universityéde Metz,Ile du Saulcy,Metz Cedex,France) (还有1个)
优化列表
2010 – 2019
2016 [j5] 皮尔雷·阿莱·布迪尔 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 弗朗索瓦·沃纳达特 :
时间Petri网状态类的对称约简。 科学。 计算。 程序。 132 : 209-225 ( 2016 ) 2015 [公元30年] 皮尔雷·阿莱·布迪尔 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 弗朗索瓦·维尔纳达特 :
时间petri网的对称约简状态类。 囊 2015 : 1751-1758 [i3] 伯纳德·伯托米厄 , Jean-Paul Bodevix公司 , 西尔瓦诺·达尔·齐利奥 , 马蒙·菲拉利 , 迪迪埃·勒·博特兰 , 纪尧姆·维迪尔 , 弗朗索瓦·沃纳达特 :
AADL的实时模型检查支持。 CoRR公司 abs/1503.00493 ( 2015 ) 2014 [公元29年] 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 卢卡斯·弗洛恩 , 弗朗索瓦·沃纳达特 :
具有动态点火日期的时间Petri网:语义和应用。 格式 2014 : 85-99 [i2] 西尔瓦诺·达尔·齐利奥 , 卢卡斯·弗洛恩 , 伯纳德·贝托米乌 , 弗朗索瓦·沃纳达特 :
具有动态点火日期的时间Petri网:语义和应用。 CoRR公司 abs/1404.7067 ( 2014 ) 2011 【j4】 弗洛伦特·佩雷斯 , 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
关于时间Petri网的构成。 谨慎。 事件动态。 系统。 21 ( 三 ) : 395-424 ( 2011 ) [j3] 弗洛伦特·佩雷斯 , 皮埃尔·埃曼纽尔·赫拉迪克 , 弗朗索瓦·沃纳达特 :
使用POLA规范和验证实时系统。 国际期刊临界计算。 基于系统。 2 ( 3/4 ) : 332-351 ( 2011 ) [公元28年] Jean-Marie Farines公司 , 马克斯·赫林·德·奎罗斯 , 维尼修斯·G·达·罗查 , 安娜·玛丽亚·M·卡普斯 , 弗朗索瓦·沃纳达特 , 泽维尔·克雷古特 :
用于PLC程序正式验证的模型驱动工程方法。 ETFA公司 2011 : 1-8 2010 [公元27年] T.科雷亚 , 莱安德罗·巴斯·贝克尔 , Jean-Marie Farines公司 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 弗朗索瓦·维尔纳达特 :
使用AADL支持安全关键系统的设计。 ICECCS公司 2010 : 331-336
2000 – 2009
2009 [公元26年] 伯纳德·伯托米厄 , Jean-Paul Bodevix公司 , 克里斯蒂尔·乔德特 , 西尔瓦诺·达尔·齐利奥 , 马蒙·菲拉利 , 弗朗索瓦·维尔纳达特 :
在顶层环境中对AADL规范进行正式验证。 阿达·欧罗普 2009 : 207-221 2008 [公元25年] 达兰·法比奥·本德 , 贝诺?t组合 , 泽维尔·克雷古特 , Jean-Marie Farines公司 , 伯纳德·伯托米厄 , 弗朗索瓦·维尔纳达特 :
通过时间Petri网进行梯形元建模和PLC程序验证。 ECMDA-FA公司 2008 : 121-136 [公元24年] 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
时间Petri网分析的抽象状态空间。 国际标准化组织 2008 : 298-304 [i1] 伯纳德·伯托米厄 , 休伯特·加拉维 , 弗雷德里克·朗 , 弗朗索瓦·维尔纳达特 :
使用TOPCASED/FIACRE验证工业关键系统的动态特性。 ERCIM新闻 2008 ( 75 ) ( 2008 ) 2007 [注2] 伯纳德·伯托米厄 , 迪迪埃·莱姆 , 奥利维尔·H·鲁 , 弗朗索瓦·沃纳达特 :
带秒表的时间Petri网的可达性问题和抽象状态空间。 谨慎。 事件动态。 系统。 17 ( 2 ) : 133-158 ( 2007 ) 【c23】 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
模型检查有界优先时间Petri网。 ATVA公司 2007 : 523-532 [公元22年] 马科斯·维尼修斯·利纳雷斯 , 卢穆洛·席尔瓦·德·奥利维拉 , Jean-Marie Farines公司 , 弗朗索瓦·沃纳达特 :
介绍SysML中的建模和验证过程。 ETFA公司 2007 : 344-351 【c21】 贝诺?t组合 , 皮埃尔·洛伊克·卡洛什 , 泽维尔·克雷古特 , Xavier Thirioux公司 , 弗朗索瓦·沃纳达特 :
过程模型属性的形式化验证SIMPLEPDL和TOCL案例研究。 冰岛(3) 2007 : 80-89 [公元20年] 贝诺?t组合 , 泽维尔·克雷古特 , 皮埃尔·洛伊克·卡洛什 , Xavier Thirioux公司 , 弗朗索瓦·沃纳达特 :
过程模型形式验证的属性驱动方法。 ICEIS(论文选) 2007 : 286-300 【r1】 弗朗索瓦·沃纳达特 , 伯纳德·贝托米乌 :
时间Petri网的状态空间抽象。 实时和嵌入式系统手册 2007 2006 [第19条] 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
架起时间自动机和有界时间Petri网之间的桥梁。 格式 2006 : 82-97 [第18条] 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
基于TINA的时间Petri网分析。 QEST公司 2006 : 123-124 2005 [电子1] 皮埃尔·迪索 , Mamoun Filali-Amine公司 , 皮埃尔·米歇尔 , 弗朗索瓦·沃纳达特 :
架构描述语言-IFIP TC-2架构描述语言(WADL)研讨会,世界计算机大会,2004年8月22日至27日,法国图卢兹。 国际投资促进会 176, 施普林格 2005 ,国际标准图书编号 978-0-387-24589-8 [目录] 2003 [第17条] 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
时间Petri网分支分析的状态类构造。 TACAS公司 2003 : 442-457 [第16条] 伯纳德·伯托米厄 , 皮埃尔·奥利维尔·里贝特 , 弗朗索瓦·沃纳达特 , J.L.贝纳特 , Jean-Marie Farines公司 , 让-保罗·博德韦克斯 , 马蒙·菲拉利 , 杰拉德·帕迪奥 , 皮埃尔·米歇尔 , 帕特里克·法拉利 , 皮埃尔·高弗里特 , 皮埃尔·迪索 , 珍妮·卢克·兰伯特 :
航空电子实时系统的验证:Cotre方法。 飞行管理信息系统 2003 : 203-218 2002 [第15条] 皮埃尔·奥利维尔·里贝特 , 弗朗索瓦·沃纳达特 , 伯纳德·伯托米厄 :
关于持久集方法与覆盖步长图方法的结合。 复地 2002 : 344-359 2001 [j1] 皮埃尔·格拉迪特 , 哈利尔·德里拉 , 弗朗索瓦·沃纳达特 :
分布式多媒体应用程序中协调描述的集成方法。 集成。 计算。 辅助工程师。 8 ( 4 ) : 311-324 ( 2001 ) [第14条] 弗朗索瓦·沃纳达特 , 皮埃尔·阿泽马 :
通信代理的高级转换系统。 并发面向对象编程与Petri网 2001 : 473-492
1990 – 1999
1999 [第13条] 皮埃尔·格拉迪特 , 弗朗索瓦·沃纳达特 , 皮埃尔·阿泽马 :
车间的分层网络规范。 PDPTA公司 1999 : 2808-2814 1997 [第12条] 弗朗索瓦·沃纳达特 , 弗朗索瓦·米歇尔 :
保护故障语义的覆盖步骤图。 ICATPN公司 1997 : 253-270 1996 [第11条] 弗朗索瓦·维尔纳达特 , 皮埃尔·阿泽马 , 弗朗索瓦·米歇尔 :
覆盖步骤图。 Petri网的理论与应用 1996 : 516-535 [第10条] 弗朗索瓦·米歇尔 , 皮埃尔·阿泽马 , 弗朗索瓦·沃纳达特 :
过程代数中的可置换代理。 TACAS公司 1996 : 187-206 1995 【c9】 皮埃尔·阿泽马 , 弗朗索瓦·沃纳达特 , 让·吕克·阿尔巴切特 :
冲突解决的通信协议。 国际资本市场协会 1995 : 437 【c8】 米歇尔·迪亚兹 , 蒂埃里·维尔穆尔 , 弗朗索瓦·沃纳达特 :
协作系统的形式化设计。 公共电视台 1995 : 349-365 1994 【c7】 弗朗索瓦·沃纳达特 , 皮埃尔·阿泽马 , 哈利尔·德里拉 :
分布式投币。 ICDCS系统 1994 : 244-249 1993 【c6】 哈利尔·德里拉 , 皮埃尔·阿泽马 , 弗朗索瓦·维尔纳达特 :
一致性测试生成和简化的拒绝图:一个计算框架。 公共电视台 1993 : 257-272 1990 【c5】 让·克里斯托夫·洛雷特 , 皮埃尔·阿泽马 , 弗朗索瓦·沃纳达特 :
通信协议的组成设计和验证,使用标记Petri网。 CAV汽车 1990 : 96-105 【c4】 让·克里斯托夫·洛雷特 , 皮埃尔·阿泽马 , 弗朗索瓦·沃纳达特 :
通信协议的组成设计和验证,使用带标签的PETRI网络。 CAV(DIMACS/AMS卷) 1990 : 519-534 【c3】 皮埃尔·阿泽马 , 哈利尔·德里拉 , 弗朗索瓦·沃纳达特 :
LOTOS中指定的总线检测协议。 复地 1990 : 263-269
1980 – 1989
1989 【c2】 皮埃尔·阿泽马 , 弗朗索瓦·沃纳达特 , 让·克里斯托夫·洛雷特 :
通信协议的需求分析。 有限状态系统的自动验证方法 1989 : 286-293 【c1】 皮埃尔·阿泽马 , 弗朗索瓦·沃纳达特 , 让·克里斯托夫·洛雷特 :
通信协议逻辑规范/过渡礼仪。 分割 1989 : 187-212