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 |