Mots-clés

Nombre de documents

42

Arnaud Lanoix


Article dans une revue4 documents

  • Mohamed Aouadhi, Benoît Delahaye, Arnaud Lanoix. Introducing Probabilistic Reasoning within Event-B. Journal of Software and Systems Modeling (SoSyM), Springer, A Paraître. 〈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〉

Communication dans un congrès21 documents

  • 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. SAC '17 Proceedings of the Symposium on Applied Computing 〈10.1145/3019612.3019823〉. 〈hal-01590903〉
  • 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., 2014. 〈hal-00935129〉
  • 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. Springer, 15 p., 2012, LNCS. 〈hal-00700007〉
  • 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〉
  • 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〉
  • 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. Springer, 2011, Lecture Notes in Computer Science. 〈hal-00642345〉
  • 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. 279(2), pp.43-57, 2011, Electr. Notes Theor. Comput. Sci. 〈http://dx.doi.org/10.1016/j.entcs.2011.11.011〉. 〈10.1016/j.entcs.2011.11.011〉. 〈hal-00642348〉
  • 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, 2010. 〈hal-00483755〉
  • P. Andre, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix. Using Event-B to Verify the Kmelia Components and Their Assemblies. Springer. ABZ'2010, Feb 2010, Oreford, Canada. Springer, LNCS 5977, pp.410, 2010, LNCS. 〈10.1007/978-3-642-11811-1_43〉. 〈hal-00483236〉
  • 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〉
  • 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. 2011. 〈inria-00541613〉
  • 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. Springer, to appear, 2009, Lecture Notes in Computer Science. 〈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., 2008. 〈hal-00260577〉
  • Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Towards Validating a Platoon of Cristal Vehicles using CSP||B. Springer. 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p., 2008, LNCS. 〈hal-00261630〉
  • 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. Springer-Verlag, 16 p., 2008, LNCS. 〈hal-00286431〉
  • Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Schémas de développement d'adaptateurs à l'aide de B. Marie-Laure Potet and Pierre-Yves Schobbens and Hubert Toussaint and Germain Saval. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108, 2007. 〈hal-00131340〉
  • 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. Springer Verlag, pp.41--54, 2007, LNCS. 〈hal-00123999〉
  • 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., 2007, To be published in Electronic Notes in Theoretical Computer Science (ENTCS). 〈hal-00123884v2〉
  • Inès Mouakher, Arnaud Lanoix, Jeanine Souquières. Component Adaptation: Specification and Verification. 11th International Workshop on Component Oriented Programming - WCOP 2006, Jul 2006, Nantes, France. pp.8, 2006. 〈inria-00074477〉
  • Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières. An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper. Trustworthy Software 2006, May 2006, Saarbrücken, Germany. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), pp.14, 2006, Workshop "Trustworthy Software" 2006. 〈inria-00001263〉
  • 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. Springer Verlag, 4378, pp.457-469, 2006, Lecture Notes in Computer Science. 〈inria-00110527〉

Autre publication6 documents

  • Samuel Colin, Arnaud Lanoix, Jeanine Souquières. Validation technique des sous-systèmes. Livrable CRISTAL, Lot 2 : Validation technique des sous-systèmes Rapport d'étude intermédiaire. 2008. 〈hal-00343549〉
  • Samuel Colin, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières. A synthesis of existing approaches to specify non-functional properties. Livrable TACOS L2-1.1, Tâche 2. 2008. 〈hal-00344883〉
  • Samuel Colin, Jean-Pierre Jacquot, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières. Requirements for the Description of Component Assembling. Livrable TACOS, L2-2.0, Tâche T2. 2008. 〈hal-00344884〉
  • Samuel Colin, Jean-Pierre Jacquot, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières. Model for the Land Transport Domain. Livrable TACOS L1.1, Tâche T1. 2008. 〈hal-00344882〉
  • 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. Available at http://tacos.loria.fr. 2007. 〈hal-00181250〉
  • Arnaud Lanoix, Jeanine Souquières. Component-based Development using the B method. Research report. 2006. 〈hal-00105041〉

Pré-publication, Document de travail3 documents

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

Rapport7 documents

  • 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. Moving from Event-B to probabilistic Event-B. [Research Report] LINA-University of Nantes. 2016. 〈hal-01316610v2〉
  • 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〉

Thèse1 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〉