 | 2009 |
|---|
| 5 |       | Man-Kit Leung,
Thomas Mandl,
Edward A. Lee,
Elizabeth Latronico,
Charles P. Shelton,
Stavros Tripakis,
Ben Lickly:
Scalable Semantic Annotation Using Lattice-Based Ontologies.
MoDELS 2009: 393-407 |
| 2005 |
|---|
| 4 | | 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 | | Elizabeth Latronico,
Philip Koopman:
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms.
DSN 2005: 486-495 |
| 2004 |
|---|
| 2 | | Elizabeth Latronico,
Paul S. Miner,
Philip Koopman:
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.
DSN 2004: 275-284 |
| 2001 |
|---|
| 1 | | Elizabeth Latronico,
Philip Koopman:
Representing Embedded System Sequence Diagrams as a Formal Language.
UML 2001: 302-316 |
