| 2023 | VECoS | Factorization of the State Space Construction for Cyclic Systems with Data. | Johan Arcile, Raymond Devillers, Hanna Klaudel |
| 2022 | TASE | Complexity of Distributed Petri Net Synthesis. | Raymond Devillers, Ronny Tredup |
| 2017 | DCAI | Modeling and checking robustness of communicating autonomous vehicles. | Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak |
| 2017 | SOFSEM | A Graph-Theoretical Characterisation of State Separation. | Eike Best, Raymond Devillers, Uli Schlachter |
| 2015 | CONCUR | Synthesis of Bounded Choice-Free Petri Nets. | Eike Best, Raymond Devillers |
| 2014 | ISSRE | Deadlock and Temporal Properties Analysis in Mixed Reality Applications. | Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile |
| 2014 | LATA | Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. | Eike Best, Raymond Devillers |
| 2006 | ICTAC | A Petri Net Translation of | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2004 | FORTE | Petri Net Semantics of the Finite pi-Calculus. | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 1999 | RTCSA | Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. | Jol Goossens, Raymond Devillers |
| 1996 | CONCUR | Petri Boxes and Finite Precedence. | Raymond Devillers |
| 1993 | STACS | General Refinement and Recursion Operators for the Petri Box Calculus. | Eike Best, Raymond Devillers, Javier Esparza |
| 1984 | CONCUR | Maximally Concurrent Evolution of Non-sequential Systems. | Ryszard Janicki, Peter E. Lauer, Raymond Devillers |