 | 2010 |
|---|
| 9 |       | Asma Tafat,
Sylvain Boulmé,
Claude Marché:
A Refinement Methodology for Object-Oriented Programs.
FoVeOOS 2010: 153-167 |
| 2009 |
|---|
| 8 | | Sylvain Boulmé,
Marie-Laure Potet:
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#.
Rigorous Methods for Software Construction and Analysis 2009: 1-16 |
| 2007 |
|---|
| 7 | | 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 | | Sylvain Boulmé:
Intuitionistic Refinement Calculus.
TLCA 2007: 54-69 |
| 2005 |
|---|
| 5 | | 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 | | 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 | | Sylvain Boulmé,
Grégoire Hamon:
Certifying Synchrony for Free.
LPAR 2001: 495-506 |
| 1999 |
|---|
| 1 | | 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): 370-385 (1999) |
Data released under the ODC-BY 1.0 license — See also our legal information page