The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Chatain: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Chatain, Claude Jard
    Models for the Supervision of Web Services Orchestration with Dynamic Changes. [Citation Graph (0, 0)][DBLP]
    AICT/SAPIR/ELETE, 2005, pp:446-451 [Conf]
  2. Thomas Chatain, Claude Jard
    Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:125-145 [Conf]
  3. Franck Cassez, Thomas Chatain, Claude Jard
    Symbolic Unfoldings for Networks of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:307-321 [Conf]
  4. Thomas Chatain, Claude Jard
    Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:196-210 [Conf]
  5. Thomas Chatain, Loïc Hélouët, Claude Jard
    From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:489-502 [Conf]
  6. Thomas Chatain, Claude Jard
    Symbolic Diagnosis of Partially Observable Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:326-342 [Conf]
  7. Thomas Chatain, Victor Khomenko
    On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:104, n:4, pp:129-136 [Journal]

  8. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. [Citation Graph (, )][DBLP]


  9. Unfolding-Based Diagnosis of Systems with an Evolving Topology. [Citation Graph (, )][DBLP]


  10. Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. [Citation Graph (, )][DBLP]


  11. Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. [Citation Graph (, )][DBLP]


  12. An Inverse Method for Parametric Timed Automata. [Citation Graph (, )][DBLP]


Search in 0.665secs, Finished in 0.666secs
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