Acronyme : «acronyme»

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

• 
  S. Baarir, C. Dutheillet, S. Haddad, J.-M. Ilié : "On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets", QEST05.
  
• 
  Y. Thierry-Mieg, C. Dutheillet, I. Mounier : "Automatic Symmetry Detection in Well-Formed Nets", ICATPN 2003
  
• 
  L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Towards Performance Analysis with Partially Symmetrical SWN", MASCOT'99
  
• 
  C. Dutheillet, J.-M. Ilié, D. Poitrenaud, I. Vernier-Mounier : "State-Space-Based Methods and Model Checking", in Petri nets for Systems Engineering
  
• 
  L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Exploiting Partial Symmetries for Markov Chain Aggregation", ENTCS, vol. 39
  

Acronyme : msv	Spécialité : SAR	3 ECTS	Niveau : 500	Semestre : S3
Titre : Musique et science au XXème siècle
Responsable : Georges Bloch