Search the dblp DataBase

Publications of Author

1. Nicolas Stouls, Marie-Laure Potet
   Security Policy Enforcement Through Refinement Process. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:216-231 [Conf]
   
2. 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]
   
3. 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]
   
4. 
   B Model Abstraction Combining Syntactic and Semantic Methods. [Citation Graph (, )][DBLP]
   
   
5. 
   Syntactic Abstraction of B Models to Generate Tests. [Citation Graph (, )][DBLP]
   
   
6. 
   Graph Based Reduction of Program Verification Conditions [Citation Graph (, )][DBLP]
   
   
7. 
   Syntactic Abstraction of B Models to Generate Tests [Citation Graph (, )][DBLP]
   
   
8. 
   Security Policy Enforcement Through Refinement Process [Citation Graph (, )][DBLP]
   
   
9. 
   GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. [Citation Graph (, )][DBLP]
   
   
10. 
    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]