Jeanine Souquières

According to our database, Jeanine Souquières authored at least 50 papers between 1985 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns.

Imen Sayar, Jeanine Souquières

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2018

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

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

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

2016

La Validation dans le Processus de Développement.

Imen Sayar, Jeanine Souquières

Proceedings of the Actes du XXXIVème Congrès INFORSID, Grenoble, France, May 31, 2016

2014

Proving the Fidelity of Simulations of Event-B Models.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

JeB: Safe Simulation of Event-B Models in JavaScript.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

The Case for Using Simulation to Validate Event-B Specifications.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2009

On the Evolution of Component-Based Software.

Isabelle Côté, Maritta Heisel, Jeanine Souquières

Proceedings of the Advances in Software Engineering Techniques, 2009

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

Incremental development of UML specifications using operation refinements.

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières

Innov. Syst. Softw. Eng., 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

A Component-Based Approach for the Verification of Safety-Critical Software.

Jeanine Souquières

ERCIM News, 2008

Trustworthy Assembly of Components using the B Refinement.

Arnaud Lanoix, Jeanine Souquières

e Informatica Softw. Eng. J., 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

Using CSP||B Components: Application to a Platoon of Vehicles.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Protocol Verification in a Software Component-Based Approach.

Inès Mouakher, Jeanine Souquières, Francis Alexandre

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Towards Validating a Platoon of Cristal Vehicles Using CSP||B.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement.

Samuel Colin, Arnaud Lanoix, Jeanine Souquières

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Enhancing Dependability of Component-Based Systems.

Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières

Proceedings of the Reliable Software Technologies, 2007

2006

Verification of UML Model Elements Using B.

Ninh-Thuan Truong, Jeanine Souquières

J. Inf. Sci. Eng., 2006

A Method for Component-Based Software and System Development.

Denis Hatebur, Maritta Heisel, Jeanine Souquières

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

An Operator-based Approach to Incremental Development of Conform Protocol State Machines.

Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

2005

Proving Component Interoperability with B Refinement.

Samir Chouali, Maritta Heisel, Jeanine Souquières

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Validation of UML static diagrams using B.

Ninh-Thuan Truong, Jeanine Souquières

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Verifying the compatibility of component interfaces using the B formal method.

Jeanine Souquières, Samir Chouali

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Verification of behavioural elements of UML models using B.

Ninh-Thuan Truong, Jeanine Souquières

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Consistency in UML and B Multi-view Specifications.

Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

An Approach for the Verification of UML Models Using B.

Ninh-Thuan Truong, Jeanine Souquières

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

Adding Features to Component-Based Systems.

Maritta Heisel, Jeanine Souquières

Proceedings of the Objects, 2003

2002

Contributions for Modelling UML State-Charts in B.

Hung Ledang, Jeanine Souquières

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Toward a Formal Model of Software Components.

Maritta Heisel, Thomas Santen, Jeanine Souquières

Proceedings of the Formal Methods and Software Engineering, 2002

Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.

Hung Ledang, Jeanine Souquières

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Modeling Class Operations in B: Application to UML Behavioral Diagrams.

Hung Ledang, Jeanine Souquières

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Integrating UML and B Specification Techniques.

Hung Ledang, Jeanine Souquières

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

2000

A Heuristic Algorithm to Detect Feature Interactions in Requirements.

Maritta Heisel, Jeanine Souquières

Proceedings of the Language Constructs for Describing Features, 2000

1999

A Systematic Approach to Transform OMT Diagrams to a B Specification.

Eric Meyer, Jeanine Souquières

Proceedings of the FM'99 - Formal Methods, 1999

A Method for Requirements Elicitation and Formal Specification.

Maritta Heisel, Jeanine Souquières

Proceedings of the Conceptual Modeling, 1999

1998

Methodological Support for Requirements Elicitation and Formal Specification.

Maritta Heisel, Jeanine Souquières

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

A Heuristic Approach to Detect Feature Interactions in Requirements.

Maritta Heisel, Jeanine Souquières

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

Reusing Operational Requirements: A Process-Oriented Approach.

Robert Darimont, Jeanine Souquières

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Modelling Specification Construction by Successive Approximations.

Nicole Lévy, Jeanine Souquières

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A "Coming and Going" Approach to Specification Construction: A Scenario.

Nicole Lévy, Jeanine Souquières

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

PROPLANE: A Specification Development Environment.

Jeanine Souquières, Nicole Lévy

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

A Guided Tour through the ICARUS Project.

Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon

ACM SIGSOFT Softw. Eng. Notes, 1995

1993

Description of specification developments.

Jeanine Souquières, Nicole Lévy

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

A Development Model: Application to Z Specifications.

Robert Darimont, Jeanine Souquières

Proceedings of the Information System Development Process, 1993

1992

A Model to Support Software Enginneering Activities.

Jeanine Souquières

Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992

1987

Formalising Reconstructuring Operators in a Specification Process.

Eric Dubois, Nicole Lévy, Jeanine Souquières

Proceedings of the ESEC '87, 1987

1985

Description and Improvement of Iterative Program Transformations.

Jeanine Souquières, Jean-Pierre Finance

Sci. Comput. Program., 1985

A method and a language for constructing iterative programs.

Jean-Pierre Finance, Jeanine Souquières

Sci. Comput. Program., 1985