Thomas Chatain

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

10EEThomas Chatain, Paul Gastin, Nathalie Sznajder: Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. SOFSEM 2009: 141-152
9EEPaolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217
8EEÉtienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Electr. Notes Theor. Comput. Sci. 223: 29-46 (2008)
7EEThomas Chatain, Victor Khomenko: On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. Inf. Process. Lett. 104(4): 129-136 (2007)
6EEFranck Cassez, Thomas Chatain, Claude Jard: Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321
5EEThomas Chatain, Claude Jard: Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. ICATPN 2006: 125-145
4EEThomas Chatain, Claude Jard: Models for the Supervision of Web Services Orchestration with Dynamic Changes. AICT/SAPIR/ELETE 2005: 446-451
3EEThomas Chatain, Claude Jard: Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. FORMATS 2005: 196-210
2EEThomas Chatain, Loïc Hélouët, Claude Jard: From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE 2005: 489-502
1EEThomas Chatain, Claude Jard: Symbolic Diagnosis of Partially Observable Concurrent Systems. FORTE 2004: 326-342

Coauthor Index

1Étienne André [8]
2Paolo Baldan [9]
3Franck Cassez [6]
4Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz) [8]
5Laurent Fribourg [8]
6Paul Gastin [10]
7Stefan Haar [9]
8Loïc Hélouët [2]
9Claude Jard [1] [2] [3] [4] [5] [6]
10Victor Khomenko [7]
11Barbara König [9]
12Nathalie Sznajder [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)