Publications de Didier Bert

Load the BibTeX file

Ouvrages

1. Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge. Méthode B. Volume 22(1), Technique et Science Informatiques, RSTI série TSI, Hermès-Lavoisier, 2003.
2. Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden. ZB 2003: Formal Specification and Development in Z and B, 3rd International Conference of Z and B Users. LNCS 2651, Springer, Turku, Finland, Juin 2003.
3. D. Bert, J. P. Bowen, M. C. Henson, K. Robinson. ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of Z and B Users. LNCS 2272, Springer, Grenoble, France, Janvier 2002.
4. Didier Bert. Proceedings of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method. Lecture Notes in Computer Science, No 1393, Springer-Verlag, 1998.

Articles de journaux

1. Akram Idani, Yves Ledru, 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, 26, 2007.
2. Didier Bert, 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, 26:853-882, 2007.
3. Héctor Ruíz Barradas, Didier Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. Technique et Science Informatiques, RSTI, 25(1):73-102, 2006.
4. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Donzeau-Gouge, C. Dubois, F. 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.
5. F. Badeau, D. Bert, S. Boulmé, C. Métayer, M.-L. Potet, N. Stouls, L. 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.
6. Stéphane Lo Presti, Didier Bert, Andrzej Duda. TAO: Temporal Algebraic Operators for modeling multimedia presentations. Journal of Network and Computer Applications, 25(4):319-342, Octobre 2002.
7. D. Bert. Spécification algébrique et prototypage du ``contrôle d'accès'' en LPG. Technique et Science Informatiques, 20(7):849-873, 2001.
8. Didier Bert, Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Jean-Claude Reynaud. Spécification, Généricité, Prototypage : Aspects du langage LPG. Technique et Science Informatiques, 14(9):1097-1129, 1995.

Chapitres de livres

1. Hubert Baumeister, Didier Bert. Software Specification Methods: An Overview Using a Case Study. (à paraître), (à paraître), Chap. 0, (Eds: M. Frappier, H. Habrias), FACIT, Springer-Verlag, 2000.

Conférences internationales

