1. Recherche
57 résultats  enregistrer la recherche


  • 1
  • 2
inria-00100123v1  Chapitre d'ouvrage
Dominique Cansell, Stefan Hallerstede, Ian Oliver. UML-B specification and hardware implementation of a Hamming coder/decoder
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
inria-00100065v1  Communication dans un congrès
Dominique Cansell, Dominique Méry. Tutorial on the event-based B method : Concepts and Case Studies
Dines Bjoerner and Martin Henson. Logics of Formal Software Specification Languages - LFSL'2004, 2004, The High Tatras, Slovakia, 2004
inria-00100124v1  Article dans une revue
Dominique Cansell, Stefan Hallerstede, Yann Zimmermann. Construction sûre de systèmes électroniques
Génie logiciel, C & S, 2004, pp.38-44
inria-00100144v1  Chapitre d'ouvrage
Yann Zimmermann, Stefan Hallerstede, Dominique Cansell. Formal modelling of electronic circuits using event-B, Case Study: SAE J1708 Serial Communication Link
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
inria-00099794v1  Article dans une revue
Dominique Cansell, Dominique Méry. Foundations of the B method
Computers and Informatics, 2003, 22, 31 p
inria-00099834v1  Communication dans un congrès
Dominique Cansell, Camel Tanougast, Yves Berviller, Dominique Méry, Cyril Proch et al.  Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement
Forum on specification and Design Languages - FDL'03, 2003, Frankfurt, Germany, France. 12 p, 2003
inria-00099835v1  Communication dans un congrès
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, 2003, Turku, Finland, 2003
inria-00579550v1  Chapitre d'ouvrage
Dominique Cansell, Dominique Méry. The Event-B Modelling Method - Concepts and Case Studies
Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science
inria-00099793v1  Communication dans un congrès
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Formal derivation of spanning trees algorithms
Didier Bert, Jonathan Peter Bowen, Steve King, Marina Walden. Third International Conference of B and Z Users - ZB'2003, 2003, Turku, Finland, Springer Verlag, 2651, pp.457-476, 2003, Lecture Notes in Computer Science
inria-00099836v1  Communication dans un congrès
Jean-Raymond Abrial, Dominique Cansell. Click'n'Prove: Interactive Proofs Within Set Theory
David Basin et Burkhart Wolff. 16th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'2003, 2003, Rome, Italy, Springer, 2758, pp.1-24, 2003, Lecture notes in Computer Science
inria-00098918v1  Communication dans un congrès
Dominique Cansell, Dominique Méry. Abstract Animator for Temporal Specifications
Françoise Bellegarde & Olga Kouchnarenko. Workshop on Modelling & Verification, 1999, Besançon, France, 1999
inria-00099157v1  Communication dans un congrès
Dominique Cansell, Dominique Méry. Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem
Jonathan P. Bowen & Steve Dunne & Andy Galloway & Steve King. International Conference on B & Z Users - ZB'2000, 2000, York, GB, Springer-Verlag, 1878, pp.148-167, 2000, Lecture Notes in Computer Science
inria-00099125v1  Communication dans un congrès
Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams for the verification of reactive systems
W. Grieskamp, T. Santen, B. Stoddart. Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, Springer-Verlag, 1945, pp.380-397, 2000, Lecture Notes in Computer Science
inria-00000120v1  Article dans une revue
Jean-Raymond Abrial, Dominique Cansell. Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Journal of Universal Computer Science, Springer, 2005, Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181), 11 (5), pp.744-770
inria-00101089v1  Communication dans un congrès
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, 2001, Toulouse, France, Hermes, 16 p, 2001
inria-00100931v1  Communication dans un congrès
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, Jun 2001, Nancy, France, 15 p, 2001
inria-00100598v1  Communication dans un congrès
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Specification and Design of the Leader Election Protocol of IEEE 1394
S. Maharaj and J. Romijn and C. Shankland. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, University of Stirling, 3 p, 2001
inria-00100923v1  Communication dans un congrès
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte. Higher-Order" Mathematics in B
D. Bert, J.P. Bowen, M.C. Henson, K. Robinson. 2nd International Conference of B and Z Users - ZB'2002, Jan 2002, Grenoble, France, Springer, 2272, pp.370-393, 2002, Lecture Notes in Computer Science
inria-00100945v1  Communication dans un congrès
Dominique Cansell, Dominique Méry. Integration of the proof process in the system development through refinement steps
Eugenio Villar. 5th Forum on Specification and Design Language - Workshop SFP in FDL'02, 2002, Marseille, France, 12 p, 2002
...
inria-00092846v1  Cours
Dominique Cansell, Dominique Méry. Tutorial on the event-based B method
IFIP FORTE 2006 Paris, 2006
inria-00156871v1  Communication dans un congrès
Bill Stoddart, Dominique Cansell, Frank Zeyda. Modelling and Proof Analysis of Interrupt Driven Scheduling
Jacques Jullian et Olga Kouchnarenko. The 7th International B Conference - B 2007, Jan 2007, Besançon/France, Springer, 4355/2006, pp.155-170, 2007, LNCS; B 2007: Formal Specification and Development in B. <10.1007/11955757_14>
inria-00110548v1  Communication dans un congrès
Dominique Cansell, Dominique Méry, Stephan Merz. Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams
Martin Wirsing. Integrating Diagrammatic and Formal Specification Techniques, 2001, Wien, Austria, pp.39-45, 2001
inria-00100888v1  Communication dans un congrès
Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen. Incremental Proof of the Producer/Consumer Property for the PCI Protocol
D. Bert, J.P. Bowen, M.C. Henson, K. Robinson. 2nd International Conference of B and Z Users - ZB 2002, 2002, Grenoble, France, Springer, 2272, pp.22-41, 2002, Lectures Notes in Computer Science
inria-00155143v1  Communication dans un congrès
Nazim Benaissa, Dominique Cansell, Dominique Mery. Integration of Security Policy into System Modeling
The 7th International B Conference - B2007, Jan 2007, Besançon, France, 2007
inria-00001245v1  Communication dans un congrès
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Refinement and Reachability in Event_B
Helen Treharne, Steve King, Martin Henson, Steve Schneider. ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, Springer, 3455, pp.222-241, 2005, Lecture Notes in Computer Science; ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users. <10.1007/11415787_14>
inria-00001252v1  Article dans une revue
Dominique Méry, Dominique Cansell, Cyril Proch, Denis Abraham, Patrick Ditsch. The challenge of QoS for digital television services
EBU Technical Review, European Broadcasting Union, 2005, 302 (Avril), 11 p
inria-00096700v1  Chapitre d'ouvrage
Dominique Cansell. B Method
Freek Wiedijk. The Seventeen Provers of the World, 3600 (3600), Springer Berlin / Heidelberg, pp.142-150, 2006, LNAI, 978-3-540-30704-4. <10.1007/11542384_18>
...
hal-00149163v1  Communication dans un congrès
Dominique Cansell, Dominique Méry, Joris Rehm. Time Constraint Patterns for Event B Development
Jacques Julliand, Olga Kouchnarenko. 7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. Springer-Verlag, 4355, pp.140-154, 2007, Lecture Notes in Computer Science. <10.1007/11955757_13>
  • 1
  • 2

Contact


archive-ouverte@inria.fr