Publications 1998

Books

1. Didier Bert. Proceedings of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method. Lecture Notes in Computer Science, No 1393, Springer-Verlag, 1998.
2. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique. O'Reilly, March 1998.

International Conferences

1. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess : a testing environment for synchronous software. In Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98), Pages 48-61, Malente, Germany, 1998.
2. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In 11th Int. Conf. of Z Users-ZUM'98, Lecture Notes in Computer Science, Volume 1493, Berlin, Germany, 1998.
3. Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393, D. Bert (ed.), Pages 46-65, 1998.
4. Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393, D. Bert (ed.), Pages 46-65, 1998.
5. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 222-230, Paderborn, Germany, November 1998.
6. Y. Le Traon, F. Ouabdesselam, C. Robach. Software Diagnosability. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 257-266, Paderborn, Germany, November 1998.
7. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Incremental feature validation : a synchronous point of view. In Feature Interactions in Telecommunication Systems V (FIW'98), Pages 262-275, Lund, Suède, October 1998.
8. Y. Ledru. Identifying pre-conditions with the Z/EVES theorem prover. In Proceedings of the 13th International Conference on Automated Software Engineering, Honolulu, October 1998.
9. C. Saint-Marcel, S. Dupuy, A. Front. The Invoicing System in UML. In International workshop on Comparing Systems Specification Techniques. What questions are prompted by ones particular method of specification?, M. Allemand, C. Attiogbe, H. Habrias (eds.), ISDN : 2-906082-29-5, Nantes, France, March 1998.

National conferences or workshops

1. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess: a validation tool for synchronous software. In International Workshop Tool Support for System Specification, Development and Verification, Malente, Allemagne, 1998.
2. Yves Ledru, Catherine Oriat, Marie-Laure Potet. Le raffinement vu comme primitive de spécification - une comparaison de VDM, B et Specware. In Actes de l'Atelier AFADL'98, N. Lévy (ed.), Pages 63-76, LISI/ENSMA, Futuroscope, Poitiers, France, September 1998.
3. Y. Ledru, R. Sanlaville. Description d'architecture logicielle par connexion de machines abstraites. In 2ème atelier AFADL, Poitiers, September 1998.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Telecommunication software validation using a synchronous approach. In First IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), Article court, Dallas, USA, March 1998.
5. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Environnement pour le test d'applications synchrones. In 2ème Congrès sur la Modélisation des systèmes réactifs, Pages 51-60, Cachan, France, March 1998.

Other communications

1. Farid Ouabdesselam. Testing Techniques for Synchronous Software. Dagsthul Seminar Report 223, September 1998.