, Ce travail a été partiellement financé par INTERREG Upper Rhine (Fond Européen de Développement Régional), les ministères de la recherche de
A theory of timed automata, Theoretical computer science, vol.126, issue.2, pp.183-235, 1994. ,
Logic-based event recognition, The Knowledge Engineering Review, vol.27, issue.4, pp.469-506, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00953673
Transmute : un outil interactif pour assister l'extraction de connaissances à partir de traces, Actes de la conférence Extraction et Gestion des Connaissances (EGC), pp.463-468, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01263101
, , 2019.
Behaviour recognition using chronicles, Proceedings of the International Conference on Theoretical Aspects of Software Engineering, pp.100-107, 2011. ,
Temporal constraint networks, Artificial Intelligence, vol.49, issue.1-3, pp.61-95, 1991. ,
On chronicles : Representation, on-line recognition and learning, Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp.597-606, 1996. ,
On searching and indexing sequences of temporal intervals, Data mining and knowledge discovery, vol.31, issue.3, pp.809-850, 2017. ,
The challenges of specifying intervals and absences in temporal queries : A graphical language approach, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.2349-2358, 2013. ,
Specifying timed patterns using temporal logic, Proceedings of the 21st International Conference on Hybrid Systems : Computation and Control (HSCC), pp.167-176, 2018. ,