Jeanine Souquières

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