57 citations · 253 across the 38 of their papers we have counts for
4 papers · 1 filter
Complexity through Translations for Modal Logic with Recursion
Luca Aceto, Antonis Achilleos, Elli Anastasiadi +2
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular,…
On the Axiomatisation of Branching Bisimulation Congruence over CCS
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +1
In this paper we investigate the equational theory of (the restriction, relabelling, and recursion free fragment of) CCS modulo rooted branching bisimilarity, which is a classic, b…
Monitoring hyperproperties with circuits
Luca Aceto, Antonios Achilleos, Elli Anastasiadi +1
This paper presents an extension of the safety fragment of Hennessy-Milner Logic with recursion over sets of traces, in the spirit of Hyper-LTL. It then introduces a novel monitori…
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Luca Aceto, Ian Cassar, Adrian Francalanza +1
Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores b…