Arnaud Lanoix

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 9

Top Venues

MEDI Workshops

CoRR

SAC

Comput. Sci. Inf. Syst.

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

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

Arnaud Lanoix.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arnaud Lanoix