ask others

Adrian Francalanza

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/AcetoCFI18
- ask others
- share record
  short 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
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dais/FrancalanzaMT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dais/FrancalanzaMT18
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reversible Choreographies via Monitoring in Erlang. DAIS 2018: 75-92
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/AcetoAFI18
- ask others
- share record
  short 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
[c39]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/issta/GrechFFS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GrechFFS18
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA 2018: 198-208
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lncs/BartocciFFR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/BartocciFFR18
Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger:
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lncs/FrancalanzaPS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/FrancalanzaPS18
Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-08917
- ask others
- share record
  short 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)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1807-01004
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/FrancalanzaAI17
- ask others
- share record
  short 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 in System Design 51(1): 87-116 (2017)
[j8]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/pacmpl/GrechFFS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pacmpl/GrechFFS17
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Heaps don't lie: countering unsoundness with heap snapshots. PACMPL 1(OOPSLA): 68:1-68:27 (2017)
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Francalanza17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Francalanza17
Adrian Francalanza:
Consistently-Detecting Monitors. CONCUR 2017: 8:1-8:19
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/coordination/BernardiF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/BernardiF17
Giovanni Bernardi, Adrian Francalanza:
Full-Abstraction for Must Testing Preorders - (Extended Abstract). COORDINATION 2017: 237-255
[c36]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/erlang/CassarFAI17
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/fsttcs/AcetoAFI17
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/FrancalanzaAAAC17
- ask others
- share record
  short 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 @ easychair.org
- export record
  dblp key:
  - conf/rv/CassarFAAI17
- ask others
- share record
  short 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 @ easychair.org
- export record
  dblp key:
  - conf/rv/CassarFAAI17a
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/AttardF17
- ask others
- share record
  short 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
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/AcetoAFIK17
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1708-07229
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1708-07233
- ask others
- share record
  short 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
[e2]
- view
  - table of contents in dblp
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1708-06889
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1708-06889
Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents]
2016
[c27]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/eics/CauchiCFMP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eics/CauchiCFMP16
Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace:
Using gherkin to extract tests and monitors for safer medical device interaction design. EICS 2016: 275-280
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Francalanza16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Francalanza16
Adrian Francalanza:
A Theory of Monitors - (Extended Abstract). FoSSaCS 2016: 145-161
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifm/CassarF16
- ask others
- share record
  short 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
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/AttardF16
- ask others
- share record
  short 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
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/VellaF16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/VellaF16
Annalizz Vella, Adrian Francalanza:
Preliminary Results Towards Contract Monitorability. PrePost@IFM 2016: 54-63
[e1]
- view
- export record
  dblp key:
  - journals/corr/AcetoFI16
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/AcetoAFIK16
- ask others
- share record
  short 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
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/FrancalanzaS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/FrancalanzaS15
Adrian Francalanza, Aldrin Seychell:
Synthesising correct concurrent runtime monitors. Formal Methods in System Design 46(3): 226-261 (2015)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/CassarF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/CassarF15
Ian Cassar, Adrian Francalanza:
Runtime Adaptation for Actor Systems. RV 2015: 38-54
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/FrancalanzaAI15
- ask others
- share record
  short 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
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/ColomboDF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ColomboDF15
Christian Colombo, Gabriel Dimech, Adrian Francalanza:
Investigating Instrumentation Techniques for ESB Runtime Verification. SEFM 2015: 99-107
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/CiniF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/CiniF15
Clare Cini, Adrian Francalanza:
An LTL Proof System for Runtime Verification. TACAS 2015: 581-595
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CassarFS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CassarFS15
Ian Cassar, Adrian Francalanza, Simon Said:
Improving Runtime Overheads for detectEr. FESCA 2015: 1-8
[c17]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FrancalanzaGR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FrancalanzaGR15
Adrian Francalanza, Marco Giunti, António Ravara:
Unlocking Blocked Communicating Processes. WWV 2015: 23-32
2014
[j6]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FrancalanzaVH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FrancalanzaVH14
Adrian Francalanza, Edsko de Vries, Matthew Hennessy:
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. Logical Methods in Computer Science 10(2) (2014)
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/logcom/VriesFH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/logcom/VriesFH14
Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
Uniqueness typing for resource management in message-passing concurrency. J. Log. Comput. 24(3): 531-556 (2014)
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CassarF15
- ask others
- share record
  short 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
