A method and a language for constructing iterative programs. - Jean-Pierre Finance; Jeanine Souquières (Sci. Comput. Program., 1985)

Description and Improvement of Iterative Program Transformations. - Jeanine Souquières; Jean-Pierre Finance (Sci. Comput. Program., 1985)

Formalising Reconstructuring Operators in a Specification Process. - Eric Dubois 001; Nicole Lévy; Jeanine Souquières (ESEC, 1987)

A Model to Support Software Enginneering Activities. - Jeanine Souquières (PPIG (2), 1992)

A Development Model: Application to Z Specifications. - Robert Darimont; Jeanine Souquières (Information System Development Process, 1993)

Description of specification developments. - Jeanine Souquières; Nicole Lévy (RE, 1993)

A Guided Tour through the ICARUS Project. - Eric Dubois 001; Jacques Hagelstein; Axel van Lamsweerde; Fernando Orejas; Jeanine Souquières; Pierre L. Wodon (ACM SIGSOFT Softw. Eng. Notes, 1995)

PROPLANE: A Specification Development Environment. - Jeanine Souquières; Nicole Lévy (AMAST, 1996)

A "Coming and Going" Approach to Specification Construction: A Scenario. - Nicole Lévy; Jeanine Souquières (IWSSD, 1996)

Modelling Specification Construction by Successive Approximations. - Nicole Lévy; Jeanine Souquières (AMAST, 1997)

Reusing Operational Requirements: A Process-Oriented Approach. - Robert Darimont; Jeanine Souquières (RE, 1997)

A Heuristic Approach to Detect Feature Interactions in Requirements. - Maritta Heisel; Jeanine Souquières (FIW, 1998)

Methodological Support for Requirements Elicitation and Formal Specification. - Maritta Heisel; Jeanine Souquières (IWSSD, 1998)

A Method for Requirements Elicitation and Formal Specification. - Maritta Heisel; Jeanine Souquières (ER, 1999)

A Systematic Approach to Transform OMT Diagrams to a B Specification. - Eric Meyer; Jeanine Souquières (World Congress on Formal Methods, 1999)

A Heuristic Algorithm to Detect Feature Interactions in Requirements. - Maritta Heisel; Jeanine Souquières (FIREworks, 2000)

Integrating UML and B Specification Techniques. - Hung Ledang; Jeanine Souquières (GI Jahrestagung (1), 2001)

Modeling Class Operations in B: Application to UML Behavioral Diagrams. - Hung Ledang; Jeanine Souquières (ASE, 2001)

Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. - Hung Ledang; Jeanine Souquières (APSEC, 2002)

Toward a Formal Model of Software Components. - Maritta Heisel; Thomas Santen; Jeanine Souquières (ICFEM, 2002)

Contributions for Modelling UML State-Charts in B. - Hung Ledang; Jeanine Souquières (IFM, 2002)

Adding Features to Component-Based Systems. - Maritta Heisel; Jeanine Souquières (Objects, Agents, and Features, 2003)

An Approach for the Verification of UML Models Using B. - Ninh-Thuan Truong; Jeanine Souquières (ECBS, 2004)

Consistency in UML and B Multi-view Specifications. - Dieu Donné Okalas Ossami; Jean-Pierre Jacquot; Jeanine Souquières (IFM, 2005)

Verification of behavioural elements of UML models using B. - Ninh-Thuan Truong; Jeanine Souquières (SAC, 2005)

Verifying the compatibility of component interfaces using the B formal method. - Jeanine Souquières; Samir Chouali (Software Engineering Research and Practice, 2005)

Validation of UML static diagrams using B. - Ninh-Thuan Truong; Jeanine Souquières (Software Engineering Research and Practice, 2005)

Proving Component Interoperability with B Refinement. - Samir Chouali; Maritta Heisel; Jeanine Souquières (FACS, 2005)

An Operator-based Approach to Incremental Development of Conform Protocol State Machines. - Arnaud Lanoix; Dieu Donné Okalas Ossami; Jeanine Souquières (Trustworthy Software, 2006)

A Method for Component-Based Software and System Development. - Denis Hatebur; Maritta Heisel; Jeanine Souquières (EUROMICRO-SEAA, 2006)

Verification of UML Model Elements Using B. - Ninh-Thuan Truong; Jeanine Souquières (J. Inf. Sci. Eng., 2006)

Enhancing Dependability of Component-Based Systems. - Arnaud Lanoix; Denis Hatebur; Maritta Heisel; Jeanine Souquières (Ada-Europe, 2007)

Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. - Samuel Colin; Arnaud Lanoix; Jeanine Souquières (FESCA@ETAPS, 2007)

Towards Validating a Platoon of Cristal Vehicles Using CSP||B. - Samuel Colin; Arnaud Lanoix; Olga Kouchnarenko; Jeanine Souquières (AMAST, 2008)

Protocol Verification in a Software Component-Based Approach. - Inès Mouakher; Jeanine Souquières; Francis Alexandre (ECBS, 2008)

Using CSP||B Components: Application to a Platoon of Vehicles. - Samuel Colin; Arnaud Lanoix; Olga Kouchnarenko; Jeanine Souquières (FMICS, 2008)

Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. - Inès Mouakher; Jeanine Souquières; Francis Alexandre (Obj. Logiciel Base données Réseaux, 2008)

Trustworthy Assembly of Components using the B Refinement. - Arnaud Lanoix; Jeanine Souquières (e Informatica Softw. Eng. J., 2008)

A Component-Based Approach for the Verification of Safety-Critical Software. - Jeanine Souquières (ERCIM News, 2008)

Modélisation événementielle pour la construction de diagrammes de classes. - Boulbaba Ben Ammar; Mohamed Tahar Bhiri; Jeanine Souquières (Ingénierie des Systèmes d Inf., 2008)

Incremental development of UML specifications using operation refinements. - Boulbaba Ben Ammar; Mohamed Tahar Bhiri; Jeanine Souquières (Innov. Syst. Softw. Eng., 2008)

Développement formel par composants Assemblage et vérification à l'aide de B. - Arnaud Lanoix; Samuel Colin; Jeanine Souquières (Tech. Sci. Informatiques, 2008)

On the Evolution of Component-Based Software. - Isabelle Côté; Maritta Heisel; Jeanine Souquières (CEE-SET, 2009)

The Case for Using Simulation to Validate Event-B Specifications. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (APSEC, 2012)

JeB: Safe Simulation of Event-B Models in JavaScript. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (APSEC (1), 2013)

Proving the Fidelity of Simulations of Event-B Models. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (HASE, 2014)

La Validation dans le Processus de Développement. - Imen Sayar; Jeanine Souquières (INFORSID, 2016)

La validation dans les premières étapes du processus de dévelopement. - Imen Sayar; Jeanine Souquières (Ingénierie des Systèmes d Inf., 2017)

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. - Fahad Rafique Golra; Fabien Dagnat; Jeanine Souquières; Imen Sayar; Sylvain Guérin (SEFM, 2018)

Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. - Imen Sayar; Jeanine Souquières (RE Workshops, 2019)