Publications 2004

Proceedings

  1. M. Huisman, T. Jensen (eds.). J. Logic and Algebraic Programming. Special issue on Formal Methods for Smart Cards, vol. 58(1-2). Elsevier, 2004.

Academic Journals

  1. M. Eluard, T. Jensen. Vérification du contrôle d'accès dans des cartes à puce multi-application. Technique et Science Informatiques, 23(3):323-358, 2004.
  2. G. Feuillade, T. Genet, V. Viet Triem Tong. Reachability Analysis over Term Rewriting Systems. Journal of Automated Reasoning, 33 (3-4):341-383, 2004. download
  3. T. Jensen, J.-L. Lanet. Modélisation et vérification dans les cartes à puce. Revue d'électricité et de l'électronique, 6/7:89-94, 2004.

International Conferences

  1. David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu. Extracting a data flow analyser in constructive logic. In Proc. ESOP'04, Springer LNCS, Pages 385-400, 2004.
  2. Matthieu Petit, Arnaud Gotlieb. Probabilistic choice operators as global constraints : application to statistical software testing. In Poster presentation in ICLP'04, Springer LNCS, Pages 471-472, 2004.
  3. Matthieu Petit, Arnaud Gotlieb. An ongoing work on statistical structural testing via probabilistic concurrent constraint programming. In Proc. of SIVOES-MODEVA workshop, St Malo, France, November 2004.

Thesis

  1. Katell Morin-Allory. Vérification formelle dans le modèle polyédrique. PhD Thesis Université de Rennes 1, October 2004.
  2. B. Morin. Corrélation d'alertes issues d'outils de détection d'intrusions avec prise en compte d'informations sur le système surveillé. PhD Thesis INSA de Rennes, February 2004.