Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali. Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Transactions on Software Engineering Methodology, 31(4), 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: