Publications : Thomas CHATAIN

[BCC21b]

M. Boltenhagen, T. Chatain, and J. Carmona. Optimized SAT encoding of conformance checking artefacts. Computing, 103(1):29--50, 2021.
doi: 10.1007/s00607-020-00831-8.
[ BibTex | DOI | Web page ]

[BCC21a]

M. Boltenhagen, T. Chatain, and J. Carmona. Anti-alignments—Measuring the precision of process models and event logs. Information Systems, 98, 2021. To appear.
doi: https://doi.org/10.1016/j.is.2020.101708.
[ BibTex | DOI | Web page ]

[PKCH20]

L. Paulevé, J. Kolcák, T. Chatain, and S. Haar. Reconciling qualitative, abstract, and scalable modeling of biological networks. Nature Communications, 11(4256), August 2020.
doi: 10.1038/s41467-020-18112-5.
[ BibTex | DOI | Web page ]

[CHK⁺20]

Th. Chatain, S. Haar, J. Kolcák, L. Paulevé, and A. Thakkar. Concurrency in Boolean networks. Natural Computing, 19:91--109, 2020.
[ BibTex | Web page | PDF ]

[BCC20]

M. Boltenhagen, T. Chatain, and J. Carmona. Model-based trace variant analysis of event logs. Information Systems, 2020. To appear.
doi: https://doi.org/10.1016/j.is.2020.101675.
[ BibTex | DOI | Web page ]

[BCC19a]

