Didier Bert

Publication Activity (10 Years)

Years Active: 1977-2010
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Didier Bert, Marie-Laure Potet, Nicolas Stouls
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. CoRR (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. Tech. Sci. Informatiques 26 (7) (2007)
Didier Bert, H. Barradas
Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. Tech. Sci. Informatiques 26 (7) (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)
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. Softw. Process. Improv. Pract. 11 (5) (2006)
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V (2006)
Héctor Ruíz Barradas, Didier Bert
Propriétés dynamiques avec hypothèses d'équité en B événementiel. Tech. Sci. Informatiques 25 (1) (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)
Héctor Ruíz Barradas, Didier Bert
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions CoRR (2005)
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)
Akram Idani, Yves Ledru, Didier Bert
Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM (2005)
Héctor Ruíz Barradas, Didier Bert
Proof obligations for specification and refinement of liveness properties under weak fairness CoRR (2005)
Héctor Ruíz Barradas, Didier Bert
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. IFM (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. Tech. Sci. Informatiques 23 (7) (2004)
Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
Adaptable Translator of B Specifications to Embedded C Programs. FME (2003)
Didier Bert
La recherche en B. Tech. Sci. Informatiques 22 (1) (2003)
Héctor Ruíz Barradas, Didier Bert
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. IFM (2002)
Stéphane Lo Presti, Didier Bert, Andrzej Duda
TAO: Temporal Algebraic Operators for modeling multimedia presentations. J. Netw. Comput. Appl. 25 (4) (2002)
Didier Bert, Francis Cave
Construction of Finite Labelled Transistion Systems from B Abstract Systems. IFM (2000)
Didier Bert, Stéphane Lo Presti
Algebraic Specification of Operator-Based Multimedia Scenarios. WADT (1999)
Didier Bert, Rachid Echahed, Kamel Adi
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST (1996)
Didier Bert, Catherine Oriat
A Model Inference System for Generic Specification with Application to Code Sharing. TAPSOFT (1995)
Didier Bert, Rachid Echahed
Abstraction of Conditional Term Rewriting Systems. ILPS (1995)
Didier Bert, Rachid Echahed
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT (1994)
Didier Bert, Rachid Echahed
Integrating Disequations in the Algebraic and Logic Programming Language LPG. ICLP Workshop: Integration of Declarative Paradigms (1994)
Didier Bert, Rachid Echahed, Bjarte M. Østvold
Abstract Rewriting. WSA (1993)
Didier Bert, Christine Lafontaine
Integration of Semantical Verification Conditions in a Specification Language Definition. AMAST (1991)
Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier
LPG: A Generic, Logic and Functional Programming Language. ESOP (1988)
Didier Bert, Pascal Drabik, Rachid Echahed
LPG: A Generic, Logic and Functional Programming Language. STACS (1987)
Didier Bert, Rachid Echahed
Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP (1986)
Didier Bert
Refinements of Generic Specifications with Algebraic Tools. IFIP Congress (1983)
Didier Bert, Roger Soler
About Data Type Genericity. ICFPC (1981)
Didier Bert
Types algébriques et sémantique des langages de programmation. Symposium on Programming (1980)
Didier Bert
Problem Specification and Algorithmic Programming. International Computing Symposium (1977)

Didier Bert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Didier Bert