| 2007 | ||
|---|---|---|
| 6 | EE | Julien Groslambert: Verification of LTL on B Event Systems. B 2007: 109-124 |
| 5 | EE | Julien Groslambert: A. B 2007: 262-265 |
| 4 | EE | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: JML2B: Checking JML Specifications with B Machines. B 2007: 285-288 |
| 2006 | ||
| 3 | EE | Alain Giorgetti, Julien Groslambert: JAG: JML Annotation Generation for Verifying Temporal Properties FASE 2006: 373-376 |
| 2 | EE | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239 |
| 2005 | ||
| 1 | EE | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: Checking JML Specifications with B Machines. ZB 2005: 434-453 |
| 1 | Fabrice Bouquet | [1] [2] [4] |
| 2 | Frédéric Dadeau | [1] [2] [4] |
| 3 | Alain Giorgetti | [3] |
| 4 | Jacques Julliand | [2] |