Documentation
Français (FR)

Anglais (EN)

Arnaud Lanoix

12

Documents

Publications

837524

	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

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

	Model for the Land Transport Domain Samuel Colin , Jean-Pierre Jacquot , Arnaud Lanoix , Atif Mashkoor , Jeanine Souquières 2008 Autre publication scientifique hal-00344882v1
	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
	Validation technique des sous-systèmes Samuel Colin , Arnaud Lanoix , Jeanine Souquières 2008 Autre publication scientifique hal-00343549v1
	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
	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 Lanoix 2007 Autre publication scientifique hal-00181250v1

	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

	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 inria-00173876v2