Claude Dutheillet

According to our database, Claude Dutheillet authored at least 18 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CosySEL: Improving SAT Solving Using Local Symmetries.

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2011

Lumping partially symmetrical stochastic models.

Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad

Perform. Evaluation, 2011

An algorithmic approach for analysis of finite-source retrial systems with unreliable servers.

Nawel Gharbi, Claude Dutheillet

Comput. Math. Appl., 2011

2009

Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems.

Nawel Gharbi, Claude Dutheillet, Malika Ioualalen

Math. Comput. Model., 2009

From partially to fully lumped Markov chains in stochastic well formed Petri nets.

Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

2005

On the use of exact lumpability in partially symmetricalWell-formed Nets.

Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

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

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003

Automatic Symmetry Detection in Well-Formed Nets.

Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2001

On the use of partial symmetries for lumping Markov chains.

Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié

SIGMETRICS Perform. Evaluation Rev., 2001

2000

Exploiting Partial Symmetries for Markov Chain Aggregation.

Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

1999

Towards Performance Analysis with Partially Symmetrical SWN.

Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié

Proceedings of the MASCOTS 1999, 1999

1997

A Symbolic Reachability Graph for Coloured Petri Nets.

Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad

Theor. Comput. Sci., 1997

1995

On Liveness in Extended non Self-Controlling Nets.

Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.

Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad

IEEE Trans. Computers, 1993

Conflict sets in colored Petri nets.

Claude Dutheillet, Serge Haddad

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.

Kamel Barkaoui, Claude Dutheillet, Serge Haddad

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1989

Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.

Claude Dutheillet, Serge Haddad

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Regular stochastic Petri nets.

Claude Dutheillet, Serge Haddad

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989