Publications 2003

Books

1. Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge. Méthode B. Volume 22(1), Technique et Science Informatiques, RSTI série TSI, Hermès-Lavoisier, 2003.
2. Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden. ZB 2003: Formal Specification and Development in Z and B, 3rd International Conference of Z and B Users. LNCS 2651, Springer, Turku, Finland, June 2003.

Academic Journals

1. Marie-Laure Potet. Spécifications et développements structurés dans la méthode B. Technique et Science Informatiques, RSTI série TSI, 22(1):61-88, 2003.
2. Y. Le Traon, F. Ouabdesselam, C. Robach, B. Baudry. From Diagnosis to Diagnosability: Axomatisation, Measurement and Application. Journal of Systems and Software, 65(1):33-50, January 2003.

International Conferences

1. I. Parissis, J. Vassy. Thoroughness of Specification-Based Testing of Synchronous Programs. In 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), Pages 191-202, Denver, Colorado, November 2003.
2. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin. Adaptable Translator of B Specifications to Embedded C Programs. In FME 2003: Formal Methods, Pages 94-113, Pise, September 2003.
3. F. Ouabdesselam. Black-box Testing of Reactive Synchronous Software. In Worshop on Testing Real-Time and Embedded Systems, FME 2003, Invited Talk, Pise, September 2003.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Testing about some eventuality properties of synchronous software: a case study. In Synchronous Languages, Applications, and Programming (SLAP'03), Pages 105-121, July 2003.
5. K. Berkani, R. Cave, S. Coudert, F. Klay, P. Le Gall, F. Ouabdesselam, J.-L. Richier. An Environment for Interactive Service Specification. In 7th International Workshop on Feature Interactions in Telecommunication and Software Systems (FIW'03), Pages 25-41, Ottawa, June 2003.
6. Frédéric Badeau, Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. Traduction de B vers des langages de programmation : points de vue du projet BOM. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 87-102, IRISA, Rennes, January 2003.
7. Pierre Bontron, Marie-Laure Potet. Stratégies de couvertures de tests à haut niveau d'abstraction. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 173-188, IRISA, Rennes, January 2003.

National conferences or workshops

1. O. Maury, Y. Ledru, L. du Bousquet. Intégration de TOBIAS et UCASTING pour la génération. In 16th International Conference Software and Systems and their applications-ICSSEA, 7 pages, Paris, 2003.
2. Y. Ledru, S. Dupuy. Expressing dynamic properties of static diagrams in Z. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 19-34, IRISA, Rennes, January 2003.

Research Reports

1. D. Duval, C. Lair, C. Oriat, J.C. Reynaud. A zooming process for specifications with an application to exceptions. RR IMAG-LMC, No 1055, 2003.

Other communications

1. L. du du Bousquet, J.-L. Lanet, H. Martin. Enhancing Java Card applet validation process: a methodology and its associated tools. e-SMART, Sophia Antipolis, France, 2003.
2. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, J. Vassy, N. Zuanon. Black-box testing of reactive synchronous software. SoftTest: UK Testing Research II, September 2003.
3. Y. Ledru, S. Dupuy. RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, IRISA, Rennes, January 2003.
4. Y. Ledru. RoZ, un outil intégrant UML et Z pour la modélisation des systèmes d'information. Journée QSL (Qualité et Sureté du Logiciel), Nancy, 2003.