Publications 2002

Books

1. Y. Ledru, D. Redmiles. Report on the Workshop on State of the Art in Automated Software Engineering. 17th International Conference on Automated Software Engineering, IEEE Computer Society Press, Edinburgh, UK, 2002.
2. B. Marre, F. Ouabdesselam. Numéro spécial - Test de logiciel. Volume 21(9), Technique et Science Informatiques, 2002.
3. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 3ème édition. O'Reilly, March 2002.
4. D. Bert, J. P. Bowen, M. C. Henson, K. Robinson. ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of Z and B Users. LNCS 2272, Springer, Grenoble, France, January 2002.

Academic Journals

1. I. Parissis. Test de spécifications de logiciels synchrones. Technique et Science Informatiques, 21(9):1243-1264, 2002.
2. Stéphane Lo Presti, Didier Bert, Andrzej Duda. TAO: Temporal Algebraic Operators for modeling multimedia presentations. Journal of Network and Computer Applications, 25(4):319-342, October 2002.

Book Chapters

1. J. Estublier, J.-M. Favre, R. Sanlaville. An Industrial Experience with Dassault Systèmes' Component Model. In Building Reliable Component-Based Software Systems, Ivica Crnkovic, Magnus Larsson (eds.), pp. 375-386, Artech House Publishers, July 2002.

International Conferences

1. O. Maury, Y. Ledru, P. Bontron, L. du Bousquet. Using TOBIAS for the automatic generation of VDM test cases. In Third VDM Workshop (in conjunction with FME2002), 15 pages, Copenhagen, Danemark, 2002.
2. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. In Integrated Formal Methods (IFM 2002), Pages 360-379, Turku, May 2002.

Other communications

1. Y. Ledru. Panel on Future Research Directions in Automated Software Engineering. 17th International Conference on Automated Software Engineering, Edinburgh, UK, 2002.
2. Y. Ledru. The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges (position paper). Workshop on the State of the Art in Automated Software Engineering, ICS Technical Report UCI-ICS-02-17, 2002.
3. H. Martin, F. Combret, L. du Bousquet, P. Bontron, O. Maury. Toward testing automation. Gemplus Developer Conference, Singapore, 2002.

Thesis and habilitations

1. Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. Habilitation à diriger des recherches INPG, Grenoble, France, December 2002. download
2. Stéphane Lo Presti. Langage de spécification et de description de présentations multimédias. PhD Thesis INPG, Grenoble, France, November 2002.
3. Rémy Sanlaville. Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes. PhD Thesis Université Joseph Fourier, Grenoble, France, May 2002.