| |
| 2004 | ||
|---|---|---|
| 3 | EE | Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon: A Unified Fault-Tolerance Protocol. FORMATS/FTRTFT 2004: 167-182 |
| 2 | EE | Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser: Abstractions for Fault-Tolerant Distributed System Verification. TPHOLs 2004: 257-270 |
| 2003 | ||
| 1 | EE | Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César Muñoz: Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. Winter Simulation Conference 2003: 906-914 |
| 1 | Ricky W. Butler | [1] |
| 2 | Alfons Geser | [1] [2] [3] |
| 3 | Paul S. Miner | [2] [3] |
| 4 | César Muñoz | [1] |
| 5 | Lee Pike | [2] [3] |