Réalisations du responsable dans le domaine de l’UE
Co-encadrement de la thèse de Thibault Chevalier Names : "Analyse statique de code JavaCard" (thèse CIFRE - Oberthur) . En cours.
With Charles Morisset. Formalisation and Implementation of Access control models, Information Assurance and Security IAS, International Conference on Information Technology ITCC'2005, Las Vegas, NV USA, pp 703-708, IEEE CS Press, 2005.
With Virgile Prevosto. Making proofs in a hierarchy of mathematical structures, Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2003.
On greatest fixpoint semantics of logic programming, Journal of Logic and Computation, 12 (2):321-342,2002.
With David Delahaye and Virgile Prevosto. Coq : un outil pour l'enseignement, To appear, Technique et Science Informatique, TSI, 2005
Acronyme : indus
Spécialité : ACSI
3 ECTS
Niveau : 500
Semestre : S4
Titre : Chaînes de CAO industrielles (Commercial CAD tools)
