Etude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécution. - Didier Bert (1973)

Problem Specification and Algorithmic Programming. - Didier Bert (International Computing Symposium, 1977)

La Programmation générique : construction de logiciel, spécification algébrique et vérification. - Didier Bert (1979)

Types algébriques et sémantique des langages de programmation. - Didier Bert (Symposium on Programming, 1980)

About Data Type Genericity. - Didier Bert; Roger Soler (ICFPC, 1981)

Refinements of Generic Specifications with Algebraic Tools. - Didier Bert (IFIP Congress, 1983)

Design and Implementation of a Generic, Logic and Functional Programming Language. - Didier Bert; Rachid Echahed (ESOP, 1986)

LPG: A Generic, Logic and Functional Programming Language. - Didier Bert; Pascal Drabik; Rachid Echahed (STACS, 1987)

LPG: A Generic, Logic and Functional Programming Language. - Didier Bert; Pascal Drabik; Rachid Echahed; Olivier Declerfayt; Brigitte Demeuse; Pierre-Yves Schobbens; François Wautier (ESOP, 1988)

Integration of Semantical Verification Conditions in a Specification Language Definition. - Didier Bert; Christine Lafontaine (AMAST, 1991)

Abstract Rewriting. - Didier Bert; Rachid Echahed; Bjarte M. Østvold (WSA, 1993)

On the Operational Semantics of the Algebraic and Logic Programming Language LPG. - Didier Bert; Rachid Echahed (COMPASS/ADT, 1994)

Integrating Disequations in the Algebraic and Logic Programming Language LPG. - Didier Bert; Rachid Echahed (ICLP Workshop: Integration of Declarative Paradigms, 1994)

Abstraction of Conditional Term Rewriting Systems. - Didier Bert; Rachid Echahed (ILPS, 1995)

A Model Inference System for Generic Specification with Application to Code Sharing. - Didier Bert; Catherine Oriat (TAPSOFT, 1995)

Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. - Didier Bert; Rachid Echahed; Kamel Adi (AMAST, 1996)

Algebraic Specification of Operator-Based Multimedia Scenarios. - Didier Bert; Stéphane Lo Presti (WADT, 1999)

Construction of Finite Labelled Transistion Systems from B Abstract Systems. - Didier Bert; Francis Cave (IFM, 2000)

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. - Héctor Ruíz Barradas; Didier Bert (IFM, 2002)

TAO: Temporal Algebraic Operators for modeling multimedia presentations. - Stéphane Lo Presti; Didier Bert; Andrzej Duda (J. Netw. Comput. Appl., 2002)

Adaptable Translator of B Specifications to Embedded C Programs. - Didier Bert; Sylvain Boulmé; Marie-Laure Potet; Antoine Requet; Laurent Voisin (FME, 2003)

La recherche en B. - Didier Bert (Tech. Sci. Informatiques, 2003)

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. - Frédéric Badeau; Didier Bert; Sylvain Boulmé; Christophe Métayer; Marie-Laure Potet; Nicolas Stouls; Laurent Voisin (Tech. Sci. Informatiques, 2004)

Derivation of UML Class Diagrams as Static Views of Formal B Developments. - Akram Idani; Yves Ledru; Didier Bert (ICFEM, 2005)

A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. - Héctor Ruíz Barradas; Didier Bert (IFM, 2005)

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. - Didier Bert; Marie-Laure Potet; Nicolas Stouls (ZB, 2005)

Proof obligations for specification and refinement of liveness properties under weak fairness - Héctor Ruíz Barradas; Didier Bert (CoRR, 2005)

Validation of Regulation Documents by Automated Analysis of Formal Models. - Didier Bert; Fabrice Bouquet; Yves Ledru; Sylvie Vignes (ReMo2V, 2006)

An attempt to combine UML and formal methods to model airport security. - Yves Ledru; Régine Laleau; Michel Lemoine; Sylvie Vignes; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (CAiSE Forum, 2006)

A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. - Akram Idani; Yves Ledru; Didier Bert (SEW, 2006)

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. - Régine Laleau; Sylvie Vignes; Yves Ledru; Michel Lemoine; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (Softw. Process. Improv. Pract., 2006)

Propriétés dynamiques avec hypothèses d'équité en B événementiel. - Héctor Ruíz Barradas; Didier Bert (Tech. Sci. Informatiques, 2006)

Using Computer Science Modeling Techniques for Airport Security Certification. - Régine Laleau; Yves Ledru; Didier Bert; Fabrice Bouquet; Michel Lemoine; Catherine Dubois; Véronique Donzeau-Gouge; Sylvie Vignes (RCIS, 2007)

Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. - Didier Bert; H. Barradas (Tech. Sci. Informatiques, 2007)

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. - Akram Idani; Yves Ledru; Didier Bert (Tech. Sci. Informatiques, 2007)