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

Livres / Books

C. Jard, P. Rolin (réd.), CFIP'95 : Ingénierie des Protocoles, Hermes, 1995.

J.-M. Jézéquel, Object Oriented Software Engineering with Eiffel, Addison--Wesley, novembre 1995, À paraître, ISBN 1-201-63381-7.

Habilitations à diriger des recherches

C. Jard, Contribution à la vérification dynamique des protocoles, habilitation à diriger des recherches, Université de Rennes 1, décembre 1994.

Thèses / PhD thesis

C. Bareau, Distribution automatique de programmes séquentiels : étude structurelle et expérimentale, thèse de doctorat, IFSIC/Université de Rennes I, juillet 1995.

F. Guidec, Un cadre conceptuel pour la programmation par objets des architectures parallèles distribuées : application à l'algèbre linéaire, thèse de doctorat, IFSIC / Université de Rennes 1, juin 1995.

G.-V. Jourdan, L'analyse d'exécutions réparties en utilisant la théorie de l'ordre, Thèse de doctorat, IFSIC / Université de Rennes 1, octobre 1995.

M. Le Fur, Compilation de boucles dirigée par la distribution des données, thèse de doctorat, IFSIC / Université de Rennes I, juillet 1995.

Y. Mahéo, Environnement pour la compilation dirigée par les données : supports d'exécution et expérimentations, thèse de doctorat, IFSIC / Université de Rennes I, juillet 1995.

Articles dans des revues / articles

E. Fromentin, C. Jard, G.-V. Jourdan, M. Raynal, " On-the-fly Analysis of Distributed Computations ", Information Processing Letters, 54, 1995, p. 267--274.

F. Guidec, Y. Mahéo, " POM : une machine virtuelle parallèle incorporant des mécanismes d'observation ", Calculateurs Parallèles 7, 2, 1995, Numéro spécial consacré aux environnements d'exécution de programmes parallèles.

C. Jard, J.-M. Jézéquel, " Building a Global Clock for Observing Computations in Distributed Memory Parallel Computers ", Concurrency Practice and Experience, 1995, À paraître.

C. Jard, G.-V. Jourdan, J. Rampon, " On-line Computations of the Ideal Lattice of Posets ", Theoretical Informatics and Applications, RAIRO/ITA 29, 3, 1995, p. 227--244.

C. Jard, G.-V. Jourdan, " Incremental Transitive Dependency Tracking in Distributed Computations ", Parallel Processing Letters, 1995, À paraître.

J.-M. Jézéquel, F. Guidec, F. Hamelin, " Parallelizing Object Oriented Software Through the Reuse of Parallel Components ", Object-Oriented Systems 1, 1994, p. 149--170.

J.-M. Jézéquel, " Parallélisation d'un routeur XTP ", Revue Electronique sur les Réseaux et l'Informatique Répartie , 1, avril 1995, p. 49--62.

J.-M. Jézéquel, " Services de transfert de données sur machines parallèles ", Annales des Telecoms À para\itre, décembre 1995.

G.-V. Jourdan, J.-X. Rampon, C. Jard, " Computing On-line the Lattice of Maximal Antichains of Posets ", Order, 11, décembre 1994, p. 197--210.

D. Kratsch, J.-X. Rampon, " A Counterexample About Poset Reconstruction ", Order, 11, 1994, p. 95--96.

D. Kratsch, J.-X. Rampon, " Towards the Reconstruction of Posets ", Order, 11, 1994, p. 317--341.

Articles dans des conférences / In Proceedings

F. André, P. Brezany, O. Chéron, W. Denissen, J.-L. Pazat, K. Sanjari, " A New Compiler Technology for Handling HPF Data Parallel Constructs ", in : Third Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers, Troy, NY, mai 1995.

F. André, M. Le Fur, F. Mahéo, J.-L. Pazat, " The Pandore Data Parallel Compiler and its Portable Runtime ", in : The International Conference and Exhibition on High-Performance Computing and Networking, LNCS 919, Springer Verlag, p. 176--183, Milan, Italie, mai 1995.

F. André, M. Le Fur, Y. Mahéo, J.-L. Pazat, " Parallelization of a Wave Propagation Application using a Data Parallel Compiler ", in : 9' International Parallel Processing Symposium, Santa Barbara, Cal, avril 1995.

