Arnaud Lanoix

51
Documents

Publications

6
5
4
4
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
16
12
10
8
6
6
5
5
4
4
3
3
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
5
2
2
1
1
2
5
5
1
10
5
6
1
1

Publications

Deposit thumbnail

A tool-assisted method for the systematic construction of critical embedded systems using Event-B

Pascal Andre , Christian Attiogbé , Arnaud Lanoix

Computer Science and Information Systems, 2019, 17 (1), pp.315-338. ⟨10.2298/CSIS190501042A⟩

Article dans une revue hal-02468473v1
Deposit thumbnail

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models

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

Model-Driven Engineering and Software Development, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, ⟨10.1007/978-3-030-11030-7_2⟩

Article dans une revue hal-02075980v1
Deposit thumbnail

Introducing Probabilistic Reasoning within Event-B

Mohamed Amine Aouadhi , Benoît Delahaye , Arnaud Lanoix

Software and Systems Modeling, 2019, ⟨10.1007/s10270-017-0626-5⟩

Article dans une revue hal-01610778v1

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

Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix

Electronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩

Article dans une revue hal-00505336v1
Deposit thumbnail

Trustworthy Assembly of Components using B Refinement

Arnaud Lanoix , Jeanine Souquières

e-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p

Article dans une revue hal-00123997v2
Deposit thumbnail

Développement formel par composants : assemblage et vérification à l'aide de B

Arnaud Lanoix , Samuel Colin , Jeanine Souquières

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩

Article dans une revue hal-00180972v1
Deposit thumbnail

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

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

MODELSWARD, INSTICC, Jan 2018, Funchal, Portugal. ⟨10.5220/0006531900150024⟩

Communication dans un congrès hal-01654287v3
Deposit thumbnail

Systematic Construction of Critical Embedded Systems Using Event-B

Pascal Andre , Christian Attiogbé , Arnaud Lanoix

New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩

Communication dans un congrès hal-01929259v1
Deposit thumbnail

Extending OpenAPI 3.0 to Build Web Services from their Specification

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

International Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain. ⟨10.5220/0006923604120419⟩

Communication dans un congrès hal-01868498v1

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models

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

Model-Driven Engineering and Software Development - 6th International Conference, (MODELSWARD) 2018 - revised selected papers, Jan 2018, Funchal, Portugal. pp.9-33, ⟨10.1007/978-3-030-11030-7_2⟩

Communication dans un congrès hal-02010874v1
Deposit thumbnail

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

Syrine Aouadi , Arnaud Lanoix

New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. https://www.springer.com/gp/book/9783030028510, ⟨10.1007/978-3-030-02852-7_17⟩

Communication dans un congrès hal-01916059v1
Deposit thumbnail

Moving from Event-B to Probabilistic Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix

32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩

Communication dans un congrès hal-01590903v1
Deposit thumbnail

Une extension probabiliste pour Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix

16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France

Communication dans un congrès hal-01685126v1
Deposit thumbnail

Component Substitution through Dynamic Reconfigurations

Arnaud Lanoix , Olga Kouchnarenko

11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Apr 2014, Grenoble, France. 14 p

Communication dans un congrès hal-00935129v1
Deposit thumbnail

Relaxing B Sharing Restrictions within CSP||B

Arnaud Lanoix , Olga Kouchnarenko , Samuel Colin , Vincent Poirriez

International Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50

Communication dans un congrès hal-00699997v1
Deposit thumbnail

Structural Refinement of Components Keeps Temporal Properties over Reconfigurations

Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix

18th International Symposium on Formal Methods (FM 2012), Aug 2012, Paris, France. 15 p

Communication dans un congrès hal-00700007v1

Combining Proof and Model-checking to Validate Reconfigurable Architectures

Arnaud Lanoix , Julien Dormoy , Olga Kouchnarenko

FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 2015, Saarbrücken, Germany. pp.43--57

Communication dans un congrès hal-01222542v1
Deposit thumbnail

Using Temporal Logic for Dynamic Reconfigurations of Components

Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix

7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal

Communication dans un congrès inria-00541613v1
Deposit thumbnail

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix

8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway

Communication dans un congrès hal-00642345v1

Combining Proof and Model-checking to Validate Reconfigurable Architectures

Arnaud Lanoix , Julien Dormoy , Olga Kouchnarenko

8th International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA 2011, joint to ETAPS 2011, Apr 2011, Saarbrucken, Germany. pp.43-57, ⟨10.1016/j.entcs.2011.11.011⟩

Communication dans un congrès hal-00642348v1
Deposit thumbnail

Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning

Olivier Simonin , Arnaud Lanoix , Alexis Scheuer , François Charpillet

V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, Nov 2011, France. 15 p

Communication dans un congrès hal-00663353v1
Deposit thumbnail

Using Temporal Logic for Dynamic Reconfigurations of Components

Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix

FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal

Communication dans un congrès hal-00662875v1
Deposit thumbnail

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

P. Andre , Gilles Ardourel , Christian Attiogbe , Arnaud Lanoix

ABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩

Communication dans un congrès hal-00483236v1

Contract-based Verification of Kmelia Component Assemblies using Event-B

Pascal André , Gilles Ardourel , Christian Attiogbe , Arnaud Lanoix

FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1

Communication dans un congrès hal-00483755v1
Deposit thumbnail

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

Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix

6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands

Communication dans un congrès hal-00423672v1
Deposit thumbnail

Towards Validating a Platoon of Cristal Vehicles using CSP||B

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

12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p

Communication dans un congrès hal-00261630v1
Deposit thumbnail

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

Arnaud Lanoix

2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p

Communication dans un congrès hal-00260577v1
Deposit thumbnail

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

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

13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p

Communication dans un congrès hal-00286431v1
Deposit thumbnail

Trustworthy interface compliancy: data model adaptation using B refinement

Samuel Colin , Arnaud Lanoix , Jeanine Souquières

Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p

Communication dans un congrès hal-00123884v2
Deposit thumbnail

Schémas de développement d'adaptateurs à l'aide de B

Arnaud Lanoix , Samuel Colin , Jeanine Souquières

Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108

Communication dans un congrès hal-00131340v1
Deposit thumbnail

Enhancing Dependability of Component-based Systems

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

Reliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54

Communication dans un congrès hal-00123999v1
Deposit thumbnail

Component Adaptation: Specification and Verification

Inès Mouakher , Arnaud Lanoix , Jeanine Souquières

11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8

Communication dans un congrès inria-00074477v1

How to Verify and Exploit a Refinement of Component-based Systems

Olga Kouchnarenko , Arnaud Lanoix

Sixth International Andrei Ershov Memorial Conference Perspectives Of System Informatics (PSI'06), 2006, Novosibirsk, Akademgorodok, Russia, France. pp.457-469

Communication dans un congrès inria-00110527v1
Deposit thumbnail

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

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

Trustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14

Communication dans un congrès inria-00001263v1
Deposit thumbnail

UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet

Arnaud Lanoix Brauer , Emmanuel Desmontils

Mens, Kim; Goletti, Olivier. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.152-154, 2024

Poster de conférence hal-04482134v2