Johan Arcile

20 papers A 2C 1Misc 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Zone extrapolations in parametric timed automata.
Innov. Syst. Softw. Eng.
Johan Arcile, Étienne André
2024 — conf
Execution-Time Opacity Problems in One-Clock Parametric Timed Automata.
FSTTCS
Étienne André, Johan Arcile, Engel Lefaucheux
2024 J jnl
Execution-time opacity problems in one-clock parametric timed automata.
CoRR
Étienne André, Johan Arcile, Engel Lefaucheux
2023 J jnl
An Efficient State Space Construction for a Class of Timed Automata.
Trans. Petri Nets Other Model. Concurr.
Johan Arcile, Raymond Devillers, Hanna Klaudel
2023 C conf
Factorization of the State Space Construction for Cyclic Systems with Data.
VECoS
Johan Arcile, Raymond Devillers, Hanna Klaudel
2023 J jnl
Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice.
ACM Comput. Surv.
Johan Arcile, Étienne André
2022 J jnl
Timed automata as a formalism for expressing security: A survey on theory and practice.
CoRR
Johan Arcile, Étienne André
2022 — conf
Zone Extrapolations in Parametric Timed Automata.
NFM
Johan Arcile, Étienne André
2022 J jnl
Zone extrapolations in parametric timed automata.
CoRR
Johan Arcile, Étienne André
2020 J jnl
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks.
Fundam. Informaticae
Johan Arcile, Raymond Devillers, Hanna Klaudel
2020 — conf
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles.
PNSE@Petri Nets
Johan Arcile, Raymond Devillers, Hanna Klaudel
2020 A conf
VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles.
AAMAS
Johan Arcile, Raymond Devillers, Hanna Klaudel
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 J jnl
Dynamic exploration of multi-agent systems with timed periodic tasks.
CoRR
Johan Arcile, Raymond Devillers, Hanna Klaudel
2019 J jnl
VerifCar: a framework for modeling and model checking communicating autonomous vehicles.
Auton. Agents Multi Agent Syst.
Johan Arcile, Raymond Devillers, Hanna Klaudel
2017 — conf
Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study.
EUMAS/AT
Johan Arcile, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler
2017 Misc conf
Modeling and checking robustness of communicating autonomous vehicles.
DCAI
Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak
2015 — conf
Indefinite waitings in MIRELA systems.
ESSS
Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond Devillers, Artur Rataj
2015 — conf
Modelling and Analysing Mixed Reality Applications.
ICMMI
Johan Arcile, Tadeusz Czachórski, Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj
2014 A conf
Deadlock and Temporal Properties Analysis in Mixed Reality Applications.
ISSRE
Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile