Claude Dutheillet

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 2

Top Topics

Genetic Algorithm Ga

Boolean Satisfiability

Symmetry Breaking

Top Venues

Publications

Sabrine Saouli, Souheib Baarir, Claude Dutheillet
Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. NFM (2024)
Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt
CosySEL: Improving SAT Solving Using Local Symmetries. VMCAI (2023)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Lumping partially symmetrical stochastic models. Perform. Evaluation 68 (1) (2011)
Nawel Gharbi, Claude Dutheillet
An algorithmic approach for analysis of finite-source retrial systems with unreliable servers. Comput. Math. Appl. 62 (6) (2011)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS (2009)
Nawel Gharbi, Claude Dutheillet, Malika Ioualalen
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems. Math. Comput. Model. 49 (7-8) (2009)
Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST (2005)
Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
Extended SWN Solvers in GreatSPN. QEST (2004)
Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
Automatic Symmetry Detection in Well-Formed Nets. ICATPN (2003)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
On the use of partial symmetries for lumping Markov chains. SIGMETRICS Perform. Evaluation Rev. 28 (4) (2001)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Exploiting Partial Symmetries for Markov Chain Aggregation. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS (1999)
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
A Symbolic Reachability Graph for Coloured Petri Nets. Theor. Comput. Sci. 176 (1-2) (1997)
Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet
On Liveness in Extended non Self-Controlling Nets. Application and Theory of Petri Nets (1995)
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers 42 (11) (1993)
Claude Dutheillet, Serge Haddad
Conflict sets in colored Petri nets. PNPM (1993)
Kamel Barkaoui, Claude Dutheillet, Serge Haddad
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Application and Theory of Petri Nets (1993)
Claude Dutheillet, Serge Haddad
Regular stochastic Petri nets. Applications and Theory of Petri Nets (1989)
Claude Dutheillet, Serge Haddad
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. PNPM (1989)