Publication 1997

article

Bruno Mermet, Dominique Méry. Spécification de services et gestion des interactions apr 1997 La Lettre B. 97-R-025
Jean-Paul Gibson, Dominique Méry. A Unifying Framework for Multi-Semantic Sofware Development 1997 Special Issues in Object-Oriented Programming 97-R-161

book

Dominique Méry. Formal methods for parallel programming\,: theory and applications 1997 Dominique Méry - Institut Universitaire de France - Université Henri Poincaré Nancy 1 - CRIN-CNRS URA 262 97-R-021

incollection

Dominique Méry. Logiques temporelles Ecole d'Eté Temps Réel 97 1997 C.N.R.S. 117-134 97-R-098

inproceedings

Bruno Mermet, Dominique Méry. Incremental Specification of Telecommunication Services First IEEE International Conference on Formal Engineering Methods (ICFEM),, Hiroshima, Japon nov 1997 M. Hinchey, S. Liu IEEE Comput. Sco 97-R-097
Olivier Galibert. YLC, A C++ Linda system on top of PVM 4th European PVM-MPI '97, Cracow, Poland nov 1997 1332 Lecture Notes in Computer Science 99-106 Springer-Verlag 97-R-107 http://www.loria.fr/publications/1997/97-R-107/97-R-107.ps
Raphaël Couturier, Dominique Méry. Coordination of abstract machines CSIT'97, Yerevan, Arménie sep 1997 97-R-198
Leila Jemni, Ahmed Mahjoub, Jacques Jaray. Historical Consequence and Postponed Effects in Real-Time Systems IFAC International Symposium on Artificial Intelligence in Real-Time Control, Kuala Lumpur, Malaysie sep 1997 97-R-211
Bruno Mermet, Dominique Méry. Safe combinations of services using B 16th International Conference on Computer Safety, Reliability and Security SAFECOMP97, York, UK sep 1997 Lecture Notes in Computer Science 12 springer verlag 97-R-080
Jean-Paul Gibson, Bruno Mermet, Dominique Méry. Feature Interactions\,: a Mixed Semantic Model Approach First Irish Workshop On Formal Methods, DUBLIN jul 1997 Workshop On Computing Springer Verlag 97-R-051
Jean-Paul Gibson. Feature Requirements Models\,: Understanding Interactions Feature Interaction Workshop 1997, Montreal, Canada jun 1997 Feature Interaction Workshop U.S. Press 97-R-022
Bruno Mermet, Dominique Méry. Détection d'interactions de services \,: une approche avec B Approches Formelles dans l'Assistance au Développement de Logiciel, TOULOUSE may 1997 97-R-036
Jean-Paul Gibson, Dominique Méry. Telephone Feature Verification\,: Translating SDL to TLA+ Eighth SDL FORUM, EVRY,FRANCE 1997 Elsevier 97-R-084

manual

Olivier Galibert. YLC - Linda on C++ User Guide 1997 97-R-105
Olivier Galibert. YLC - Linda C++ Guide utilisateur 1997 97-R-106 http://www.loria.fr/publications/1997/97-R-106/97-R-106.ps

techreport

Denis Roegel. Detecting interference through graph reduction Rapport de recherche 1997 97-R-152 http://www.loria.fr/publications/1997/97-R-152/97-R-152.ps
Denis Roegel. Creating 3D animations with METAPOST Rapport de recherche 1997 97-R-130
Pierre Berlioux, Didier Bert, Michel Charpentier, Bernard Coulette, Xavier Crégut, Lydie Du Bousquet, Mamoun Filali, Paul Jacquet, Jacques Jaray, Yves Ledru, Nicole Levy, Philippe Mauran, Pierre Maurice, Bruno Mermet, Farid Ouabdesselam, Gérard Padiou, Marie-Laure Potet, Philippe Quéinnec, Songsakdi Rongviriyapanish, Jeanine Souquières. Formalisation du Développement de Logiciels \,: un banc d'essai des méthodes formelles 1997 97-R-258
Denis Roegel. Study of the Semantics of ``Real'' Parallel Languages in TLA Rapport de recherche 1997 97-R-125 http://www.loria.fr/publications/1997/97-R-125/97-R-125.ps