Deadlock and Temporal Properties Analysis in Mixed Reality Applications. - Raymond Devillers; Jean-Yves Didier; Hanna Klaudel; Johan Arcile (ISSRE, 2014)

Modelling and Analysing Mixed Reality Applications. - Johan Arcile; Tadeusz Czachórski; Raymond Devillers; Jean-Yves Didier; Hanna Klaudel; Artur Rataj (ICMMI, 2015)

Indefinite waitings in MIRELA systems. - Johan Arcile; Jean-Yves Didier; Hanna Klaudel; Raymond Devillers; Artur Rataj (ESSS, 2015)

Modeling and checking robustness of communicating autonomous vehicles. - Johan Arcile; Raymond Devillers; Hanna Klaudel; Witold Klaudel; Bozena Wozna-Szczesniak (DCAI, 2017)

Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study. - Johan Arcile; Jérémy Sobieraj; Hanna Klaudel; Guillaume Hutzler (EUMAS/AT, 2017)

VerifCar: a framework for modeling and model checking communicating autonomous vehicles. - Johan Arcile; Raymond Devillers; Hanna Klaudel (Auton. Agents Multi Agent Syst., 2019)

Dynamic exploration of multi-agent systems with timed periodic tasks. - Johan Arcile; Raymond Devillers; Hanna Klaudel (CoRR, 2019)

Conception, modélisation et vérification formelle d'un système temps-réel d'agents coopératifs : application aux véhicules autonomes communicants. (Design, formal modeling and verification of a real-time system of cooperativeagents: Application to communicating autonomous vehicles). - Johan Arcile (2019)

Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. - Johan Arcile; Raymond Devillers; Hanna Klaudel (PNSE@Petri Nets, 2020)

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. - Johan Arcile; Raymond Devillers; Hanna Klaudel (Fundam. Informaticae, 2020)

Data for paper "Zone extrapolations in parametric timed automata". - Johan Arcile; Étienne André (Zenodo, 2022)

Factorization of the State Space Construction for Cyclic Systems with Data. - Johan Arcile; Raymond Devillers; Hanna Klaudel (VECoS, 2023)

Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice. - Johan Arcile; Étienne André (ACM Comput. Surv., 2023)

An Efficient State Space Construction for a Class of Timed Automata. - Johan Arcile; Raymond Devillers; Hanna Klaudel (Trans. Petri Nets Other Model. Concurr., 2023)

Execution-Time Opacity Problems in One-Clock Parametric Timed Automata. - Étienne André; Johan Arcile; Engel Lefaucheux (FSTTCS, 2024)

Zone extrapolations in parametric timed automata. - Johan Arcile; Étienne André (Innov. Syst. Softw. Eng., 2025)