Publication 1999


Raphael Couturier, Christophe Chipot. Parallel Molecular Dynamics Using OpenMP on a Shared Memory Machine Jan 2000 Computer Physics Communications 124 49-59 99-R-123
Raphaël Couturier. Trois expérimentations parallèles différentes en simulation numérique May 1999 Technique et Science Informatique - TSI 19 625-648 99-R-125
Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel. Lazy Caching in TLA 1999 Distributed Computing 12 151-174 99-R-135


Dominique Méry. Special Issue FMPPTA'98 Jun 1999 Parallel Processing Letters World Scientific 99-R-378
Dominique Méry, Guy-René Perrin. Edition Spéciale RenPar'10 May 1999 TSI Hermès 99-R-379


Dominique Cansell, Dominique Méry. Abstract Animator for Temporal Specifications Workshop on Modelling and Verification, Besan\c con, France Dec 1999 Françoise Bellegarde and Olga Kouchnarenko 99-R-429
Dominique Méry, Yassine Mokhtari. Validation of formal specifications AAAI'99, Fall Symposium Nov 1999 99-R-280
Patrick Lamboley, Jean-François Pétin, Dominique Méry. Towards a formal engineering framework for process automation Seventh IEEE International Conference on Emerging Technologies and Factory Automation - ETFA'99, Barcelona, Spain Oct 1999 IEEE 99-R-353
Dominique Cansell, Dominique Méry. Abstract animator for temporal specifications Application to TLA International Symposium on Static Analysis - SAS'99, Venise, Italie Sep 1999 Agostino Cortesi and Gilberto Filé 1694 Lecture Notes in Computer Science 284-299 Springer Verlag 99-R-074
Yassine Mokhtari, Stephan Merz. Animating TLA Specifications International Conference on Logic for Programming and Automated Reasoning - LPAR'99, Tbilisi, Georgia Sep 1999 H. Ganzinger, D. McAllester, A. Voronkov 1705 Lecture Notes in Artificial Intelligence 92--110 Springer 99-R-160
Raphaël Couturier, Bertrand Couturier, Dominique Méry. A compiler for parallel Unity programs using OpenMp Parallel and Distributed Processing Techniques and Applications - PDPTA'99, Las Vegas, USA Jul 1999 99-R-121
Jean-Paul Gibson, Dominique Méry. Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, Novosibirsk, Russia Jul 1999 D. Bjorner, M. Broy, A. Zamulin 1755 Lecture Notes in Computer Science 155-179 Springer-Verlag 99-R-152
John Paul Gibson, Geoff Hamilton, Dominique Méry. Integration Problems in Telephone Feature requirements Workshop on Integrated Formal Methods - IFM'99 , York, England Jun 1999 K. Araki and A. Galloway et K. Taguchi Springer Verlag 99-R-376
Dominique Méry. Requirements for a Temporal B \\ Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems \,: Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems Integrated Formal Methods - IFM'99 , York, UK Jun 1999 A. Galloway and K. Taguchi Springer Verlag 99-R-380
Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari. Animating formal specifications \,: a telephone simulation case study 13th European Simulation Multiconference - ESM'99, Warsaw, Poland Jun 1999 II 139--145 99-R-161
Leila Jemni, Jacques Jaray, Ahmed Mahjoub. Specifying historical Consequence and Postponed Effect Properties in Real-Time Systems IASTED International Conference in Modelling, Identification and Control, Innsbruck, Austria 1999 99-R-010


Jacques Jaray. Le temps dans le processus de développement des applications informatiques. Habilitation à diriger des recherches Feb 1999 99-T-242