DUTHEILLET Claude
Associate Professor
Team : MoVe
Tel: +33 1 44 27 61 92, Claude.Dutheillet (at) nulllip6.fr
https://lip6.fr/Claude.Dutheillet
Team : MoVe
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 208
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 61 92, Claude.Dutheillet (at) nulllip6.fr
https://lip6.fr/Claude.Dutheillet
1 PhD student (Supervision / Co-supervision)
- SAOULI Sabrine : Exploitation des symétries locales pour les résolutions des problèmes SAT
1997-2011 Publications
-
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. 4th 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”, 2nd 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”, 1st 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”, 24th 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)