The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Michel Ilié: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari
    Symbolic Reachability Graph and Partial Symmetries. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:238-257 [Conf]
  2. Jean-Michel Ilié, Omar Rojas
    On Well-Formed Nets and Optimizations in Enabling Tests. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:300-318 [Conf]
  3. Serge Haddad, Jean-Michel Ilié, Kais Klai
    Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:196-210 [Conf]
  4. Serge Haddad, Jean-Michel Ilié, Khalil Ajami
    A Model Checking Method for Partially Symmetric Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:121-136 [Conf]
  5. Kais Klai, Serge Haddad, Jean-Michel Ilié
    Modular Verification of Petri Nets Properties: A Structure-Based Approach. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:189-203 [Conf]
  6. Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
    A Symbolic Symbolic State Space Representation. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:276-291 [Conf]
  7. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
    Towards Performance Analysis with Partially Symmetrical SWN. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1999, pp:148-155 [Conf]
  8. Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
    On the use of exact lumpability in partially symmetricalWell-formed Nets. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:23-32 [Conf]
  9. Jean-Michel Ilié, Souheib Baarir, M. Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
    Extended SWN Solvers in GreatSPN. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:324-325 [Conf]
  10. Khalil Ajami, Serge Haddad, Jean-Michel Ilié
    Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:52-67 [Conf]
  11. Jean-Michel Ilié, Khalil Ajami
    Model Checking Through Symbolic Reachability Graph. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:213-224 [Conf]
  12. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
    Exploiting Partial Symmetries for Markov Chain Aggregation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  13. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
    On the use of partial symmetries for lumping Markov chains. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2001, v:28, n:4, pp:33-35 [Journal]

  14. Complementary Formal Approaches for Dependability Analysis. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002