Conformance checking in time-aware process models

Vendredi 20 février 2026
Horaire : 14 h
Thomas Chatain (LMF, ENS Paris-Saclay)

Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. An important problem for conformance checking is to align a log trace with a model, that is, to find the minimal changes necessary to correct a new observation to conform to a process model. The subject of this work is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. We finally extend to the case of timed stochastic models.

25-26/105, LIP6