P. Baldy, M. Morvan, " Height preserving minimal interval extensions. ", in : 7th Formal Power Series and Algebraic Combinatorics, B. L. et J.Y. Thibon (réd.), Marne-la-Vallée, France, mai 1995.

P. Baldy, " Transitive Closure in Linear Time for some more Classes of Partial Orders ", in : 4th Twente Workshop on Graph and Combinatorial Optimization, Enschede, Pays-Bas, juin 1995.

C. Bareau, B. Caillaud, C. Jard, R. Thoraval, " Measuring Concurrency of Regular Distributed Computations ", in : TAPSOFT'95, Theory and Practice of Software Development, LNCS 915, Springer Verlag, p. 711--725, Aarhus, mai 1995.

V. Bouchitté, A. Hilali, R. Jégou, J.-X. Rampon, " Contiguity Orders ", in : 8th Franco-Japanese - 4th Franco-Chinese, Conference on Combinatorics and Computer Science, Brest, France, juillet 1995.

P. Brezany, O. Chéron, K. Sanjari, E. van Konijnenburg, " Efficient Translation of Irregular Code by the PREPARE HPF Compiler ", in : 5th Workshop on Compilers for Parallel Computers, p. 225--232, Malaga, Espagne, mai 1995.

P. Brezany, O. Chéron, K. Sanjari, E. van Kronijnenburg, " Processing Irregular Codes Containing Arrays with Multidimensional Distributions by the PREPARE HPF Compiler ", in : The International Conference and Exhibition on High-Performance Computing and Networking, LNCS 919, Springer Verlag, p. 526--531, Milan, Italie, mai 1995.

