Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Sylvain Boulmé, Grégoire Hamon
   Certifying Synchrony for Free. [Citation Graph (0, 0)][DBLP]
   LPAR, 2001, pp:495-506 [Conf]
   
4. Virgile Prevosto, Sylvain Boulmé
   Proof Contexts with Late Binding. [Citation Graph (0, 0)][DBLP]
   TLCA, 2005, pp:324-338 [Conf]
   
5. Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
   On the way to certify Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
6. 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]
   
7. Sylvain Boulmé
   Intuitionistic Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   TLCA, 2007, pp:54-69 [Conf]
   
8. 
   Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. [Citation Graph (, )][DBLP]