PAMPA - publications 1996 / Publications 1996

Cette liste est également disponible au format BibTeX
Also available in BibTeX format.
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, Object Oriented Software Engineering with Eiffel, Addison-Wesley, mars 1996, ISBN 1-201-63381-7.

Thèses / PhD thesis

Y.-M. Quemener, Vérification de protocoles à espace d'états infini représentable par une grammaire de graphes, Thèse de doctorat, IFSIC / université de Rennes I, 1996, À soutenir le 22 Novembre 1996.

Articles dans des revues / articles

B. Caillaud, P. Caspi, A. Girault, C. Jard, « Distributing automata for asynchronous networks of processors », European Journal on Automated Systems (JESA), 1997, A paraître.

F. Coelho, C. Germain, J.-L. Pazat, Spring School on Data Parallelism, LNCS 1132, Springer Verlag, 1996, ch. State of the art in compiling HPF, p. 104--133.

J.-C. Fernandez, C. Jard, T. Jéron, C. Viho, « An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology », Science of Computer Programming, 1996.

F. Guidec, J.-M. Jézéquel, J.-L. Pacherie, « An Object Oriented Framework for Supercomputing », Journal of Systems and Software Special Issue on Software Engineering for Distributed Computing, juin 1996.

C. Jard, J.-M. Jézéquel, « Building a Global Clock for Observing Computations in Distributed Memory Parallel Computers », Concurrency Practice and Experience 8, 1, janvier 1996, p. 71--89.

C. Jard, G.-V. Jourdan, « Incremental Transitive Dependency Tracking in Distributed Computations », Parallel Processing Letters 6, 2, 1996.

C. Jard, « Observation d'exécutions réparties : détection de propriétés d'ordonnancement », Technique et Science Informatique, 1997, A paraître.

M. Le Fur, « Scanning Parameterized Polyhedron Using Fourier-Motzkin Elimination », Concurrency Practice and Experience 8, 6, jul -- aug 1996, p. 445 -- 460.

J.-L. Pazat, Spring School on Data Parallelism, LNCS 1132, Springer Verlag, 1996, ch. Tools for High Performance Fortran: a survey, p. 134--158.

Articles dans des conférences / In Proceedings

A. Aghasaryan, M. Basseville, A. Benveniste, R. Boubour, E. Fabre, C. Jard, « Diagnostic dans les réseaux de télécommunications », in : Diagnostic des systèmes complexes, CNET, juin 1996. Séminaire de l'Action Scientifique du CNET.

F. André, Y. Mahéo, « CIDRE: Programming with Distributed Shared Arrays », in : Proc. 3rd International Conference on High Performance Computing, Trivandrum India, IEEE, décembre 1996.

F. André, Y. Mahéo, « CIDRE: une bibliothèque de tableaux partagés », in : Proc. Renpar'8, Bordeaux, GDR-PRC PRS, p. 5--8, mai 1996.

F. André, Y. Mahéo, « Programmation distribuée avec partage de tableaux: la bibliothèque CIDRE », in : Proc. MPR'96, Bordeaux, GDR-PRC PRS, p. 83--90, mai 1996.

C. Bareau, C. Jard, « Dynamic Analysis of Parallelized Sequential Programs using Instrumented Semantics », in : Parallel Environments for High Performance Computing, European School of Computer Science, CNRS, Grenoble, avril 1996.

R. Boubour, C. Jard, « Une approche pour des capteurs d'alarmes intelligents dans les réseaux », in : CFIP'96 : Ingénierie des Protocoles, Hermes, octobre 1996.

O. Burkart, D. Caucal, B. Steffen, « Bisimulation Collapse and the Process Taxonomy », in : CONCUR '96, LNCS 1119, Springer, p. 247--262, 1996.

O. Burkart, Y.-M. Quemener, « Model-Checking of Infinite Graphs Defined by Graph Grammars », in : INFINITY '96, MIP-9614,, Universit\"at Passau, p. 56--70, juillet 1996.

B. Caillaud, P. Caspi, A. Girault, C. Jard, « Un modèle pour la répartition d'automates réactifs sur réseau asynchrone de processeurs », in : Colloque AFCET sur la modélisation des systèmes réactifs, AFCET, Brest, mars 1996.

L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquir, N. Texier, M. Phalippou, « Assessment of automatic generation methods of conformance test suites in an industrial context », in : IFIP TC6 9th International Workshop on Testing of Communicating Systems, B. Baumgarten, H.-J. Burkhardt, A. Giessler (réd.), Chapman \& Hall, septembre 1996.

