弗洛伦特·佩雷斯
人员信息
优化列表
2020年–今天
2024 [j4] 弗洛伦特·佩雷斯 , 穆罕默德·加泽尔 :
从UML状态机子集到时间自动机的经验证的转换。 ACM事务处理。 嵌入。 计算。 系统。 23 ( 5 ) : 72:1-72:33 ( 2024 )
2010 – 2019
2016 [j3] 弗洛伦特·佩雷斯 , 穆罕默德·加泽尔 :
离散事件系统可诊断性的微积分公式。 国际期刊临界计算。 基于系统。 6 ( 4 ) : 275-301 ( 2016 ) 2014 【c4】 穆罕默德·加泽尔 , 弗洛伦特·佩雷斯 :
离散事件系统可诊断性的微积分框架。 VECoS公司 2014 : 45-56 2011 [注2] 弗洛伦特·佩雷斯 , 伯纳德·伯托米厄 , 弗朗索瓦·维尔纳达特 :
关于时间Petri网的构成。 自由裁量权。 事件动态。 系统。 21 ( 三 ) : 395-424 ( 2011 ) [j1] 弗洛伦特·佩雷斯 , 皮埃尔·埃曼纽尔·赫拉迪克 , 弗朗索瓦·沃纳达特 :
使用POLA的实时系统的规范和验证。 国际期刊临界计算。 基于系统。 2 ( 3/4 ) : 332-351 ( 2011 ) 2010 【b1】 弗洛伦特·佩雷斯 :
Réseaux de Petri tempolesáinhibitions/permissions-应用程序模型化和系统化临时报告。 (禁止/允许时间Petri网-应用于实时任务系统的建模和检查)。 法国图卢兹INSA, 2010
2000 – 2009
2008 【c3】 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
时间Petri网分析的抽象状态空间。 国际标准化组织 2008 : 298-304 2007 [c2] 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
模型检查有界优先时间Petri网。 ATVA公司 2007 : 523-532 2006 【c1】 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·维尔纳达特 :
架起时间自动机和有界时间Petri网之间的桥梁。 格式 2006 : 82-97