| 2024 | IFM | Stateful Functional Modeling with Refinement (a Lean4 Framework). | Frdric Peschanski |
| 2023 | SYNASC | Counting Linear Extensions of Modular Partial Orders. | Matthieu Dien, Frdric Peschanski |
| 2022 | ICTAC | A Combinatorial Study of Async/Await Processes. | Matthieu Dien, Antoine Genitrini, Frdric Peschanski |
| 2020 | ICTAC | Statistical Analysis of Non-deterministic Fork-Join Processes. | Antoine Genitrini, Martin Ppin, Frdric Peschanski |
| 2019 | ICFEM | A Mechanized Theory of Program Refinement. | Boubacar Demba Sall, Frdric Peschanski, Emmanuel Chailloux |
| 2017 | CSR | Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. | Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frdric Peschanski |
| 2011 | POPL | Parallel computing with the Pi-calculus. | Frdric Peschanski |
| 2009 | SOFSEM | Modelling and Verifying Mobile Systems Using pi-Graphs. | Frdric Peschanski, Jol-Alexis Bialkiewicz |
| 2008 | ICLP | A Constraint Logic Programming Approach to Automated Testing. | Hakim Belhaouari, Frdric Peschanski |
| 2008 | RV | A Lightweight Container Architecture for Runtime Verification. | Hakim Belhaouari, Frdric Peschanski |
| 2006 | WETICE | Toward Agent-Based Cooperative Resource Management in a Telecommunication Operator Grid Platform. | A. Lenica, Frederic Ogel, Frdric Peschanski, Jean-Pierre Briot |
| 2006 | VEE | A stackless runtime environment for a Pi-calculus. | Frdric Peschanski, Samuel Hym |
| 2003 | Middleware | Fine-Grained Dynamic Adaptation of Distributed Components. | Frdric Peschanski, Jean-Pierre Briot, Akinori Yonezawa |