Luca Aceto | DeepAI

AI Chat

Featured Co-authors

Adrian Francalanza
20 publications
Anna Ingólfsdóttir
18 publications
Bas Luttik
13 publications
Karoliina Lehtinen
11 publications
Valentina Castiglioni
10 publications
Antonis Achilleos
9 publications
Pierluigi Crescenzi
9 publications
Álvaro García-Pérez
6 publications
Ian Cassar
6 publications
Elli Anastasiadi
6 publications
Mohammad Reza Mousavi
5 publications

∙ 09/13/2023

The Way We Were: Structural Operational Semantics Research in Perspective

This position paper on the (meta-)theory of Structural Operational Seman...

0 Luca Aceto, et al. ∙

∙ 06/29/2023

Complexity results for modal logic with recursion via translations and tableaux

This paper studies the complexity of classical modal logics and of their...

0 Luca Aceto, et al. ∙

∙ 09/21/2022

Complexity through Translations for Modal Logic with Recursion

This paper studies the complexity of classical modal logics and of their...

0 Luca Aceto, et al. ∙

∙ 06/28/2022

On the Axiomatisation of Branching Bisimulation Congruence over CCS

In this paper we investigate the equational theory of (the restriction, ...

0 Luca Aceto, et al. ∙

∙ 02/23/2022

Monitoring hyperproperties with circuits

This paper presents an extension of the safety fragment of Hennessy-Miln...

0 Luca Aceto, et al. ∙

∙ 01/09/2022

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

Runtime enforcement is a dynamic analysis technique that instruments a m...

0 Luca Aceto, et al. ∙

∙ 05/03/2021

In search of lost time: Axiomatising parallel composition in process algebras

This survey reviews some of the most recent achievements in the saga of ...

0 Luca Aceto, et al. ∙

∙ 04/19/2021

A Choreographed Outline Instrumentation Algorithm for Asynchronous Components

The runtime analysis of decentralised software requires instrumentation ...

0 Luca Aceto, et al. ∙

∙ 02/22/2021

On the Axiomatisability of Parallel Composition

This paper studies the existence of finite equational axiomatisations of...

0 Luca Aceto, et al. ∙

∙ 10/05/2020

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Bergstra and Klop have shown that bisimilarity has a finite equational a...

0 Luca Aceto, et al. ∙

∙ 06/09/2020

An axiomatization of verdict equivalence over regular monitors

Monitors are a key tool in the field of runtime verification, where they...

0 Luca Aceto, et al. ∙

∙ 06/03/2019

An Operational Guide to Monitorability

Monitorability delineates what properties can be verified at runtime. Al...

0 Luca Aceto, et al. ∙

∙ 02/13/2019

The Cost of Monitoring Alone

We compare the succinctness of two monitoring systems for properties of ...

0 Luca Aceto, et al. ∙

∙ 02/01/2019

Adventures in Monitorability: From Branching to Linear Time and Back Again

This paper establishes a comprehensive theory of runtime monitorability ...

0 Luca Aceto, et al. ∙

∙ 07/05/2018

Rule Formats for Nominal Process Calculi

The nominal transition systems (NTSs) of Parrow et al. describe the oper...

0 Luca Aceto, et al. ∙

∙ 07/03/2018

On Runtime Enforcement via Suppressions

Runtime enforcement is a dynamic analysis technique that uses monitors t...

0 Luca Aceto, et al. ∙

∙ 04/24/2018

Developing Theoretical Foundations for Runtime Enforcement

The ubiquitous reliance on software systems increases the need for ensur...

0 Ian Cassar, et al. ∙

∙ 08/24/2017

A Survey of Runtime Monitoring Instrumentation Techniques

Runtime Monitoring is a lightweight and dynamic verification technique t...

0 Ian Cassar, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world