 | 2008 |
|---|
| 33 |       | Samuel Colin,
Arnaud Lanoix,
Olga Kouchnarenko,
Jeanine Souquières:
Towards Validating a Platoon of Cristal Vehicles Using CSP||B.
AMAST 2008: 139-144 |
| 32 | | Inès Mouakher,
Jeanine Souquières,
Francis Alexandre:
Protocol Verification in a Software Component-Based Approach.
ECBS 2008: 136-145 |
| 31 | | Samuel Colin,
Arnaud Lanoix,
Olga Kouchnarenko,
Jeanine Souquières:
Using CSP||B Components: Application to a Platoon of Vehicles.
FMICS 2008: 103-118 |
| 30 | | Boulbaba Ben Ammar,
Mohamed Tahar Bhiri,
Jeanine Souquières:
Incremental development of UML specifications using operation refinements.
ISSE 4(3): 259-266 (2008) |
| 29 | | Boulbaba Ben Ammar,
Mohamed Tahar Bhiri,
Jeanine Souquières:
Modélisation événementielle pour la construction de diagrammes de classes.
Ingénierie des Systèmes d'Information 13(3): 131-155 (2008) |
| 28 | | Inès Mouakher,
Jeanine Souquières,
Francis Alexandre:
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants.
L'OBJET 14(4): 11-42 (2008) |
| 27 | | Arnaud Lanoix,
Samuel Colin,
Jeanine Souquières:
Développement formel par composants Assemblage et vérification à l'aide de B.
Technique et Science Informatiques 27(8): 1007-1032 (2008) |
| 2007 |
|---|
| 26 | | Arnaud Lanoix,
Denis Hatebur,
Maritta Heisel,
Jeanine Souquières:
Enhancing Dependability of Component-Based Systems.
Ada-Europe 2007: 41-54 |
| 2006 |
|---|
| 25 | | Denis Hatebur,
Maritta Heisel,
Jeanine Souquières:
A Method for Component-Based Software and System Development.
EUROMICRO-SEAA 2006: 72-80 |
| 24 | | Arnaud Lanoix,
Dieu Donné Okalas Ossami,
Jeanine Souquières:
An Operator-based Approach to Incremental Development of Conform Protocol State Machines.
Trustworthy Software 2006 |
| 23 | | Samir Chouali,
Maritta Heisel,
Jeanine Souquières:
Proving Component Interoperability with B Refinement.
Electr. Notes Theor. Comput. Sci. 160: 157-172 (2006) |
| 22 | | Ninh-Thuan Truong,
Jeanine Souquières:
Verification of UML Model Elements Using B.
J. Inf. Sci. Eng. 22(2): 357-373 (2006) |
| 2005 |
|---|
| 21 | | Dieu Donné Okalas Ossami,
Jean-Pierre Jacquot,
Jeanine Souquières:
Consistency in UML and B Multi-view Specifications.
IFM 2005: 386-405 |
| 20 | | Ninh-Thuan Truong,
Jeanine Souquières:
Verification of behavioural elements of UML models using B.
SAC 2005: 1546-1552 |
| 19 |  | Jeanine Souquières,
Samir Chouali:
Verifying the compatibility of component interfaces using the B formal method.
Software Engineering Research and Practice 2005: 850-856 |
| 18 | | Ninh-Thuan Truong,
Jeanine Souquières:
Validation of UML static diagrams using B.
Software Engineering Research and Practice 2005: 915-927 |
| 2004 |
|---|
| 17 | | Ninh-Thuan Truong,
Jeanine Souquières:
An Approach for the Verification of UML Models Using B.
ECBS 2004: 195-202 |
| 2003 |
|---|
| 16 | | Maritta Heisel,
Jeanine Souquières:
Adding Features to Component-Based Systems.
Objects, Agents, and Features 2003: 137-153 |
| 2002 |
|---|
| 15 | | Hung Ledang,
Jeanine Souquières:
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.
APSEC 2002: 495- |
| 14 | | Maritta Heisel,
Thomas Santen,
Jeanine Souquières:
Toward a Formal Model of Software Components.
ICFEM 2002: 57-68 |
| 13 | | Hung Ledang,
Jeanine Souquières:
Contributions for Modelling UML State-Charts in B.
IFM 2002: 109-127 |
| 2001 |
|---|
| 12 | | Hung Ledang,
Jeanine Souquières:
Modeling Class Operations in B: Application to UML Behavioral Diagrams.
ASE 2001: 289-296 |
| 11 | | Hung Ledang,
Jeanine Souquières:
Integrating UML and B Specification Techniques.
GI Jahrestagung (1) 2001: 641-648 |
| 1999 |
|---|
| 10 | | Maritta Heisel,
Jeanine Souquières:
A Method for Requirements Elicitation and Formal Specification.
ER 1999: 309-324 |
| 9 | | Eric Meyer,
Jeanine Souquières:
A Systematic Approach to Transform OMT Diagrams to a B Specification.
World Congress on Formal Methods 1999: 875-895 |
| 1998 |
|---|
| 8 | | Maritta Heisel,
Jeanine Souquières:
A Heuristic Approach to Detect Feature Interactions in Requirements.
FIW 1998: 165-171 |
| 1997 |
|---|
| 7 | | Nicole Lévy,
Jeanine Souquières:
Modelling Specification Construction by Successive Approximations.
AMAST 1997: 351-364 |
| 6 | | Robert Darimont,
Jeanine Souquières:
Reusing Operational Requirements: A Process-Oriented Approach.
RE 1997: 16- |
| 1996 |
|---|
| 5 | | Jeanine Souquières,
Nicole Lévy:
PROPLANE: A Specification Development Environment.
AMAST 1996: 612-615 |
| 1993 |
|---|
| 4 | | Robert Darimont,
Jeanine Souquières:
A Development Model: Application to Z Specifications.
Information System Development Process 1993: 247-264 |
| 1987 |
|---|
| 3 | | Eric Dubois,
Nicole Lévy,
Jeanine Souquières:
Formalising Reconstructuring Operators in a Specification Process.
ESEC 1987: 161-171 |
| 1985 |
|---|
| 2 | | Jean-Pierre Finance,
Jeanine Souquières:
A method and a language for constructing iterative programs.
Sci. Comput. Program. 5(2): 201-218 (1985) |
| 1 | | Jeanine Souquières,
Jean-Pierre Finance:
Description and Improvement of Iterative Program Transformations.
Sci. Comput. Program. 5(3): 233-264 (1985) |
