Johan Arcile


Situation professionnelle

Je suis enseignant-chercheur en informatique au Laboratoire Informatique, BioInformatique, Systèmes Complexes (IBISC) de l'Université d'Évry Paris-Saclay, dont j'ai rejoint l'équipe COSMO en Septembre 2022 comme Maître de Conférences. J'ai été chercheur au Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) au sein de l'équipe VeriDis entre Octobre 2020 et Septembre 2022. J'ai soutenu en Décembre 2019 une thèse portant sur la modélisation et vérification de systèmes formels au laboratoire IBISC, sous la supervision du Pr. Hanna Klaudel .

Sujets de recherche

Ma recherche concerne les méthodes de modélisation et les algorithmes de vérification formelle de systèmes complexes, en particulier les systèmes temps-réel et les systèmes multi-agents. Mon expertise porte sur le formalisme des automates temporisés et je m'intéresse autant aux outils et aspects pratiques qu'aux résultats théoriques du domaine.
J'ai notamment travaillé sur :

Publications

Johan Arcile, Étienne André : Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice
ACM Comput. Surv. 55, 6, Article 127 (July 2023), 36 pages, 2023

Johan Arcile, Étienne André : Zone Extrapolations in Parametric Timed Automata
NASA Formal Methods - 14th International Symposium (NFM 2022), Pasadena, CA, USA, pp.451--469, 2022

Johan Arcile, Raymond Devillers, Hanna Klaudel : Dynamic exploration of multi-agent systems with periodic timed tasks
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 175 (1-4), pp.59--95, 2020

Johan Arcile, Raymond Devillers, Hanna Klaudel : Models for the dynamic exploration of the state spaces of autonomous vehicles
17th International Workshop on Petri Nets and Software Engineering (PNSE 2020), Paris, France, pp.29--48, 2020

Johan Arcile: Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants
Thesis, University of Paris-Saclay, France, 2019

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), 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