| 2018 | MEDI | Systematic Construction of Critical Embedded Systems Using Event-B. | Pascal Andr, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | MEDI | Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. | Syrine Aouadi, Arnaud Lanoix |
| 2018 | MODELSWARD | A Model-Driven Method for Fast Building Consistent Web Services in Practice. | David Sferruzza, Jrme Rocheteau, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | MODELSWARD | A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. | David Sferruzza, Jrme Rocheteau, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | WEBIST | Extending OpenAPI 3.0 to Build Web Services from their Specification. | David Sferruzza, Jrme Rocheteau, J. Christian Attiogb, Arnaud Lanoix |
| 2017 | SAC | Moving from Event-B to probabilistic Event-B. | Mohamed Amine, Benot Delahaye, Arnaud Lanoix |
| 2012 | FM | When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
| 2008 | FMICS | Using CSP||B Components: Application to a Platoon of Vehicles. | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquires |
| 2008 | TASE | Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. | Arnaud Lanoix |
| 2003 | FM | Refinement and Verification of Synchronized Component-Based Systems. | Olga Kouchnarenko, Arnaud Lanoix |