Jeanine Souquières
Présentation
Publications
Publications
|
|
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⟩ |
|
|
Trustworthy Assembly of Components using B Refinemente-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p |
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 |
|
Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composantsRTSI - L'Objet, 2008, 14, pp.11--42 |
|
|
|
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⟩ |
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 |
|
Incremental development of UML specifications using operation refinementsInnovations in Systems and Software Engineering, 2008, 4, pp.259-266. ⟨10.1007/s11334-008-0056-1⟩ |
|
Proving Component Interoperability with B RefinementElectronic Notes in Theoretical Computer Science, 2006, 160, pp.157-172 |
|
|
|
Verification of UML Model Elements Using BJournal of Information Science and Engineering, 2006, 22, pp.357-373 |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Du cahier des charges à sa spécificationAFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France |
|
|
La Validation dans le Processus de Développement34ème Congrès INFORSID, May 2016, Grenoble, France |
|
|
Proving the Fidelity of Simulations of Event-B ModelsThe 15th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2014, Miami, United States |
|
|
JeB: Safe Simulation of Event-B Models in JavaScriptThe 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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 |
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 |
|
|
|
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 |
|
|
Schéma de refactoring de diagrammes de classes basé sur la notion de délégationERTSI (INFORSID 2008), May 2008, Fontainebleau, France. 12 p |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
Enhancing Dependability of Component-based SystemsReliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54 |
|
|
Validation of UML scenarios using the B ProverThird Taiwanese-French Conference on Information Technology - TFIT 2006, 2006, Nancy, France. pp.97--116 |
|
|
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 |
|
|
A Method for Component-Based Software and System Development32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2006, Croatia |
|
|
An Operator-based Approach to Incremental Development of Conform Protocol State MachinesTrustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14 |
Checking Consistency of UML state and sequence diagrams using BJapan-Vietnam Workshop on Software Engineering 2006 (JVSE'06), 2006, Hanoi, Vietnam |
|
|
|
Consistency in UML and B multi-view specificationsFifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands |
Validation of UML static diagrams using B2005, pp.7 |
|
Proving Component Interoperability with B RefinementInternational Workshop on Formal Aspects of Component Software 2005 - FACS'05, 2005, Macao, China |
|
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 |
|
Detecting Feature Interaction - A Heuristic ApproachFeature Integration in Requirements Engineering - 1st FIREworks Workshop'98, 1998, Magdeburg, Germany, 19 p |
|
Methodological Support for Requirements Elicitation and Formal Specification9th International Workshop on Software Specification and Design - WSSd'98, 1998, Kyoto, Japan, 3 p |
|
|
|
Achieving Qualities During the Development of LOTOS Specifications4th International Conference on Achieving Quality in Software - AQUIS'98, 1998, Venise, Italy, France. pp.195-206 |
Approches formelles pour le développement de logicielsLavoisier (Hermes), pp.128, 2007 |
|
Approches formelles pour le développement de logicielsLavoisier (Hermes), pp.142, 2006 |
|
|
Developing Specifications by using Operators: a Process to guarantee correctness by construction2006 |
|
|
A Step-by-step Process to Build Conform UML Protocol State Machines2006 |
|
|
Ensuring specification correctness by construction2006 |
|
|
Test of object-based specifications using B notations2005 |
Prise en compte des propriétés objets de réciprocité en B2005 |
|
Un outil support pour prendre en compte des propriétés objets de réciprocité en B2005 |
|
|
Domain Modeling with Event-B: An Experience with Transportation Domain[Research Report] 2008 |
|
|
Using UML Protocol State Machines in Conformance Testing of Components[Research Report] 2008 |
|
|
Proving Component Interoperability with B Refinement[Research Report] 2005 |
Logiciels et modèles de développement[Contrat] A00-R-021 || souquieres00c, 2000, 4 p |
|
A Method to Express Requirements and Transform them into a Formal Specification[Intern report] 98-R-011 || heisel98f, 1998, 13 p |
|
|
|
Quelques éléments d'un langage de construction de spécifications[Rapport de recherche] RR-1053, INRIA. 1989 |
|
|
Specifying with SACSO[Research Report] RR-0683, INRIA. 1987 |