Search the dblp DataBase

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]