Thomas Chatain

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 30

Top Topics

Boolean Networks

Business Process

Top Venues

Business Process Management Workshops

Publications

Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke
Taking Complete Finite Prefixes To High Level, Symbolically. CoRR (2023)
Nick Würdemann, Thomas Chatain, Stefan Haar
Taking Complete Finite Prefixes to High Level, Symbolically. Petri Nets (2023)
Neha Rino, Thomas Chatain
Timed Alignments with Mixed Moves. Business Process Management Workshops (2023)
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux
Pomset bisimulation and unfolding for reset Petri nets. Inf. Comput. 283 (2022)
Neha Rino, Thomas Chatain
Timed Alignments with Mixed Moves. CoRR (2022)
Thomas Chatain, Neha Rino
Timed Alignments. ICPM (2022)
Thomas Chatain, Neha Rino
Timed Alignments. CoRR (2022)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Optimized SAT encoding of conformance checking artefacts. Computing 103 (1) (2021)
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Anti-alignments - Measuring the precision of process models and event logs. Inf. Syst. 98 (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Model-based trace variant analysis of event logs. Inf. Syst. 102 (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
A Discounted Cost Function for Fast Alignments of Business Processes. BPM (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
-Algorithm for Computing Discounted Anti-Alignments in Process Mining. ICPM (2021)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. Nat. Comput. 19 (1) (2020)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Generalized Alignment-Based Trace Clustering of Process Behavior. Petri Nets (2019)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Encoding Conformance Checking Artefacts in SAT. Business Process Management Workshops (2019)
Wil M. P. van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen
A Tour in Process Mining: From Practice to Algorithmic Challenges. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Anti-Alignments - Measuring The Precision of Process Models and Event Logs. CoRR (2019)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. CoRR (2019)
Thomas Chatain, Stefan Haar, Loïc Paulevé
Boolean Networks: Beyond Generalized Asynchronicity. Automata (2018)
Thomas Chatain, Stefan Haar, Loïc Paulevé
Most Permissive Semantics of Boolean Networks. CoRR (2018)
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux
Pomsets and Unfolding of Reset Petri Nets. LATA (2018)
Thomas Chatain, Josep Carmona, Boudewijn F. van Dongen
Alignment-Based Trace Clustering. ER (2017)
Étienne André, Thomas Chatain, César Rodríguez
Preserving Partial-Order Runs in Parametric Time Petri Nets. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri
Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. CAiSE (2017)
Thomas Chatain, Loïc Paulevé
Goal-Driven Unfolding of Petri Nets. CONCUR (2017)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments. BPM (2016)
Thomas Chatain, Loïc Paulevé
Goal-Driven Unfolding of Petri Nets. CoRR (2016)
Thomas Chatain, Josep Carmona
Anti-alignments in Conformance Checking - The Dark Side of Process Models. Petri Nets (2016)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
Alignment-based Quality Metrics in Conformance Checking. EMISA Forum 36 (2) (2016)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
Alignment-based Quality Metrics in Conformance Checking (Summary). EMISA (2016)
Étienne André, Thomas Chatain, César Rodríguez
Preserving Partial Order Runs in Parametric Time Petri Nets. ACSD (2015)
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
Non-atomic Transition Firing in Contextual Nets. Petri Nets (2015)
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB (2014)
Thomas Chatain, Stefan Haar
A Canonical Contraction for Safe Petri Nets. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Sandie Balaguer, Thomas Chatain
Avoiding Shared Clocks in Networks of Timed Automata. Log. Methods Comput. Sci. 9 (4) (2013)
Sandie Balaguer, Thomas Chatain, Stefan Haar
Building Occurrence Nets from Reveals Relations. Fundam. Informaticae 123 (3) (2013)
Thomas Chatain, Stefan Haar
A Canonical Contraction for Safe Petri Nets. PNSE+ModPE (2013)
Thomas Chatain, Claude Jard
Back in Time Petri Nets. FORMATS (2013)
Sandie Balaguer, Thomas Chatain, Stefan Haar
A concurrency-preserving translation from time Petri nets to networks of timed automata. Formal Methods Syst. Des. 40 (3) (2012)
Sandie Balaguer, Thomas Chatain
Avoiding Shared Clocks in Networks of Timed Automata. CONCUR (2012)
Sandie Balaguer, Thomas Chatain, Stefan Haar
Building Tight Occurrence Nets from Reveals Relations. ACSD (2011)
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208 (10) (2010)
Sandie Balaguer, Thomas Chatain, Stefan Haar
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME (2010)
Thomas Chatain, Eric Fabre
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. Petri Nets (2010)
Thomas Chatain, Alexandre David, Kim G. Larsen
Playing Games with Timed Games. ADHS (2009)
Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. 20 (5) (2009)
Thomas Chatain, Paul Gastin, Nathalie Sznajder
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. SOFSEM (2009)
Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS (2009)
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR (2008)
Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
An Inverse Method for Parametric Timed Automata. Electron. Notes Theor. Comput. Sci. 223 (2008)
Thomas Chatain, Victor Khomenko
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. Inf. Process. Lett. 104 (4) (2007)
Franck Cassez, Thomas Chatain, Claude Jard
Symbolic Unfoldings for Networks of Timed Automata. ATVA (2006)
Thomas Chatain, Claude Jard
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. ICATPN (2006)
Thomas Chatain, Claude Jard
Models for the Supervision of Web Services Orchestration with Dynamic Changes. AICT/SAPIR/ELETE (2005)
Thomas Chatain, Loïc Hélouët, Claude Jard
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE (2005)
Thomas Chatain, Claude Jard
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. FORMATS (2005)
Thomas Chatain, Claude Jard
Symbolic Diagnosis of Partially Observable Concurrent Systems. FORTE (2004)