Luca Aceto

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 109

Top Venues

Bull. EATCS

CoRR

J. Log. Algebraic Methods Program.

CONCUR

Publications

Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
Preventing Out-of-Gas Exceptions by Typing. CoRR (2024)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? CoRR (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. Log. Methods Comput. Sci. 20 (3) (2024)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
Runtime Instrumentation for Reactive Components (Extended Version). CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2024)
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum. CoRR (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CoRR (2024)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
HML. Sci. Comput. Program. 232 (2024)
Luca Aceto, Daniele Gorla, Stian Lybech
A Sound Type System for Secure Currency Flow. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR (2024)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
On the specification of modal systems: A comparison of three frameworks. CoRR (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR (2024)
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi
The Way We Were: Structural Operational Semantics Research in Perspective. EXPRESS/SOS (2023)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. CoRR (2023)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On first-order runtime enforcement of branching-time properties. Acta Informatica 60 (4) (2023)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. Log. Methods Comput. Sci. 19 (1) (2023)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition. Log. Methods Comput. Sci. 18 (1) (2022)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ACM Trans. Comput. Log. 23 (4) (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring Hyperproperties with Circuits. FORTE (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity through Translations for Modal Logic with Recursion. GandALF (2022)
Luca Aceto, Pierluigi Crescenzi
CONCUR through time. Bull. EATCS 138 (2022)
Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi
Interviews with the 2022 CONCUR Test-of-Time Award Recipients. Bull. EATCS 138 (2022)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
A Monitoring Tool for Linear-Time μHML. COORDINATION (2022)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
On the Axiomatisation of Branching Bisimulation Congruence over CCS. CoRR (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring hyperproperties with circuits. CoRR (2022)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. CoRR (2022)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
On Probabilistic Monitorability. Principles of Systems Design (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
Axiomatizing recursion-free, regular monitors. J. Log. Algebraic Methods Program. 127 (2022)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
On the Axiomatisation of Branching Bisimulation Congruence over CCS. CONCUR (2022)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Best a Monitor Can Do. CSL (2021)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CSL (2021)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Bidirectional Runtime Enforcement. FORTE (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An operational guide to monitorability with applications to regular properties. Softw. Syst. Model. 20 (2) (2021)
Luca Aceto, Nathalie Bertrand, Nobuko Yoshida
Interviews with the 2021 CONCUR Test-of-Time Award Recipients. Bull. EATCS 135 (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
On Benchmarking for Concurrent Runtime Verification. FASE (2021)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras. CoRR (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR (2021)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Comparing controlled system synthesis and suppression enforcement. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Better Late Than Never or: Verifying Asynchronous Components at Runtime. FORTE (2021)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras. LICS (2021)
Luca Aceto, Anna Ingólfsdóttir
Introducing Formal Methods to First-Year Students in Three Intensive Weeks. FMTea (2021)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition. CoRR (2021)
Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR (2020)
Luca Aceto
Interviews with the 2020 CONCUR Test-of-Time Award Recipients. Bull. EATCS 131 (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112 (2020)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
An axiomatization of verdict equivalence over regular monitors. CoRR (2020)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. CONCUR (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing monitors for HML with recursion. J. Log. Algebraic Methods Program. 111 (2020)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CoRR (2020)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the axiomatisability of priority III: Priority strikes again. Theor. Comput. Sci. 837 (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3 (POPL) (2019)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When are prime formulae characteristic? Theor. Comput. Sci. 777 (2019)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
On the Axiomatizability of Priority III: The Return of Sequential Composition. ICTCS (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. SEFM (2019)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Comparing Controlled System Synthesis and Suppression Enforcement. RV (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. CoRR (2019)
Luca Aceto
Interview with Murdoch J. Gabbay and Andrew M. Pitts, 2019 Alonzo Church Award Recipients. Bull. EATCS 128 (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Testing Equivalence vs. Runtime Monitoring. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. From Reactive Systems to Cyber-Physical Systems (2019)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program. 106 (2019)
Luca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. CoRR (2019)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. 15 (4) (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in Monitorability: From Branching to Linear Time and Back Again. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
A Framework for Parameterized Monitorability. FoSSaCS (2018)
Luca Aceto
Report on ICE-TCS Theory Day 2018. Bull. EATCS 126 (2018)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Runtime Enforcement via Suppressions. CoRR (2018)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
Developing Theoretical Foundations for Runtime Enforcement. CoRR (2018)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Runtime Enforcement via Suppressions. CONCUR (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CONCUR (2017)
Luca Aceto
Interview with Alexandra Silva Recipient of the 2017 Presburger Award. Bull. EATCS 122 (2017)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebraic Methods Program. 92 (2017)
Luca Aceto, Anna Ingólfsdóttir
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015). J. Log. Algebraic Methods Program. 87 (2017)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop (2017)
Luca Aceto
Computer Science at the Gran Sasso Science Institute. Bull. EATCS 123 (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Generic Instrumentation Tool for Erlang. RV-CuBES (2017)
Luca Aceto
Spotlight on Marta Kwiatkowska. ACM SIGLOG News 4 (1) (2017)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
Monitoring for Silent Actions. FSTTCS (2017)
Luca Aceto
Interview with Thomas Henzinger President of IST Austria. Bull. EATCS 121 (2017)
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
A Foundation for Runtime Monitoring. RV (2017)
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
Monitorability for the Hennessy-Milner logic with recursion. Formal Methods Syst. Des. 51 (1) (2017)
Luca Aceto, David de Frutos-Escrig
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). Acta Informatica 54 (1) (2017)
Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir
Trace Simulation Semantics is not Finitely Based over BCCSP. Acta Cybern. 23 (1) (2017)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Suite of Monitoring Tools for Erlang. RV-CuBES (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
On the Complexity of Determinizing Monitors. CIAA (2017)
Luca Aceto
Ten years of the European Research Council A view from theoretical computer science. Bull. EATCS 123 (2017)
Luca Aceto
Report on The EATCS Council Meeting. Bull. EATCS 120 (2016)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing Monitors for HML with Recursion. CoRR (2016)
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
Algebraic Synchronization Trees and Processes. CoRR (2016)
Luca Aceto
Interview with Stephen Brookes and Peter W. O'Hearn Recipients of the 2016 Godel Prize. Bull. EATCS 119 (2016)
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53 (3) (2016)
Luca Aceto
Abstracts of the EATCS Distinguished Dissertations 2015. Bull. EATCS 120 (2016)
Luca Aceto
Report on ICALP 2016. Bull. EATCS 120 (2016)
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi (2016)
Luca Aceto
Report on The EATCS General Assembly. Bull. EATCS 120 (2016)

Luca Aceto.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luca Aceto