PAMPA - publications 1998 / Publications 1998

Livres / Books

Habilitations

Thèses / PhD thesis

Chapitres de livres / Book chapters

Articles dans des revues / articles

Articles dans des conférences / In Proceedings

Rapports de recherche/ Technical Reports

Divers / Misc

Livres / Books

 J.-M. Jézéquel, C. Mingins and M. Train, "Advanced Design Patterns: An Eiffel Perspective", Addison-Wesley, décembre 1998.

Thèses / PhD thesis

Chapitres de livres / Book chapters

J.-M. Jézéquel and J.-L. Pacherie, "EPEE: A Framework for Supercompting" in Object-Oriented Application Frameworks, John Wiley & Sons, 1998

Articles dans des revues / articles

C. Jard, J.-M. Jézéquel, F. Pennaneac'h, "Vers l'utilisation d'outils de validation de protocoles dans UML", Technique et Science Informatique, Vol. 17, n° 9, sept. 1998.

 

E. Fabre, A. Aghassaryan, A. Benveniste, R. Boubour and C. Jard, "Fault detection and diagnosis in distributed systems: an approach by partially stochastic petri nets" in Journal of Discrete Events Dynamic Systems, Vol. 8, p203-231, 1998.

 

J.-M. Jézéquel, S. Lorcy, N. Plouzeau, "Un patron pour la gestion de la qualité de service d'applications réparties", L'Objet, Vol. 3, n° 6, 1998.

 

 J.-M. Jézéquel, "An Object-Oriented Framework for Data Parallelism", To be publisched in ACM Computing Surveys, dec. 1998

 

M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard,T. Jéron, A. Kerbrat, P. Morel, L. Mounier, "Verification and test generation for the SSCOP protocol", to appear in: Journal of Science of Computer Programming Special Issue on The Application of Formal Methods in Industrial Critical Systems, M. Sintzoff, J. Cuellar, S. Gnesi, D. Latella, editors.

 

T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, J.-C. Fernandez, A. Kerbrat, M. Bozga, "Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV", in: REE .

 

 

Articles dans des conférences / In Proceedings

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon, "BDL, a Language of Distributed Reactive Objects", in : ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing, 1998.

 

A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard, "A hybrid stochastic petri net approach to fault diagnosis in large distributed systems". In Mathematical Theory of Networks and Systems, MNTS'98, Padova, Italy, jul. 1998.

 

A. Benveniste, C. Jard, S. Gaubert, "Algebraic techniques for timed systems". In 9th International Conference on Concurrency Theory, Concur'98, Nice, France, sep. 1998.

 

A. Benveniste, S. Gaubert, C. Jard, "Monotone rational series and max-plus algebraic models of real-time systems". In 4th Workshop on Discrete Event Systems, Wodes'98, Cagliari, Italy, aug. 1998.

 

C. Jard, T. Jéron, H. Kahlouche, C. Viho, "Towards Automatic Distribution of Testers for Distributed Conformance Testing". In : IFIP TC6/WG6.1 Joint International Conference FORTE/PSTV'98, Formal Description Techniques (FORTE XI), Protocol Specification, Testing, and Verification (PSTV XVIII), Paris, 3-6 November, 1998.

 

C. Jard, T. Jéron, "Verification and distributed observation of the alternating bit protocol". In : Educational Case Studies In Protocols, Special session of IFIP TC6/WG6.1 Joint International Conference FORTE/PSTV'98, Formal Description Techniques (FORTE XI), Protocol Specification, Testing, and Verification (PSTV XVIII), PARIS, 3-6 November, 1998.

 

T. Jéron, J.-M. Jézéquel, A. Le Guennec, "Validation and Test Generation for Object-Oriented Distributed Software" in : IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan, April, 1998.

 

L. Hélouet, C. Jard, B. Caillaud, " Une notion effective d'équivalence pour des familles de scenarios représentées par des HMSC" in Approches Formelles dans l'Assistance au Développement de Logiciel, Afadl'98, Poitiers, France, septembre 1998.

 

J.-M. Jézéquel, "Reifying Configuration Management for Object-Oriented Software" in International Conference on Software Engineering (ICSE'20), Kyoto, Japan, April 1998.

 

S. Lorcy, N. Plouzeau, J.-M. Jézéquel, "Reifying quality of service contracts for distributed software". In 26th Conference on Technology of Object-Oriented Systems (TOOLS USA'98), Aug. 1998.

 

J.-M. Jézéquel, A. Le Guennec, F. Pennaneac'h, "Validating distributed software modelled with UML". In Proc. Int. Workshop UML98, Mulhouse, France, June 1998.

 

T. Jéron, J.-M. Jézéquel, A. Le Guennec, "Validation and test generation for Object-Oriented distributed software". In IEEE Proc. Parallel and Distributed Software Engineering (PDSE'98), Kyoto, Japan, April 1998.

 

J.-M. Jézéquel, "Object-Oriented design of real-time telecom systems". In IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'98), Kyoto, Japan, April 1998.

 

B. Caillaud, "Application des techniques de synthèse de réseaux de Petri bornés à la répartition d'automates réactifs" in Deuxième congrès sur la modélisation des systèmes réactifs (MSR'99), Cachan, France, mars 1999.

 

H. Kahlouche, C. Viho, M. Zendri, "An industrial experiment in automatic generation of executable test suites for a cache coherency protocol". In A. Petrenko and N. Yevtushenko, editors, IFIP TC6 11th International Workshop on Testing of Communicating Systems, Chapman & Hall, September 1998.

 

Z. Bouziane, "A primitive recursive algorithm for the general petri net reachability problem". In 1998 IEEE Symposium on Foundations of Computer Science (FOCS), Palo Alto, US, November 1998.

 

 

Rapports de recherche / Technical Reports

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon "BDL, a Language of Distributed Reactive Objects", research report No 1145, IRISA, France, January 1997, also published as INRIA research report No 3353.

 

L. Hélouet, C. Jard, B. Caillaud, "An effective equivalence for sets of scenarios represented by HMSCs", research report No 1205, IRISA, France, September 1998, also published as INRIA research report No 3499.

 

Z. Bouziane, "A primitive recursive algorithm for the general petri net reachability problem", technical report, IRISA, May 1998.

Divers / Misc

J.-M. Jézéquel, "Conception par objets d'applications parallèles réparties". In 6ème Forum ORAP, January 1998.

 

C. Jard, "Distribution of testers for distributed systems". In Dagstuhl seminar : Test Automation for Reactive Systems - Theory and Practice, September 1998, Invited conference.

 

C. Jard, "Spécification, vérification et génération de tests pour des protocoles atm". In Programme DSP-STTC/CNRS/MENRT, maîtrise des systèmes complexes réactifs et sûrs, Action FORMA, January 1998.

 

T. Jéron, "Tgv: principles, tool architecture and algorithms". In Dagstuhl seminar : Test Automation for Reactive Systems - Theory and Practice, September 1998, Invited conference.

 

A. Benveniste, E. Fabre, C. Jard, "Partially stochastic petri nets: a framework for fault detection and diagnosis in large distributed systems". In Ecole MOVEP sur la modélisation des processus parallèles, Nantes, July 1998. Invited conference.

1997

1996

1995

1994

1993