Representing Embedded System Sequence Diagrams as a Formal Language. - Elizabeth Latronico; Philip Koopman (UML, 2001)

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. - Elizabeth Latronico; Paul S. Miner; Philip Koopman (DSN, 2004)

Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. - Elizabeth Latronico; Philip Koopman (DSN, 2005)

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. - Michael Paulitsch; Jennifer Morris; Brendan Hall; Kevin Driscoll 001; Elizabeth Latronico; Philip Koopman (DSN, 2005)

Scalable Semantic Annotation Using Lattice-Based Ontologies. - Man-Kit Leung; Thomas Mandl 002; Edward A. Lee; Elizabeth Latronico; Charles P. Shelton; Stavros Tripakis; Ben Lickly (MoDELS, 2009)

Automatic Requirement Extraction from Test Cases. - Christopher Ackermann; Rance Cleaveland; Samuel Huang 001; Arnab Ray; Charles P. Shelton; Elizabeth Latronico (RV, 2010)

A practical ontology framework for static model analysis. - Ben Lickly; Charles P. Shelton; Elizabeth Latronico; Edward A. Lee (EMSOFT, 2011)

A Vision of Swarmlets. - Elizabeth Latronico; Edward A. Lee; Marten Lohstroh; Chris Shaver; Armin Wasicek; Matthew Weber (IEEE Internet Comput., 2015)