Johan Arcile


Activité profesionnelle

Je suis doctorant en informatique au laboratoire IBISC de l'Université Paris-Saclay depuis 2016.
J'enseigne également à l'Université d'Évry-Val-d'Essonne, où j'ai obtenu un Master en Conception et Intelligence des Logiciels et des Systèmes en 2016.

Sujets de recherche

Ma recherche porte sur la modélisation et la vérification formelle de systèmes complexes, en particulier les systèmes temps réels et les systèmes multi-agents. Je me suis intéressé à la modélisation de ce type de systèmes dans les formalismes des automates temporisés et aux propriétés de blocages et de famines présentes sur ces modèles. Ma thèse traite le cas d’étude des véhicules autonomes communiquant et propose des solutions concrètes permettant de vérifier exhaustivement des propriétés de sécurité sur les modules de prise de décision des véhicules. Mes travaux actuels visent à généraliser ces solutions à un ensemble de systèmes temps réel d'agents coopératifs, notamment à travers l’utilisation d’abstractions et d’heuristiques.

Publications

Johan Arcile, Raymond Devillers, Hanna Klaudel : VerifCar: a framework for modeling and model checking communicating autonomous vehicles
Journal: Autonomous Agents and Multi-Agent Systems, Vol. 33, Issue 3, Springer, 2019

Johan Arcile, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler : Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study
15th European Conference in Multi-agent Systems (EUMAS 2017), Springer, 2018

Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bożena Woźna-Szcześniak : Modeling and checking robustness of communicating autonomous vehicles
14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. 620, pp.173–180, Advances in Intelligent Systems and Computing, 2017

Johan Arcile, Tadeusz Czachórski, Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj : Modelling and Analysing Mixed Reality Applications
Man-Machine Interactions 4 - 4th International Conference on Man-Machine Interactions, ICMMI 2015, Advances in Intelligent Systems and Computing, vol. 391, pages 3–17, Springer, 2015

Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond Devillers, Artur Rataj : Indefinite waitings in MIRELA systems
Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, pages 5–18, EPTCS, vol. 184, 2015

Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile : Deadlock and temporal properties analysis in mixed reality applications
Proceedings of the 25th International Symposium on Software Reliability Engineering ISSRE’14, pages 55–65, IEEE Computer Society, 2014

Outils développés et codes source de mes travaux