Elizabeth Latronico

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 1

Top Topics

Top Venues

IEEE Internet Comput.

Publications

Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber
A Vision of Swarmlets. IEEE Internet Comput. 19 (2) (2015)
Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee
A practical ontology framework for static model analysis. EMSOFT (2011)
Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico
Automatic Requirement Extraction from Test Cases. RV (2010)
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)
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)
Elizabeth Latronico, Philip Koopman
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN (2005)
Elizabeth Latronico, Paul S. Miner, Philip Koopman
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN (2004)
Elizabeth Latronico, Philip Koopman
Representing Embedded System Sequence Diagrams as a Formal Language. UML (2001)