E. Fromentin, C. Jard, G. Jourdan, R. Raynal, " Recognition of Patterns on Control Flows for Debugging Distributed Executions ", in : Proc. of the 2nd International Workshop on Automated and Algorithmic Debugging (AADEBUG'95), M. Ducassé (réd.), Université de Rennes, St Malo, France, mai 1995.

F. Guidec, J.-M. Jézéquel, " Polymorphic Matrices in Paladin ", in : Invited Paper at the Workshop on Object-Based Parallel and Distributed Computation (OBPDC'95), Springer-Verlag, LNCS, to be published, Tokyo, juin 1995.

F. Guidec, Y. Mahéo, " POM: a Parallel Observable Machine ", in : Parallel Computing (PARCO), Gent, Belgique, septembre 1995. À paraître.

F. Guidec, Y. Mahéo, " POM: a Virtual Parallel Machine Featuring Observation Mechanisms ", in : International Conference on High Performance Computing, New Delhi, Inde, décembre 1995.

F. Guidec, " Object-Oriented Parallel Software Components for Supercomputing ", in : Parallel Computing (PARCO), Gent, Belgique, septembre 1995. À paraître.

C. Jard, T. Jéron, " Formal Analysis of Distributed Computations ", in : Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, G. Bochmann, M. Barbeau, M. Riveill, J. Sifakis (réd.), Université de Grenoble, p. Conférence invitée, Grenoble, France, décembre 1994.

C. Jard, " How to observe interoperability at the service level of protocols ", in : 7th Int. Workshop on Protocol Test Systems (IWPTS'94), T. Mizuno, T. Higashino, N. Shiratori (réd.), IFIP, p. 247--262, Tokyo, Japan, novembre 1994.

C. Jard, " Formal Methods to Observe Interoperability of Protocols ", in : Anglo-French workshop on formal methods, modelling and simulation for system engineering, P. Cocquet, S. P. (réd.), Dassault Electronique, St Quentin, France, février 1995.

C. Jard, " Introduction to the Automatic Validation of Protocols ", in : EUNICE Summer school on Protocol Engineering, S. Budkowski, A. Cavalli (réd.), Polytechnique, p. Invited Tutorial, Lisbon, Portugal, juin 1995.

C. Jard, " Le problème de l'observation en univers réparti appliqué au test des réseaux d'ordinateurs ", in : Septièmes rencontres francophones du parallélisme (RenPar'7), G. Libert, J. Dekeyser, P. Manneback (réd.), Faculté Polytechnique de Mons, Mons, Belgique, juin 1995. Conférence invitée.

T. Jéron, " Dessin en 3 dimensions de graphes d'accessibilité de processus communicants ", in : CFIP'95 : Ingénierie des Protocoles, C. Jard, P. Rolin (réd.), Hermes, mai 1995.

J.-M. Jézéquel, " Performance Issues in Implementing a Portable SMDS Server ", in : 6th International IFIP Conference On High Performance Networking, IFIP (réd.), Chapman \& Hall, London, p. 267--278, septembre 1995.

G.-V. Jourdan, I. Rival, N. Zaguia, " Conjectures and Constructions About Perpendiculars Pairs -- by Experiment ", in : International Conference Formal Power Series and Algebraic Combinatorics '95, Marne-la Vallée, France, juin 1995.

G.-V. Jourdan, I. Rival, N. Zaguia, " Order Explorer, A System to See and Do in Four Dimensions ", in : International Conference on Ordinal and Symbolic Data Analysis '95, Paris, France, juin 1995.

G.-V. Jourdan, I. Rival, N. Zaguia, " Upward Drawing on the Plane Grid Using Less Ink ", in : Graph Drawing (GD '94), R. T. . I. G. Tollis (réd.), LNCS 894, Springer-Verlag, p. 318--327, 1995.

M. Le Fur, Y. Mahéo, " Efficient Communications in Parallel Loop Distribution ", in : Parallel Computing (PARCO), Gent, Belgique, septembre 1995. À paraître.

M. Le Fur, J.-L. Pazat, F. André, " An Array Partitioning Analysis for Parallel Loop Distribution ", in : EURO-PAR'95, LNCS 966, Springer Verlag, p. 351--364, Stockholm, Suède, août 1995.

M. Le Fur, " Scanning Parameterized Polyhedron using Fourier-Motzkin Elimination ", in : High Performance Computing Symposium, p. 130--143, Montréal, Canada, juillet 1995.

Y. Mahéo, J.-L. Pazat, " Distributed Array Management for HPF Compilers ", in : High Performance Computing Symposium, p. 119--129, Montréal, Canada, juillet 1995.

Y. Mahéo, J.-L. Pazat, " Distributed Array Management Scheme for Data-parallel Compilers ", in : 5th Workshop on Compilers for Parallel Computers, Malaga, Spain, mai 1995.

H. Müller, J.-X. Rampon, " Partial Orders and their Convex Subsets ", in : 5th Colloque international Graphes et Combinatoire, Marseille, France, septembre 1995.

Y.-M. Quemener, T. Jéron, " Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars ", in : SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, A. Corradini, U. Montanari (réd.), Elsevier Science B. V. -- ENTCS, septembre 1995.

G. Viho, " Comment utiliser le service pour la correction des anomalies dans les protocoles : étude de quelques exemples ", in : CFIP'95 : Ingénierie des Protocoles, C. Jard, P. Rolin (réd.), Hermes, p. 387--399, mai 1995.

Rapports de recherche / Technical Reports

F. Guerber, J.-M. Jézéquel, F. André, " Conception et implantation d'un serveur SMDS sur architectures modulaires ", Publication interne No 885, IRISA, novembre 1994, Également disponible en rapport de recherche Inria 2414.

F. Guidec, Y. Mahéo, " POM: a Virtual Parallel Machine Featuring Observation Mechanisms ", Publication interne No 902, IRISA, janvier 1995, Également disponible en rapport de recherche Inria 2473.

F. Guidec, " Programmation par objets et parallélisme de données dans Paladin ", Publication interne No 880, IRISA, octobre 1994, Également disponible en rapport de recherche Inria 2393.

D. Kratsch, J.-X. Rampon, " Tree--Visibility Orders ", Publication interne No 934, IRISA, mai 1995.

J. Mitas, K. Reuter, " Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices ", Publication interne No 908, IRISA, janvier 1995, Également disponible en rapport de recherche Inria 2512.

Y.-M. Quemener, T. Jéron, " Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars ", Publication interne No 927, IRISA, 1995, également disponible en rapport de recherche Inria 2563.

G. Viho, " La suppression des anomalies dans les protocoles : vers une méthode basée sur l'ajout incrémental de transitions ", Publication interne No 918, IRISA, mars 1995, Également disponible en rapport de recherche Inria 2526.