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 Duncan Paul Attard

> Home > Persons > Adrian Francalanza

Publications

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)
2022
[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
2021
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BrunAF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BrunAF21
Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza:
Graft: general purpose raft consensus in Elixir. Erlang Workshop 2021: 2-14
[c53]
- view
  - electronic edition via DOI (open access)
  - references & 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
[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)
  - references & 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)
2017
[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
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/AttardF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/AttardF17
Duncan Paul Attard, Adrian Francalanza:
Trace Partitioning and Local Monitoring for Asynchronous Components. SEFM 2017: 219-235
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AttardF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AttardF16
Duncan Paul Attard, Adrian Francalanza:
A Monitoring Tool for a Branching-Time Logic. RV 2016: 473-481

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.