Publications

Publications HAL de souquieres

2020

Conference papers

titre
Formalization of Requirements for Correct Systems
auteur
Imen Sayar, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-02963472/file/FormReq2020.pdf BibTex

Poster communications

titre
The Rise of Connected Tools in Medicine : Evaluating Neurological Deficits in Lower Limbs With The MYO Armband in Multiple Sclerosis Patients
auteur
Salimata Gassama, Nicolas Philippe, Konstantin Akhmadeev, Laura Souquières, Aya Houssein, Saïd Moussaoui, David A. Laplaud, Pierre-Antoine Gourraud
typdoc
Poster communications
Accès au bibtex
BibTex

2019

Conference papers

titre
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns
auteur
Imen Sayar, Jeanine Souquières
typdoc
Conference papers
DOI
DOI : 10.1109/REW.2019.00026
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-02962897/file/FormReqs-2019.pdf BibTex

2018

Conference papers

titre
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
auteur
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-319-92970-5_4
Accès au texte intégral et bibtex
https://hal.science/hal-01853610/file/Article.pdf BibTex

2017

Journal articles

titre
La validation dans les premières étapes du processus de développement
auteur
Imen Sayar, Jeanine Souquières
typdoc
Journal articles
DOI
DOI : 10.3166/ISI.22.4.11-41
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-02963463/file/js-papier%20%281%29.pdf BibTex

Conference papers

titre
Du cahier des charges à sa spécification
auteur
Imen Sayar, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-02963455/file/afadl17.pdf BibTex

2016

Conference papers

titre
La Validation dans le Processus de Développement
auteur
Imen Sayar, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-01302223/file/Souquieres_Sayar.pdf BibTex

2014

Conference papers

titre
Proving the Fidelity of Simulations of Event-B Models
auteur
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00908066/file/hase2014-final.pdf BibTex

2013

Conference papers

titre
JeB: Safe Simulation of Event-B Models in JavaScript
auteur
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00908056/file/apsec2013-final.pdf BibTex

2012

Conference papers

titre
The Case for Using Simulation to Validate Event-B Specifications
auteur
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Conference papers
DOI
DOI : 10.1109/APSEC.2012.66
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00772812/file/Yang-Jacquot-Souquieres-98.pdf BibTex
titre
Traduction de B événementiel en C pour la validation par la simulation
auteur
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00650955/file/afadl2012_version_finale.pdf BibTex

2009

Conference papers

titre
On the Evolution of Component-based Software
auteur
Isabelle Coté, Maritta Heisel, Jeanine Souquières
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-28038-2_5
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00431436/file/978-3-642-28038-2_5_Chapter.pdf BibTex
titre
Transformation Heuristics for Formal Requirements Validation by Animation
auteur
Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00374082/file/SafeCert2009.pdf BibTex
titre
B événementiel pour la modélisation du domaine: application au transport
auteur
Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00326355/file/AFADL2009.pdf BibTex

2008

Journal articles

titre
Diagnostic et correction d’erreurs de spécifications : application à l’assemblage de composants
auteur
Inès Mouakher, Jeanine Souquières, Francis Alexandre
typdoc
Journal articles
Accès au bibtex
BibTex
titre
A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles
auteur
Jeanine Souquières
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Incremental development of UML specifications using operation refinements
auteur
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
typdoc
Journal articles
DOI
DOI : 10.1007/s11334-008-0056-1
Accès au bibtex
BibTex
titre
Modélisation événementielle pour la construction de diagrammes de classes
auteur
Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Trustworthy Assembly of Components using B Refinement
auteur
Arnaud Lanoix, Jeanine Souquières
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.science/hal-00123997/file/e-informatica-submitted.pdf BibTex
titre
Développement formel par composants : assemblage et vérification à l’aide de B
auteur
Arnaud Lanoix, Samuel Colin, Jeanine Souquières
typdoc
Journal articles
DOI
DOI : 10.3166/TSI.27.1007-1032
Accès au texte intégral et bibtex
https://hal.science/hal-00180972/file/LanoixColinSouquieres_tsi08.pdf BibTex

Conference papers

titre
Using CSP||B Components: Application to a Platoon of Vehicles
auteur
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00286431/file/platoon-fmics08.pdf BibTex
titre
Towards Validating a Platoon of Cristal Vehicles using CSP||B
auteur
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00261630/file/hal-07-03.pdf BibTex
titre
Schéma de refactoring de diagrammes de classes basé sur la notion de délégation
auteur
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00310955/file/ERTS08I.pdf BibTex
titre
Protocol Verification in a Software Component-Based Approach
auteur
Inès Mouakher, Jeanine Souquières, Francis Alexandre
typdoc
Conference papers
Accès au bibtex
BibTex

Other publications

