Publications 2001

Books

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.

Academic Journals

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, September 2001.

Book Chapters

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.

International Conferences

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, November 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, November 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, October 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, March 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, March 2001.

National conferences or workshops

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, November 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, June 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, June 2001.

Other communications

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