Publication 1998

article

Denis Roegel. Anatomie d'une macro Dec 1998 Cahiers GUTenberg 19-27 98-R-390
Bruno Mermet, Dominique Méry, Dmitri Samborski. Spécification de services \,: une approche avec B Nov 1998 Technique et Science Informatiques - TSI 17 1157-1180 98-R-216

book

Dominique Méry, Guy-René Perrin. RenPar'10 jun 1998 ULP 98-R-174
Dominique Méry, Beverly Sanders. Third International Workshop on Formal Methods for Parallel Programming \,: Theory and Applications apr 1998 1388 Lecture Notes in Computer Science Springer Verlag 98-R-151

inproceedings

Raphaël Couturier, Dominique Méry. Parallelization of a Monte Carlo simulation of a spins system Parallel and Distributed Processing Techniques and Applications - PDPTA'98, Las Vegas, USA jul 1998 Arabnia, Hamid R. 98-R-053
Raphaël Couturier. Formal engineering of the bitonic sort using pvs 2nd Irish Workshop in Formal Methods - IWFM'98, Cork, irlande jul 1998 Butterfield, Andrew & Flynn, Sharon 98-R-050
Jean-Paul Gibson, Dominique Méry. Teaching Formal Methods\,: Lessons to learn Irish Workshop For Formal Methods 1998, Cork, Irlande jul 1998 98-R-153
Raphaël Couturier, Dominique Méry. An experiment in parallelizing an application using formal methods International Conference on Computer Aided Verification - CAV'98, Vancouver, Canada jun 1998 Hu, Alan & Vardi, Moshe Lecture Notes in Computer Science 98-R-051
Raphaël Couturier. Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve Renpar'10, Strasbourg, France jun 1998 Méry, Dominique & Perrin, Guy-René 98-R-041
Dominique Méry, Jean-Francois Pétin. Formal engineering methods for modelling and verification of control systems 9th symposium on information control problems in manufacturing Advances in Industrial Engineering - INCOM'98, Nancy , France jun 1998 IFAC ELSEVIER 98-R-150
Jean-François Pétin, Gerard Morel, Dominique Méry, Patrick Lamboley. Process control engineering\,: contribution to a formal structuring framework with the B method The 2nd International B Conference, Montpellier, France apr 1998 Didier Bert 1393 Lecture Notes in Computer Science 198-209 Springer Verlag 98-R-008
Bruno Mermet, Dominique Méry. Service specifications to B, or not to B Second Workshop on Formal Methods in Software Practice, Clearwater Beach, Florida, USA mar 1998 ACM 98-R-147
Jean-Paul Gibson, Dominique Méry. Fair Objects Object Technology 98 (Colloquim on Object Technology System Re-engineering) 1998 98-R-149
Jean-Paul Gibson, Dominique Méry. Always and Eventually in Object Requirements Rigorous Object Oriented Methods 1998 98-R-152
Dominique Cansell, Dominique Méry. Interprétation de spécifications temporelles à l'aide d'un outil de preuve AFADL'98 1998 98-R-052
Yassine Mokhtari. The invoice system problem in TLA+ International Workshop on Specification Techniques and Formal Methods, Nantes, France 1998 98-R-333

phdthesis

Bruno Mermet. Qualité de service dans une logique temporelle compositionnelle Thèse d'université 1998 98-T-148

techreport

Jean-Paul Gibson, Yassine Mokhtari. POTS\,: An OO LOTOS Specification Rapport de recherche 1998 98-R-013 http://www.loria.fr/publications/1998/98-R-013/98-R-013.ps
Jean-Paul Gibson. An Object Oriented Requirements Capture and Analysis Environment Rapport de recherche 1998 98-R-010 http://www.loria.fr/publications/1998/98-R-010/98-R-010.ps