J.-C. Fernandez, C. Jard, T. Jéron, C. Viho, « Using on-the-fly verification techniques for the generation of test suites », in : Conference on Computer-Aided Verification (CAV '96), New Brunswick, New Jersey, USA, A. Alur, T. Henzinger (réd.), LNCS 1102, Springer, juillet 1996.

C. Jard, J.-M. Jézéquel, L. Nedelka, « An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols », in : Proc. of FMOODS'96, Paris, Chapman \& Hall, mars 1996.

J.-M. Jézéquel, J.-L. Pacherie, « Parallel Operators », in : ECOOP'96 proceedings, P. Cointe (réd.), 1098, Lecture Notes in Computer Science, Springer Verlag, p. 384--405, juillet 1996.

J.-M. Jézéquel, « Engineering High Performance Telecom Systems with Eiffel », in : TOOLS Europe'96, Prentice Hall, p. 67--76, février 1996.

L. Massari, Y. Mahéo, « Performance Analysis of Automatically Generated Data-Parallel Programs », in : 4th Euromicro Workshop On Parallel And Distributed Processing, IEEE Computer Society Press, p. 534--540, Braga, Portugal, janvier 1996.

J.-L. Pacherie, J.-M. Jézéquel, « Environnement pour la programmation parallèle au-dessus d'une mémoire partagée répartie », in : Journées de recherche sur la mémoire partagée répartie, MPR'96, Université de Bordeaux I, p. 75, Bordeaux, France, mai 1996.

J.-L. Pacherie, J.-M. Jézéquel, « The "Ubiquitous Agent" Design Pattern », in : Pattern Languages of Program, PLoP '96, à paraître, Champain Urbana, USA, septembre 1996.

J.-L. Pacherie, « Modèle et environnemnt de programmation parallèle par objets », in : Huitièmes rencontres francophones du parallélisme, RenPar'8, R. Castanet, J. Roman (réd.), Université de Bordeaux I, p. 9, Bordeaux, France, mai 1996.

J.-L. Pazat, « Pandore: A High Performance C Programming Environment for Educational Purpose », in : 10th Annual International Conference on High Performance Computers (HPCS), Ottawa, Canada, juin 1996.

Y.-M. Quemener, T. Jéron, « Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars », in : FORTE/PSTV '96, Chapman and Hill, octobre 1996.

Rapports de recherche / Technical Reports

F. André, « A Multi-threads Runtime for The Pandore Data-Parallel Compiler », rapport de recherche No 986, IRISA, France, février 1996.

R. Boubour, C. Jard, « Une approche pour des capteurs d'alarmes intelligents dans les réseaux », rapport de recherche No 1041, IRISA, juillet 1996, également disponible en rapport de recherche Inria no 2982.

O. Burkart, Y.-M. Quemener, « Model-Checking of Infinite Graphs Defined by Graph Grammars », rapport de recherche No 995, IRISA, mai 1996.

J.-C. Fernandez, C. Jard, T. Jéron, L. Nedelka, C. Viho, « An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology », rapport de recherche No 1035, IRISA, juin 1996, également disponible en rapport de recherche Inria no2923.

J.-C. Fernandez, C. Jard, T. Jéron, L. Nedelka, C. Viho, « Using on-the-fly verification techniques for the generation of test suites », rapport de recherche No 1036, IRISA, juillet 1996.

C. Jard, J.-M. Jezequel, L. Nedelka, « An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols », rapport de recherche No 987, IRISA, février 1996.

J.-M. Jézéquel, S. Matsuoka, N. Sato, A. Yonezawa, « An Object-Oriented Approach to Parallel Propagation Problems », rapport de recherche No 1666, The University of Tokyo, octobre 1996.

J.-M. Jézéquel, J.-L. Pacherie, « Parallel operators », rapport de recherche No 1003, IRISA, mars 1996.

Y.-M. Quemener, T. Jéron, « Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars », rapport de recherche No 994, IRISA, mars 1996.

Divers / Misc

F. André, Y. Mahéo, « CIDRE: A Distributed Shared Arrays Library », Proc of 6th Workshop on Compilers for Parallel Computers, Aachen Germany. Research center Juelich, décembre 1996.

F. André, J.-L. Pazat, « A Multi-threads Runtime for The Pandore Data-Parallel Compiler », HPCN'96, avril 1996, poster.

C. Jard, « La génération de tests pour les protocoles à l'aide de la technologie de la vérification », Colloque FORMA sur l'utilisation des méthodes formelles, Vérimag/CNRS, Grenoble, janvier 1996, Conférence invitée.

C. Jard, « Using on-the-fly verification techniques for the generation of protocol test cases », Application of formal methods to system development, Jacques Cartier Centre, Montréal, octobre 1996, Conférence invitée.

T. Jéron, « La génération de tests pour les protocoles à l'aide de la technologie de la vérification », Conférence Software Testing'96, Paris, Club Génie Logiciel SEE, juin 1996, Conférence invitée.

J.-L. Pazat, P. Launay, « Integration of control and data parallelism in an object oriented language », Proc of 6th Workshop on Compilers for Parallel Computers, Aachen Germany. Research center Juelich, décembre 1996.
$Date: 2000/07/21 13:30:45 $