Publication 2001

article

Denis Roegel. METAPOST, l'intelligence graphique Nov 2001 Cahiers GUTenberg 5-16 A01-R-408
Denis Roegel. La géométrie dans l'espace avec METAPOST May 2001 Cahiers GUTenberg 39-40 107-138 A01-R-407
Denis Roegel. Anatomy of a macro Mar 2001 TUGboat 22 78-82 A01-R-405

inproceedings

Georges Schutz, Frédéric Alexandre, Serge Gillé. Neural Networks in Dynamic Process Analysis 16th IAR - Annual Meeting - IAR/ICD Workshop, Strasbourg, France Nov 2001 IAR (german-french Institute for Automation and Robotics 105-110 A01-R-395
Dominique Cansell, Dominique Méry, Airy Weinzoepflen. Modélisation et analyse de la documentation technique d'un système Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, Toulouse, France Oct 2001 Hermes A01-R-045
Dominique Cansell, Dominique Méry, Stephan Merz. Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams Integrating Diagrammatic and Formal Specification Techniques, Wien, Austria Sep 2001 Martin Wirsing 39-45 A01-R-349
Dominique Cansell, Jacques Jaray, Dominique Mery. Utilisation de B pour l'aide à la spécification d'un système de diagnostic Approche Formelles dans l'Assistance au Développement de Logiciels - AFADL'2001, Nancy, France Jun 2001 A01-R-009
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Specification and Design of the Leader Election Protocol of IEEE 1394 IEEE 1394 (FireWire) Workshop\,: International Workshop on Application of Formal Methods to IEEE 1394 Standard, Berlin, Germany Mar 2001 S. Maharaj and J. Romijn and C. Shankland University of Stirling A01-R-309

manual

Denis Roegel. The METAOBJ tutorial and reference manual Dec 2001 A01-R-406 http://www.loria.fr/publications/2001/A01-R-406/A01-R-406.ps

techreport

Denis Roegel, Scott Smolka. Code Generation From Hierarchical Concurrency Specifications Rapport de recherche Oct 2001 A01-R-404 http://www.loria.fr/publications/2001/A01-R-404/A01-R-404.ps
Airy Weinzoepflen. Développement Incrémental Prouvé de Systèmes Stage de DEA Sep 2001 A01-R-315