Julien Groslambert

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
Verification of class liveness properties with java modelling language. IET Softw. 2 (6) (2008)
Julien Groslambert
A. B (2007)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
JML2B: Checking JML Specifications with B Machines. B (2007)
Julien Groslambert
Verification of LTL on B Event Systems. B (2007)
Alain Giorgetti, Julien Groslambert
JAG: JML Annotation Generation for Verifying Temporal Properties FASE (2006)
Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE (2006)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
Safety Property Driven Test Generation from. FATES/RV (2006)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
Checking JML Specifications with B Machines. ZB (2005)