Publication 2003


Denis Roegel. Solving Layout Problems Concurrently With TeX and Java Jan 2003 TUGboat A03-R-251
Dominique Cansell, Dominique Méry. Foundations of the B method 2003 Computers and Informatics 22 A03-R-046


Yann ZIMMERMANN. Modélisation formelle de circuits électroniques en B événementiel Manifestation desJeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03, Marseille, France Oct 2003 A03-R-047
Jean-Raymond Abrial, Dominique Cansell. Click'n'Prove\,: Interactive Proofs Within Set Theory 16th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'2003, Rome, Italy Sep 2003 David Basin et Burkhart Wolff 2758 Lecture notes in Computer Science 1-24 Springer A03-R-137
Dominique Cansell, Camel Tanougast, Yves Berviller, Dominique Méry, Cyril Proch, Hassan Rabah, Serge Weber. Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement Forum on specification and Design Languages - FDL'03, Frankfurt, Germany Sep 2003 A03-R-129
Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz. The QSL platform at LORIA First QPQ Workshop on Deductive Software Components, Miami, Floride Jun 2003 A03-R-539
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Formal derivation of spanning trees algorithms Third International Conference of B and Z Users - ZB'2003, Turku, Finland Jun 2003 Didier Bert, Jonathan Peter Bowen, Steve King, Marina Walden 2651 Lecture Notes in Computer Science 457-476 Springer Verlag A03-R-043
Dominique Cansell, Dominique Méry. Designing event-driven systems by combining coordination and refinement 2nd International Workshop on Refinement of Critical Systems\,: Methods, Tools and Developments - RCS'03, Turku, Finland Jun 2003 A03-R-130
Stephan Merz, Martin Wirsing, Julia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems Fundamental Approaches to Software Engineering '03 - FASE 2003, Warsaw, Poland Apr 2003 Mauro Pezze 2621 87-101 Springer-Verlag A03-R-056


Dominique Cansell. Assistance au développement incrémental et à sa preuve Apr 2003 A03-T-528


. Modélisation des systèmes réactifs Oct 2003 Méry, Dominique et Rezg, Nidhal et Xie, Xiaolan Hermès A03-R-175


Stephan Merz, Ali Sezgin. Emptiness of Linear Weak Alternating Automata Rapport de recherche Dec 2003 A03-R-503
Houda Fekih, Stephan Merz. Translating B machines into UML diagrams Rapport de recherche Dec 2003 A03-R-502