Publications 2001

Ouvrages

1. Y. Ledru, M.-L. Potet. Numéro spécial - Approches formelles pour l'aide au développement de logiciels. Volume 20(7), Technique et Science Informatiques, 2001.

Articles de journaux

1. D. Bert. Spécification algébrique et prototypage du ``contrôle d'accès'' en LPG. Technique et Science Informatiques, 20(7):849-873, 2001.
2. F. Duclos, J. Estublier, R. Sanlaville. Architectures Ouvertes pour l'Adaptation des Logiciels. Revue Génie Logiciel, 58:19-25, Septembre 2001.

Chapitres de livres

1. Marie-Laure Potet. Composition des machines et des raffinements. In Spécification formelle avec B, Henri Habrias (ed.), pp. 301-332, Hermes-Lavoisier, Science Publications, 2001.

Conférences internationales

1. S. Boulmé, G. Hamon. Certifying synchrony for free. In Logic for Programming and Reasonning, LPAR'01, Pages 495-506, 2001.
2. L. du Bousquet, H. Martin, J.-M. Jézéquel. Conformance Testing from UML specifications, Experience Report. In p-UML workshop, Gesellschaft für Informatik (GI) für Informatik (GI) (ed.), Volume P-7, Pages 43-56, Toronto, Canada, 2001.
3. L. du Bousquet. An Approach to Evaluate Testability. In 2nd Int. Workshop on Automated Program Analysis, Testing, and Verification (WAPATAV), 4 pages, Toronto, Canada, 2001.
4. Y. Ledru, S. Dupuy. From UML to Z, a support for requirements engineering with RoZ. In Formal Methods Europe 2001, Tutorial, 2001.
5. R. Sanlaville, J.-M. Favre, Y. Ledru. Helping Various Stakeholders to Understand a Very Large Component-Based Software. In Euromicro Workshop on Component-Based Software Engineering, Pages 104-113, Warsaw, 2001.
6. Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, M.-L. Potet. Test purposes: adapting the notion of specification to testing. In Proceedings of the 16th International Conference on Automated Software Engineering, Pages 127-134, San Diego, Novembre 2001.
7. I. Parissis, J. Vassy. Strategies for Automated Specification-based Testing of Synchronous Software. In 16th IEEE International Conference on Automated Software Engineering, Pages 364-367, San Diego, USA, Novembre 2001.
8. J.-M. Favre, H. Cervantes, F. Duclos, R. Sanlaville, J. Estublier. Issues in Reengineering the Architecture of Component-Based Software. In SWARM forum (Software Architecture Recovery and Modeling) at WCRE'2001 (Working Conference on Reverse Engineering), Pages 36-41, Stuttgart, Germany, Octobre 2001.
9. J.-M. Favre, F. Duclos, J. Estublier, R. Sanlaville, J.-J. Auffret. Describing and Supporting an Industrial Software Component Model. In Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001), Pages 95-104, Lisbon, Portugal, Mars 2001.
10. F. Ouabdesselam. Approaches and Tools for Synchronous System Testing. In Workshop on Formal design of Safety Critical Embedded Systems (FEMSYS), Invited Talk, Munich, Germany, Mars 2001.

Communications avec actes

1. P. Bontron, O. Maury, L. du Bousquet, Y. Ledru, C. Oriat, M.-L. Potet. TOBIAS : un environnement pour la création d'objectifs de test à partir de schémas de test. In 14th International Conference Software & Systems Engineering and their Applications - ICSSEA'2001, 7 pages, Paris, France, 2001.
2. I. Parissis, J. Vassy. Test des propriétés de sûreté. In Actes du colloque Modélisation de Systèmes Réactifs (MSR'01), Pages 563-578, 2001.
3. S. Lo Presti, D. Bert, A. Duda. Composition d'objets multimédia à base d'opérateurs. In 7èmes Journées d'études et d'échanges COmpression et REprésentation des Signaux Audiovisuels (CORESA), Dijon, Novembre 2001.
4. D. Bert. Preuve de propriétés d'équité en B : étude du protocole du bus SCSI-3. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 221-241, LORIA, Nancy, Juin 2001.
5. Y. Ledru, O. Maury, C. Oriat. Invariants de liaison pour la cohérence de vues statiques et dynamiques en UML. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 23-38, LORIA, Nancy, Juin 2001.

Autres communications

1. Y. Ledru. Introduction à la journée ``Architecture Logicielle''. Club SEE ``Systèmes Informatiques de Confiance'', Paris, 2001.