Arnaud Lanoix

Publications

Article dans une revue (6)

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
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
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
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
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
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

Communication dans un congrès (28)

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Poster de conférence (1)

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

Autre publication scientifique (6)

Requirements for the Description of Component Assembling Samuel Colin,Jean-Pierre Jacquot,Arnaud Lanoix,Atif Mashkoor,Jeanine Souquières 2008 Autre publication scientifique hal-00344884v1
A synthesis of existing approaches to specify non-functional properties Samuel Colin,Arnaud Lanoix,Atif Mashkoor,Jeanine Souquières 2008 Autre publication scientifique hal-00344883v1
Model for the Land Transport Domain Samuel Colin,Jean-Pierre Jacquot,Arnaud Lanoix,Atif Mashkoor,Jeanine Souquières 2008 Autre publication scientifique hal-00344882v1
Validation technique des sous-systèmes Samuel Colin,Arnaud Lanoix,Jeanine Souquières 2008 Autre publication scientifique hal-00343549v1
Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 Samir Chouali,Samuel Colin,Ahmed Hammad,Olga Kouchnarenko,Arnaud Lanoixet al. 2007 Autre publication scientifique hal-00181250v1
Component-based Development using the B method Arnaud Lanoix,Jeanine Souquières 2006 Autre publication scientifique hal-00105041v1

Pré-publication, Document de travail (3)

Relaxing B Sharing Restrictions within CSP||B Arnaud Lanoix,Olga Kouchnarenko,Samuel Colin,Vincent Poirriez 2010 Pré-publication, Document de travail hal-00495769v1
An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem Samuel Colin,Arnaud Lanoix 2008 Pré-publication, Document de travail hal-00260568v2
A Step-by-step Process to Build Conform UML Protocol State Machines Arnaud Lanoix,Jeanine Souquières 2006 Pré-publication, Document de travail hal-00019314v1

Rapport (6)

A Fully Probabilistic Extension of Event-B Mohamed Amine Aouadhi,Benoit Delahaye,Arnaud Lanoix [Research Report] LINA-University of Nantes. 2016 Rapport (rapport de recherche) hal-01255753v1
Moving from Event-B to probabilistic Event-B Mohamed Amine Aouadhi,Benoit Delahaye,Arnaud Lanoix [Research Report] LINA-University of Nantes. 2016 Rapport (rapport de recherche) hal-01316610v2
About Probabilistic Event-B Mohamed Amine Aouadhi,Benoit Delahaye,Arnaud Lanoix [Research Report] LINA-University of Nantes. 2015 Rapport (rapport de recherche) hal-01151594v2
Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems Olivier Simonin,Arnaud Lanoix,Samuel Colin,Alexis Scheuer,François Charpillet [Research Report] RR-6304, INRIA. 2007, pp.18 Rapport (rapport de recherche) inria-00173876v2
How to Verify and Exploit a Refinement of Component-based Systems Olga Kouchnarenko,Arnaud Lanoix [Research Report] RR-5898, INRIA. 2006 Rapport (rapport de recherche) inria-00071369v1
Refinement and Verification of Synchronized Component-based Systems Olga Kouchnarenko,Arnaud Lanoix [Research Report] RR-4862, INRIA. 2003, pp.29 Rapport (rapport de recherche) inria-00071721v1

Thèse (1)

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés Arnaud Lanoix Génie logiciel [cs.SE]. Université de Franche-Comté, 2005. Français. ⟨NNT : ⟩ Thèse tel-00011649v1