 | 2008 |
|---|
| 7 |       | Alain Giorgetti,
Julien Groslambert,
Jacques Julliand,
Olga Kouchnarenko:
Verification of class liveness properties with java modelling language.
IET Software 2(6): 500-514 (2008) |
| 2007 |
|---|
| 6 | | Julien Groslambert:
Verification of LTL on B Event Systems.
B 2007: 109-124 |
| 5 | | Julien Groslambert:
A.
B 2007: 262-265 |
| 4 | | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert:
JML2B: Checking JML Specifications with B Machines.
B 2007: 285-288 |
| 2006 |
|---|
| 3 | | Alain Giorgetti,
Julien Groslambert:
JAG: JML Annotation Generation for Verifying Temporal Properties
FASE 2006: 373-376 |
| 2 | | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert,
Jacques Julliand:
Safety Property Driven Test Generation from.
FATES/RV 2006: 225-239 |
| 2005 |
|---|
| 1 | | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert:
Checking JML Specifications with B Machines.
ZB 2005: 434-453 |
