PAMPA - publications 1997 / Publications 1997
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
- 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.
- 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.
- 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.
- 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.
- J.-M. Jézéquel, B. Meyer,
" Design by Contract: The Lessons of Ariane ",
Computer 30, 1, janvier 1997, p. 129--130.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- T. Jéron, P. Morel,
" Abstraction, \tau-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.
- 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.
- 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.
- 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.
- 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.
- J.-M. Jézéquel,
" Using Scalable Distributed Computers in Telecommunications ",
in : HPCN Europe, LNCS, Springer Verlag,
Vienna, avril 1997.
- P. Launay, J.-L. Pazat.,
" Generation of distributed object-oriented programs. ",
in : Parallel Computing, ParCo 97,
septembre 1997.
- P. Launay, J.-L. Pazat,
" Répartition de programmes orientés-objets centralisés.
",
in : 9èmes rencontres sur le
parallélisme,
Lausanne, 1997.
- D. Lavenier, J.-L. Pacherie,
" Parallel Processing for Scanning Genomic Data-Bases ",
in : Parallel Computing, ParCo'97,
September 1997.
- J.-L. Pacherie,
" Operator Design Pattern for Parallel Computations ",
in : TOOLS USA 97, ISE Corp.,
Santa Barbara CA, August 1997.
- J.-L. Pazat,
" Generation of distributed object oriented programs. ",
in : Third Workshop on Automatic Data Layout and
Performance,
Barcelone (Espagne), janvier 1997.
-
A. Aghasaryan, R. Boubour, E. Fabre, C. Jard,
A. Benveniste,
" A Petri net approach to fault detection and diagnosis in
distributed systems ",
publication interne No 1117, Irisa, août 1997,
ftp://ftp.irisa.fr/techreports/1997/PI-1117.ps.gz.
-
B. Caillaud,
" Synet : un outil de synthèse de réseaux de Petri
bornés, applications ",
rapport de recherche No 1101, IRISA, France, Avril 1997,
également publié en rapport INRIA no 3155.
- C. Jard,
" Diagnostic dans les systèmes répartis fondé sur des
modèles d'ordre partiel ",
Actes de JBOPAD97, Ordres partiels et algorithmes distribués,
Bordeaux, juin 1997,
Conférence invitée.
- C. Jard,
" Génération automatique de tests pour les protocoles ",
Actes de la vingtième journée de l'OFTA, Paris, juin 1997,
Conférence invitée.
- C. Jard,
" Testing behavioural properties of systems using model-based
verification techniques ",
Proceedings of the workshop on Formal design of Safety Critical
Embedded Systems, Munich, Germany, avril 1997,
Invited conference.
1996
-
1995
-
1994
-
1993