 | 2009 |
|---|
| 11 |       | Peter Bulychev,
Thomas Chatain,
Alexandre David,
Kim Guldstrand Larsen:
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.
FORMATS 2009: 73-87 |
| 10 | | Thomas Chatain,
Paul Gastin,
Nathalie Sznajder:
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.
SOFSEM 2009: 141-152 |
| 2008 |
|---|
| 9 | | Paolo Baldan,
Thomas Chatain,
Stefan Haar,
Barbara König:
Unfolding-Based Diagnosis of Systems with an Evolving Topology.
CONCUR 2008: 203-217 |
| 8 | | Étienne André,
Thomas Chatain,
Laurent Fribourg,
Emmanuelle Encrenaz:
An Inverse Method for Parametric Timed Automata.
Electr. Notes Theor. Comput. Sci. 223: 29-46 (2008) |
| 2007 |
|---|
| 7 | | Thomas 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) |
| 2006 |
|---|
| 6 | | Franck Cassez,
Thomas Chatain,
Claude Jard:
Symbolic Unfoldings for Networks of Timed Automata.
ATVA 2006: 307-321 |
| 5 | | Thomas Chatain,
Claude Jard:
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.
ICATPN 2006: 125-145 |
| 2005 |
|---|
| 4 | | Thomas Chatain,
Claude Jard:
Models for the Supervision of Web Services Orchestration with Dynamic Changes.
AICT/SAPIR/ELETE 2005: 446-451 |
| 3 | | Thomas Chatain,
Claude Jard:
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.
FORMATS 2005: 196-210 |
| 2 | | Thomas Chatain,
Loïc Hélouët,
Claude Jard:
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
FORTE 2005: 489-502 |
| 2004 |
|---|
| 1 | | Thomas Chatain,
Claude Jard:
Symbolic Diagnosis of Partially Observable Concurrent Systems.
FORTE 2004: 326-342 |
