Johan Arcile
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2014–2023
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | VECoS | Factorization of the State Space Construction for Cyclic Systems with Data. | Johan Arcile, Raymond Devillers, Hanna Klaudel |
| 2017 | DCAI | Modeling and checking robustness of communicating autonomous vehicles. | Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak |
| 2017 | EUMAS | Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study. | Johan Arcile, Jrmy Sobieraj, Hanna Klaudel, Guillaume Hutzler |
| 2014 | ISSRE | Deadlock and Temporal Properties Analysis in Mixed Reality Applications. | Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile |