Publications 2002

Academic Journals

  1. E. Denney, T. Jensen. Correctness of Java Card method lookup via logical relations. Theoretical Computer Science, 283:305-331, 2002.

Book Chapters

  1. T. Jensen. Types in program analysis. In The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, Torben Mogensen, David Schmidt, I. Hal Sudborough (eds.), pp. 204-222, Lecture Notes in Computer Science 2566, Springer-Verlag, 2002.

International Conferences

  1. F. Besson, Thomas de Grenier de Latour, T. Jensen. Secure calling contexts for stack inspection. In Proc. of 4th Int Conf. on Principles and Practice of Declarative Programming (PPDP 2002), Pages 76-87, 2002. download
  2. Thomas Jensen, Florimond Ployette, Olivier Ridoux. Iteration schemes for fixed point conputation. In Proc. of 4th Int workshop on Fixed Points in Computer Science (FICS'02), A. Ingolfsdottir, Z. Esik (eds.), Pages 69-76, 2002.
  3. Marc Éluard, Thomas Jensen. Secure object flow analysis for Java Card. In Proc. of 5th Smart Card Research and Advanced Application Conference (Cardis'02), 2002.

Research Reports

  1. T. Genet, V. Viet Triem Tong. Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation. Research Report INRIA, No 0, 2002. ps


  1. F. Besson. Analyse modulaire de programmes. PhD Thesis Université de Rennes 1, 2002. download
  2. Siegfried Rouvrais. Utilisation d'agents mobiles pour la construction de services distribués. PhD Thesis Université de Rennes 1, July 2002.