Publications 2003

Academic Journals

  1. A. Banerjee, T. Jensen. Control-flow analysis with rank-2 intersection types. Mathematical Structures in Computer Science, 13(1):87-124, 2003.
  2. F. Spoto, T. Jensen. Class Analyses as Abstract Interpretations of Trace Semantics. ACM Transactions on Programming Languages and Systems (TOPLAS), 25(5):578-630, 2003.

International Conferences

  1. F. Besson, T. Jensen. Modular Class Analysis with DATALOG. In Proc. of 10th Static Analysis Symposium (SAS 2003), R. Cousot (ed.), Pages 19-36, 2003. download
  2. T. Genet, T. Jensen, V. Kodati, D. Pichardie. A Java Card CAP Converter in PVS. In Proceedings of the 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), 2003. download
  3. T. Genet, Y.-M. Tang-Talpin, V. Viet Triem Tong. Verification of Copy Protection Cryptographic Protocol using Approximations of Term Rewriting Systems. In In Proceedings of Workshop on Issues in the Theory of Security, 2003. download
  4. A. Gotlieb, B. Botella. Automated Metamorphic Testing. In Proc. of the 27th IEEE Annual International Computer Software and Applications Conference (COMPSAC), 3th to 7th November, Dallas, TX, USA, 2003.
  5. Arnaud Gotlieb. Exploiting Symmetries to Test Programs. In Proc. of 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), 17th to 20th November, Denver, Colorado, USA, 2003.
  6. Lionel van Aertryck, Thomas Jensen. UML-CASTING: Test synthesis from UML models using constraint resolution. In Proc. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2003), J-M. Jézéquel (ed.), 2003.
  7. David Cachera, David Pichardie. Embedding of Systems of Affine Recurrence Equations in Coq. In Proc. TPHOLs 2003, 16th International Conference on Theorem Proving in Higher Order Logics , LNCS, Rome, Italy, September 2003. ps
  8. David Cachera, Katell Morin-Allory. Verification of Control Properties in the Polyhedral Model. In Proc. 1st MEMOCODE conference, Mont-St-Michel, France, June 2003. ps
  9. G. Feuillade, T. Genet. Reachability in conditional term rewriting systems. In FTP'2003, International Workshop on First-Order Theorem Proving, Electronic Notes in Theoretical Computer Science, Volume 86 n. 1, June 2003. download

Research Reports

  1. David Cachera, Katell Morin-Allory. Verification of Control Properties in the Polyhedral Model. Research Report INRIA, No 1515, 2003. ps
  2. David Cachera, David Pichardie. Proof Tactics for the Verification of Structured Systems of Affine Recurrence Equations. Research Report INRIA, No 1511, 2003. ps
  3. G. Feuillade, T. Genet, V. Viet Triem Tong. Reachability Analysis over Term Rewriting Systems. Research Report INRIA, No 0, 2003. ps


  1. T. Genet. Timbuk 2.0 - A Tree Automata Library - Reference Manual and Tutorial. IRISA / Université de Rennes 1, 2003. download


  1. V. Viet Triem Tong. Automates d'arbres et réécriture pour l'étude de problèmes d'accessibilité. PhD Thesis Université Rennes 1, 2003.