dblp.uni-trier.dewww.uni-trier.de

Jeanine Souquières

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
31EESamuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières: Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST 2008: 139-144
30EEInès Mouakher, Jeanine Souquières, Francis Alexandre: Protocol Verification in a Software Component-Based Approach. ECBS 2008: 136-145
29EEBoulbaba 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)
28EEInè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)
27EEArnaud 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
26EEArnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières: Enhancing Dependability of Component-Based Systems. Ada-Europe 2007: 41-54
2006
25EEDenis Hatebur, Maritta Heisel, Jeanine Souquières: A Method for Component-Based Software and System Development. EUROMICRO-SEAA 2006: 72-80
24EEArnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières: An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Trustworthy Software 2006
23EESamir Chouali, Maritta Heisel, Jeanine Souquières: Proving Component Interoperability with B Refinement. Electr. Notes Theor. Comput. Sci. 160: 157-172 (2006)
22EENinh-Thuan Truong, Jeanine Souquières: Verification of UML Model Elements Using B. J. Inf. Sci. Eng. 22(2): 357-373 (2006)
2005
21EEDieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières: Consistency in UML and B Multi-view Specifications. IFM 2005: 386-405
20EENinh-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
17EENinh-Thuan Truong, Jeanine Souquières: An Approach for the Verification of UML Models Using B. ECBS 2004: 195-202
2003
16EEMaritta Heisel, Jeanine Souquières: Adding Features to Component-Based Systems. Objects, Agents, and Features 2003: 137-153
2002
15EEHung Ledang, Jeanine Souquières: Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. APSEC 2002: 495-
14EEMaritta Heisel, Thomas Santen, Jeanine Souquières: Toward a Formal Model of Software Components. ICFEM 2002: 57-68
13EEHung Ledang, Jeanine Souquières: Contributions for Modelling UML State-Charts in B. IFM 2002: 109-127
2001
12EEHung 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
10EEMaritta Heisel, Jeanine Souquières: A Method for Requirements Elicitation and Formal Specification. ER 1999: 309-324
9EEEric 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
6EERobert 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)

Coauthor Index

1Francis Alexandre [28] [30]
2Boulbaba Ben Ammar [29]
3Mohamed Tahar Bhiri [29]
4Samir Chouali [19] [23]
5Samuel Colin [27] [31]
6Robert Darimont [4] [6]
7Eric Dubois [3]
8Jean-Pierre Finance [1] [2]
9Denis Hatebur [25] [26]
10Maritta Heisel [8] [10] [14] [16] [23] [25] [26]
11Jean-Pierre Jacquot [21]
12Olga Kouchnarenko [31]
13Arnaud Lanoix [24] [26] [27] [31]
14Hung Ledang [11] [12] [13] [15]
15Nicole Lévy [3] [5] [7]
16Eric Meyer [9]
17Inès Mouakher [28] [30]
18Dieu Donné Okalas Ossami [21] [24]
19Thomas Santen [14]
20Ninh-Thuan Truong [17] [18] [20] [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)