Regular stochastic Petri nets. - Claude Dutheillet; Serge Haddad (Applications and Theory of Petri Nets, 1989)

Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. - Claude Dutheillet; Serge Haddad (PNPM, 1989)

An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. - Kamel Barkaoui; Claude Dutheillet; Serge Haddad (Application and Theory of Petri Nets, 1993)

Conflict sets in colored Petri nets. - Claude Dutheillet; Serge Haddad (PNPM, 1993)

Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. - Giovanni Chiola; Claude Dutheillet; Giuliana Franceschinis; Serge Haddad (IEEE Trans. Computers, 1993)

On Liveness in Extended non Self-Controlling Nets. - Kamel Barkaoui; Jean-Michel Couvreur; Claude Dutheillet (Application and Theory of Petri Nets, 1995)

A Symbolic Reachability Graph for Coloured Petri Nets. - Giovanni Chiola; Claude Dutheillet; Giuliana Franceschinis; Serge Haddad (Theor. Comput. Sci., 1997)

Towards Performance Analysis with Partially Symmetrical SWN. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MASCOTS, 1999)

Exploiting Partial Symmetries for Markov Chain Aggregation. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MTCS, 2000)

On the use of partial symmetries for lumping Markov chains. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (SIGMETRICS Perform. Evaluation Rev., 2001)

Automatic Symmetry Detection in Well-Formed Nets. - Yann Thierry-Mieg; Claude Dutheillet; Isabelle Mounier (ICATPN, 2003)

Extended SWN Solvers in GreatSPN. - Jean-Michel Ilié; Souheib Baarir; Marco Beccuti; Clément Delamare; Susanna Donatelli; Claude Dutheillet; Giuliana Franceschinis; Rossano Gaeta; Patrice Moreaux (QEST, 2004)

On the use of exact lumpability in partially symmetricalWell-formed Nets. - Souheib Baarir; Claude Dutheillet; Serge Haddad; Jean-Michel Ilié (QEST, 2005)

From partially to fully lumped Markov chains in stochastic well formed Petri nets. - Souheib Baarir; Marco Beccuti; Claude Dutheillet; Giuliana Franceschinis (VALUETOOLS, 2009)

Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems. - Nawel Gharbi; Claude Dutheillet; Malika Ioualalen (Math. Comput. Model., 2009)

An algorithmic approach for analysis of finite-source retrial systems with unreliable servers. - Nawel Gharbi; Claude Dutheillet (Comput. Math. Appl., 2011)

Lumping partially symmetrical stochastic models. - Souheib Baarir; Marco Beccuti; Claude Dutheillet; Giuliana Franceschinis; Serge Haddad (Perform. Evaluation, 2011)

CosySEL: Improving SAT Solving Using Local Symmetries. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet; Jo Devriendt (VMCAI, 2023)

Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet (IFM, 2024)

Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet (NFM, 2024)