Publications 1995

Thèses et habilitations à diriger les recherches

1. Anamaria Martins. La généralisation : un outil pour la réutilisation. Thèse de l'INPG, Grenoble, France, 1995.

Articles de journaux

1. Didier Bert, Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Jean-Claude Reynaud. Spécification, Généricité, Prototypage : Aspects du langage LPG. Technique et Science Informatiques, 14(9):1097-1129, 1995.

Conférences internationales

1. Denis Avrilionis, Pierre-Yves Cunin. Using Views to Maintain Petri-net-based Process Models. In Proceedings of the International Conference on Software Maintenance, Gianluigi Caldiera, Keith Bennett (eds.), Pages 318-326, 1995.
2. Denis Avrilionis. Support for Process Instance Evolution. In 2nd Doctoral Consortium, 7th International Conference on Advanced Information Systems Engineering CAiSE'95, 1995.
3. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. In Proc. of the International Symposium on Logic Programming, ILPS-95, J. Lloyd (ed.), Pages 162-176, Portland, Oregon (USA), 1995.
4. Didier Bert, Catherine Oriat. A model inference system for generic specification with application to code sharing. In Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering, LNCS, Volume 915, Pages 741-755, 1995.
5. Didier Bert, Rachid Echahed. On the operational semantics of the algebraic and logic language LPG. In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers, LNCS, Volume 906, Pages 132-152, 1995.
6. Ahmed Bouajjani, Rachid Echahed, Peter Habermehl. Verifying infinite state process with sequential and parallel composition. In Proc. of the 22nd ACM Symposium on POPL, Pages 95-106, San Francisco, California, 1995.
7. Ahmed Bouajjani, Peter Habermehl, Rachid Echahed. On the verification problem of nonregular properties for nonregular processes. In Proc. of the 10th IEEE Symposium on Logic in Computer Science, LICS, San Diego, California, 1995.
8. Y. Ledru. Specification and animation of a bank transfer. In Proceedings of the 10th Knowledge-Based Software Engineering Conference, Pages 192-199, Boston, MA, 1995.
9. Y. Ledru, Y. Chiaramella. Integrating and Teaching ZSP and Z. In Proceedings of ``Z twenty years on - what is its future?'', H. Habrias (ed.), Nantes, 1995.
10. Catherine Oriat. Detecting isomorphisms of modular specifications with diagrams. In Proc. of AMAST-95, 4th Int. Conf. on Algebraic Methodology and Software technology, Montréal, LNCS, Volume 936, Pages 184-198, 1995.
11. F. Ouabdesselam, I. Parissis. Testing Techniques for Data-Flow Synchronous Programs. In 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, 1995.
12. F. Ouabdesselam, I. Parissis. Constructing Operational Profiles for Synchronous Critical Software. In 6th International Symposium on Software Reliability Engineering, Toulouse, France, 1995.

Communications avec actes

1. Denis Avrilionis, Pierre-Yves Cunin. Evolution Handling in PSEEs. In Le Génie Logiciel et ses Applications, Pages 569-580, 1995.

Rapports de recherche

1. D. Avrilionis, P.Y. Cunin. The compatibility problem of process evolution and process model evolution. Rapport de recherche IMAG - Laboratoire de Génie Informatique, 1995.
2. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. Rapport de recherche IMAG-LGI, 1995.
3. Didier Bert, Rachid Echahed. Multiparadigm logic programming: the case of the language LPG. Rapport de recherche IMAG-LGI, 1995.
4. Y. Ledru. An introduction to Z and formal methods. Rapport de recherche Université Joseph Fourier - UFR Informatique et Mathématiques Appliquées, 1995.

Autres communications

1. Y. Ledru. Proof-based development of specifications with KIDS/VDM. Séminaire du Département d'Informatique, Ecole Polytechnique de Lausanne, Suisse, 1995.
2. Y. Ledru. Développement prouvé de prototypes de spécifications avec KIDS/VDM. Journée groupe ADER, Paris, 1995.
3. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 95, Grenoble, 1995.
4. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 96, Bordeaux, 1995.