Arnaud Lanoix

According to our database, Arnaud Lanoix authored at least 29 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

2019

Introducing probabilistic reasoning within Event-B.

Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix

Softw. Syst. Model., 2019

2018

Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin.

Pascal André, J. Christian Attiogbé, Arnaud Lanoix

CoRR, 2018

Extending OpenAPI 3.0 to Build Web Services from their Specification.

David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the 14th International Conference on Web Information Systems and Technologies, 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

Proceedings of the Model-Driven Engineering and Software Development, 2018

A Model-Driven Method for Fast Building Consistent Web Services in Practice.

David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events.

Syrine Aouadi, Arnaud Lanoix

Proceedings of the New Trends in Model and Data Engineering, 2018

Systematic Construction of Critical Embedded Systems Using Event-B.

Pascal André, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

Moving from Event-B to probabilistic Event-B.

Mohamed Amine, Benoît Delahaye, Arnaud Lanoix

Proceedings of the Symposium on Applied Computing, 2017

2014

Component Substitution through Dynamic Reconfigurations.

Arnaud Lanoix, Olga Kouchnarenko

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

2012

Relaxing B Sharing Restrictions within CSP||B.

Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez

Proceedings of the Software Composition - 11th International Conference, 2012

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the FM 2012: Formal Methods, 2012

2011

Combining Proof and Model-checking to Validate Reconfigurable Architectures.

Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko

Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Using Temporal Logic for Dynamic Reconfigurations of Components.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Using Event-B to Verify the Kmelia Components and Their Assemblies.

Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the Abstract State Machines, 2010

2009

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.

Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

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

Trustworthy Assembly of Components using the B Refinement.

Arnaud Lanoix, Jeanine Souquières

e Informatica Softw. Eng. J., 2008

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles.

Arnaud Lanoix

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Using CSP||B Components: Application to a Platoon of Vehicles.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Towards Validating a Platoon of Cristal Vehicles Using CSP||B.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement.

Samuel Colin, Arnaud Lanoix, Jeanine Souquières

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Enhancing Dependability of Component-Based Systems.

Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières

Proceedings of the Reliable Software Technologies, 2007

2006

How to Verify and Exploit a Refinement of Component-Based Systems.

Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Perspectives of Systems Informatics, 2006

An Operator-based Approach to Incremental Development of Conform Protocol State Machines.

Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

2005

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

PhD thesis, 2005

2004

Verifying Invariants of Component-Based Systems through Refinement.

Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Refinement and Verification of Synchronized Component-Based Systems.

Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the FME 2003: Formal Methods, 2003