The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marie-Laure Potet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet
    Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:113-120 [Conf]
  2. Marie-Laure Potet, Yann Rouzaud
    Composition and Refinement in the B-Method. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:46-65 [Conf]
  3. Sylvain Boulmé, Marie-Laure Potet
    Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:4-18 [Conf]
  4. Nicolas Stouls, Marie-Laure Potet
    Security Policy Enforcement Through Refinement Process. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:216-231 [Conf]
  5. Yves Ledru, Marie-Laure Potet
    A VDM Specification of the Steam-Boiler Problem. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:283-317 [Conf]
  6. Paul Jacquet, Marie-Laure Potet
    Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). [Citation Graph (0, 0)][DBLP]
    ECAI, 1986, pp:345-356 [Conf]
  7. 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]
  8. Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet
    Test Purposes: Adapting the Notion of Specification to Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:127-134 [Conf]
  9. Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar
    Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:53-61 [Conf]
  10. 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]
  11. Pierre Bontron, Marie-Laure Potet
    Automatic Construction of Validated B Components from Structured Developments. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:127-147 [Conf]
  12. 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]
  13. Pierre Bontron, Marie-Laure Potet
    Stratégie de couverture de test à un haut niveau d'abstraction. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2004, v:23, n:7, pp:905-928 [Journal]
  14. Marie-Laure Potet
    Spécifications et développements structurés dans la méthode B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:61-88 [Journal]

  15. A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. [Citation Graph (, )][DBLP]


  16. Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. [Citation Graph (, )][DBLP]


  17. Liability in software engineering: overview of the LISE approach and illustration on a case study. [Citation Graph (, )][DBLP]


  18. A B Formal Framework for Security Developments in the Domain of Smart Card Applications. [Citation Graph (, )][DBLP]


  19. Security Policy Enforcement Through Refinement Process [Citation Graph (, )][DBLP]


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


  21. GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.023secs
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