Luca Aceto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
63
Venues
25
Active years
1989–2026
Best venue rank
A*
Where they publish
- BCONCUR11 papers
- BRV5 papers
- BCALCO5 papers
- BFOSSACS4 papers
- BSOFSEM4 papers
- A*ICALP4 papers
- AECOOP3 papers
- BCSL3 papers
- CFORTE3 papers
- A*LICS3 papers
- BMFCS2 papers
- ASTACS2 papers
- BMFPS2 papers
- CISoLA1 paper
- CCoordination1 paper
- BFASE1 paper
- BSEFM1 paper
- BJELIA1 paper
- NationalLFCS1 paper
- BLPAR1 paper
- CTIME1 paper
- CICTAC1 paper
- CLATA1 paper
- BTARK1 paper
- ATACAS1 paper
Papers
63 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts. | Stian Lybech, Daniele Gorla, Luca Aceto |
| 2025 | CONCUR | Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2025 | CSL | The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. | Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Inglfsdttir |
| 2024 | CONCUR | Centralized vs Decentralized Monitors for Hyperproperties. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2024 | ECOOP | Runtime Instrumentation for Reactive Components. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2024 | ECOOP | A Sound Type System for Secure Currency Flow. | Luca Aceto, Daniele Gorla, Stian Lybech |
| 2024 | ISoLA | Preventing Out-of-Gas Exceptions by Typing. | Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa |
| 2022 | CONCUR | On the Axiomatisation of Branching Bisimulation Congruence over CCS. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2022 | Coordination | A Monitoring Tool for Linear-Time μHML. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir |
| 2022 | FORTE | Monitoring Hyperproperties with Circuits. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza |
| 2021 | CSL | The Best a Monitor Can Do. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | CSL | Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? | Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2021 | FASE | On Benchmarking for Concurrent Runtime Verification. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FORTE | On Bidirectional Runtime Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FORTE | Better Late Than Never or: Verifying Asynchronous Components at Runtime. | Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | LICS | In search of lost time: Axiomatising parallel composition in process algebras. | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2020 | CONCUR | CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). | Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva |
| 2020 | CONCUR | On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik, Mathias Ruggaard Pedersen |
| 2019 | RV | Comparing Controlled System Synthesis and Suppression Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2019 | SEFM | An Operational Guide to Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2018 | CONCUR | On Runtime Enforcement via Suppressions. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2018 | FOSSACS | A Framework for Parameterized Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir |
| 2017 | CONCUR | Rule Formats for Nominal Process Calculi. | Luca Aceto, Ignacio Fbregas, lvaro Garca-Prez, Anna Inglfsdttir, Yolanda Ortega-Malln |
| 2017 | RV | A Suite of Monitoring Tools for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Generic Instrumentation Tool for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Foundation for Runtime Monitoring. | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Inglfsdttir |
| 2017 | SOFSEM | Logical Characterisations and Compositionality of Input-Output Conformance Simulation. | Luca Aceto, Ignacio Fbregas, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2015 | MFCS | When Are Prime Formulae Characteristic? | Luca Aceto, Dario Della Monica, Ignacio Fbregas, Anna Inglfsdttir |
| 2015 | RV | On Verifying Hennessy-Milner Logic with Recursion at Runtime. | Adrian Francalanza, Luca Aceto, Anna Inglfsdttir |
| 2014 | JELIA | On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | CALCO | Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2013 | LFCS | Compositional Reasoning for Multi-modal Logics. | Luca Aceto, Anna Inglfsdttir, Cristian Prisacariu, Joshua Sack |
| 2013 | LPAR | An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | SOFSEM | SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2013 | TIME | A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2012 | ICALP | Algebraic Synchronization Trees and Processes. | Luca Aceto, Arnaud Carayol, Zoltn sik, Anna Inglfsdttir |
| 2012 | SOFSEM | The Equational Theory of Weak Complete Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2011 | CALCO | PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2011 | ICTAC | Axiomatizing Weak Ready Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2011 | LATA | Rule Formats for Distributivity. | Luca Aceto, Matteo Cimini, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2011 | TARK | Sigma algebras in probabilistic epistemic dynamics. | Luca Aceto, Wiebe van der Hoek, Anna Inglfsdttir, Joshua Sack |
| 2010 | SOFSEM | A Rule Format for Unit Elements. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2007 | CALCO | Ready to Preorder: Get Your BCCSP Axiomatization for Free! | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 2007 | CALCO | Impossibility Results for the Equational Theory of Timed CCS. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi |
| 2007 | CONCUR | The Saga of the Axiomatization of Parallel Composition. | Luca Aceto, Anna Inglfsdttir |
| 2006 | ICALP | On the Axiomatizability of Priority. | Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Inglfsdttir |
| 2006 | ICALP | A Finite Equational Base for CCS with Left Merge and Communication Merge. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2005 | CALCO | Bisimilarity Is Not Finitely Based over BPA with Interrupt. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Sumit Nain |
| 2001 | FOSSACS | Axiomatizing Tropical Semirings. | Luca Aceto, Zoltn sik, Anna Inglfsdttir |
| 2001 | STACS | 2-Nested Simulation Is Not Finitely Equationally Axiomatizable. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 2000 | STACS | On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. | Luca Aceto, Zoltn sik, Anna Inglfsdttir |
| 1999 | FOSSACS | Testing Hennessy-Milner Logic with Recursion. | Luca Aceto, Anna Inglfsdttir |
| 1999 | MFCS | Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. | Luca Aceto, Franois Laroussinie |
| 1998 | FOSSACS | A Cook's Tour of Equational Axiomatizations for Prefix Iteration. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 1998 | TACAS | Model Checking via Reachability Testing for Timed Automata. | Luca Aceto, Augusto Burgueo, Kim Guldstrand Larsen |
| 1994 | CONCUR | Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. | Luca Aceto |
| 1993 | CONCUR | On the Ill-Timed but Well-Caused. | Luca Aceto, David Murphy |
| 1992 | LICS | Turning SOS Rules into Equations | Luca Aceto, Bard Bloom, Frits W. Vaandrager |
| 1991 | CONCUR | A Theory of Testing for ACP. | Luca Aceto, Anna Inglfsdttir |
| 1991 | ICALP | Adding Action Refinement to a Finite Process Algebra. | Luca Aceto, Matthew Hennessy |
| 1991 | MFPS | On Relating Concurency and Nondeterminism. | Luca Aceto |
| 1989 | LICS | Towards Action-Refinement in Process Algebras | Luca Aceto, Matthew Hennessy |
| 1989 | MFPS | Termination, Deadlock and Divergence. | Luca Aceto, Matthew Hennessy |