- 39
- 16
- 4
- 3
- 2
- 1
- 1
- 1
Jeanine Souquières
67
Documents
Presentation
souquieres
Publications
- 11
- 9
- 9
- 9
- 7
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 10
- 9
- 8
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 65
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 16
- 10
- 12
- 8
- 2
- 4
- 1
- 1
|
La validation dans les premières étapes du processus de développementRevue 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⟩
Journal articles
hal-02963463v1
|
|
Développement formel par composants : assemblage et vérification à l'aide de BRevue 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⟩
Journal articles
hal-00180972v1
|
A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of VehiclesERCIM News, 2008, 75, pp.33-34
Journal articles
hal-00343183v1
|
|
Incremental development of UML specifications using operation refinementsInnovations in Systems and Software Engineering, 2008, 4, pp.259-266. ⟨10.1007/s11334-008-0056-1⟩
Journal articles
hal-00311408v1
|
|
|
Trustworthy Assembly of Components using B Refinemente-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p
Journal articles
hal-00123997v2
|
Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composantsRTSI - L'Objet, 2008, 14, pp.11--42
Journal articles
hal-00343182v1
|
|
Modélisation événementielle pour la construction de diagrammes de classesRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (3), pp.131-155
Journal articles
hal-00310954v1
|
|
|
Verification of UML Model Elements Using BJournal of Information Science and Engineering, 2006, 22, pp.357-373
Journal articles
hal-00097566v1
|
Proving Component Interoperability with B RefinementElectronic Notes in Theoretical Computer Science, 2006, 160, pp.157-172
Journal articles
hal-00097553v1
|
|
Formalization of Requirements for Correct SystemsFormal 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
Conference papers
hal-02963472v1
|
|
Bridging the Gap Between Requirements Document and Formal Specifications using Development PatternsIEEE 27th International Requirements Engineering Conference Workshops (REW), Sep 2019, Jeju Island, South Korea. ⟨10.1109/REW.2019.00026⟩
Conference papers
hal-02962897v1
|
|
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation16th 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⟩
Conference papers
hal-01853610v1
|
|
Du cahier des charges à sa spécificationAFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Conference papers
hal-02963455v1
|
|
La Validation dans le Processus de Développement34ème Congrès INFORSID, May 2016, Grenoble, France
Conference papers
hal-01302223v1
|
|
Proving the Fidelity of Simulations of Event-B ModelsThe 15th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2014, Miami, United States
Conference papers
hal-00908066v1
|
|
JeB: Safe Simulation of Event-B Models in JavaScriptThe 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand
Conference papers
hal-00908056v1
|
|
The Case for Using Simulation to Validate Event-B SpecificationsAPSEC2012 - The 19th Asia-Pacific Software Engineering Conference, The University of Hong Kong, Dec 2012, Hongkong, China. pp.85-90, ⟨10.1109/APSEC.2012.66⟩
Conference papers
hal-00772812v1
|
|
Traduction de B événementiel en C pour la validation par la simulationApproches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012, Jan 2012, Grenoble, France
Conference papers
hal-00650955v1
|
|
On the Evolution of Component-based Software4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩
Conference papers
inria-00431436v1
|
|
B événementiel pour la modélisation du domaine: application au transportApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19
Conference papers
inria-00326355v2
|
|
Transformation Heuristics for Formal Requirements Validation by Animation2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009, Mar 2009, York, United Kingdom
Conference papers
inria-00374082v1
|
|
Using CSP||B Components: Application to a Platoon of Vehicles13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p
Conference papers
hal-00286431v1
|
|
Towards Validating a Platoon of Cristal Vehicles using CSP||B12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Conference papers
hal-00261630v1
|
Protocol Verification in a Software Component-Based Approach15th annual IEEE International Conference on the Engineering of Computer Based Systems, Mar 2008, Belfast, Ireland. 10 p
Conference papers
hal-00185002v1
|
|
|
Schéma de refactoring de diagrammes de classes basé sur la notion de délégationERTSI (INFORSID 2008), May 2008, Fontainebleau, France. 12 p
Conference papers
hal-00310955v1
|
|
Enhancing Dependability of Component-based SystemsReliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54
Conference papers
hal-00123999v1
|
|
Trustworthy interface compliancy: data model adaptation using B refinementFormal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p
Conference papers
hal-00123884v2
|
|
Schémas de développement d'adaptateurs à l'aide de BApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108
Conference papers
hal-00131340v1
|
|
Quelques patrons de raffinement pour le développement de diagrammes de classes UML6è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
Conference papers
hal-00182740v1
|
|
An Operator-based Approach to Incremental Development of Conform Protocol State MachinesTrustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Conference papers
inria-00001263v1
|
Checking Consistency of UML state and sequence diagrams using BJapan-Vietnam Workshop on Software Engineering 2006 (JVSE'06), 2006, Hanoi, Vietnam
Conference papers
hal-00097561v1
|
|
|
A Method for Component-Based Software and System Development32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2006, Croatia
Conference papers
hal-00097571v1
|
|
Component Adaptation: Specification and Verification11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8
Conference papers
inria-00074477v1
|
|
Validation of UML scenarios using the B ProverThird Taiwanese-French Conference on Information Technology - TFIT 2006, 2006, Nancy, France. pp.97--116
Conference papers
hal-00104566v1
|
Proving Component Interoperability with B RefinementInternational Workshop on Formal Aspects of Component Software 2005 - FACS'05, 2005, Macao, China
Conference papers
hal-00009103v1
|
|
|
Consistency in UML and B multi-view specificationsFifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands
Conference papers
hal-00009478v1
|
Validation of UML static diagrams using B2005, pp.7
Conference papers
hal-00009104v1
|
|
Une méthode pour l'élicitation des besoins : application au système de contrôle d'accèsApproches Formelles dans l'Assistance au Développement des Logiciels - AFADl'2000, Y. Ledru, président (LSR/IMAG, Grenoble), 2000, Grenoble, France, 15 p
Conference papers
inria-00099084v1
|
|
|
Achieving Qualities During the Development of LOTOS Specifications4th International Conference on Achieving Quality in Software - AQUIS'98, 1998, Venise, Italy, France. pp.195-206
Conference papers
inria-00098733v1
|
Detecting Feature Interaction - A Heuristic ApproachFeature Integration in Requirements Engineering - 1st FIREworks Workshop'98, 1998, Magdeburg, Germany, 19 p
Conference papers
inria-00098432v1
|
|
Methodological Support for Requirements Elicitation and Formal Specification9th International Workshop on Software Specification and Design - WSSd'98, 1998, Kyoto, Japan, 3 p
Conference papers
inria-00098407v1
|
Approches formelles pour le développement de logicielsLavoisier (Hermes), pp.128, 2007
Books
hal-00184424v1
|
|
Approches formelles pour le développement de logicielsLavoisier (Hermes), pp.142, 2006
Books
hal-00184422v1
|
|
A Step-by-step Process to Build Conform UML Protocol State Machines2006
Preprints, Working Papers, ...
hal-00019314v1
|
|
Developing Specifications by using Operators: a Process to guarantee correctness by construction2006
Preprints, Working Papers, ...
hal-00104266v1
|
|
Ensuring specification correctness by construction2006
Preprints, Working Papers, ...
hal-00104722v1
|
Un outil support pour prendre en compte des propriétés objets de réciprocité en B2005
Preprints, Working Papers, ...
hal-00013768v1
|
|
Prise en compte des propriétés objets de réciprocité en B2005
Preprints, Working Papers, ...
hal-00009105v1
|
|
|
Test of object-based specifications using B notations2005
Preprints, Working Papers, ...
hal-00015031v1
|
|
Using UML Protocol State Machines in Conformance Testing of Components[Research Report] 2008
Reports
inria-00274383v1
|
|
Domain Modeling with Event-B: An Experience with Transportation Domain[Research Report] 2008
Reports
inria-00326253v1
|
|
Proving Component Interoperability with B Refinement[Research Report] 2005
Reports
inria-00000171v1
|
Logiciels et modèles de développement[Contrat] A00-R-021 || souquieres00c, 2000, 4 p
Reports
inria-00099208v1
|
|
A Method to Express Requirements and Transform them into a Formal Specification[Intern report] 98-R-011 || heisel98f, 1998, 13 p
Reports
inria-00098558v1
|
|
|
Quelques éléments d'un langage de construction de spécifications[Rapport de recherche] RR-1053, INRIA. 1989
Reports
inria-00075506v1
|
|
Specifying with SACSO[Research Report] RR-0683, INRIA. 1987
Reports
inria-00075870v1
|