Didier Bert

According to our database, Didier Bert authored at least 35 papers between 1973 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala.

Didier Bert, H. Barradas

Tech. Sci. Informatiques, 2007

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

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

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

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

A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.

Akram Idani, Yves Ledru, Didier Bert

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 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

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Validation of Regulation Documents by Automated Analysis of Formal Models.

Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005

Proof obligations for specification and refinement of liveness properties under weak fairness

Héctor Ruíz Barradas, Didier Bert

CoRR, 2005

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.

Didier Bert, Marie-Laure Potet, Nicolas Stouls

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.

Héctor Ruíz Barradas, Didier Bert

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Derivation of UML Class Diagrams as Static Views of Formal B Developments.

Akram Idani, Yves Ledru, Didier Bert

Proceedings of the Formal Methods and Software Engineering, 2005

2004

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

2003

La recherche en B.

Didier Bert

Tech. Sci. Informatiques, 2003

Adaptable Translator of B Specifications to Embedded C Programs.

Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin

Proceedings of the FME 2003: Formal Methods, 2003

2002

TAO: Temporal Algebraic Operators for modeling multimedia presentations.

Stéphane Lo Presti, Didier Bert, Andrzej Duda

J. Netw. Comput. Appl., 2002

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.

Héctor Ruíz Barradas, Didier Bert

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2000

Construction of Finite Labelled Transistion Systems from B Abstract Systems.

Didier Bert, Francis Cave

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Algebraic Specification of Operator-Based Multimedia Scenarios.

Didier Bert, Stéphane Lo Presti

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1996

Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation.

Didier Bert, Rachid Echahed, Kamel Adi

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

A Model Inference System for Generic Specification with Application to Code Sharing.

Didier Bert, Catherine Oriat

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Abstraction of Conditional Term Rewriting Systems.

Didier Bert, Rachid Echahed

Proceedings of the Logic Programming, 1995

1994

Integrating Disequations in the Algebraic and Logic Programming Language LPG.

Didier Bert, Rachid Echahed

Proceedings of the Integration of Declarative Paradigms, 1994

On the Operational Semantics of the Algebraic and Logic Programming Language LPG.

Didier Bert, Rachid Echahed

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Abstract Rewriting.

Didier Bert, Rachid Echahed, Bjarte M. Østvold

Proceedings of the Static Analysis, Third International Workshop, 1993

1991

Integration of Semantical Verification Conditions in a Specification Language Definition.

Didier Bert, Christine Lafontaine

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1988

LPG: A Generic, Logic and Functional Programming Language.

Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier

Proceedings of the ESOP '88, 1988

1987

LPG: A Generic, Logic and Functional Programming Language.

Didier Bert, Pascal Drabik, Rachid Echahed

Proceedings of the STACS 87, 1987

1986

Design and Implementation of a Generic, Logic and Functional Programming Language.

Didier Bert, Rachid Echahed

Proceedings of the ESOP 86, 1986

1983

Refinements of Generic Specifications with Algebraic Tools.

Didier Bert

Proceedings of the Information Processing 83, 1983

1981

About Data Type Genericity.

Didier Bert, Roger Soler

Proceedings of the Formalization of Programming Concepts, 1981

1980

Types algébriques et sémantique des langages de programmation.

Didier Bert

Proceedings of the International Symposium on Programming, 1980

1979

La Programmation générique : construction de logiciel, spécification algébrique et vérification.

Didier Bert

, 1979

1977

Problem Specification and Algorithmic Programming.

Didier Bert

Proceedings of the International Computing Symposium 1977, 1977

1973

Etude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécution.

Didier Bert

PhD thesis, 1973