1 Studente di dottorato (Relatore / Co-relazione)

• SAOULI Sabrine : Exploitation des symétries locales pour les résolutions des problèmes SAT

2 Dottore di ricerca 2007 - 2013

Pubblicazioni 1997-2011

• 2011
  • S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis, S. Haddad : “Lumping partially symmetrical stochastic models”, Performance Evaluation, vol. 68 (1), pp. 21-44, (Elsevier) (2011)
  • C. Dutheillet, I. Mounier, N. Sznajder : “Distributed Control”, chapter in Models and Analysis in Distributed Systems, pp. 307-351, (Wiley), (ISBN: 9781848213142) (2011)
• 2009
  • S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis : “From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets”, Proc. 4^th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Pisa, Italy, pp. 43:1-43:10, (ICST) (2009)
  • N. Gharbi, C. Dutheillet, M. Ioualalen : “Colored stochastic Petri nets for modelling and analysis of mulitclass retrial systems”, Mathematical and Computer Modelling, vol. 49 (7-8), pp. 1436-1448, (Elsevier) (2009)
• 2005
  • S. Baarir, C. Dutheillet, S. Haddad, J.‑M. Ilié : “On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets”, 2^nd International Conference on the Quantitative Evaluation of Systems (QEST '05), Torino, Italy, pp. 23-32, (IEEE Computer Society Press) (2005)
• 2004
  • J.‑M. Ilié, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux : “Extended SWN Solvers in GreatSPN”, 1^st International Conference on Quantitative Evaluation of Systems (QEST '04), Enschede, Netherlands, pp. 324-325, (IEEE Computer Society) (2004)
• 2003
  • Y. Thierry‑Mieg, C. Dutheillet, I. Mounier : “Automatic Symmetry Detection in Well-Formed Nets”, 24^th International Conference on Theory and Application of Petri Nets, vol. 2679, Lecture Notes in Computer Science, Eindhoven, Netherlands, pp. 82-101, (Springer) (2003)
  • C. Dutheillet, J.‑M. Ilié, D. Poitrenaud, I. Vernier‑Mounier : “State-Space-Based Methods and Model Checking”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, pp. 201-275, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
• 2000
  • L. Capra, C. Dutheillet, G. Franceschinis, J.‑M. Ilié : “Exploiting Partial Symmetries for Markov Chain Aggregation”, International Workshop on Models for Time-Critical Systems (MTCS 2000), vol. 39 (3), Electronic Notes in Theoretical Computer Science, State College, PA, United States, pp. 231-257, (Elsevier) (2000)
• 1999
  • L. Capra, C. Dutheillet, G. Franceschinis, J.‑M. Ilié : “Towards Performance Analysis with Partially Symmetrical SWN”, International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOT '99), College Park, MD, United States, pp. 148-155, (IEEE) (1999)
• 1997
  • S. Haddad, J.‑M. Ilié, M. Taghelit, C. Dutheillet, P. Moreaux : “Contribution des Réseaux de Petri de Haut Niveau pour l’Etude des Protocoles”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 16 (6), pp. 701-723, (Lavoisier) (1997)