Publications 1999

Books

1. C. Welty, M. Lowry, Y. Ledru. Guest Editorial - special issue on ASE'97. Automated Software Engineering, Volume 6, Kluwer Academic Publisher, Boston, MA, 1999.
2. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 2ème édition. O'Reilly, June 1999.

Academic Journals

1. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Test et approche synchrone pour la détection d'interactions de services téléphoniques. Calculateurs Parallèles, Réseaux et Systèmes répartis, 11(4):419-446, December 1999.

Book Chapters

1. D. Avrilionis, I. Robertson, P.-Y. Cunin, B. Warboys. Meta-Process. In Software Process Technology Principles, J.-C. Derniame, A. Fuggetta (eds.), Chap. 2, Wiley, 1999.

International Conferences

1. Didier Bert, Stéphane Lo Presti. Algebraic Operators and Causal Relations for Modeling Multimedia Presentations. In Proc. of the Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems, AAAI Fall Symposium Series, North Falmouth, Massachusetts, USA, 1999.
2. Yves Ledru, Marie-Laure Potet, Rémy Sanlaville. VDM modules. In Workshop VDM in Practice, at FM'99 World Congress on Formal Methods, FM'99 CD-ROM, 1999.
3. Yann Rouzaud. Interpreting the B-Method in the Refinement Calculus. In Proc. of the World Congress on Formal Methods, FM'99 (Vol. I), LNCS 1708, J. Wing, J. Woodcock, J. Davies (eds.), Pages 411-430, Toulouse, 1999.
4. L. du Bousquet, N. Zuanon. An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software. In 14th IEEE International Conference on Automated Software Engineering, Pages 208-215, October 1999.
5. L. du Bousquet. Feature Interaction Detection using Testing and Model-checking, Experience report. In World Congress on Formal Methods (FM'99), Pages 622-641, Toulouse, France, September 1999.
6. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, May 1999.

National conferences or workshops

1. J. Estublier, Y. Ledru, P.-Y. Cunin. The architecture of federations - from process to software. In Position paper for the First Working IFIP Conference on Software Architecture, San Antonio, TX, 1999.

Other communications

1. S. Dupuy. RoZ version 0.3 : an environment for the integration of UML and Z. 1999. download
2. Farid Ouabdesselam. A Survey of Testing in a Synchronous Context. World Congress on Formal Methods in the Development Computing Systems. Industrial track on testing. Invited talk, Toulouse (France), October 1999.

Thesis and habilitations

1. Eric Cheminot. Formalisation de spécifications de logiciels : traitement d'annotations en langue naturelle contrôlée. PhD Thesis INPG, Grenoble, December 1999.
2. L. du Bousquet. Test fonctionnel statistique de systèmes spécifiés en Lustre. PhD Thesis Université Joseph Fourier, Grenoble, France, September 1999.
3. Alain Cougoulic. Simulation de spécifications d'applications de gestion de réseaux de télécommunications. PhD Thesis INPG, Grenoble, June 1999.