Elizabeth Latronico

Coverage and the use of cyclic redundancy codes in ultra-dependable systems

Philip Koopman, Michael Paulitsch, Jennifer Morris, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

A Novel Method for Input Selection for the Modeling of Nonlinear Dynamic Systems

Jun Ni, Li Jiang, Elizabeth Latronico, 2008 .

A Vision of Swarmlets

Edward A. Lee, Armin Wasicek, Elizabeth Latronico, 2015, IEEE Internet Computing.

A practical ontology framework for static model analysis

Edward A. Lee, Charles P. Shelton, Elizabeth Latronico, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Scalable Semantic Annotation Using Lattice-Based Ontologies

Edward A. Lee, Charles P. Shelton, Stavros Tripakis, 2009, MoDELS.

Automatic Requirement Extraction from Test Cases

Rance Cleaveland, Charles P. Shelton, Elizabeth Latronico, 2010, RV.

Representing Embedded System Sequence Diagrams as a Formal Language

Philip Koopman, Elizabeth Latronico, 2001, UML.

Reliability validation of group membership services for x-by-wire protocols

Philip Koopman, Elizabeth Latronico, Elizabeth Latronico, 2005 .

Problems Facing Group Membership Specifications for X-by-Wire Protocols

Elizabeth Latronico, 2003 .

A period-based group membership strategy for nodes of TDMA networks

Philip Koopman, Elizabeth Latronico, 2003 .

Quantifying the reliability of proven SPIDER group membership service guarantees

Philip Koopman, Elizabeth Latronico, Paul S. Miner, 2004, International Conference on Dependable Systems and Networks, 2004.

Design time reliability analysis of distributed fault tolerance algorithms

Philip Koopman, Elizabeth Latronico, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).