titre
Requirements for the Description of Component Assembling
auteur
Samuel Colin, Jean-Pierre Jacquot, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex
titre
Validation technique des sous-systèmes
auteur
Samuel Colin, Arnaud Lanoix, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex
titre
A synthesis of existing approaches to specify non-functional properties
auteur
Samuel Colin, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex
titre
Model for the Land Transport Domain
auteur
Samuel Colin, Jean-Pierre Jacquot, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex

Reports

titre
Domain Modeling with Event-B: An Experience with Transportation Domain
auteur
Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00326253/file/mashkoor.pdf BibTex
titre
Using UML Protocol State Machines in Conformance Testing of Components
auteur
Dirk Seifert, Jeanine Souquières
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00274383/file/seifert-inria-02.pdf BibTex

2007

Conference papers

titre
Schémas de développement d’adaptateurs à l’aide de B
auteur
Arnaud Lanoix, Samuel Colin, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00131340/file/main.pdf BibTex
titre
Quelques patrons de raffinement pour le développement de diagrammes de classes UML
auteur
Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00182740/file/OCM-benammar.pdf BibTex
titre
Trustworthy interface compliancy: data model adaptation using B refinement
auteur
Samuel Colin, Arnaud Lanoix, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00123884/file/RR-fesca.pdf BibTex
titre
Enhancing Dependability of Component-based Systems
auteur
Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00123999/file/rst07-submitted.pdf BibTex

Other publications

titre
Requirements for the description of a component in order to use in a component based approach — Livrable TACOS L2-1.0
auteur
Samir Chouali, Samuel Colin, Ahmed Hammad, Olga Kouchnarenko, Arnaud Lanoix, Hassan Mountassir, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex
titre
Incremental development of UML specifications using operation refinements
auteur
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex
titre
Protocol verification in a software component approach
auteur
Inès Mouakher, Francis Alexandre, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex
titre
On the Evolution of Component-based Software
auteur
Isabelle Coté, Maritta Heisel, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex
titre
Towards an incremental development of UML specifications
auteur
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
typdoc
Other publications
Accès au texte intégral et bibtex
https://hal.science/hal-00182180/file/FP-UML-Ben-Ammar.pdf BibTex

Books

titre
Approches formelles pour le développement de logiciels
auteur
Jeanine Souquières
typdoc
Books
Accès au bibtex
BibTex

2006

Journal articles

titre
Proving Component Interoperability with B Refinement
auteur
Samir Chouali, Maritta Heisel, Jeanine Souquières
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Verification of UML Model Elements Using B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.science/hal-00097566/file/main.pdf BibTex

Conference papers

titre
Component Adaptation: Specification and Verification
auteur
Inès Mouakher, Arnaud Lanoix, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00074477/file/Badapter.pdf BibTex
titre
An Operator-based Approach to Incremental Development of Conform Protocol State Machines
auteur
Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00001263/file/RR-avril06.pdf BibTex
titre
A Method for Component-Based Software and System Development
auteur
Denis Hatebur, Maritta Heisel, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00097571/file/euro.pdf BibTex
titre
Validation of UML scenarios using the B Prover
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00104566/file/tfit06.pdf BibTex
titre
Checking Consistency of UML state and sequence diagrams using B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex

Other publications

titre
Component-based Development using the B method
auteur
Arnaud Lanoix, Jeanine Souquières
typdoc
Other publications
Accès au texte intégral et bibtex
https://hal.science/hal-00105041/file/main.pdf BibTex

Books

titre
Approches formelles pour le développement de logiciels
auteur
Jacques Julliand, Jeanine Souquières
typdoc
Books
Accès au bibtex
BibTex

Preprints, Working Papers, …

titre
Developing Specifications by using Operators: a Process to guarantee correctness by construction
auteur
Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.science/hal-00104266/file/OSJ_TFIT2006.pdf BibTex
titre
A Step-by-step Process to Build Conform UML Protocol State Machines
auteur
Arnaud Lanoix, Jeanine Souquières
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.science/hal-00019314/file/scesm06-submitted.pdf BibTex
titre
Ensuring specification correctness by construction
auteur
Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.science/hal-00104722/file/Okalas_SJ_SVV06.pdf BibTex

2005

Conference papers

titre
Consistency in UML and B multi-view specifications
auteur
Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00009478/file/OKALAS-JS-IFM2005.pdf BibTex
titre
Validation of UML static diagrams using B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Proving Component Interoperability with B Refinement
auteur
Samir Chouali, Maritta Heisel, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex

Other publications

titre
Development of objectoriented and formal multi-view specifications
auteur
Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières
typdoc
Other publications
Accès au bibtex
BibTex

Reports

titre
Proving Component Interoperability with B Refinement
auteur
Samir Chouali, Maritta Heisel, Jeanine Souquières
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00000171/file/sefm05.pdf BibTex

Preprints, Working Papers, …

titre
Test of object-based specifications using B notations
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.science/hal-00015031/file/main.pdf BibTex
titre
Prise en compte des propriétés objets de réciprocité en B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Preprints, Working Papers, …
Accès au bibtex
BibTex
titre
Un outil support pour prendre en compte des propriétés objets de réciprocité en B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Preprints, Working Papers, …
Accès au bibtex
BibTex

