Publications 2004
Proceedings
- 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
- 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.
- 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
- 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
- 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.
- 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.
- 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
- Katell Morin-Allory. Vérification formelle dans le modèle polyédrique. PhD Thesis Université de Rennes 1, October 2004.
- 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.