Skip to content

Thomas Chatain

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

10

Active years

2004–2023

Best venue rank

A

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2023BPMTimed Alignments with Mixed Moves.Neha Rino, Thomas Chatain
2022ICPMTimed Alignments.Thomas Chatain, Neha Rino
2021BPMA Discounted Cost Function for Fast Alignments of Business Processes.Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2021ICPMAn AMathilde Boltenhagen, Thomas Chatain, Josep Carmona
2019BPMEncoding Conformance Checking Artefacts in SAT.Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2018LATAPomsets and Unfolding of Reset Petri Nets.Thomas Chatain, Maurice Comlan, David Delfieu, Log Jezequel, Olivier H. Roux
2017CaiSEAligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality.Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri
2017CONCURGoal-Driven Unfolding of Petri Nets.Thomas Chatain, Loc Paulev
2017ERAlignment-Based Trace Clustering.Thomas Chatain, Josep Carmona, Boudewijn F. van Dongen
2016BPMA Unified Approach for Measuring Precision and Generalization Based on Anti-alignments.Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
2012CONCURAvoiding Shared Clocks in Networks of Timed Automata.Sandie Balaguer, Thomas Chatain
2010TIMEA Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.Sandie Balaguer, Thomas Chatain, Stefan Haar
2009SOFSEMNatural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.Thomas Chatain, Paul Gastin, Nathalie Sznajder
2008CONCURUnfolding-Based Diagnosis of Systems with an Evolving Topology.Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara Knig
2006ATVASymbolic Unfoldings for Networks of Timed Automata.Franck Cassez, Thomas Chatain, Claude Jard
2005FORTEFrom Automata Networks to HMSCs: A Reverse Model Engineering Perspective.Thomas Chatain, Loc Hlout, Claude Jard
2004FORTESymbolic Diagnosis of Partially Observable Concurrent Systems.Thomas Chatain, Claude Jard