Didier Bert

Didier Bert, Marie-Laure Potet, Nicolas Stouls: GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. CoRR abs/1004.1472 (2010)

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 26(7): 819-851 (2007)

Didier Bert, H. Barradas: Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. Technique et Science Informatiques 26(7): 853-882 (2007)

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

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice 11(5): 487-503 (2006)

Héctor Ruíz Barradas, Didier Bert: Propriétés dynamiques avec hypothèses d'équité en B événementiel. Technique et Science Informatiques 25(1): 73-102 (2006)

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

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

Akram Idani, Yves Ledru, Didier Bert: A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106

Akram Idani, Yves Ledru, Didier Bert: Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51

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

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

Héctor Ruíz Barradas, Didier Bert: Proof obligations for specification and refinement of liveness properties under weak fairness. CoRR abs/cs/0502046 (2005)

Héctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. CoRR abs/cs/0512082 (2005)

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

Didier Bert: La recherche en B. Technique et Science Informatiques 22(1): 129-130 (2003)

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

Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén (Eds.): ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science 2651, Springer 2003, isbn 3-540-40253-5

Stéphane Lo Presti, Didier Bert, Andrzej Duda: TAO: Temporal Algebraic Operators for modeling multimedia presentations. J. Network and Computer Applications 25(4): 319-342 (2002)

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

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (Eds.): ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings. Lecture Notes in Computer Science 2272, Springer 2002, isbn 3-540-43166-7

Didier Bert, Francis Cave: Construction of Finite Labelled Transistion Systems from B Abstract Systems. IFM 2000: 235-254

Didier Bert, Christine Choppy, Peter D. Mosses (Eds.): Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Lecture Notes in Computer Science 1827, Springer 2000, isbn 3-540-67898-0

Didier Bert, Stéphane Lo Presti: Algebraic Specification of Operator-Based Multimedia Scenarios. WADT 1999: 383-400

Didier Bert (Ed.): B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings. Lecture Notes in Computer Science 1393, Springer 1998, isbn 3-540-64405-9

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

Didier Bert, Rachid Echahed: Abstraction of Conditional Term Rewriting Systems. ILPS 1995: 162-176

Didier Bert, Catherine Oriat: A Model Inference System for Generic Specification with Application to Code Sharing. TAPSOFT 1995: 741-755

Didier Bert, Rachid Echahed: On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT 1994: 132-152

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

Didier Bert, Rachid Echahed, Bjarte M. Østvold: Abstract Rewriting. WSA 1993: 178-192

Didier Bert, Christine Lafontaine: Integration of Semantical Verification Conditions in a Specification Language Definition. AMAST 1991: 467-477

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

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

Didier Bert, Rachid Echahed: Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP 1986: 119-132

Didier Bert: Refinements of Generic Specifications with Algebraic Tools. IFIP Congress 1983: 815-820

Didier Bert, Roger Soler: About Data Type Genericity. ICFPC 1981: 231-243

Didier Bert: Types algébriques et sémantique des langages de programmation. Symposium on Programming 1980: 30-43

Didier Bert: Problem Specification and Algorithmic Programming. International Computing Symposium 1977: 111-117