1. Michel Lemoine, Eduardo R. Lopez Ruiz, Yves Ledru, Didier Bert, Régine Laleau, Fabien Peureux, Fabrice Bouquet, Véronique Donzeau-Gouge, Catherine Dubois, Jean-Frédéric Etienne, Sylvie Vignes. EDEMOI : a methodology for security of air transport system. In 2nd European Conference on Aerospace Sciences (EUCASS), 2007.
2. Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
3. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabrice Bouquet. Using Computer Science Modeling Techniques for Airport Security Certification. In Proc. of the First International Conference on Research Challenges in Information Science, Ouarzazate, Maroc, Avril 2007.
4. Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau-Gouge, C. Dubois, F. Peureux. An attempt to combine UML and formal methods to model airport security. In CAISE Forum 2006 - Proceedings of the Forum of the 18th International Conference on Advanced Information Systems Engineering, N. Boudjlida, N. Guelfi (eds.), Pages 47-50, Presses universitaires de Namur, Luxembourg, Juin 2006.
5. Akram Idani, Yves Ledru, Didier Bert. A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, Avril 2006.
6. Didier Bert, Marie-Laure Potet, Nicolas Stouls. GeneSyst: A Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. In ZB2005 Conference, Pages 299-318, 2005.
7. Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In ICFEM'05 - Int. Conf. On Formal Engineering Methods, Manchester, Novembre 2005.
8. Héctor Ruíz Barradas, Didier Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. In IFM 2005 Conference, Novembre 2005.
9. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguié Donzeau-Gouge, C. Dubois, F. Peureux. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. In First International Workshop on Situational Requirements Engineering Processes (SREP'05), organized by IFIP WG8.1 Method Engineering Task Group, in conjunction with the 13th IEEE International Requirements Engineering Conference, Paris, France, Août 2005.
10. H. Ruíz Barradas, D. Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 299-313, LIFC, Besançon, Juin 2004.
11. 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, Pages 94-113, Pise, Septembre 2003.
12. 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. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 87-102, IRISA, Rennes, Janvier 2003.
13. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. In Integrated Formal Methods (IFM 2002), Pages 360-379, Turku, Mai 2002.
14. Didier Bert, Stéphane Lo Presti. Algebraic Specification of Operator-based Multimedia Scenarios. In Recent Trends in Algebraic Specification Techniques, 14th Workshop on Algebraic Development Techniques, WADT'99, LNCS 1827, Selected papers, Pages 382-399, 2000.
15. Didier Bert, Francis Cave. Construction of Finite Labelled Transition Systems from B Abstract Systems. In Integrated Formal Methods, IFM2000, LNCS 1945, Pages 235-254, Novembre 2000.
16. 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, 1999.
17. Didier Bert, Rachid Echahed, Kamel Adi. Resolution of Goals with the functional and logic programming language LPG: impact of abstract interpretation. In Proc. of AMAST-96, 5th Int. Conf. on Algebraic Methodology and Software technology, Munich (Germany), 1996.
18. Didier Bert, Marie-Laure Potet, Yann Rouzaud. A Study on Components and Assembly Primitives in B. In Proc. of the 1st Conference on the B Method: Putting into Practice Methods and Tools for Information System Design, Nantes, Henri Habrias (ed.), Pages 47-62, 1996.
19. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. In Proc. of the International Symposium on Logic Programming, ILPS-95, J. Lloyd (ed.), Pages 162-176, Portland, Oregon (USA), 1995.
20. Didier Bert, Catherine Oriat. A model inference system for generic specification with application to code sharing. In Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering, LNCS, Volume 915, Pages 741-755, 1995.
21. Didier Bert, Rachid Echahed. On the operational semantics of the algebraic and logic language LPG. In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers, LNCS, Volume 906, Pages 132-152, 1995.

Communications avec actes

1. Akram Idani, Yves Ledru, Didier Bert. Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 9-24, ENST, Paris, Mars 2006.
2. Didier Bert, Héctor Ruíz Barradas. Développement et preuve de vivacité de l'algorithme distribué de Ricart-Agrawala. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 161-178, ENST, Paris, Mars 2006.
3. S. Lo Presti, D. Bert, A. Duda. Composition d'objets multimédia à base d'opérateurs. In 7èmes Journées d'études et d'échanges COmpression et REprésentation des Signaux Audiovisuels (CORESA), Dijon, Novembre 2001.
4. D. Bert. Preuve de propriétés d'équité en B : étude du protocole du bus SCSI-3. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 221-241, LORIA, Nancy, Juin 2001.
5. Francis Cave, Didier Bert. Itérateurs pour le langage B. In Actes de l'Atelier AFADL'2000, Y. Ledru (ed.), Pages 111-126, LSR-IMAG, Grenoble, France, Janvier 2000.
6. Didier Bert. Spécification algébrique et prototypage du contrôle d'accès en LPG. In Actes de l'Atelier AFADL'2000, Y. Ledru (ed.), Pages 142-157, LSR-IMAG, Grenoble, France, Janvier 2000.

Rapports de recherche

1. H. Ruís Barradas, D. Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. Rapport de Recherche LSR, Décembre 2005. download
2. H. Ruíz Barradas, D. Bert. Proof obligations for specification and refinement of liveness properties under weak fairness. Rapport de Recherche LSR, Février 2005.
3. Didier Bert. Projet IMAG SCOP ``Spécification et COnstruction de Programmes'' Bilan 1990-1996. RR 959-I, Laboratoire LSR-IMAG, Grenoble, Septembre 1996.
4. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. Rapport de recherche IMAG-LGI, 1995.
5. Didier Bert, Rachid Echahed. Multiparadigm logic programming: the case of the language LPG. Rapport de recherche IMAG-LGI, 1995.

Autres communications

1. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.
2. D. Bert. Translating CASL Specifications into First Order Logic with Set Theory. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.