Publication 2004


Dominique Cansell, Stefan Hallerstede, Yann Zimmermann. Construction sûre de systèmes électroniques Jun 2004 Génie Logiciel 38-44 A04-R-417


Dominique Cansell, Stefan Hallerstede, Ian Oliver. UML-B specification and hardware implementation of a Hamming coder/decoder UML-B - Specification for Proven Embedded Systems Design Nov 2004 Jean Mermet Kluwer Academic Publishers A04-R-416
Yann Zimmermann, Stefan Hallerstede, Dominique Cansell. Formal modelling of electronic circuits using event-B, Case Study\,: SAE J1708 Serial Communication Link UML-B - Specification for Proven Embedded Systems Design Nov 2004 Jean Mermet Kluwer Academic Publishers A04-R-441


Leonor Prensa-Nieto, Gilles Barthe. Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems 2nd ACM Workshop on Formal Methods in Security Engineering\,: From Specifications to Code 2004 - FMSE'04, Washington D.C., Etats-Unis Oct 2004 Michael Backes and David Basin, and Michael Waidner ACM SIGSAC 13-22 ACM A04-R-305
Stefan Hallerstede, Yann Zimmermann. Circuit Design by Refinement in EventB Forum on Specification and Design Languages - FDL'04, Lille, France Sep 2004 A04-R-442
Dominique Cansell, Jean-François Culat, Dominique Méry, Cyril Proch. Derivation of SystemC code from abstract system models Forum on specification & Design Languages - FDL'04, Lille, France Sep 2004 A04-R-091
Alexander Knapp, Stephan Merz, Martin Wirsing. Refining Mobile UML State Machines 10th International Conference on Algebraic Methodology and Software Technology - AMAST'2004, Stirling, Scotland, UK Jul 2004 Charles Rattray and Savitri Maharaj and Carron Shankland 3116 Lecture Notes in Computer Science 274--288 Springer-Verlag A04-R-054
Dominique Cansell, Dominique Méry. Tutorial on the event-based B method \,: Concepts and Case Studies Logics of Formal Software Specification Languages - LFSL'2004, The High Tatras, Slovakia Jun 2004 Dines Bjoerner and Martin Henson A04-R-328
Houda Fekih, Leila Jemni, Stephan Merz. Transformation des spécifications B en des diagrammes UML Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, Besan\c con, France Jun 2004 Jacques Julliand 131-145 Impression Burs A04-R-085
Dominique Méry. Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisation Journées d'Etude "Automatique et Informatique", Cachan, France Mar 2004 A04-R-327
Gérard Morel, Dominique Méry, Jean-Baptiste Léger, Thierry Lecomte. Proof-Oriented Fault-Tolerant Systems Engineering \,: Rationales, Experiments and Open Issues 7th IFAC Symposium on Cost Oriented Automation - COA'2004, Gatineau, Québec, Canada June 2004 A04-R-329


Denis Roegel. The First Key-driven Calculating Machine (1844) Rapport de recherche Nov 2004 A04-R-437
Denis Roegel. The missing new moon of A.D. 16399 and other anomalies of the Gregorian calendar Rapport de recherche Nov 2004 A04-R-436
Cyril Proch, Dominique Cansell, Dominique Mery. Projet RNRT EQUAST \,; SP2 Spécification incrémentale du système Rapport de recherche Oct 2004 A04-R-237
Stephan Merz. TLA+ Case Study\,: A Resource Allocator Rapport de recherche Aug 2004 A04-R-101
Olfa Mosbahi, Jacques Jaray. Représentation du temps en B événementiel pour la modélisation des systèmes temps réel Rapport de recherche Jun 2004 A04-R-087
Olfa Mosbahi, Jacques Jaray. Une démarche formelle de développement de systèmes de contrôle-commande Rapport de recherche Jun 2004 A04-R-086