| 2005 |
| 12 | EE | Souheib Baarir,
Claude Dutheillet,
Serge Haddad,
Jean-Michel Ilié:
On the use of exact lumpability in partially symmetricalWell-formed Nets.
QEST 2005: 23-32 |
| 2004 |
| 11 | EE | Jean-Michel Ilié,
Souheib Baarir,
Marco Beccuti,
C. Delamare,
Susanna Donatelli,
Claude Dutheillet,
Giuliana Franceschinis,
Rossano Gaeta,
Patrice Moreaux:
Extended SWN Solvers in GreatSPN.
QEST 2004: 324-325 |
| 2003 |
| 10 | EE | Yann Thierry-Mieg,
Claude Dutheillet,
Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets.
ICATPN 2003: 82-101 |
| 2001 |
| 9 | EE | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
On the use of partial symmetries for lumping Markov chains.
SIGMETRICS Performance Evaluation Review 28(4): 33-35 (2001) |
| 2000 |
| 8 | EE | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
Exploiting Partial Symmetries for Markov Chain Aggregation.
Electr. Notes Theor. Comput. Sci. 39(3): (2000) |
| 1999 |
| 7 | EE | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
Towards Performance Analysis with Partially Symmetrical SWN.
MASCOTS 1999: 148-155 |
| 1997 |
| 6 | EE | Giovanni Chiola,
Claude Dutheillet,
Giuliana Franceschinis,
Serge Haddad:
A Symbolic Reachability Graph for Coloured Petri Nets.
Theor. Comput. Sci. 176(1-2): 39-65 (1997) |
| 1995 |
| 5 | | Kamel Barkaoui,
Jean-Michel Couvreur,
Claude Dutheillet:
On Liveness in Extended non Self-Controlling Nets.
Application and Theory of Petri Nets 1995: 25-44 |
| 1993 |
| 4 | | Kamel Barkaoui,
Claude Dutheillet,
Serge Haddad:
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
Application and Theory of Petri Nets 1993: 69-88 |
| 3 | | Giovanni Chiola,
Claude Dutheillet,
Giuliana Franceschinis,
Serge Haddad:
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.
IEEE Trans. Computers 42(11): 1343-1360 (1993) |
| 1989 |
| 2 | | Claude Dutheillet,
Serge Haddad:
Regular stochastic Petri nets.
Applications and Theory of Petri Nets 1989: 186-209 |
| 1 | | Claude Dutheillet,
Serge Haddad:
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.
PNPM 1989: 40-49 |