Acronyme : «acronyme»

Réalisations du responsable dans le domaine de l’UE

• 
  Thèse de doctorat, « Techniques pour le model-checking de spécifications de haut niveau », Décembre 2004
  
• 
  Juillet 2005: Collection Synthex, Synthèse de cours et Exercices Corrigés, Le langage UML 2, Benoit Charroux, Aomar Osmani, Yann Thierry-Mieg, édité par Pearson Education, 260 pages ISBN : 2744071242.
  
• 
  Y. Thierry-Mieg, S. Baarir, A. Duret-Lutz et F. Kordon. Nouvelles techniques de model-checking pour la vérification de systèmes complexes. Journal Génie Logiciel n.69, Juin 2004
  
• 
  J-M Couvreur, Y. Thierry-Mieg, Hierarchical Decision Diagrams to Exploit Model Structure, 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE’05, Taipei, Taiwan, Octobre 2005
  
• 
  J. Hugues, Y. Thierry-Mieg, S. Baarir, F. Kordon, T. Vergnaud, and L. Pautet. On the formal verification of middleware behavioural properties. In Thomas Arts and Wan Fokkink, editors, Proc. Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Electronic Notes in Theoretical Computer Science. Elsevier, 2004.
  

Acronyme : mia	Spécialité : IAD	6 ECTS	Niveau : 400	Semestre : S2
Titre : Méthodes pour l'intelligence artificielle
Responsable : Jean-Gabriel GANASCIA