Accéder directement au contenu

Jeanine Souquières

16
Documents

Présentation

souquieres

Publications

lanoix-a
Image document

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

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

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

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

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

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

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

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

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