Johan Arcile

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 13

Top Topics

Temporal Properties

Theoretical Frameworks

Autonomous Vehicles

Top Venues

Fundam. Informaticae

Trans. Petri Nets Other Model. Concurr.

Publications

Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Factorization of the State Space Construction for Cyclic Systems with Data. VECoS (2023)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
An Efficient State Space Construction for a Class of Timed Automata. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Johan Arcile, Étienne André
Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice. ACM Comput. Surv. 55 (6) (2023)
Johan Arcile, Étienne André
Zone extrapolations in parametric timed automata. CoRR (2022)
Johan Arcile, Étienne André
Timed automata as a formalism for expressing security: A survey on theory and practice. CoRR (2022)
Johan Arcile, Étienne André
Zone Extrapolations in Parametric Timed Automata. NFM (2022)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundam. Informaticae 175 (1-4) (2020)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles. AAMAS (2020)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. PNSE@Petri Nets (2020)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
VerifCar: a framework for modeling and model checking communicating autonomous vehicles. Auton. Agents Multi Agent Syst. 33 (3) (2019)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Dynamic exploration of multi-agent systems with timed periodic tasks. CoRR (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. EUMAS/AT (2017)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak
Modeling and checking robustness of communicating autonomous vehicles. DCAI (2017)
Johan Arcile, Tadeusz Czachórski, Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj
Modelling and Analysing Mixed Reality Applications. ICMMI (2015)
Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond R. Devillers, Artur Rataj
Indefinite waitings in MIRELA systems. ESSS (2015)
Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile
Deadlock and Temporal Properties Analysis in Mixed Reality Applications. ISSRE (2014)