Research Reports

2013

1. Roland Groz, Keqin Li, Alexandre Petrenko. Verification of Modular Systems with Unknown Components Combining Testing and Inference. Research Report LIG, No 28, 2013.
2. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. Research Report LIG, No 31, February 2013.

2012

1. A. Bauer, Y. Falcone. Decentralised LTL Monitoring. RR CoRR, 2012. download

2010

1. Lydie du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. Research Report LIG, 2010.
2. Muhammad Rabee Shaheen, Lydie du Bousquet. Survey of source code metrics for evaluating testability of object oriented systems. Research Report LIG, 2010.

2005

1. H. Ruís Barradas, D. Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. Rapport de Recherche LSR, December 2005. download
2. D. Duval, J.-C. Reynaud. Diagrammatic logic and effects: the example of exceptions. Rapport de Recherche LSR, February 2005.
3. H. Ruíz Barradas, D. Bert. Proof obligations for specification and refinement of liveness properties under weak fairness. Rapport de Recherche LSR, February 2005.

2004

1. Catherine Oriat. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. RR LSR-IMAG, No 1069, June 2004.

2003

1. D. Duval, C. Lair, C. Oriat, J.C. Reynaud. A zooming process for specifications with an application to exceptions. RR IMAG-LMC, No 1055, 2003.

1997

1. L. du Bousquet, N. Zuanon. Validation incrémentale de spécifications de services. Research Report Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B 043, LSR-IMAG, November 1997.

1996

1. S. Antoy, R. Echahed, M. Hanus. A Parallel Narrowing Strategy. Technical Report 96-1 Portland State University, 1996.
2. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Catalogue de l'exposition logiciels critiques. Research Report IMAG, 1996.
3. I. Parissis, N. Zuanon. Validation incrémentale de spécifications de services. Research Report Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B 043, LSR-IMAG, November 1996.
4. Didier Bert. Projet IMAG SCOP ``Spécification et COnstruction de Programmes'' Bilan 1990-1996. RR 959-I, Laboratoire LSR-IMAG, Grenoble, September 1996.
5. Catherine Oriat. Modular specifications: constructions with finite colimits, diagrams, isomorphisms. RR 964-I-LSR-3, Laboratoire LSR-IMAG, September 1996.

1995

1. D. Avrilionis, P.Y. Cunin. The compatibility problem of process evolution and process model evolution. Research Report IMAG - Laboratoire de Génie Informatique, 1995.
2. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. Research Report IMAG-LGI, 1995.
3. Didier Bert, Rachid Echahed. Multiparadigm logic programming: the case of the language LPG. Research Report IMAG-LGI, 1995.
4. Y. Ledru. An introduction to Z and formal methods. Research Report Université Joseph Fourier - UFR Informatique et Mathématiques Appliquées, 1995.