|
Search the dblp DataBase
Julien Groslambert:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
JML2B: Checking JML Specifications with B Machines. [Citation Graph (0, 0)][DBLP] B, 2007, pp:285-288 [Conf]
- Julien Groslambert
Verification of LTL on B Event Systems. [Citation Graph (0, 0)][DBLP] B, 2007, pp:109-124 [Conf]
- Julien Groslambert
A. [Citation Graph (0, 0)][DBLP] B, 2007, pp:262-265 [Conf]
- Alain Giorgetti, Julien Groslambert
JAG: JML Annotation Generation for Verifying Temporal Properties [Citation Graph (0, 0)][DBLP] FASE, 2006, pp:373-376 [Conf]
- Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
Safety Property Driven Test Generation from. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:225-239 [Conf]
- Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
Checking JML Specifications with B Machines. [Citation Graph (0, 0)][DBLP] ZB, 2005, pp:434-453 [Conf]
Search in 0.001secs, Finished in 0.001secs
|