Selected publications by Thomas Chatain
Chapters in Books
-
A. David, G. Behrmann, P. Bulychev, J. Byg, Th. Chatain, K. G. Larsen, P. Pettersson, J. I. Rasmussen, J. Srba, W. Yi, K. Y. Joergensen, D. Lime, M. Magnin, O. H. Roux and L.-M. Traonouez. Tools for Model-Checking Timed Systems. In Communicating Embedded Systems - Software and Design, chapter 6, pages 165-225. Wiley-ISTE, 2009. ( Web page | BibTeX )
Journals
-
P. Baldan, Th. Chatain, S. Haar and B. König. Unfolding-based Diagnosis of Systems with an Evolving Topology. Information and Computation 208(10), pages 1169-1192, 2010. ( PDF | BibTeX + Abstract )
-
É. André, Th. Chatain, E. Encrenaz and L. Fribourg. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science 20(5), pages 819-836, 2009. ( PDF | BibTeX + Abstract )
-
Th. Chatain and V. Khomenko. On the Well-Foundedness of Adequate Orders Used for Construction of
Complete Unfolding Prefixes. Information Processing Letters 104(4), pages 129-136, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )
Conferences
-
S. Balaguer, T. Chatain and S. Haar. Building Tight Occurrence Nets from Reveals Relations. In ACSD'11, pages 44-53. IEEE Computer Society Press, 2011. ( PDF | BibTeX + Abstract )
-
S. Balaguer, Th. Chatain and S. Haar. A Concurrency-Preserving Translation from Time Petri Nets to Networks
of Timed Automata. In TIME'10, pages 77-84. IEEE Computer Society Press, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
-
Th. Chatain and É. Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri
Nets. In ICATPN'10, LNCS 6128, pages 165-184. Springer, 2010. ( PDF | BibTeX + Abstract )
-
P. Bulychev, Th. Chatain, A. David and K. G. Larsen. Checking simulation relation between timed game automata. In FORMATS'09, LNCS 5813, pages 73-87. Springer, 2009. ( PDF | BibTeX + Abstract )
-
Th. Chatain, P. Gastin and N. Sznajder. Natural Specifications Yield Decidability for Distributed Synthesis of
Asynchronous Systems. In SOFSEM'09, LNCS 5404, pages 141-152. Springer, 2009. ( PDF | BibTeX + Abstract )
-
É. André, Th. Chatain, E. Encrenaz and L. Fribourg. An Inverse Method for Parametric Timed Automata. In RP'08, ENTCS 223, pages 29-46. Elsevier Science Publishers, 2008. ( PDF | BibTeX + Abstract )
-
P. Baldan, Th. Chatain, S. Haar and B. König. Unfolding-based Diagnosis of Systems with an Evolving Topology. In CONCUR'08, LNCS 5201, pages 203-217. Springer, 2008. ( PDF | BibTeX + Abstract )
-
F. Cassez, Th. Chatain and C. Jard. Symbolic Unfoldings For Networks of Timed Automata. In ATVA'06, LNCS 4218, pages 307-321. Springer, 2006. ( PDF (long version) | BibTeX + Abstract )
-
Th. Chatain and C. Jard. Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri
Nets. In ICATPN'06, LNCS 4024, pages 125-145. Springer, 2006. ( PDF | BibTeX + Abstract )
-
Th. Chatain and C. Jard. Time Supervision of Concurrent Systems Using Symbolic Unfoldings of
Time Petri Nets. In FORMATS'05, LNCS 3829, pages 196-210. Springer, 2005. ( PDF (long version) | BibTeX + Abstract )
-
Th. Chatain, L. Hélouët and C. Jard. From Automata Networks to HMSCs: A Reverse Model Engineering
Perspective. In FORTE'05, LNCS 3731, pages 489-502. Springer, 2005. ( PDF | PDF (long version) | BibTeX + Abstract )
-
Th. Chatain and C. Jard. Models for the Supervision of Web Services Orchestration with Dynamic
Changes. In AICT/SAPIR/ELETE 2005, pages 446-451. IEEE Computer Society Press, 2005. ( PDF | BibTeX + Abstract )
-
Th. Chatain and C. Jard. Symbolic Diagnosis of Partially Observable Concurrent Systems. In FORTE'04, LNCS 3235, pages 326-342. Springer, 2004. ( PDF | BibTeX + Abstract )
Theses
Other Publications
-
Th. Chatain and C. Jard. Sémantique concurrente symbolique des réseaux de Petri saufs
et dépliages finis des réseaux temporels. In NOTERE'10. IEEE Computer Society Press, 2010. ( PDF | BibTeX + Abstract )
-
É. André, Th. Chatain, O. De Smet, L. Fribourg and S. Ruel. Synthèse de contraintes temporisées pour une architecture
d'automatisation en réseau. In MSR'09, Journal Européen des Systèmes Automatisés 43(7-9), pages 1049-1064. Hermès, 2009. ( PDF | BibTeX + Abstract )
-
Th. Chatain, A. David and K. G. Larsen. Playing Games with Timed Games. In ADHS'09. 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
-
C. Jard, Th. Chatain and P. Bourhis. Diagnostic temporel dans les systèmes répartis à l'aide de
dépliages de réseaux de Petri temporels. In MSR'05, pages 351-365. Hermès, 2005. ( BibTeX + Abstract )
-
Th. Chatain. Diagnostic pour les systèmes distribués dynamiques
partiellement observables. In Actes du 11ème Colloque Francophone sur l'Ingénierie
des Protocoles, Bordeaux, France, April 2005. Hermès, 2005. ( PDF | BibTeX + Abstract )