2004

Journal articles

titre
Concepts importants à la construction de spécifications multi-vues UML et B
auteur
Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot
typdoc
Journal articles
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107756/file/A04-R-004.pdf BibTex

Conference papers

titre
Adding feature to component-based systems
auteur
Maritta Heisel, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex
titre
An approach for the verification of UML models using B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Opérations de construction de spécification multi-vues UML et B
auteur
Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107771/file/A04-R-066.pdf BibTex
titre
Validation des propriétés d’un scénario UML/OCL à partir de sa dérivation en B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107772/file/A04-R-064.pdf BibTex

Reports

titre
Boo – A formal approach to specification and verification of object-oriented system
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Spécification de composants pour assurer leur interopérabilité
auteur
Maritta Heisel, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Consistency checking of UML static diagrams using B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Developing UML and B specification using operators : an application to the data refinement
auteur
Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot
typdoc
Reports
Accès au bibtex
BibTex
titre
Specifying Components for Checking Interoperability
auteur
Maritta Heisel, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex

2003

Conference papers

titre
Formalisation des besoins à l’aide de schémas LSCs
auteur
Jeanine Souquières, Maritta Heisel
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107636/file/A03-R-009.pdf BibTex
titre
Vers la construction de spécifications multi-vues UML et B
auteur
Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00099500/file/A03-R-336.pdf BibTex
titre
ArgoUML+B : un outil de transformation systématique de spécifications UML en B
auteur
Hung Ledang, Jeanine Souquières, Sebastien Charles
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
An approach for the verification of UML models using B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Transformation systématique de spécifications UML en B
auteur
Hung Ledang, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Adding Features to Component-Based Systems
auteur
Maritta Heisel, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Validation des propriétés d’un scénario UML/OCL à partir de sa dérivation en B
auteur
Ninh Thuan Truong, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex

2002

Conference papers

titre
Integration of UML Views using B Notation
auteur
Hung Ledang, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107551/file/A02-R-045.pdf BibTex
titre
Contributions for Modelling UML State-Charts in B
auteur
Hung Ledang, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B
auteur
Hung Ledang, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107556/file/A02-R-101.pdf BibTex
titre
Toward a Formal Model of Software Components
auteur
Maritta Heisel, Thomas Santen, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex
titre
From Requirements to Formal Specification Using UML and B
auteur
Nicole Levy, Rafael Marcano Kamenoff, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Derivation Schemes from OCL Expressions to B
auteur
Hung Ledang, Jeanine Souquières
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00099424/file/A02-R-042.pdf BibTex
titre
On the Specification of Components – the JavaBeans Example
auteur
Maritta Heisel, Thomas Santen, Jeanine Souquières
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107634/file/A02-R-025.pdf BibTex

2001

Conference papers

titre
Modeling class operations in B: application to UML behavioral diagrams
auteur
Hung Ledang, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107871/file/A01-R-079.pdf BibTex
titre
Formalizing UML Behavioral Diagrams with B
auteur
Hung Ledang, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107872/file/A01-R-080.pdf BibTex
titre
Integrating UML and B Specification Techniques
auteur
Hung Ledang, Jeanine Souquières
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107870/file/A01-R-078.pdf BibTex

Reports

titre
Modeling the class operations in B: a case study on the pump component
auteur
Hung Ledang, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
New Approach for Modeling State-Chart Diagrams in B
auteur
Hung Ledang, Jeanine Souquières
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107544/file/A01-R-082.pdf BibTex

2000

Conference papers

titre
Utilisation de patterns dans la construction de specifications en UML et B
auteur
Rafael Marcano Kamenoff, Eric Meyer, Nicole Levy, Jeanine Souquières
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Une méthode pour l’élicitation des besoins : application au système de contrôle d’accès
auteur
Jeanine Souquières, Maritta Heisel
typdoc
Conference papers
Accès au bibtex
BibTex

Book sections

titre
A Heuristic Algorithm to Detect Feature Interactions in Requirements
auteur
Maritta Heisel, Jeanine Souquières
typdoc
Book sections
Accès au bibtex
BibTex

Reports

titre
Le CMM et ses exigences concernant la gestion de projet, l’assurance qualité et la sous-traitance
auteur
Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Le paradigme objet pour l’aide au développement de spécifications formelles B
auteur
Eric Meyer, Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Logiciels et modèles de développement
auteur
Jeanine Souquières
typdoc
Reports
Accès au bibtex
BibTex
titre
Structuring the First Steps of Requirements Elicitation
auteur
Jeanine Souquières, Maritta Heisel
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00099073/file/A00-R-123.pdf BibTex
titre
A Method for Systematic Requirements Elicitation: Application to the Light Control System
auteur
Jeanine Souquières, Maritta Heisel
typdoc
Reports
Accès au bibtex
BibTex