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.