Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 Ian Cassar

> Home > Persons > Adrian Francalanza

Publications

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)
  - references & 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)
2022
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & 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
[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)
[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
2019
[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
2018
[c42]
- view
  - electronic edition via DOI (open access)
  - references & 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
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & 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)
  - references & 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
[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
[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)
  - references & 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)
  - references & 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
[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
[c28]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1708-07233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07233
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM 2017: 69-80
2016
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CassarF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CassarF16
Ian Cassar, Adrian Francalanza:
On Implementing a Monitor-Oriented Programming Framework for Actor Systems. IFM 2016: 176-192
2015
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CassarF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CassarF15
Ian Cassar, Adrian Francalanza:
Runtime Adaptation for Actor Systems. RV 2015: 38-54
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CassarFS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CassarFS15
Ian Cassar, Adrian Francalanza, Simon Said:
Improving Runtime Overheads for detectEr. FESCA 2015: 1-8
2014
[c16]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CassarF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CassarF15
Ian Cassar, Adrian Francalanza:
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. FOCLASA 2014: 54-68

a service of

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.