57 citations · 234 across the 31 of their papers we have counts for
3 papers · 1 filter
Determinizing Monitors for HML with Recursion
Luca Aceto, Antonis Achilleos, Adrian Francalanza +2
We examine the determinization of monitors for HML with recursion. We demonstrate that every monitor is equivalent to a deterministic one, which is at most doubly exponential in si…
Algebraic Synchronization Trees and Processes
Luca Aceto, Arnaud Carayol, Zoltán Ésik +1
We study algebraic synchronization trees, i.e., initial solutions of algebraic recursion schemes over the continuous categorical algebra of synchronization trees. In particular, we…
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques
Luca Aceto, Adrian Francalanza, Anna Ingolfsdottir
The PrePost (Pre- and Post-Deployment Verification Techniques) workshop aimed at bringing together researchers working in the field of computer-aided validation and verification to…