4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 4 cited
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi +1
Runtime monitoring is one of the central tasks in the area of operational decision support for business process management. In particular, it helps process executors to check on-th…
cs.AI2014★ 3 cited
LTLf and LDLf Monitoring: A Technical Report
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso +2
Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and…