Johan Arcile

According to our database, Johan Arcile authored at least 15 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Execution-Time Opacity Problems in One-Clock Parametric Timed Automata.

Étienne André, Johan Arcile, Engel Lefaucheux

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2023

An Efficient State Space Construction for a Class of Timed Automata.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Trans. Petri Nets Other Model. Concurr., 2023

Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice.

Johan Arcile, Étienne André

ACM Comput. Surv., 2023

Factorization of the State Space Construction for Cyclic Systems with Data.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

2022

Zone Extrapolations in Parametric Timed Automata.

Johan Arcile, Étienne André

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Fundam. Informaticae, 2020

Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

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

PhD thesis, 2019

Dynamic exploration of multi-agent systems with timed periodic tasks.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

CoRR, 2019

VerifCar: a framework for modeling and model checking communicating autonomous vehicles.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Auton. Agents Multi Agent Syst., 2019

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

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Modeling and checking robustness of communicating autonomous vehicles.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak

Proceedings of the Distributed Computing and Artificial Intelligence, 2017

2015

Indefinite waitings in MIRELA systems.

Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond R. Devillers, Artur Rataj

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Modelling and Analysing Mixed Reality Applications.

Johan Arcile, Tadeusz Czachórski, Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj

Proceedings of the Man-Machine Interactions 4, 2015

2014

Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014