Jeanine Souquières

Présentation

Publications

Article dans une revue (9)

La validation dans les premières étapes du processus de développement Imen Sayar,Jeanine Souquières Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2017, 22 (4), pp.11-41. ⟨10.3166/ISI.22.4.11-41⟩ Article dans une revue hal-02963463v1
Trustworthy Assembly of Components using B Refinement Arnaud Lanoix,Jeanine Souquières e-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p Article dans une revue hal-00123997v2
Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants Inès Mouakher,Jeanine Souquières,Francis Alexandre RTSI - L'Objet, 2008, 14, pp.11--42 Article dans une revue hal-00343182v1
Modélisation événementielle pour la construction de diagrammes de classes Boulbaba Ben Ammar,Mahamed Tahar Bhiri,Jeanine Souquières Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (3), pp.131-155 Article dans une revue hal-00310954v1
A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles Jeanine Souquières ERCIM News, 2008, 75, pp.33-34 Article dans une revue hal-00343183v1
Développement formel par composants : assemblage et vérification à l'aide de B Arnaud Lanoix,Samuel Colin,Jeanine Souquières Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩ Article dans une revue hal-00180972v1
Incremental development of UML specifications using operation refinements Boulbaba Ben Ammar,Mohamed Tahar Bhiri,Jeanine Souquières Innovations in Systems and Software Engineering, 2008, 4, pp.259-266. ⟨10.1007/s11334-008-0056-1⟩ Article dans une revue istex hal-00311408v1
Proving Component Interoperability with B Refinement Samir Chouali,Maritta Heisel,Jeanine Souquières Electronic Notes in Theoretical Computer Science, 2006, 160, pp.157-172 Article dans une revue hal-00097553v1
Verification of UML Model Elements Using B Ninh Thuan Truong,Jeanine Souquières Journal of Information Science and Engineering, 2006, 22, pp.357-373 Article dans une revue hal-00097566v1

Communication dans un congrès (32)

