Petite photo de Didier Bert Didier BERT : Publications récentes/ Recent publications
  • Akram Idani, Yves Ledru et Didier Bert
    Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B
    Technique et Science Informatiques, RSTI, série TSI, Vol. 26:, 2007, Hermès-Lavoisier.
  • Didier Bert et Héctor Ruíz Barradas
    Propriétés de vivacité dans les systèmes B. Application à l'algorithme distribué de Ricart-Agrawala.
    Technique et Science Informatiques, RSTI, série TSI, Vol. 26:853-882, 2007, Hermès-Lavoisier.
  • Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois et Fabrice Bouquet
    Using Computer Science Modeling Techniques for Airport Security Certification
    First International Conference on Research Challenges in Information Science, Ouarzazate, Morocco, RCIS 2007: 61-72, April 2007.
  • Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois et Fabien Peureux
    Adopting a situational requirements engineering approach for the analysis of civil aviation security standards
    Software Process: Improvement and Practice (SPIP), 11(5):487-503, 2006.
  • Didier Bert, Fabrice Bouquet, Yves Ledru et Sylvie Vignes
    Validation of Regulation Documents by Automated Analysis of Formal Models
    International Workshop on Regulations Modelling and their Validation and Verification (REMO2V'06), in conjunction with CAiSE'06, Luxembourg, 6 june 2006.
  • Akram Idani, Yves Ledru et Didier Bert
    A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams.
    30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, 25-27 April 2006, SEW 2006: 97-106.
  • Akram Idani, Yves Ledru et Didier Bert
    Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B.
    Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, ENST, Paris, 15-17 mars 2006, pages 9-24.
  • Didier Bert et Héctor Ruíz Barradas
    Développement et preuve de vivacité de l'algorithme distribué de Ricart-Agrawala.
    Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, ENST, Paris, 15-17 mars 2006, pages 161-178.
  • Héctor Ruíz Barradas et Didier Bert
    Propriétés dynamiques avec hypothèses d'équité en B événementiel.
    Technique et Science Informatiques, RSTI, série TSI, Vol. 25(1):73-102, 2006, Hermès-Lavoisier.
  • Héctor Ruíz Barradas et Didier Bert
    A Fixpoint Semantics of Event Systems with and without Fairness Assumptions (Extended version of IFM2005 paper).
    Rapport de recherche HAL-ccsd:00016136, LSR-IMAG, Déc. 2005.
  • Héctor Ruíz Barradas et Didier Bert
    A Fixpoint Semantics of Event Systems with and without Fairness Assumptions.
    In Proc. of Conf. on Integrated Formal Methods (IFM 2005), LNCS 3771, pages 327-346, Springer-Verlag, 2005.
  • Akram Idani, Yves Ledru et Didier Bert
    Derivation of UML Class Diagrams as Static Views of Formal B Developments.
    In Proc. of Int. Conf. on Formal Engineering Methods (ICFEM'05), Manchester, LNCS 3785, pages 37-51, Springer-Verlag, nov. 2005.
  • Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois et Fabien Peureux
    Application of Requirements Analysis Techniques to the Analysis of Civil Aviation Security Standards.
    In Workshop SREP'05, in conjunction with the 13th IEEE Int. Requirements Engineering Conference, Paris, Août 2005.
  • Didier Bert, Marie-Laure Potet et Nicolas Stouls
    GeneSyst: A Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
    in Proc. of ZB2005 Conference, LNCS 3455, pages 299-318, Springer-Verlag, 2005.
  • Héctor Ruíz Barradas et Didier Bert
    Proof Obligations for Specification and Refinement of Liveness Properties under Weak Fairness.
    Rapport de recherche HAL-ccsd:00004181, LSR-IMAG, Fév. 2005.
  • Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls et Laurent Voisin,
    Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOM.
    Technique et Science Informatiques, RSTI, série TSI, 23(7):879-903, 2004, Hermès-Lavoisier.
  • Héctor Ruíz Barradas et Didier Bert
    Propriétés dynamiques avec hypothèses d'équité en B événementiel
    Actes de AFADL 2004, Besançon, pp. 299-313, J. Julliand (ed.), LIFC, juin 2004.
  • Héctor Ruíz Barradas et Didier Bert
    Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
    Communication au 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, mars 2004.
  • Didier Bert
    Translating CASL Specifications into First Order Logic with Set Theory
    Communication au 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, mars 2004.
  • Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin,
    Adaptable Translator of B Specifications to Embedded C Programs
    In FME 2003: Formal Methods, LNCS 2805, pp. 94-113, Pise, Sept. 2003.
  • Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden (Eds.),
    ZB 2003: Formal Specification and Development in Z and B
    LNCS 2651, Springer-Verlag, Turku, Finland, Juin 2003.
  • Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge (Eds.),
    Méthode B
    Technique et Science Informatiques, RSTI série TSI, Volume 22(1), 2003, Hermès-Lavoisier.
  • Frédéric Badeau, Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin,
    Traduction de B vers des langages de programmation: points de vue du projet BOM
    Actes de AFADL 2003, Rennes, pp. 87-102, J.-M. Jézéquel (ed.), IRISA.
  • Stéphane Lo Presti, Didier Bert et Andrzej Duda,
    TAO: Temporal Algebraic Operators for modeling multimedia presentations
    Journal of Network and Computer Applications, Academic Press 25(4):319-342, October 2002.
  • Héctor Ruíz Barradas, Didier Bert
    Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems,
    Proc. of Integrated Formal Methods, IFM2002, LNCS 2335, pp. 360-379, Springer-Verlag, Turku, May 2002.
  • Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (Eds.)
    ZB2002: Formal Specification and Development in Z and B.
    2nd International Conference of Z and B Users,
    LNCS 2272, Springer-Verlag, Grenoble, France, January 2002.
  • Didier Bert
    Spécification algébrique et prototypage du « contrôle d'accès » en LPG.
    Technique et Science Informatiques 20(7):849-873, 2001, Hermès.
  • Didier Bert
    Preuve de propriétés d'équité en B : étude du protocole du bus SCSI-3.
    Actes de l'Atelier AFADL-2001, pp. 221-241, Nancy, juin 2001.
  • Didier Bert, Francis Cave
    Construction of Finite Labelled Transition Systems from B Abstract Systems.
    In Proc. of IFM2000, LNCS 1945, pp. 235-254, Springer-Verlag, Dagstuhl, Nov. 2000.
  • Didier Bert, Christine Choppy, Peter Mosses (Eds.)
    Recent Trends in Algebraic Development Techniques,
    14th International Workshop, WADT'99, Selected Papers. Château de Bonas, France, September 1999. LNCS 1827, Springer-Verlag, 2000.
  • Didier Bert, Stéphane Lo Presti
    Algebraic Specification of Operator-based Multimedia Scenarios.
    In Recent Trends in Algebraic Development Techniques, WADT'99. Selected Papers. LNCS 1827, Springer-Verlag, pages 382-399, 2000.
  • Francis Cave, Didier Bert
    Itérateurs pour le langage B.
    Actes de l'Atelier AFADL 2000, pp. 111-126, LSR-IMAG, Grenoble, Janvier 2000.
  • Didier Bert
    Spécification algébrique et prototypage du contrôle d'accès en LPG.
    Actes de l'Atelier AFADL 2000, pp. 142-157, LSR-IMAG, Grenoble, Janvier 2000.
  • Hubert Baumeister, Didier Bert
    Algebraic Specification in CASL.
    Chapitre du livre "Software Specification Methods: An Overview Using a Case Study", eds. M. Frappier, H. Habrias, FACIT (Formal Approaches to Computing and Information Technology), Springer-Verlag, 2000.
  • Didier Bert, Stéphane Lo Presti
    Algebraic Operators and Causal Relations for Modeling Multimedia Presentations.
    In Proc. of the Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems, AAAI Fall Symposium Series, North Falmouth, Massachusetts (USA), Nov. 1999.
  • Didier Bert (Ed.),
    B'98: Recent Advances in the Development and Use of the B Method.
    LNCS 1393, Proceedings of the 2nd International B Conference, 22-24 Avril 1998, Montpellier, Springer, 1998.
  • Didier Bert, Marie-Laure Potet et Yann Rouzaud.
    A study on components and assembly primitives in B (postscript)
    In Proc. of First B Conference, IRIN, Nantes, Ed. H. Habrias, pp. 47-62, Novembre 1996.
  • Didier Bert, Rachid Echahed and Kamel Adi.
    Resolution of Goals with the functional and logic programming language LPG : impact of abstract interpretation (postscript)
    In Proc. of AMAST-96, 5th Int. Conf. on Algebraic Methodology and Software technology, Munich, Germany, LNCS 1101, pages 629-632, Springer-Verlag, 1996.
  • Didier Bert and Rachid Echahed.
    Abstraction of conditional term rewriting systems. (postscript)
    In Proc. of the International Symposium on Logic Programming, ILPS-95, Portland, Oregon, Ed. J. Lloyd, MIT Press, pages 162-176, 1995.
  • Didier Bert, Rachid Echahed, Paul Jacquet, Marie-Laure Potet et Jean-Claude Reynaud.
    Spécification, Généricité, Prototypage : Aspects du langage LPG. (postscript)
    In Technique et Science Informatiques, 14(9): pages 1097-1129, Hermes 1995.
  • Didier Bert and Catherine Oriat.
    A model inference system for generic specification with application to code sharing (postscript)
    In Proceedings of TAPSOFT'95, Sixth International Joint Conference on Theory and Practice of Software Development, Aarhus, Denmark, May 1995, LNCS 915, pages 741-755, Springer-Verlag, 1995.
  • Didier Bert and Rachid Echahed.
    On the operational semantics of the algebraic and logic language LPG. (postscript) In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types, selected papers, LNCS 906, pages 132--152, Springer-Verlag, 1995.