| |
| 2005 | ||
|---|---|---|
| 4 | EE | Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman: Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. DSN 2005: 346-355 |
| 3 | EE | Elizabeth Latronico, Philip Koopman: Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN 2005: 486-495 |
| 2004 | ||
| 2 | EE | Elizabeth Latronico, Paul S. Miner, Philip Koopman: Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN 2004: 275-284 |
| 2001 | ||
| 1 | EE | Elizabeth Latronico, Philip Koopman: Representing Embedded System Sequence Diagrams as a Formal Language. UML 2001: 302-316 |
| 1 | Kevin Driscoll | [4] |
| 2 | Brendan Hall | [4] |
| 3 | Philip Koopman (Phil Koopman, Philip J. Koopman Jr.) | [1] [2] [3] [4] |
| 4 | Paul S. Miner | [2] |
| 5 | Jennifer Morris | [4] |
| 6 | Michael Paulitsch | [4] |