Formalization of Requirements for Correct Systems Imen Sayar,Jeanine Souquières Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland Communication dans un congrès hal-02963472v1
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns Imen Sayar,Jeanine Souquières IEEE 27th International Requirements Engineering Conference Workshops (REW), Sep 2019, Jeju Island, South Korea. ⟨10.1109/REW.2019.00026⟩ Communication dans un congrès hal-02962897v1
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation Fahad Rafique Golra,Fabien Dagnat,Jeanine Souquières,Imen Sayar,Sylvain Guerin 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩ Communication dans un congrès hal-01853610v1
Du cahier des charges à sa spécification Imen Sayar,Jeanine Souquières AFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France Communication dans un congrès hal-02963455v1
La Validation dans le Processus de Développement Imen Sayar,Jeanine Souquières 34ème Congrès INFORSID, May 2016, Grenoble, France Communication dans un congrès hal-01302223v1
Proving the Fidelity of Simulations of Event-B Models Faqing Yang,Jean-Pierre Jacquot,Jeanine Souquières The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2014, Miami, United States Communication dans un congrès hal-00908066v1
JeB: Safe Simulation of Event-B Models in JavaScript Faqing Yang,Jean-Pierre Jacquot,Jeanine Souquières The 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand Communication dans un congrès hal-00908056v1
Traduction de B événementiel en C pour la validation par la simulation Faqing Yang,Jean-Pierre Jacquot,Jeanine Souquières Approches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012, Jan 2012, Grenoble, France Communication dans un congrès hal-00650955v1
The Case for Using Simulation to Validate Event-B Specifications Faqing Yang,Jean-Pierre Jacquot,Jeanine Souquières APSEC2012 - The 19th Asia-Pacific Software Engineering Conference, The University of Hong Kong, Dec 2012, Hongkong, China. pp.85-90, ⟨10.1109/APSEC.2012.66⟩ Communication dans un congrès hal-00772812v1
Transformation Heuristics for Formal Requirements Validation by Animation Atif Mashkoor,Jean-Pierre Jacquot,Jeanine Souquières 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009, Mar 2009, York, United Kingdom Communication dans un congrès inria-00374082v1
B événementiel pour la modélisation du domaine: application au transport Atif Mashkoor,Jean-Pierre Jacquot,Jeanine Souquières Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19 Communication dans un congrès inria-00326355v2
On the Evolution of Component-based Software Isabelle Coté,Maritta Heisel,Jeanine Souquières 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩ Communication dans un congrès inria-00431436v1
Protocol Verification in a Software Component-Based Approach Inès Mouakher,Jeanine Souquières,Francis Alexandre 15th annual IEEE International Conference on the Engineering of Computer Based Systems, Mar 2008, Belfast, Ireland. 10 p Communication dans un congrès hal-00185002v1
Towards Validating a Platoon of Cristal Vehicles using CSP||B Samuel Colin,Arnaud Lanoix,Olga Kouchnarenko,Jeanine Souquières 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p Communication dans un congrès hal-00261630v1
Using CSP||B Components: Application to a Platoon of Vehicles Samuel Colin,Arnaud Lanoix,Olga Kouchnarenko,Jeanine Souquières 13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p Communication dans un congrès hal-00286431v1
Schéma de refactoring de diagrammes de classes basé sur la notion de délégation Boulbaba Ben Ammar,Mohamed Tahar Bhiri,Jeanine Souquières ERTSI (INFORSID 2008), May 2008, Fontainebleau, France. 12 p Communication dans un congrès hal-00310955v1
Quelques patrons de raffinement pour le développement de diagrammes de classes UML Boulbaba Ben Ammar,Mahamed Tahar Bhiri,Jeanine Souquières 6ème atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information, OCM-SI, couplé avec le 25ème congrès INFORSID, May 2007, Perros-Guirec, France. 12 p Communication dans un congrès hal-00182740v1
Trustworthy interface compliancy: data model adaptation using B refinement Samuel Colin,Arnaud Lanoix,Jeanine Souquières Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p Communication dans un congrès hal-00123884v2
Schémas de développement d'adaptateurs à l'aide de B Arnaud Lanoix,Samuel Colin,Jeanine Souquières Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108 Communication dans un congrès hal-00131340v1
Enhancing Dependability of Component-based Systems Arnaud Lanoix,Denis Hatebur,Maritta Heisel,Jeanine Souquières Reliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54 Communication dans un congrès hal-00123999v1
A Method for Component-Based Software and System Development Denis Hatebur,Maritta Heisel,Jeanine Souquières 32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2006, Croatia Communication dans un congrès hal-00097571v1
Component Adaptation: Specification and Verification Inès Mouakher,Arnaud Lanoix,Jeanine Souquières 11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8 Communication dans un congrès inria-00074477v1
Validation of UML scenarios using the B Prover Ninh Thuan Truong,Jeanine Souquières Third Taiwanese-French Conference on Information Technology - TFIT 2006, 2006, Nancy, France. pp.97--116 Communication dans un congrès hal-00104566v1
Checking Consistency of UML state and sequence diagrams using B Ninh Thuan Truong,Jeanine Souquières Japan-Vietnam Workshop on Software Engineering 2006 (JVSE'06), 2006, Hanoi, Vietnam Communication dans un congrès hal-00097561v1
An Operator-based Approach to Incremental Development of Conform Protocol State Machines Arnaud Lanoix,Dieu Donné Okalas Ossami,Jeanine Souquières Trustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14 Communication dans un congrès inria-00001263v1
Validation of UML static diagrams using B Ninh Thuan Truong,Jeanine Souquières 2005, pp.7 Communication dans un congrès hal-00009104v1
Consistency in UML and B multi-view specifications Dieu Donné Okalas Ossami,Jean-Pierre Jacquot,Jeanine Souquières Fifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands Communication dans un congrès hal-00009478v1
Proving Component Interoperability with B Refinement Samir Chouali,Maritta Heisel,Jeanine Souquières International Workshop on Formal Aspects of Component Software 2005 - FACS'05, 2005, Macao, China Communication dans un congrès hal-00009103v1
Une méthode pour l'élicitation des besoins : application au système de contrôle d'accès Jeanine Souquières,Maritta Heisel Approches Formelles dans l'Assistance au Développement des Logiciels - AFADl'2000, Y. Ledru, président (LSR/IMAG, Grenoble), 2000, Grenoble, France, 15 p Communication dans un congrès inria-00099084v1
Methodological Support for Requirements Elicitation and Formal Specification Maritta Heisel,Jeanine Souquières 9th International Workshop on Software Specification and Design - WSSd'98, 1998, Kyoto, Japan, 3 p Communication dans un congrès inria-00098407v1
Detecting Feature Interaction - A Heuristic Approach Maritta Heisel,Jeanine Souquières Feature Integration in Requirements Engineering - 1st FIREworks Workshop'98, 1998, Magdeburg, Germany, 19 p Communication dans un congrès inria-00098432v1
Achieving Qualities During the Development of LOTOS Specifications Thomas Lambolais,Jeanine Souquières 4th International Conference on Achieving Quality in Software - AQUIS'98, 1998, Venise, Italy, France. pp.195-206 Communication dans un congrès inria-00098733v1

Ouvrages (2)

Approches formelles pour le développement de logiciels Jeanine Souquières Lavoisier (Hermes), pp.128, 2007 Ouvrages hal-00184424v1
Approches formelles pour le développement de logiciels Jacques Julliand,Jeanine Souquières Lavoisier (Hermes), pp.142, 2006 Ouvrages hal-00184422v1

Autre publication scientifique (11)

Model for the Land Transport Domain Samuel Colin,Jean-Pierre Jacquot,Arnaud Lanoix,Atif Mashkoor,Jeanine Souquières 2008 Autre publication scientifique hal-00344882v1
A synthesis of existing approaches to specify non-functional properties Samuel Colin,Arnaud Lanoix,Atif Mashkoor,Jeanine Souquières 2008 Autre publication scientifique hal-00344883v1
Requirements for the Description of Component Assembling Samuel Colin,Jean-Pierre Jacquot,Arnaud Lanoix,Atif Mashkoor,Jeanine Souquières 2008 Autre publication scientifique hal-00344884v1
Validation technique des sous-systèmes Samuel Colin,Arnaud Lanoix,Jeanine Souquières 2008 Autre publication scientifique hal-00343549v1
Incremental development of UML specifications using operation refinements Boulbaba Ben Ammar,Mohamed Tahar Bhiri,Jeanine Souquières 2007 Autre publication scientifique hal-00182258v1
Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 Samir Chouali,Samuel Colin,Ahmed Hammad,Olga Kouchnarenko,Arnaud Lanoixet al. 2007 Autre publication scientifique hal-00181250v1
Protocol verification in a software component approach Inès Mouakher,Francis Alexandre,Jeanine Souquières 2007 Autre publication scientifique hal-00182262v1
On the Evolution of Component-based Software Isabelle Coté,Maritta Heisel,Jeanine Souquières 2007 Autre publication scientifique hal-00182741v1
Towards an incremental development of UML specifications Boulbaba Ben Ammar,Mohamed Tahar Bhiri,Jeanine Souquières 2007 Autre publication scientifique hal-00182180v1
Component-based Development using the B method Arnaud Lanoix,Jeanine Souquières 2006 Autre publication scientifique hal-00105041v1
Development of objectoriented and formal multi-view specifications Dieu Donné Okalas Ossami,Jean-Pierre Jacquot,Jeanine Souquières 2005 Autre publication scientifique hal-00013790v1

Pré-publication, Document de travail (6)

Developing Specifications by using Operators: a Process to guarantee correctness by construction Dieu Donné Okalas Ossami,Jeanine Souquières,Jean-Pierre Jacquot 2006 Pré-publication, Document de travail hal-00104266v1
A Step-by-step Process to Build Conform UML Protocol State Machines Arnaud Lanoix,Jeanine Souquières 2006 Pré-publication, Document de travail hal-00019314v1
Ensuring specification correctness by construction Dieu Donné Okalas Ossami,Jeanine Souquières,Jean-Pierre Jacquot 2006 Pré-publication, Document de travail hal-00104722v1
Test of object-based specifications using B notations Ninh Thuan Truong,Jeanine Souquières 2005 Pré-publication, Document de travail hal-00015031v1
Prise en compte des propriétés objets de réciprocité en B Ninh Thuan Truong,Jeanine Souquières 2005 Pré-publication, Document de travail hal-00009105v1
Un outil support pour prendre en compte des propriétés objets de réciprocité en B Ninh Thuan Truong,Jeanine Souquières 2005 Pré-publication, Document de travail hal-00013768v1

Rapport (7)

Domain Modeling with Event-B: An Experience with Transportation Domain Atif Mashkoor,Jean-Pierre Jacquot,Jeanine Souquières [Research Report] 2008 Rapport (rapport de recherche) inria-00326253v1
Using UML Protocol State Machines in Conformance Testing of Components Dirk Seifert,Jeanine Souquières [Research Report] 2008 Rapport (rapport de recherche) inria-00274383v1
Proving Component Interoperability with B Refinement Samir Chouali,Maritta Heisel,Jeanine Souquières [Research Report] 2005 Rapport (rapport de recherche) inria-00000171v1
Logiciels et modèles de développement Jeanine Souquières [Contrat] A00-R-021 || souquieres00c, 2000, 4 p Rapport (rapport contrat/projet) inria-00099208v1
A Method to Express Requirements and Transform them into a Formal Specification Maritta Heisel,Jeanine Souquières [Intern report] 98-R-011 || heisel98f, 1998, 13 p Rapport inria-00098558v1
Quelques éléments d'un langage de construction de spécifications Jeanine Souquières [Rapport de recherche] RR-1053, INRIA. 1989 Rapport (rapport de recherche) inria-00075506v1
Specifying with SACSO Nicole Levy,Alina Piganiol,Jeanine Souquières [Research Report] RR-0683, INRIA. 1987 Rapport (rapport de recherche) inria-00075870v1