1. Adventures in monitorability: from branching to linear time and back again;Aceto;Proc ACM Program Lang,2019
2. Multi-model monitoring framework for hybrid process specifications;Alman,2022
3. On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study;Andaloussi;Inf Syst,2020
4. Temporal detection and analysis of guideline interactions;Anselma;Artif Intell Med,2017
5. Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications;Bansal,2020