2013
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/FrancalanzaGP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/FrancalanzaGP13
Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed system contract monitoring. J. Log. Algebr. Program. 82(5-7): 186-215 (2013)
[c15]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/agere/FrancalanzaZ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agere/FrancalanzaZ13
Adrian Francalanza, Tyron Zerafa:
Code management automation for Erlang remote actors. AGERE!@SPLASH 2013: 13-18
[c14]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/erlang/FrancalanzaZ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/erlang/FrancalanzaZ13
Adrian Francalanza, Tyron Zerafa:
Towards an abstraction for remote evaluation in Erlang. Erlang Workshop 2013: 75-76
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/FrancalanzaS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/FrancalanzaS13
Adrian Francalanza, Aldrin Seychell:
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). RV 2013: 112-129
[c12]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1302-5169
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5169
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. FESCA 2013: 1-15
2012
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/ColomboFMP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ColomboFMP12
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232
[c10]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1209-2681
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2681
Christian Colombo, Adrian Francalanza, Ian Grima:
Simplifying Contract-Violating Traces. FLACOS 2012: 11-20
2011
[j3]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1106-5128
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1106-5128
Adrian Francalanza, Julian Rathke, Vladimiro Sassone:
Permission-Based Separation Logic for Message-Passing Concurrency. Logical Methods in Computer Science 7(3) (2011)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/ColomboFG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/ColomboFG11
Christian Colombo, Adrian Francalanza, Rudolph Gatt:
Elarva: A Monitoring Tool for Erlang. RV 2011: 370-374
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1109-2655
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2655
Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed System Contract Monitoring. FLACOS 2011: 23-37

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c7]
- view
  - electronic edition @ usenix.org
- export record
  dblp key:
  - conf/fast/SouilahFS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fast/SouilahFS09
Issam Souilah, Adrian Francalanza, Vladimiro Sassone:
A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance 2009
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1003-5513
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5513
Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
Uniqueness Typing for Resource Management in Message-Passing Concurrency. LINEARITY 2009: 26-37
2008
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/FrancalanzaH08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/FrancalanzaH08
Adrian Francalanza, Matthew Hennessy:
A theory of system behaviour in the presence of node and link failure. Inf. Comput. 206(6): 711-759 (2008)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/DrossopoulouFMS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/DrossopoulouFMS08
Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
[i1]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/DrossopoulouFMS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/DrossopoulouFMS08
Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008
2007
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/FrancalanzaH07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/FrancalanzaH07
Adrian Francalanza, Matthew Hennessy:
A theory for observational fault tolerance. J. Log. Algebr. Program. 73(1-2): 22-50 (2007)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/FrancalanzaH07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/FrancalanzaH07
Adrian Francalanza, Matthew Hennessy:
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). ESOP 2007: 395-410
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/CunninghamDDFMS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmco/CunninghamDDFMS07
Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation. FMCO 2007: 72-112
2006
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/FrancalanzaH06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/FrancalanzaH06
Adrian Francalanza, Matthew Hennessy:
A Theory for Observational Fault Tolerance. FoSSaCS 2006: 16-31
2005
[b1]
- view
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/Francalanza05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/ethos/Francalanza05
Adrian Francalanza:
A study of failure in a distributed pi-calculus. University of Sussex, UK 2005
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/FrancalanzaH05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/FrancalanzaH05
Adrian Francalanza, Matthew Hennessy:
A Theory of System Behaviour in the Presence of Node and Link Failures. CONCUR 2005: 368-382

Coauthor Index

see FAQ

maintained by

at