List of works - Luca Aceto

A Domain Equation for Bisimulation

A Framework for Parameterized Monitorability

scientific article published on 13 April 2018

A Monitoring Tool for Linear-Time $$\mu $$HML

scientific article published on 13 June 2022

A Rule Format for Unit Elements

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

scientific article published on 20 April 2022

Better Late Than Never or: Verifying Asynchronous Components at Runtime

scientific article published on 09 June 2021

Building International Doctoral Schools in Computer Science in Italy, De Nicola’s Way

Decompositional Reasoning about the History of Parallel Processes

Introducing Formal Methods to First-Year Students in Three Intensive Weeks

Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras

scholarly article published in International Federation for Information Processing

Lifting non-finite axiomatizability results to extensions of process algebras

scholarly article by Luca Aceto et al published 4 February 2010 in Acta Informatica

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction

scientific article published on 24 September 2022

On Benchmarking for Concurrent Runtime Verification

scientific article published on 19 March 2021

On Bidirectional Runtime Enforcement

scientific article published on 09 June 2021

On Probabilistic Monitorability

scientific article published on 28 December 2022

On Rule Formats for Zero and Unit Elements

On the axiomatizability of priority II

scientific article published in June 2011

Preventing Out-of-Gas Exceptions by Typing

scientific article published on 08 October 2024

Rule Formats for Determinism and Idempotence

Rule formats for determinism and idempotence

Rule formats for distributivity

SOS rule formats for zero and unit elements

article published in 2011

Testing Equivalence vs. Runtime Monitoring

scientific article published on 03 July 2019

The Cost of Monitoring Alone

scientific article published on 22 September 2019

List of works by Luca Aceto