| |
| 2008 | ||
|---|---|---|
| 5 | 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 |
| 2007 | ||
| 4 | EE | Adrian Francalanza, Matthew Hennessy: A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). ESOP 2007: 395-410 |
| 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 |
| 1 | Sophia Drossopoulou | [5] |
| 2 | Matthew Hennessy | [1] [2] [3] [4] |
| 3 | Peter Müller | [5] |
| 4 | Alexander J. Summers | [5] |