dblp.uni-trier.dewww.uni-trier.de

Julien Groslambert

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Fabrice Bouquet [1] [2] [4]
2Frédéric Dadeau [1] [2] [4]
3Alain Giorgetti [3]
4Jacques Julliand [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)