Adrian Francalanza

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Anna Ingólfsdóttir

> Home > Persons > Adrian Francalanza

Publications

2025
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AcetoAAEFIL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AcetoAAEFIL25
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. CONCUR 2025: 4:1-4:21
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2506-06172
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2506-06172
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory. CoRR abs/2506.06172 (2025)
2024
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/AcetoAFI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/AcetoAFI24
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Artifact). Dagstuhl Artifacts Ser. 10(2): 1:1-1:4 (2024)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AcetoAAFI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AcetoAAFI24
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)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AcetoAAEFI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AcetoAAEFI24
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir:
A monitoring tool for linear-time μHML. Sci. Comput. Program. 232: 103031 (2024)
[c65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/AcetoAFI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AcetoAFI24
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components. ECOOP 2024: 2:1-2:33
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-19904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-19904
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Extended Version). CoRR abs/2406.19904 (2024)
2023
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/AcetoCFI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/AcetoCFI23
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On first-order runtime enforcement of branching-time properties. Acta Informatica 60(4): 385-451 (2023)
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AcetoCFI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AcetoCFI23
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)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-16881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-16881
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity results for modal logic with recursion via translations and tableaux. CoRR abs/2306.16881 (2023)
2022
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AcetoAAFILP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AcetoAAFILP22
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: 325-342
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AcetoAAEFI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AcetoAAEFI22
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: 200-219
[c59]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10377
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10377
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity through Translations for Modal Logic with Recursion. GandALF 2022: 34-48
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2201-03108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-03108
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. CoRR abs/2201.03108 (2022)
2021
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AcetoAFIL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AcetoAFIL21
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): 335-361 (2021)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AcetoCFI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AcetoCFI21
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): 601-614 (2021)
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/AcetoAFIL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/AcetoAFIL21
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Best a Monitor Can Do. CSL 2021: 7:1-7:23
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/AcetoAFI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AcetoAFI21
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
On Benchmarking for Concurrent Runtime Verification. FASE 2021: 3-23
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AcetoCFI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AcetoCFI21
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Bidirectional Runtime Enforcement. FORTE 2021: 3-21
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AttardAAFIL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AttardAAFIL21
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: 207-225
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-09433
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-09433
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR abs/2104.09433 (2021)
2020
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AcetoAFIK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AcetoAFIK20
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: 100515 (2020)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AcetoAFI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AcetoAFI20
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112: 100529 (2020)
2019
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AcetoAFIL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AcetoAFIL19
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): 52:1-52:29 (2019)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AcetoAFIL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AcetoAFIL19
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: 28-44
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AcetoAFIL19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AcetoAFIL19a
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: 259-275
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AcetoCFI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AcetoCFI19
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Comparing Controlled System Synthesis and Suppression Enforcement. RV 2019: 148-164
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/AcetoAFIL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/AcetoAFIL19
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An Operational Guide to Monitorability. SEFM 2019: 433-453
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1902-00435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-00435
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Adventures in Monitorability: From Branching to Linear Time and Back Again. CoRR abs/1902.00435 (2019)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1902-05152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-05152
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Cost of Monitoring Alone. CoRR abs/1902.05152 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-00766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-00766
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An Operational Guide to Monitorability. CoRR abs/1906.00766 (2019)
2018
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AcetoCFI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AcetoCFI18
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CONCUR 2018: 34:1-34:17
[c40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AcetoAFI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AcetoAFI18
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
A Framework for Parameterized Monitorability. FoSSaCS 2018: 203-220
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08917
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08917
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Developing Theoretical Foundations for Runtime Enforcement. CoRR abs/1804.08917 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-01004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01004
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CoRR abs/1807.01004 (2018)
2017
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FrancalanzaAI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FrancalanzaAI17
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Monitorability for the Hennessy-Milner logic with recursion. Formal Methods Syst. Des. 51(1): 87-116 (2017)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/CassarFAI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/CassarFAI17
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop 2017: 20-30
[c35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/AcetoAFI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/AcetoAFI17
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
Monitoring for Silent Actions. FSTTCS 2017: 7:1-7:14
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FrancalanzaAAAC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FrancalanzaAAAC17
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: 8-29
[c33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/CassarFAAI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CassarFAAI17
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Suite of Monitoring Tools for Erlang. RV-CuBES 2017: 41-47
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/CassarFAAI17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CassarFAAI17a
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Generic Instrumentation Tool for Erlang. RV-CuBES 2017: 48-54
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/AcetoAFIK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/AcetoAFIK17
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
On the Complexity of Determinizing Monitors. CIAA 2017: 1-13
[c29]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1708-07229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07229
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM 2017: 15-28
2016
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AcetoFI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AcetoFI16
Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir:
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AcetoAFIK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AcetoAFIK16
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
Determinizing Monitors for HML with Recursion. CoRR abs/1611.10212 (2016)
2015
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FrancalanzaAI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FrancalanzaAI15
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
On Verifying Hennessy-Milner Logic with Recursion at Runtime. RV 2015: 71-86

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.