Thomas Chatain

According to our database, Thomas Chatain authored at least 48 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Taking Complete Finite Prefixes To High Level, Symbolically.

Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke

Fundam. Informaticae, 2024

Timed alignments with mixed moves.

Neha Rino, Thomas Chatain

Data Knowl. Eng., 2024

2023

Taking Complete Finite Prefixes to High Level, Symbolically.

Nick Würdemann, Thomas Chatain, Stefan Haar

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Pomset bisimulation and unfolding for reset Petri nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux

Inf. Comput., 2022

Timed Alignments.

Thomas Chatain, Neha Rino

Proceedings of the 4th International Conference on Process Mining, 2022

2021

Anti-alignments - Measuring the precision of process models and event logs.

Thomas Chatain, Mathilde Boltenhagen, Josep Carmona

Inf. Syst., 2021

Model-based trace variant analysis of event logs.

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

Inf. Syst., 2021

Optimized SAT encoding of conformance checking artefacts.

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

Computing, 2021

An A^*-Algorithm for Computing Discounted Anti-Alignments in Process Mining.

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

Proceedings of the 3rd International Conference on Process Mining, 2021

A Discounted Cost Function for Fast Alignments of Business Processes.

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

Proceedings of the Business Process Management - 19th International Conference, 2021

2020

Concurrency in Boolean networks.

Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar

Nat. Comput., 2020

2019

A Tour in Process Mining: From Practice to Algorithmic Challenges.

Wil M. P. van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen

Trans. Petri Nets Other Model. Concurr., 2019

Encoding Conformance Checking Artefacts in SAT.

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

Proceedings of the Business Process Management Workshops, 2019

Generalized Alignment-Based Trace Clustering of Process Behavior.

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Most Permissive Semantics of Boolean Networks.

Thomas Chatain, Stefan Haar, Loïc Paulevé

CoRR, 2018

Pomsets and Unfolding of Reset Petri Nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux

Proceedings of the Language and Automata Theory and Applications, 2018

Boolean Networks: Beyond Generalized Asynchronicity.

Thomas Chatain, Stefan Haar, Loïc Paulevé

Proceedings of the Cellular Automata and Discrete Complex Systems, 2018

2017

Preserving Partial-Order Runs in Parametric Time Petri Nets.

Étienne André, Thomas Chatain, César Rodríguez

ACM Trans. Embed. Comput. Syst., 2017

Alignment-Based Trace Clustering.

Thomas Chatain, Josep Carmona, Boudewijn F. van Dongen

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Goal-Driven Unfolding of Petri Nets.

Thomas Chatain, Loïc Paulevé

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality.

Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri

Proceedings of the Advanced Information Systems Engineering, 2017

2016

Alignment-based Quality Metrics in Conformance Checking.

Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain

EMISA Forum, 2016

Alignment-based Quality Metrics in Conformance Checking (Summary).

Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain

Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, 2016

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments.

Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain

Proceedings of the Business Process Management - 14th International Conference, 2016

Anti-alignments in Conformance Checking - The Dark Side of Process Models.

Thomas Chatain, Josep Carmona

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Non-atomic Transition Firing in Contextual Nets.

Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

A Canonical Contraction for Safe Petri Nets.

Thomas Chatain, Stefan Haar

Trans. Petri Nets Other Model. Concurr., 2014

Characterization of Reachable Attractors Using Petri Net Unfoldings.

Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Building Occurrence Nets from Reveals Relations.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Fundam. Informaticae, 2013

Avoiding Shared Clocks in Networks of Timed Automata.

Sandie Balaguer, Thomas Chatain

Log. Methods Comput. Sci., 2013

Back in Time Petri Nets.

Thomas Chatain, Claude Jard

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability.

Thomas Chatain

, 2013

2012

A concurrency-preserving translation from time Petri nets to networks of timed automata.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Formal Methods Syst. Des., 2012

2011

Building Tight Occurrence Nets from Reveals Relations.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Unfolding-based diagnosis of systems with an evolving topology.

Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König

Inf. Comput., 2010

Factorization Properties of Symbolic Unfoldings of Colored Petri Nets.

Thomas Chatain, Eric Fabre

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

An Inverse Method for Parametric Timed Automata.

Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz

Int. J. Found. Comput. Sci., 2009

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.

Thomas Chatain, Paul Gastin, Nathalie Sznajder

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.

Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Playing Games with Timed Games.

Thomas Chatain, Alexandre David, Kim G. Larsen

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2007

On the well-foundedness of adequate orders used for construction of complete unfolding prefixes.

Thomas Chatain, Victor Khomenko

Inf. Process. Lett., 2007

2006

Symbolic Unfoldings for Networks of Timed Automata.

Franck Cassez, Thomas Chatain, Claude Jard

Proceedings of the Automated Technology for Verification and Analysis, 2006

Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.

Thomas Chatain, Claude Jard

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.

Thomas Chatain, Loïc Hélouët, Claude Jard

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.

Thomas Chatain, Claude Jard

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Models for the Supervision of Web Services Orchestration with Dynamic Changes.

Thomas Chatain, Claude Jard

Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005

2004

Symbolic Diagnosis of Partially Observable Concurrent Systems.

Thomas Chatain, Claude Jard

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004