Keywords

Platooning Adaptateur Case study Model-Driven Engineering Assembly CSPB Vérification Compatibility Event-B Verification Component-based development Web Applications Component Interoperability Web Services Adaptation Raffinement B method Almost-certain convergence Assertions
› Full list
Number of documents

52

Arnaud Lanoix

Journal articles5 documents

  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. Model-Driven Engineering and Software Development, Springer, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, ⟨https://link.springer.com/book/10.1007/978-3-030-11030-7⟩. ⟨hal-02075980⟩
  • Mohamed Aouadhi, Benoît Delahaye, Arnaud Lanoix. Introducing Probabilistic Reasoning within Event-B. Software & Systems Modeling, Springer Verlag, 2017. ⟨hal-01610778⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. ENTCS, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩. ⟨hal-00505336⟩
  • Arnaud Lanoix, Jeanine Souquières. Trustworthy Assembly of Components using B Refinement. e-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p. ⟨hal-00123997v2⟩
  • Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Développement formel par composants : assemblage et vérification à l'aide de B. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩. ⟨hal-00180972⟩

Conference papers29 documents

  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. 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⟩. ⟨hal-02010874⟩
  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. 17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France. ⟨hal-02009658⟩
  • Syrine Aouadi, Arnaud Lanoix. Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. 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. ⟨hal-01916059⟩
  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. MODELSWARD, INSTICC, Jan 2018, Funchal, Portugal. ⟨hal-01654287v3⟩
  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix. Extending OpenAPI 3.0 to Build Web Services from their Specification. International Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain. ⟨hal-01868498⟩
  • Pascal Andre, Christian Attiogbé, Arnaud Lanoix. Systematic Construction of Critical Embedded Systems Using Event-B. New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. https://link.springer.com/chapter/10.1007%2F978-3-030-02852-7_18, ⟨10.1007/978-3-030-02852-7_18⟩. ⟨hal-01929259⟩
  • Mohamed Aouadhi, Benoit Delahaye, Arnaud Lanoix. Moving from Event-B to Probabilistic Event-B. 32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩. ⟨hal-01590903⟩
  • Mohamed Aouadhi, Benoit Delahaye, Arnaud Lanoix. Une extension probabiliste pour Event-B. 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-01685126⟩
  • Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. 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. ⟨hal-01222542⟩
  • Arnaud Lanoix, Olga Kouchnarenko. Component Substitution through Dynamic Reconfigurations. 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Apr 2014, Grenoble, France. 14 p. ⟨hal-00935129⟩
  • Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez. Relaxing B Sharing Restrictions within CSP||B. International Conference on Software Composition 2012, May 2012, Prague, Czech Republic. Springer, 7306, pp.35-50, 2012, LNCS. 〈hal-00699997〉
  • Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. 18th International Symposium on Formal Methods (FM 2012), Aug 2012, Paris, France. 15 p. ⟨hal-00700007⟩
  • Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. 8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway. ⟨hal-00642345⟩
  • Olivier Simonin, Arnaud Lanoix, Alexis Scheuer, François Charpillet. Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning. V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, Nov 2011, France. 15 p., 2011. 〈hal-00663353〉
  • Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. 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⟩. ⟨hal-00642348⟩
  • Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. 7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal. ⟨inria-00541613⟩
  • Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal. 2010. 〈hal-00662875〉
  • P. Andre, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix. Using Event-B to Verify the Kmelia Components and Their Assemblies. ABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩. ⟨hal-00483236⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B. FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1. ⟨hal-00483755⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands. ⟨hal-00423672⟩
  • Arnaud Lanoix. Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p. ⟨hal-00260577⟩
  • Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Using CSP||B Components: Application to a Platoon of Vehicles. 13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p. ⟨hal-00286431⟩
  • Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Towards Validating a Platoon of Cristal Vehicles using CSP||B. 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p. ⟨hal-00261630⟩
  • Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Schémas de développement d'adaptateurs à l'aide de B. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108. ⟨hal-00131340⟩
  • Samuel Colin, Arnaud Lanoix, Jeanine Souquières. Trustworthy interface compliancy: data model adaptation using B refinement. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p. ⟨hal-00123884v2⟩
  • Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières. Enhancing Dependability of Component-based Systems. Reliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54. ⟨hal-00123999⟩
  • Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières. An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Trustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14. ⟨inria-00001263⟩
  • Inès Mouakher, Arnaud Lanoix, Jeanine Souquières. Component Adaptation: Specification and Verification. 11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8. ⟨inria-00074477⟩
  • Olga Kouchnarenko, Arnaud Lanoix. How to Verify and Exploit a Refinement of Component-based Systems. Sixth International Andrei Ershov Memorial Conference Perspectives Of System Informatics (PSI'06), 2006, Novosibirsk, Akademgorodok, Russia, France. pp.457-469. ⟨inria-00110527⟩

Directions of work or proceedings1 document

  • Antoine Rollet, Arnaud Lanoix. Actes des 17èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels. Antoine Rollet; Arnaud Lanoix. 17èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2018, Grenoble, France. 2018, Actes des 17èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, ⟨https://afadl2018.ls2n.fr/⟩. ⟨hal-02010559⟩

Other publications6 documents

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

Preprints, Working Papers, ...3 documents

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

Reports7 documents

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

Theses1 document

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