Search the dblp DataBase

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]