Refinement and Verification of Synchronized Component-Based Systems. - Olga Kouchnarenko; Arnaud Lanoix (FME, 2003)

Verifying Invariants of Component-Based Systems through Refinement. - Olga Kouchnarenko; Arnaud Lanoix (AMAST, 2004)

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. (Synchronized component-based systems : contributions to the compositional verification of refinement and properties). - Arnaud Lanoix (2005)

An Operator-based Approach to Incremental Development of Conform Protocol State Machines. - Arnaud Lanoix; Dieu Donné Okalas Ossami; Jeanine Souquières (Trustworthy Software, 2006)

How to Verify and Exploit a Refinement of Component-Based Systems. - Olga Kouchnarenko; Arnaud Lanoix (Ershov Memorial Conference, 2006)

Enhancing Dependability of Component-Based Systems. - Arnaud Lanoix; Denis Hatebur; Maritta Heisel; Jeanine Souquières (Ada-Europe, 2007)

Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. - Samuel Colin; Arnaud Lanoix; Jeanine Souquières (FESCA@ETAPS, 2007)

Towards Validating a Platoon of Cristal Vehicles Using CSP||B. - Samuel Colin; Arnaud Lanoix; Olga Kouchnarenko; Jeanine Souquières (AMAST, 2008)

Using CSP||B Components: Application to a Platoon of Vehicles. - Samuel Colin; Arnaud Lanoix; Olga Kouchnarenko; Jeanine Souquières (FMICS, 2008)

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. - Arnaud Lanoix (TASE, 2008)

Trustworthy Assembly of Components using the B Refinement. - Arnaud Lanoix; Jeanine Souquières (e Informatica Softw. Eng. J., 2008)

Développement formel par composants Assemblage et vérification à l'aide de B. - Arnaud Lanoix; Samuel Colin; Jeanine Souquières (Tech. Sci. Informatiques, 2008)

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. - Pascal André; Gilles Ardourel; J. Christian Attiogbé; Arnaud Lanoix (FACS@FMWeek, 2009)

Using Event-B to Verify the Kmelia Components and Their Assemblies. - Pascal André; Gilles Ardourel; J. Christian Attiogbé; Arnaud Lanoix (ASM, 2010)

Using Temporal Logic for Dynamic Reconfigurations of Components. - Julien Dormoy; Olga Kouchnarenko; Arnaud Lanoix (FACS, 2010)

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. - Julien Dormoy; Olga Kouchnarenko; Arnaud Lanoix (FACS, 2011)

Combining Proof and Model-checking to Validate Reconfigurable Architectures. - Arnaud Lanoix; Julien Dormoy; Olga Kouchnarenko (FESCA@ETAPS, 2011)

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. - Julien Dormoy; Olga Kouchnarenko; Arnaud Lanoix (FM, 2012)

Relaxing B Sharing Restrictions within CSP||B. - Arnaud Lanoix; Olga Kouchnarenko; Samuel Colin; Vincent Poirriez (SC@TOOLS, 2012)

Component Substitution through Dynamic Reconfigurations. - Arnaud Lanoix; Olga Kouchnarenko (FESCA, 2014)

Moving from Event-B to probabilistic Event-B. - Mohamed Amine; Benoît Delahaye; Arnaud Lanoix (SAC, 2017)

Systematic Construction of Critical Embedded Systems Using Event-B. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (MEDI Workshops, 2018)

Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. - Syrine Aouadi; Arnaud Lanoix (MEDI Workshops, 2018)

A Model-Driven Method for Fast Building Consistent Web Services in Practice. - David Sferruzza; Jérôme Rocheteau; J. Christian Attiogbé; Arnaud Lanoix (MODELSWARD, 2018)

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. - David Sferruzza; Jérôme Rocheteau; J. Christian Attiogbé; Arnaud Lanoix (MODELSWARD (Revised Selected Papers), 2018)

Extending OpenAPI 3.0 to Build Web Services from their Specification. - David Sferruzza; Jérôme Rocheteau; J. Christian Attiogbé; Arnaud Lanoix (WEBIST, 2018)

Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (CoRR, 2018)

Introducing probabilistic reasoning within Event-B. - Mohamed Amine Aouadhi; Benoît Delahaye; Arnaud Lanoix (Softw. Syst. Model., 2019)

A tool-assisted method for the systematic construction of critical embedded systems using Event-B. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (Comput. Sci. Inf. Syst., 2020)