Publications de Sylvain Boulmé

Load the BibTeX file

Articles de journaux

1. F. Badeau, D. Bert, S. Boulmé, C. Métayer, M.-L. Potet, N. Stouls, L. Voisin. Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOM. Technique et Science Informatiques, RSTI, série TSI, 23(7):879-903, 2004.

Conférences internationales

1. Sylvain Boulmé. Intuitionistic Refinement Calculus. In Proc. of International Conference on Typed Lambda Calculi and Applications (TLCA 2007), LNCS 4583, Paris, Juin 2007.
2. 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. In Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007) LNCS 4355, Pages 4-18, Janvier 2007.
3. V. Prevosto, S. Boulmé. Proof Contexts with Late Binding. In Typed Lambda Calculi and Applications: 7th, TLCA'2005, Pages 324-338, 2005. download
4. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin. Adaptable Translator of B Specifications to Embedded C Programs. In FME 2003: Formal Methods, Pages 94-113, Pise, Septembre 2003.
5. Frédéric Badeau, Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. Traduction de B vers des langages de programmation : points de vue du projet BOM. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 87-102, IRISA, Rennes, Janvier 2003.
6. S. Boulmé, G. Hamon. Certifying synchrony for free. In Logic for Programming and Reasonning, LPAR'01, Pages 495-506, 2001.