Back to INDEX

  Publications of Julien Groslambert  

Articles in journal or book chapters
  1. Alain Giorgetti, Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. Verification of class liveness properties with Java modeling language. IET Software, 2(6):500--514, December 2008. [bibtex]


Conference articles
  1. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. JML2B: Checking JML specifications with B machines. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference - Tool Session, volume 4355 of LNCS, Besancon, France, pages 285--288, January 2007. Springer. [bibtex]


  2. Alain Giorgetti and Julien Groslambert. Un programme annoté en vaut deux. In Pierre-Etienne Moreau, editor, JFLA'07, Journées francophones des langages applicatifs, Aix-les-Bains, France, pages 87--101, January 2007. INRIA. [bibtex]


  3. Julien Groslambert. A JAG extension for verifying LTL properties on B Event Systems. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference - Tool Session, volume 4355 of LNCS, Besancon, France, pages 262--265, January 2007. Springer. [bibtex]


  4. Julien Groslambert. Verification of LTL on B Event Systems. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference, volume 4355 of LNCS, Besancon, France, pages 111--125, January 2007. Springer. [bibtex]


  5. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, and Jacques Julliand. Safety Property Driven Test Generation from JML Specifications. In K. Havelund, M. Garcia, G. Rosu, and B. Wolff, editors, FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification, volume 4262 of LNCS, Seattle, WA, United States, pages 225--239, August 2006. Springer. [bibtex]


  6. Alain Giorgetti and Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. In AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France, March 2006. Note: Session outils. [bibtex]


  7. Alain Giorgetti and Julien Groslambert. JAG: JML Annotation Generation for Verifying Temporal Properties. In FASE'2006, Fundamental Approaches to Software Engineering, volume 3922 of LNCS, Vienna, Austria, pages 373--376, March 2006. Springer. Note: Tools session. [bibtex]


  8. Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. JML-based Verification of Liveness Properties on a Class. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 41--48, November 2006. [bibtex]


  9. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. Checking JML Specifications with B Machines. In H. Treharne, S. King, M. Henson, and S. Schneider, editors, Procs of the Int. Conf. on Formal Specification and Development in Z and B, (ZB'05), volume 3455 of LNCS, Guildford, United Kingdom, pages 435--454, April 2005. Springer. [bibtex]


Internal reports
  1. Alain Giorgetti and Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. Technical Report RT2006-02, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, September 2006.
    Keywords: Java Modeling Language, temporal logic, annotations, verification. [Abstract] [bibtex]


  2. Julien Groslambert. Verification of LTL on B Event System. Research Report RR2006-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2006.
    Keywords: LTL, Buchi Automaton, Verification, Refinement.. [Abstract] [bibtex]


  3. Françoise Bellegarde, Julien Groslambert, M. Huisman, Jacques Julliand, and Olga Kouchnarenko. Verification of Liveness Properties with JML. Research Report RR2005-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2005.
    Keywords: Java Modeling Language, JML, Liveness, Verification. [bibtex]


  4. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. Checking JML specifications with B machines. Research Report RR2004-12, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2004. Note: 29 pages.
    Keywords: Java Modeling Language, JML, object-oriented, B method, specifications, abstract machines. [Abstract] [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html