基本信息
浏览量:6
职业迁徙
个人简介
Ma recherche concerne la vérification des programmes et de systèmes concurrents en utilisant comme formalisme pivot les réseaux de Petri et leurs abréviations. Je suis deux axes complémentaires : le premier aborde directement les problèmes de conception et de vérification d'applications concurrentes écrites dans des langages de haut niveau en particulier dans langage Ada95. Une part de ces travaux, vise à étudier et à comparer la sémantique de ces langages pour la conception d'applications concurrentes et sont fait plus particulièrement avec le professeur Claude Kaiser (professeur émérite au Cedric-CNAM). Le second axe concerne les techniques d'analyse structurelles des réseaux de Petri et leur adaptation aux réseaux de haut niveau dans le cadre de la vérification de programmes concurrents ; ces techniques sont dites « structurelles » car elles se basent sur la structure du modèle et non sur l'analyse explicite de ses états accessibles. Ces travaux ont donné lieu à l’outil Quasar, outil de vérification automatique de programmes Ada concurrents et, grâce au travail de Sami Evangelista et de Christophe Pajault et Pierre Rousseau aux outils de vérification de réseaux de Petri colorés Helena et Cyclades. J’ai mis en place au sein de l’équipe MoVe en 2010 VeriCops structure de réflexions sur la vérification automatique de programmes à l’aide de techniques formelles.
研究兴趣
论文共 40 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
HAL (Le Centre pour la Communication Scientifique Directe) (2022)
引用0浏览0引用
0
0
AIAI (1)pp.119-127, (2020)
引用24浏览0EIWOS引用
24
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn