Acronyme : «acronyme»

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)
Responsable : Roselyne CHOTIN-AVOT