| 2007 | RCIS | Using Computer Science Modeling Techniques for Airport Security Certification. | Rgine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Vronique Donzeau-Gouge, Sylvie Vignes |
| 2006 | CaiSE | Validation of Regulation Documents by Automated Analysis of Formal Models. | Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes |
| 2006 | CaiSE | An attempt to combine UML and formal methods to model airport security. | Yves Ledru, Rgine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Vronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux |
| 2006 | SEW | A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. | Akram Idani, Yves Ledru, Didier Bert |
| 2005 | ICFEM | Derivation of UML Class Diagrams as Static Views of Formal B Developments. | Akram Idani, Yves Ledru, Didier Bert |
| 2005 | IFM | A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. | Hctor Ruz Barradas, Didier Bert |
| 2003 | FM | Adaptable Translator of B Specifications to Embedded C Programs. | Didier Bert, Sylvain Boulm, Marie-Laure Potet, Antoine Requet, Laurent Voisin |
| 2002 | IFM | Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. | Hctor Ruz Barradas, Didier Bert |
| 2000 | IFM | Construction of Finite Labelled Transistion Systems from B Abstract Systems. | Didier Bert, Francis Cave |
| 1994 | COMPASS | On the Operational Semantics of the Algebraic and Logic Programming Language LPG. | Didier Bert, Rachid Echahed |
| 1994 | ICLP | Integrating Disequations in the Algebraic and Logic Programming Language LPG. | Didier Bert, Rachid Echahed |
| 1993 | SAS | Abstract Rewriting. | Didier Bert, Rachid Echahed, Bjarte M. stvold |
| 1988 | ESOP | LPG: A Generic, Logic and Functional Programming Language. | Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, Franois Wautier |
| 1987 | STACS | LPG: A Generic, Logic and Functional Programming Language. | Didier Bert, Pascal Drabik, Rachid Echahed |
| 1986 | ESOP | Design and Implementation of a Generic, Logic and Functional Programming Language. | Didier Bert, Rachid Echahed |