Projet Pampa
Précédent : Diffusion des résultats
Remonter : Projet PAMPA, Modèles et outils
- Ouvrages et articles de référence
de l'équipe
- 1
- 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.
- 2
- R. BOUBOUR, C.
JARD,
« Fault Detection in Telecommunication Networks Based on Petri
Net Representation of Alarm Propagation »,
in: Proceedings of the 18th Int. Conf. on Application and
Theory of Petri Nets, Toulouse. , P. Azéma, G. Balbo
(réd.), Lecture Notes in Computer Science , 1248, p.
367-386,
juin 1997.
- 3
- J. FERNANDEZ, C.
JARD, T. JÉRON, L.
MOUNIER,
« On-the-fly Verification of Finite Transition Systems »,
Formal Methods in System Design 1 , 1993, p.
251-273.
- 4
- 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 , 29, 1997, p.
123-146.
- 5
- E. FROMENTIN, C.
JARD, G.-V.
JOURDAN, M.
RAYNAL,
« On-the-fly Analysis of Distributed Computations »,
Information Processing Letters , 54, 1995, p.
267-274.
- 6
- 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.
- 7
- C. JARD, R.
GROZ, J.
MONIN,
« Development of VEDA: a prototyping tool for distributed
algorithms »,
in: IEEE Trans. on Software Engin. , 14,3 ,
p. 339-352,
mars 1988.
- 8
- C. JARD, J.-M. JÉZÉQUEL,
« ECHIDNA, an Estelle-compiler to prototype protocols on
distributed computers »,
Concurrency Practice and Experience 4 , 5, août 1992,
p. 377-397.
- 9
- J.-M. JÉZÉQUEL,
Object Oriented Software Engineering with Eiffel ,
Addison-Wesley, mars 1996,
ISBN 1-201-63381-7.
- Livres et
monographies
- 10
- H. GARAVEL, R.
GROZ, C.
JARD (réd.),
RAIRO, Technique et science informatiques : Méthodes
formelles : validation de systèmes complexes , 16
,
Hermes, juin 1997.
- Thèses et habilitations à diriger
des recherches
- 11
- R. BOUBOUR,
Suivi de pannes par corrélation causale d'alarmes dans les
systèmes répartis : application aux réseaux de
télécommunication ,
Thèse de doctorat, IFSIC / université de Rennes 1, 1997,
Soutenue le 17 Octobre.
- 12
- J.-M. JÉZÉQUEL,
Programmation fiable et efficace des architectures
parallèles et distribuées. ,
Habilitation à diriger des recherches, IFSIC / Université de
Rennes 1, 1997,
soutenue le 18 novembre.
- 13
- J.-L. PACHERIE,
Système de motifs pour l'expression et la parallélisation
des traitements d'énumérations dans un contexte de génie
logiciel. ,
Thèse de doctorat, IFSIC / université de Rennes 1, 1997,
soutenue le 18 décembre.
- 14
- J.-L. PAZAT,
Génération de code réparti par distribution de
données. ,
Habilitation à diriger des recherches, IFSIC / Université de
Rennes 1, 1997,
soutenue le 27 novembre.
- Articles
- 15
- Z. BOUZIANE, A.
FINKEL,
« Cyclic Petri Net Reachability Sets are Semi-linear
Effectively Constructible »,
Electronic Notes in Theoretical Computer Science (ENTCS)
9 , décembre 1997.
- 16
- B. CAILLAUD, P.
CASPI, A.
GIRAULT, C.
JARD,
« Distributing automata for asynchronous networks of processors
»,
European Journal on Automated Systems (JESA) 31 , 3,
mai 1997, p. 503-524.
- 17
- C. JARD,
« Observation d'exécutions réparties : détection de propriétés
d'ordonnancement »,
RAIRO, Technique et science informatiques 16 , 2,
février 1997, p. 225-241.
- 18
- J.-M. JÉZÉQUEL, B. MEYER,
« Design by Contract: The Lessons of Ariane »,
Computer 30 , 1, janvier 1997, p. 129-130.
- 19
- H. KAHLOUCHE,
« Méthodes de synthèse de protocoles de communication : état de
l'art »,
Calculateurs Parallèles 9 , 4, décembre 1997.
- Chapitres de
livre
- 20
- X. BLONDEL, C.
JARD,
Application des techniques formelles au logiciel ,
ARAGO-20 ,
Observatoire français des techniques avancées, 1997, ch. LDS
appliqué à la modélisation et à la validation des processus
communicants, p. 109-122.
- 21
- 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.
- 22
- J.-M. JÉZÉQUEL,
« Conception par objet et mise en d'applications irrégulières
»,
in: Ecole d'hiver ICaRE97 : Conception et mise en oeuvre
d'applications parallèles irrégulières ,
CNRS, décembre 1997.
- Communications à des manifestations
scientifiques
- 23
- A. AGHASARYAN, A.
BENVENISTE, R.
BOUBOUR, E.
FABRE, C.
JARD,
« Suivi de pannes dans les réseaux de télécommunication : une
approche par reconnaissance d'ordres partiels »,
in: Actes du 2eme colloque francophone sur la gestion de
réseau et de service (GRES'97), Rennes ,
septembre 1997.
- 24
- R. BOUBOUR, C.
JARD, E.
FABRE, A.
AGHASARYAN, A.
BENVENISTE,
« A Petri Net approach to fault detection and diagnosis in
distributed systems. Part I: application to telecommunication
networks, motivations, and modeling. »,
in: Proceedings of the annual IEEE Control and Decision
Conference (CDC'97), San-Diego ,
décembre 1997.
- 25
- Z. BOUZIANE, A.
FINKEL,
« Infinite states cyclic Petri nets: effective construction of
the semi-linear reachability set »,
in: 2nd international Workshop on verification of Infinite
State Systems (Infinity'97) ,
Bologna, Italy, juillet 1997.
- 26
- E. FABRE, A.
AGHASARYAN, A.
BENVENISTE, B. R., C.
JARD,
« A Petri Net approach to fault detection and diagnosis in
distributed systems. Part II: extending Viterbi algorithm and
HMM techniques to Petri Nets. »,
in: Proceedings of the annual IEEE Control and Decision
Conference (CDC'97), San-Diego ,
décembre 1997.
- 27
- C. JARD, T. JÉRON, P.
MOREL, C.
VIHO,
« Une expérience de génération automatique de tests pour un
protocole de cohérence de caches »,
in: Actes de la conférence TESTING'97, Paris ,
juin 1997.
- 28
- C. JARD, J. JÉZÉQUEL,
« Vers l'utilisation d'outils de validation dans un processus
de conception objet de protocoles »,
in: Actes des journées AFADL - Approches formelles dans
l'assistance au développement de logiciels, Toulouse ,
mai 1997.
- 29
- T. JÉRON, P. MOREL,
« Abstraction, 
-réduction et
déterminisation à la volée: application à la génération de test
»,
in: CFIP'97, Congrès Francophone sur l'Ingéniérie des
Protocoles, Liège, Belgique , Hermes,
septembre 1997.
- 30
- J. JÉZÉQUEL, S. MATSUOKA, N.
SATO, A.
YONEZAWA,
« A Methodology for Specifying Data Distribution using only
Standard Object-Oriented Features »,
in: Proc. of International Conference on
Supercomputing ,
Vienna, Austria, juillet 1997.
- 31
- J.-M. JÉZÉQUEL, T. LESENEY, S.
MATSUOKA, J.-M.
PACHERIE, J.-L.
PAZAT,
« Operators for object-oriented meta-computing. »,
in: OBPDC'97 ,
octobre 1997.
- 32
- J.-M. JÉZÉQUEL, T. LESENEY,
J.-L. PACHERIE, J.-L.
PAZAT, N.
SATO, S.
MATSUOKA,
« Operators for Object-Oriented Meta-Computing »,
in: Proc. of the Second Workshop on Object-Based Parallel
and Distributed Computation (OBPDC'97) ,
Toulouse, octobre 1997.
- 33
- J.-M. JÉZÉQUEL, F.
PENNANEAC'H,
« Validating Distributed OO Software »,
in: Workshop on Models, Formalisms and Methods for
Object-Oriented Distributed Computing (ECOOP'97 Workshop
#6) ,
Finland, juin 1997.
- 34
- J.-M. JÉZÉQUEL,
« Using Scalable Distributed Computers in Telecommunications
»,
in: HPCN Europe , LNCS, Springer Verlag,
Vienna, avril 1997.
- 35
- P. LAUNAY, J.-L.
PAZAT.,
« Generation of distributed object-oriented programs. »,
in: Parallel Computing, ParCo 97 ,
septembre 1997.
- 36
- P. LAUNAY, J.-L.
PAZAT,
« Répartition de programmes orientés-objets centralisés. »,
in: 9èmes rencontres sur le parallélisme ,
Lausanne, 1997.
- 37
- D. LAVENIER, J.-L.
PACHERIE,
« Parallel Processing for Scanning Genomic Data-Bases »,
in: Parallel Computing, ParCo'97 ,
September 1997.
- 38
- J.-L. PACHERIE,
« Operator Design Pattern for Parallel Computations »,
in: TOOLS USA 97 , ISE Corp.,
Santa Barbara CA, August 1997.
- 39
- J.-L. PAZAT,
« Generation of distributed object oriented programs. »,
in: Third Workshop on Automatic Data Layout and
Performance ,
Barcelone (Espagne), janvier 1997.
- Rapports de
recherche
- 40
- A. AGHASARYAN, R.
BOUBOUR, E.
FABRE, C.
JARD, A.
BENVENISTE,
« A Petri net approach to fault detection and diagnosis in
distributed systems »,
publication interne No1117, Irisa, août 1997,
ftp://ftp.irisa.fr/techreports/1997/PI-1117.ps.gz
.
- 41
- B. CAILLAUD,
« SYNET : un outil de synthèse de
réseaux de Petri bornés, applications »,
rapport de recherche No1101, IRISA, France, Avril 1997,
également publié en rapport INRIA no 3155.
- Divers
- 42
- A. AGHASARYAN, A.
BENVENISTE, R.
BOUBOUR, E.
FABRE, C.
JARD,
« Rapport du lot 2 : Suivi de pannes par corrélation causale
d'alarmes dans les systèmes répartis : application aux réseaux
de télécommunications. »,
Convention Cnet n° CTI 95 1B 151. Diagnostic dans les réseaux
de télécommunications : conception et utilisation de capteurs
intelligents., novembre 1997.
- 43
- PREPARE
CONSORTIUM,
« Final report of the Esprit R&D Prepare project. »,
1997.
- Bibliographie
générale
- Arn92
- A. Arnold.
Systèmes de transitions finis et sémantiques de processus
communicants.
Études et recherches en informatique. Masson, 1992.
196 p.
- Boo94
- Grady Booch.
Object-Oriented Analysis and Design with
Applications.
Benjamin Cummings, 2nd edition, 1994.
- DP90
- B.A. Davey and H.A. Priestley.
Introduction to Lattices and Order.
Cambridge University Press, 1990.
- FJJV96
- J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho.
Using on-the-fly verification techniques for the generation of
test suites.
In A. Alur and T. Henzinger, editors, Conference on
Computer-Aided Verification (CAV '96), New Brunswick, New
Jersey, USA, LNCS 1102. Springer, July 1996.
- Jac85
- M.A. Jackson.
System Development.
Prentice-Hall International, Series in Computer Science,
1985.
- Jar94
- C. Jard.
Vérification dynamique des protocoles.
Habilitation à diriger les recherches de l'université de Rennes
1, décembre 1994.
- JMSY96
- J.-M. Jézéquel, Satoshi Matsuoka, Naohito Sato, and Akinori
Yonezawa.
An Object-Oriented Approach to Parallel Propagation
Problems.
Technical Report 1666, The University of Tokyo, October
1996.
- Jéz96
- J.-M. Jézéquel.
Object Oriented Software Engineering with Eiffel.
Addison-Wesley, March 1996.
ISBN 1-201-63381-7.
- Lam78
- L. Lamport.
Time, clocks and the ordering of events in a distributed
system.
Communications of the ACM, 21(7):558-565, July
1978.
- Mey88
- B. Meyer.
Object-Oriented Software Construction.
Prentice-Hall, 1988.
- PL96
- J.-L. Pazat and 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, December 1996.