Claude Dutheillet

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