40 citations · 40 across the 3 of their papers we have counts for
4 papers
An Operational Guide to Monitorability
Luca Aceto, Antonis Achilleos, Adrian Francalanza +2
Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided…
The Cost of Monitoring Alone
Luca Aceto, Antonis Achilleos, Adrian Francalanza +2
We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equ…
Adventures in Monitorability: From Branching to Linear Time and Back Again
Luca Aceto, Antonis Achilleos, Adrian Francalanza +2
This paper establishes a comprehensive theory of runtime monitorability for Hennessy-Milner logic with recursion, a very expressive variant of the modal -calculus. It investigat…
NEXP-completeness and Universal Hardness Results for Justification Logic
Antonis Achilleos
We provide a lower complexity bound for the satisfiability problem of a multi-agent justification logic, establishing that the general NEXP upper bound from our previous work is ti…