Arnaud Lanoix

29 papers A 1B 1C 3Misc 3Journal 5Unranked 15
YearRankTypeTitle / Venue / Authors
2020 J jnl
A tool-assisted method for the systematic construction of critical embedded systems using Event-B.
Comput. Sci. Inf. Syst.
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
2019 J jnl
Introducing probabilistic reasoning within Event-B.
Softw. Syst. Model.
Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix
2018 — conf
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models.
MODELSWARD (Revised Selected Papers)
David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix
2018 C conf
A Model-Driven Method for Fast Building Consistent Web Services in Practice.
MODELSWARD
David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix
2018 C conf
Extending OpenAPI 3.0 to Build Web Services from their Specification.
WEBIST
David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix
2018 J jnl
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin.
CoRR
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
2018 — conf
Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events.
MEDI Workshops
Syrine Aouadi, Arnaud Lanoix
2018 — conf
Systematic Construction of Critical Embedded Systems Using Event-B.
MEDI Workshops
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
2017 Misc conf
Moving from Event-B to probabilistic Event-B.
SAC
Mohamed Amine, Benoît Delahaye, Arnaud Lanoix
2014 — conf
Component Substitution through Dynamic Reconfigurations.
FESCA
Arnaud Lanoix, Olga Kouchnarenko
2012 A conf
Relaxing B Sharing Restrictions within CSP||B.
SC
Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
2012 B conf
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.
FM
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
2011 — conf
Combining Proof and Model-checking to Validate Reconfigurable Architectures.
FESCA@ETAPS
Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko
2011 — conf
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.
FACS
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
2010 — conf
Using Event-B to Verify the Kmelia Components and Their Assemblies.
ASM
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
2010 — conf
Using Temporal Logic for Dynamic Reconfigurations of Components.
FACS
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
2009 — conf
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.
FACS@FMWeek
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
2008 J jnl
Développement formel par composants Assemblage et vérification à l'aide de B.
Tech. Sci. Informatiques
Arnaud Lanoix, Samuel Colin, Jeanine Souquières
2008 Misc conf
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles.
TASE
Arnaud Lanoix
2008 — conf
Towards Validating a Platoon of Cristal Vehicles Using CSP||B.
AMAST
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
2008 J jnl
Trustworthy Assembly of Components using the B Refinement.
e Informatica Softw. Eng. J.
Arnaud Lanoix, Jeanine Souquières
2008 C conf
Using CSP||B Components: Application to a Platoon of Vehicles.
FMICS
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
2007 Misc conf
Enhancing Dependability of Component-Based Systems.
Ada-Europe
Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
2007 — conf
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement.
FESCA@ETAPS
Samuel Colin, Arnaud Lanoix, Jeanine Souquières
2006 — conf
An Operator-based Approach to Incremental Development of Conform Protocol State Machines.
Trustworthy Software
Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières
2006 — conf
How to Verify and Exploit a Refinement of Component-Based Systems.
Ershov Memorial Conference
Olga Kouchnarenko, Arnaud Lanoix
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
2004 — conf
Verifying Invariants of Component-Based Systems through Refinement.
AMAST
Olga Kouchnarenko, Arnaud Lanoix
2003 — conf
Refinement and Verification of Synchronized Component-Based Systems.
FME
Olga Kouchnarenko, Arnaud Lanoix