Accéder directement au contenu

Jeanine Souquières

67
Documents

Présentation

souquieres

Publications

Image document

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
Image document

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
Image document

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 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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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

Validation of UML static diagrams using B

Ninh Thuan Truong , Jeanine Souquières
2005, pp.7
Communication dans un congrès hal-00009104v1

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
Image document

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

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

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 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 Lanoix
2007
Autre publication scientifique hal-00181250v1

Incremental development of UML specifications using operation refinements

Boulbaba Ben Ammar , Mohamed Tahar Bhiri , Jeanine Souquières
2007
Autre publication scientifique hal-00182258v1

Protocol verification in a software component approach

Inès Mouakher , Francis Alexandre , Jeanine Souquières
2007
Autre publication scientifique hal-00182262v1
Image document

Towards an incremental development of UML specifications

Boulbaba Ben Ammar , Mohamed Tahar Bhiri , Jeanine Souquières
2007
Autre publication scientifique hal-00182180v1

On the Evolution of Component-based Software

Isabelle Coté , Maritta Heisel , Jeanine Souquières
2007
Autre publication scientifique hal-00182741v1
Image document

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