Julien Groslambert

According to our database, Julien Groslambert authored at least 8 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Verification of class liveness properties with java modelling language.

Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko

IET Softw., 2008

2007

A.

Julien Groslambert

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Verification of LTL on B Event Systems.

Julien Groslambert

Proceedings of the B 2007: Formal Specification and Development in B, 2007

JML2B: Checking JML Specifications with B Machines.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

JML-based verification of liveness properties on a class in isolation.

Julien Groslambert, Jacques Julliand, Olga Kouchnarenko

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Safety Property Driven Test Generation from.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

JAG: JML Annotation Generation for Verifying Temporal Properties

Alain Giorgetti, Julien Groslambert

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

Checking JML Specifications with B Machines.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005