| 2007 |
|---|
| 7 | EE | 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.
B 2007: 4-18 |
| 6 | EE | Sylvain Boulmé:
Intuitionistic Refinement Calculus.
TLCA 2007: 54-69 |
| 2005 |
|---|
| 5 | EE | Virgile Prevosto,
Sylvain Boulmé:
Proof Contexts with Late Binding.
TLCA 2005: 324-338 |
| 2004 |
|---|
| 4 | | 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.
Technique et Science Informatiques 23(7): 879-903 (2004) |
| 2003 |
|---|
| 3 | EE | Didier Bert,
Sylvain Boulmé,
Marie-Laure Potet,
Antoine Requet,
Laurent Voisin:
Adaptable Translator of B Specifications to Embedded C Programs.
FME 2003: 94-113 |
| 2001 |
|---|
| 2 | EE | Sylvain Boulmé,
Grégoire Hamon:
Certifying Synchrony for Free.
LPAR 2001: 495-506 |
| 1999 |
|---|
| 1 | EE | Sylvain Boulmé,
Thérèse Hardin,
Daniel Hirschkoff,
Valérie Ménissier-Morain,
Renaud Rioboo:
On the way to certify Computer Algebra Systems.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
