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
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
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
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
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
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
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
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
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
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
- 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
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
- 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
- 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
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
- 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
- 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
- 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
- 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
- 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
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
- 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
- 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
- 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
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
- titre
- Validation technique des sous-systèmes
- auteur
- Samuel Colin, Arnaud Lanoix, Jeanine Souquières
- typdoc
- Other publications
- Accès au 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
- 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
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
- 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
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
- 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
- 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
- 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
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
- 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
- titre
- Protocol verification in a software component approach
- auteur
- Inès Mouakher, Francis Alexandre, Jeanine Souquières
- typdoc
- Other publications
- Accès au bibtex
- titre
- On the Evolution of Component-based Software
- auteur
- Isabelle Coté, Maritta Heisel, Jeanine Souquières
- typdoc
- Other publications
- Accès au 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
Books
- titre
- Approches formelles pour le développement de logiciels
- auteur
- Jeanine Souquières
- typdoc
- Books
- Accès au 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
- 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
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
- 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
- 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
- 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
- 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
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
Books
- titre
- Approches formelles pour le développement de logiciels
- auteur
- Jacques Julliand, Jeanine Souquières
- typdoc
- Books
- Accès au 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
- 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
- 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
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
- titre
- Validation of UML static diagrams using B
- auteur
- Ninh Thuan Truong, Jeanine Souquières
- typdoc
- Conference papers
- Accès au bibtex
- titre
- Proving Component Interoperability with B Refinement
- auteur
- Samir Chouali, Maritta Heisel, Jeanine Souquières
- typdoc
- Conference papers
- Accès au 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
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
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
- 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
- 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
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
Conference papers
- titre
- Adding feature to component-based systems
- auteur
- Maritta Heisel, Jeanine Souquières
- typdoc
- Conference papers
- Accès au 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
- 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
- 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
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
- titre
- Spécification de composants pour assurer leur interopérabilité
- auteur
- Maritta Heisel, Jeanine Souquières
- typdoc
- Reports
- Accès au bibtex
- titre
- Consistency checking of UML static diagrams using B
- auteur
- Ninh Thuan Truong, Jeanine Souquières
- typdoc
- Reports
- Accès au 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
- titre
- Specifying Components for Checking Interoperability
- auteur
- Maritta Heisel, Jeanine Souquières
- typdoc
- Reports
- Accès au 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
- 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
- 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
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
- titre
- Transformation systématique de spécifications UML en B
- auteur
- Hung Ledang, Jeanine Souquières
- typdoc
- Reports
- Accès au bibtex
- titre
- Adding Features to Component-Based Systems
- auteur
- Maritta Heisel, Jeanine Souquières
- typdoc
- Reports
- Accès au 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
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
- titre
- Contributions for Modelling UML State-Charts in B
- auteur
- Hung Ledang, Jeanine Souquières
- typdoc
- Conference papers
- Accès au 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
- titre
- Toward a Formal Model of Software Components
- auteur
- Maritta Heisel, Thomas Santen, Jeanine Souquières
- typdoc
- Conference papers
- Accès au 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
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
- 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
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
- titre
- Formalizing UML Behavioral Diagrams with B
- auteur
- Hung Ledang, Jeanine Souquières
- typdoc
- Conference papers
- Accès au texte intégral et 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
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
- 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
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
- 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
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
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
- 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
- titre
- Logiciels et modèles de développement
- auteur
- Jeanine Souquières
- typdoc
- Reports
- Accès au 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
- 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