Elizabeth Latronico
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2011
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | EMSOFT | A practical ontology framework for static model analysis. | Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee |
| 2010 | RV | Automatic Requirement Extraction from Test Cases. | Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
| 2009 | MODELS | Scalable Semantic Annotation Using Lattice-Based Ontologies. | Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly |
| 2005 | DSN | Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. | Elizabeth Latronico, Philip Koopman |
| 2005 | DSN | Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. | Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman |
| 2004 | DSN | Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. | Elizabeth Latronico, Paul S. Miner, Philip Koopman |