The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Didier Bert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Didier Bert, Rachid Echahed, Kamel Adi
    Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:629-632 [Conf]
  2. Didier Bert, Christine Lafontaine
    Integration of Semantical Verification Conditions in a Specification Language Definition. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:467-477 [Conf]
  3. Didier Bert, Rachid Echahed
    On the Operational Semantics of the Algebraic and Logic Programming Language LPG. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:132-152 [Conf]
  4. Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre-Yves Schobbens, François Wautier
    LPG: A Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:376-377 [Conf]
  5. Didier Bert, Rachid Echahed
    Design and Implementation of a Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:119-132 [Conf]
  6. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
    Adaptable Translator of B Specifications to Embedded C Programs. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:94-113 [Conf]
  7. Akram Idani, Yves Ledru, Didier Bert
    Derivation of UML Class Diagrams as Static Views of Formal B Developments. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:37-51 [Conf]
  8. Didier Bert, Roger Soler
    About Data Type Genericity. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:231-243 [Conf]
  9. Didier Bert, Rachid Echahed
    Integrating Disequations in the Algebraic and Logic Programming Language LPG. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:76-93 [Conf]
  10. Didier Bert
    Problem Specification and Algorithmic Programming. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:111-117 [Conf]
  11. Didier Bert
    Refinements of Generic Specifications with Algebraic Tools. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:815-820 [Conf]
  12. Héctor Ruíz Barradas, Didier Bert
    Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:360-379 [Conf]
  13. Héctor Ruíz Barradas, Didier Bert
    A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:327-346 [Conf]
  14. Didier Bert, Francis Cave
    Construction of Finite Labelled Transistion Systems from B Abstract Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:235-254 [Conf]
  15. Didier Bert
    Types algébriques et sémantique des langages de programmation. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:30-43 [Conf]
  16. Didier Bert, Rachid Echahed, Bjarte M. Østvold
    Abstract Rewriting. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:178-192 [Conf]
  17. Didier Bert, Rachid Echahed
    Abstraction of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:162-176 [Conf]
  18. Didier Bert, Pascal Drabik, Rachid Echahed
    LPG: A Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:468-469 [Conf]
  19. Didier Bert, Catherine Oriat
    A Model Inference System for Generic Specification with Application to Code Sharing. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:741-755 [Conf]
  20. Didier Bert, Stéphane Lo Presti
    Algebraic Specification of Operator-Based Multimedia Scenarios. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:383-400 [Conf]
  21. Didier Bert, Marie-Laure Potet, Nicolas Stouls
    GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:299-318 [Conf]
  22. Akram Idani, Yves Ledru, Didier Bert
    A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:97-106 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:61-72 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    Software Process: Improvement and Practice, 2006, v:11, n:5, pp:487-503 [Journal]
  25. 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. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2004, v:23, n:7, pp:879-903 [Journal]
  26. Didier Bert
    La recherche en B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:129-130 [Journal]
  27. 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. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2006, pp:- [Conf]
  28. Héctor Ruíz Barradas, Didier Bert
    Proof obligations for specification and refinement of liveness properties under weak fairness [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  29. Stéphane Lo Presti, Didier Bert, Andrzej Duda
    TAO: Temporal Algebraic Operators for modeling multimedia presentations. [Citation Graph (0, 0)][DBLP]
    J. Network and Computer Applications, 2002, v:25, n:4, pp:319-342 [Journal]

  30. Validation of Regulation Documents by Automated Analysis of Formal Models. [Citation Graph (, )][DBLP]


  31. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions [Citation Graph (, )][DBLP]


  32. GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002