Thomas Chatain

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