Jeanine Souquières

Publication Activity (10 Years)

Years Active: 1985-2019
Publications (10 Years): 4

Top Topics

Object Oriented Design

Specification Languages

Reverse Engineering

Top Venues

Ingénierie des Systèmes d Inf.

Publications

Imen Sayar, Jeanine Souquières
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. RE Workshops (2019)
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. SEFM (2018)
Imen Sayar, Jeanine Souquières
La validation dans les premières étapes du processus de dévelopement. Ingénierie des Systèmes d Inf. 22 (4) (2017)
Imen Sayar, Jeanine Souquières
La Validation dans le Processus de Développement. INFORSID (2016)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
Proving the Fidelity of Simulations of Event-B Models. HASE (2014)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
JeB: Safe Simulation of Event-B Models in JavaScript. APSEC (1) (2013)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
The Case for Using Simulation to Validate Event-B Specifications. APSEC (2012)
Isabelle Côté, Maritta Heisel, Jeanine Souquières
On the Evolution of Component-Based Software. CEE-SET (2009)
Samuel Colin, Arnaud Lanoix, Jeanine Souquières
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Arnaud Lanoix, Jeanine Souquières
Trustworthy Assembly of Components using the B Refinement. e Informatica Softw. Eng. J. 2 (1) (2008)
Inès Mouakher, Jeanine Souquières, Francis Alexandre
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. Obj. Logiciel Base données Réseaux 14 (4) (2008)
Jeanine Souquières
A Component-Based Approach for the Verification of Safety-Critical Software. ERCIM News 2008 (75) (2008)
Inès Mouakher, Jeanine Souquières, Francis Alexandre
Protocol Verification in a Software Component-Based Approach. ECBS (2008)
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
Incremental development of UML specifications using operation refinements. Innov. Syst. Softw. Eng. 4 (3) (2008)
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 Inf. 13 (3) (2008)
Arnaud Lanoix, Samuel Colin, Jeanine Souquières
Développement formel par composants Assemblage et vérification à l'aide de B. Tech. Sci. Informatiques 27 (8) (2008)
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST (2008)
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
Using CSP||B Components: Application to a Platoon of Vehicles. FMICS (2008)
Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
Enhancing Dependability of Component-Based Systems. Ada-Europe (2007)
Ninh-Thuan Truong, Jeanine Souquières
Verification of UML Model Elements Using B. J. Inf. Sci. Eng. 22 (2) (2006)
Samir Chouali, Maritta Heisel, Jeanine Souquières
Proving Component Interoperability with B Refinement. Electron. Notes Theor. Comput. Sci. 160 (2006)
Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières
An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Trustworthy Software (2006)
Denis Hatebur, Maritta Heisel, Jeanine Souquières
A Method for Component-Based Software and System Development. EUROMICRO-SEAA (2006)
Jeanine Souquières, Samir Chouali
Verifying the compatibility of component interfaces using the B formal method. Software Engineering Research and Practice (2005)
Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières
Consistency in UML and B Multi-view Specifications. IFM (2005)
Ninh-Thuan Truong, Jeanine Souquières
Verification of behavioural elements of UML models using B. SAC (2005)
Ninh-Thuan Truong, Jeanine Souquières
Validation of UML static diagrams using B. Software Engineering Research and Practice (2005)
Ninh-Thuan Truong, Jeanine Souquières
An Approach for the Verification of UML Models Using B. ECBS (2004)
Maritta Heisel, Jeanine Souquières
Adding Features to Component-Based Systems. Objects, Agents, and Features (2003)
Maritta Heisel, Thomas Santen, Jeanine Souquières
Toward a Formal Model of Software Components. ICFEM (2002)
Hung Ledang, Jeanine Souquières
Contributions for Modelling UML State-Charts in B. IFM (2002)
Hung Ledang, Jeanine Souquières
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. APSEC (2002)
Hung Ledang, Jeanine Souquières
Integrating UML and B Specification Techniques. GI Jahrestagung (1) (2001)
Hung Ledang, Jeanine Souquières
Modeling Class Operations in B: Application to UML Behavioral Diagrams. ASE (2001)
Maritta Heisel, Jeanine Souquières
A Heuristic Algorithm to Detect Feature Interactions in Requirements. FIREworks (2000)
Maritta Heisel, Jeanine Souquières
A Method for Requirements Elicitation and Formal Specification. ER (1999)
Eric Meyer, Jeanine Souquières
A Systematic Approach to Transform OMT Diagrams to a B Specification. World Congress on Formal Methods (1999)
Maritta Heisel, Jeanine Souquières
Methodological Support for Requirements Elicitation and Formal Specification. IWSSD (1998)
Maritta Heisel, Jeanine Souquières
A Heuristic Approach to Detect Feature Interactions in Requirements. FIW (1998)
Nicole Lévy, Jeanine Souquières
Modelling Specification Construction by Successive Approximations. AMAST (1997)
Robert Darimont, Jeanine Souquières
Reusing Operational Requirements: A Process-Oriented Approach. RE (1997)
Jeanine Souquières, Nicole Lévy
PROPLANE: A Specification Development Environment. AMAST (1996)
Nicole Lévy, Jeanine Souquières
A "Coming and Going" Approach to Specification Construction: A Scenario. IWSSD (1996)
Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon
A Guided Tour through the ICARUS Project. ACM SIGSOFT Softw. Eng. Notes 20 (2) (1995)
Jeanine Souquières, Nicole Lévy
Description of specification developments. RE (1993)
Robert Darimont, Jeanine Souquières
A Development Model: Application to Z Specifications. Information System Development Process (1993)
Jeanine Souquières
A Model to Support Software Enginneering Activities. PPIG (2) (1992)
Eric Dubois, Nicole Lévy, Jeanine Souquières
Formalising Reconstructuring Operators in a Specification Process. ESEC (1987)
Jean-Pierre Finance, Jeanine Souquières
A method and a language for constructing iterative programs. Sci. Comput. Program. 5 (2) (1985)
Jeanine Souquières, Jean-Pierre Finance
Description and Improvement of Iterative Program Transformations. Sci. Comput. Program. 5 (3) (1985)