M. Boltenhagen, T. Chatain, and J. Carmona. Encoding Conformance Checking Artefacts in SAT. In Business Process Management Workshops (BPM'19), Revised Selected Papers, volume 362 of Lecture Notes in Business Information Processing, pages 160--171, Vienna, Austria, September 2019. Springer.
doi: 10.1007/978-3-030-37453-2_14.
[ BibTex | DOI | Web page | PDF ]

[BCC19b]

M. Boltenhagen, T. Chatain, and J. Carmona. Generalized Alignment-Based Trace Clustering of Process Behavior. In Proceedings of the 40th International Conference on Applications and Theory of Petri Nets (PETRI NETS'19), volume 11522 of Lecture Notes in Computer Science, pages 237--257, Aachen, Germany, June 2019. Springer.
doi: 10.1007/978-3-030-21571-2_14.
[ BibTex | DOI | Web page | PDF ]

[vdACCvD19]

W. M. P. van der Aalst, J. Carmona, T. Chatain, and B. F. van Dongen. A Tour in Process Mining: From Practice to Algorithmic Challenges. Transactions on Petri Nets and Other Models of Concurrency, 14:1--35, 2019.
doi: 10.1007/978-3-662-60651-3_1.
[ BibTex | DOI | Web page ]

[CHK⁺18]

Th. Chatain, S. Haar, J. Kolcák, A. Thakkar, and L. Paulevé. Concurrency in Boolean networks. Research Report hal-01893106, HAL, October 2018. 33 pages.
[ BibTex | Web page | PDF ]

[CHP18b]

Th. Chatain, S. Haar, and L. Paulevé. Most Permissive Semantics of Boolean Networks. Research Report 1808.10240, Computing Research Repository, August 2018. 15 pages.
[ BibTex | Web page | PDF ]

[CHP18a]

Th. Chatain, S. Haar, and L. Paulevé. Boolean Networks: Beyond Generalized Asynchronicity. In Proceedings of the 24th Annual International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA'18), volume 10875 of Lecture Notes in Computer Science, pages 29--42, Ghent, Belgium, June 2018. Springer.
doi: 10.1007/978-3-319-92675-9_3.
[ BibTex | DOI | Web page ]

[CCD⁺18]

Th. Chatain, M. Comlan, D. Delfieu, L. Jezequel, and O. H. Roux. Pomsets and Unfolding of Reset Petri Nets. In Proceedings of the 12th International Conference on Language and Automata Theory and Applications (LATA'18), volume 10792 of Lecture Notes in Computer Science, pages 258--270, Bar-Ilan, Israel, April 2018. Springer.
doi: 10.1007/978-3-319-77313-1_20.
[ BibTex | DOI | Web page ]

[CCvD17]

Th. Chatain, J. Carmona, and B. van Dongen. Alignment-Based Trace Clustering. In Proceedings of the 36th International Conference on Conceptual Modeling (ER'17), volume 10650 of Lecture Notes in Computer Science, pages 295--308, Valencia, Spain, November 2017. Springer. To appear.
doi: 10.1007/978-3-319-69904-2_24.
[ BibTex | DOI | Web page | PDF ]

[CP17]

Th. Chatain and L. Paulevé. Goal-Driven Unfolding of Petri Nets. In Proceedings of the 28th International Conference on Concurrency Theory (CONCUR'17), volume 85 of Leibniz International Proceedings in Informatics, pages 18:1--18:16, Berlin, Germany, September 2017. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.CONCUR.2017.18.
[ BibTex | DOI | Web page | PDF ]

[vCCT17]

B. van Dongen, J. Carmona, Th. Chatain, and F. Taymouri. Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality. In Proceedings of the 29th International Conference on Advanced Information Systems Engineering (CAiSE'17), volume 10253 of Lecture Notes in Computer Science, pages 94--109, Essen, Germany, June 2017. Springer.
doi: 10.1007/978-3-319-59536-8_7.
[ BibTex | DOI | PDF ]

[ACR17]

É. André, Th. Chatain, and C. Rodríguez. Preserving Partial-Order Runs in Parametric Time Petri Nets. ACM Transactions in Embedded Computing Systems, 16(2):43:1--43:26, 2017.
doi: 10.1145/3012283.
[ BibTex | DOI | PDF ]

[vDCC16]

B. van Dongen, J. Carmona, and Th. Chatain. Alignment-based Quality Metrics in Conformance Checking. In Proceedings of the 7th Int. Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'16), volume 1701 of CEUR Workshop Proceedings, pages 87--90, Vienna, Austria, October 2016. CEUR-WS.org.
[ BibTex | DOI | Web page | PDF ]

[CC16]

J. Carmona and Th. Chatain. Anti-Alignments in Conformance Checking -- The Dark Side of Process Models. In Proceedings of the 37th International Conference on Applications and Theory of Petri Nets (PETRI NETS'16), volume 9698 of Lecture Notes in Computer Science, pages 240--258, Torún, Poland, June 2016. Springer.
doi: 10.1007/978-3-319-39086-4_15.
[ BibTex | DOI | Web page | PDF ]

[ACR15]

É. André, Th. Chatain, and C. Rodríguez. Preserving Partial Order Runs in Parametric Time Petri Nets. In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15), pages 120--129, Brussels, Belgium, June 2015. IEEE Computer Society Press.
doi: 10.1109/ACSD.2015.16.
[ BibTex | DOI | Web page | PDF ]

[CHKS15]

Th. Chatain, S. Haar, M. Koutny, and S. Schwoon. Non-Atomic Transition Firing in Contextual Nets. In Proceedings of the 36th International Conference on Applications and Theory of Petri Nets (PETRI NETS'15), volume 9115 of Lecture Notes in Computer Science, pages 117--136, Brussels, Belgium, June 2015. Springer.
doi: 10.1007/978-3-319-19488-2_6.
[ BibTex | DOI | Web page | PDF ]

[CHJ⁺14]

Th. Chatain, S. Haar, L. Jezequel, L. Paulevé, and S. Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings. In Proceedings of the 12th Conference on Computational Methods in System Biology (CMSB'14), volume 8859 of Lecture Notes in Bioinformatics, pages 129--142, Manchester, UK, November 2014. Springer-Verlag.
doi: 10.1007/978-3-319-12982-2_10.
[ BibTex | DOI | Web page | PDF ]

[CH14]

Th. Chatain and S. Haar. A Canonical Contraction for Safe Petri Nets. In Transactions on Petri Nets and Other Models of Concurrency IX, volume 8910 of Lecture Notes in Computer Science, pages 83--98. Springer, 2014.
doi: 10.1007/978-3-662-45730-6_5.
[ BibTex | DOI | Web page | PDF ]

[Cha13]

Th. Chatain. Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability. Mémoire d'habilitation, École Normale Supérieure de Cachan, France, December 2013.
[ BibTex | Web page | PDF ]

[BC13]

S. Balaguer and Th. Chatain. Avoiding Shared Clocks in Networks of Timed Automata. Logical Methods in Computer Science, 9(4:13), November 2013.
doi: 10.2168/LMCS-9(4:13)2013.
[ BibTex | DOI | Web page | PDF ]

[CJ13]

Th. Chatain and C. Jard. Back in Time Petri Nets. In Proceedings of the 11th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'13), volume 8053 of Lecture Notes in Computer Science, pages 91--105, Buenos Aires, Argentina, August 2013. Springer.
doi: 10.1007/978-3-642-40229-6_7.
[ BibTex | DOI | Web page | PDF ]

[CH13]

Th. Chatain and S. Haar. A Canonical Contraction for Safe Petri Nets. In Proceedings of the 7th International Workshop on Petri Nets and Software Engineering (PNSE'13), volume 969 of CEUR Workshop Proceedings, pages 25--39, Milano, Italy, June 2013. RWTH Aachen, Germany.
[ BibTex | Web page | PDF ]

[BCH13]

S. Balaguer, Th. Chatain, and S. Haar. Building Occurrence Nets from Reveals Relations. Fundamenta Informaticae, 123(3):245--272, May 2013.
doi: 10.3233/FI-2013-809.
[ BibTex | DOI | Web page | PDF ]

[BC12]

S. Balaguer and Th. Chatain. Avoiding Shared Clocks in Networks of Timed Automata. In Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), volume 7454 of Lecture Notes in Computer Science, pages 100--114, Newcastle, UK, September 2012. Springer.
doi: 10.1007/978-3-642-32940-1_9.
[ BibTex | DOI | Web page | PDF ]

[BCH12a]

S. Balaguer, Th. Chatain, and S. Haar. A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. Formal Methods in System Design, 40(3):330--355, June 2012.
doi: 10.1007/s10703-012-0146-4.
[ BibTex | DOI | Web page | PDF ]

[BCH12b]

S. Balaguer, Th. Chatain, and S. Haar. Concurrent semantics for timed distributed systems. Deliverable ImpRo D 4.1 (ANR-2010-BLAN-0317), March 2012.
[ BibTex | Web page | PDF ]

[BCH11]

S. Balaguer, Th. Chatain, and S. Haar. Building Tight Occurrence Nets from Reveals Relations. In Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11), pages 44--53, Newcastle upon Tyne, UK, June 2011. IEEE Computer Society Press.
doi: 10.1109/ACSD.2011.16.
[ BibTex | DOI | Web page | PDF ]

[BCHK10]

P. Baldan, Th. Chatain, S. Haar, and B. König. Unfolding-based Diagnosis of Systems with an Evolving Topology. Information and Computation, 208(10):1169--1192, October 2010.
doi: 10.1016/j.ic.2009.11.009.
[ BibTex | DOI | Web page | PDF ]

[BCH10]

S. Balaguer, Th. Chatain, and S. Haar. A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. In Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), pages 77--84, Paris, France, September 2010. IEEE Computer Society Press.
doi: 10.1109/TIME.2010.12.
[ BibTex | DOI | Web page | PDF ]

[CF10]

Th. Chatain and É. Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. In Proceedings of the 31st International Conference on Applications and Theory of Petri Nets (PETRI NETS'10), volume 6128 of Lecture Notes in Computer Science, pages 165--184, Braga, Portugal, June 2010. Springer.
doi: 10.1007/978-3-642-13675-7_11.
[ BibTex | DOI | Web page | PDF ]

[CJ10]

Th. Chatain and C. Jard. Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels. In Actes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), Tozeur, Tunisia, May-June 2010. IEEE Computer Society Press.
[ BibTex | Web page | PDF ]

[ACD⁺09]

É. 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 Actes du 7ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'09), volume 43 of Journal Européen des Systèmes Automatisés, pages 1049--1064, Nantes, France, November 2009. Hermès.
[ BibTex | Web page | PDF ]

[ACEF09]

É. André, Th. Chatain, E. Encrenaz, and L. Fribourg. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science, 20(5):819--836, October 2009.
doi: 10.1142/S0129054109006905.
[ BibTex | DOI | Web page | PDF ]

[DBB⁺09]

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, October 2009.
[ BibTex | Web page ]

[CDL09]

Th. Chatain, A. David, and K. G. Larsen. Playing Games with Timed Games. In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, September 2009.
[ BibTex | Web page | PDF ]

[BCDL09]

P. Bulychev, Th. Chatain, A. David, and K. G. Larsen. Checking simulation relation between timed game automata. In Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), volume 5813 of Lecture Notes in Computer Science, pages 73--87, Budapest, Hungary, September 2009. Springer.
doi: 10.1007/978-3-642-04368-0_8.
[ BibTex | DOI | Web page | PDF ]

[CGM⁺09]

Th. Chatain, P. Gastin, A. Muscholl, N. Sznajder, I. Walukiewicz, and M. Zeitoun. Distributed control for restricted specifications. Deliverable DOTS 2.2 (ANR-06-SETI-003), March 2009.
[ BibTex ]

[CGS09]

Th. Chatain, P. Gastin, and N. Sznajder. Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. In Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), volume 5404 of Lecture Notes in Computer Science, pages 141--152, Špindlerův Mlýn, Czech Republic, January 2009. Springer.
doi: 10.1007/978-3-540-95891-8_16.
[ BibTex | DOI | Web page | PDF ]

[ACEF08]

É. André, Th. Chatain, E. Encrenaz, and L. Fribourg. An Inverse Method for Parametric Timed Automata. In Proceedings of the 2nd Workshop on Reachability Problems in Computational Models (RP'08), volume 223 of Electronic Notes in Theoretical Computer Science, pages 29--46, Liverpool, UK, December 2008. Elsevier Science Publishers.
doi: 10.1016/j.entcs.2008.12.029.
[ BibTex | DOI | Web page | PDF ]

[BBC⁺08]

B. Bollig, P. Bouyer, F. Cassez, Th. Chatain, P. Gastin, S. Haddad, and C. Jard. Model for distributed timed systems. Deliverable DOTS 3.1 (ANR-06-SETI-003), September 2008.
[ BibTex ]

[BCHK08]

P. Baldan, Th. Chatain, S. Haar, and B. König. Unfolding-based Diagnosis of Systems with an Evolving Topology. In Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), volume 5201 of Lecture Notes in Computer Science, pages 203--217, Toronto, Canada, August 2008. Springer.
doi: 10.1007/978-3-540-85361-9_19.
[ BibTex | DOI | Web page | PDF ]

[CK07]

Th. Chatain and V. Khomenko. On the Well-Foundedness of Adequate Orders Used for Construction of Complete Unfolding Prefixes. Information Processing Letters, 104(4):129--136, November 2007.
doi: 10.1016/j.ipl.2007.06.002.
[ BibTex | DOI | Web page | PDF ]

[Cha06]

Th. Chatain. Dépliages symboliques de réseaux de Petri de haut niveau et application à la supervision des systèmes répartis. Thèse de doctorat, Université Rennes 1, Rennes, France, November 2006.
[ BibTex | Web page | PDF ]

[CCJ06]

F. Cassez, Th. Chatain, and C. Jard. Symbolic Unfoldings For Networks of Timed Automata. In Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), volume 4218 of Lecture Notes in Computer Science, pages 307--321, Beijing, China, October 2006. Springer.
doi: 10.1007/11901914_24.
[ BibTex | DOI | Web page | PDF ]

[CJ06]

Th. Chatain and C. Jard. Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. In Proceedings of the 27th International Conference on Applications and Theory of Petri Nets (ICATPN'06), volume 4024 of Lecture Notes in Computer Science, pages 125--145, Turku, Finland, June 2006. Springer.
doi: 10.1007/11767589_8.
[ BibTex | DOI | Web page | PDF ]

[CJ05b]

Th. Chatain and C. Jard. Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. In Proceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05), volume 3829 of Lecture Notes in Computer Science, pages 196--210, Uppsala, Sweden, November 2005. Springer.
doi: 10.1007/11603009_16.
[ BibTex | DOI | Web page | PDF ]

[CHJ05]

Th. Chatain, L. Hélouët, and C. Jard. From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. In Proceedings of 25th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), volume 3731 of Lecture Notes in Computer Science, pages 489--502, Taipei, Taiwan, October 2005. Springer.
doi: 10.1007/11562436_35.
[ BibTex | DOI | Web page | PDF ]

[JCB05]

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 Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), pages 351--365, Autrans, France, October 2005. Hermès.
[ BibTex ]

[CJ05a]

Th. Chatain and C. Jard. Models for the Supervision of Web Services Orchestration with Dynamic Changes. In Telecommunications 2005: Advanced Industrial Conference on Telecommunications -- Service Assurance with Partial and Intermittent Resources Conference -- E-Learning on Telecommunications Workshop (AICT/SAPIR/ELETE 2005), pages 446--451, Lisbon, Portugal, July 2005. IEEE Computer Society Press.
doi: 10.1109/AICT.2005.60.
[ BibTex | DOI | Web page | PDF ]

[Cha05]

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.
[ BibTex | Web page | PDF ]

[CJ04]

Th. Chatain and C. Jard. Symbolic Diagnosis of Partially Observable Concurrent Systems. In Proceedings of 24th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'04), volume 3235 of Lecture Notes in Computer Science, pages 326--342, Madrid, Spain, September 2004. Springer.
[ BibTex | Web page | PDF ]

This file was generated by bibtex2html 1.98.