ask others

Adrian Francalanza

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

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

2019
[j11]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/pacmpl/AcetoAFIL19
- ask others
- share record
  short 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. PACMPL 3(POPL): 52:1-52:29 (2019)
2018
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BernardiF18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BernardiF18
Giovanni Tito Bernardi, Adrian Francalanza:
Full-abstraction for client testing preorders. Sci. Comput. Program. 168: 94-117 (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 via DOI
- 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
[e3]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/erlang/2018
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/erlang/2018
Natalia Chechina, Adrian Francalanza:
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018. ACM 2018 [contents]
[i5]
- 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)
[i4]
- 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)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1811-06740
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06740
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (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 via DOI
- 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 via DOI
- 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 via DOI
- 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 via DOI
- 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 via DOI
- 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

, founded at