| 2009 |
|---|
| 9 | EE | Issam Souilah,
Adrian Francalanza,
Vladimiro Sassone:
A Formal Model of Provenance in Distributed Systems.
Workshop on the Theory and Practice of Provenance 2009 |
| 2008 |
|---|
| 8 | EE | Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
ECOOP 2008: 412-437 |
| 7 | EE | 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 |
| 6 | EE | Adrian Francalanza,
Matthew Hennessy:
A theory of system behaviour in the presence of node and link failure.
Inf. Comput. 206(6): 711-759 (2008) |
| 2007 |
|---|
| 5 | EE | Adrian Francalanza,
Matthew Hennessy:
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).
ESOP 2007: 395-410 |
| 4 | EE | Dave Cunningham,
Werner Dietl,
Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
Universe Types for Topology and Encapsulation.
FMCO 2007: 72-112 |
| 3 | EE | Adrian Francalanza,
Matthew Hennessy:
A theory for observational fault tolerance.
J. Log. Algebr. Program. 73(1-2): 22-50 (2007) |
| 2006 |
|---|
| 2 | EE | Adrian Francalanza,
Matthew Hennessy:
A Theory for Observational Fault Tolerance.
FoSSaCS 2006: 16-31 |
| 2005 |
|---|
| 1 | EE | Adrian Francalanza,
Matthew Hennessy:
A Theory of System Behaviour in the Presence of Node and Link Failures.
CONCUR 2005: 368-382 |
