Elizabeth Latronico

According to our database, Elizabeth Latronico authored at least 8 papers between 2001 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A Vision of Swarmlets.

Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber

IEEE Internet Comput., 2015

2011

A practical ontology framework for static model analysis.

Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Automatic Requirement Extraction from Test Cases.

Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Scalable Semantic Annotation Using Lattice-Based Ontologies.

Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2005

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.

Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms.

Elizabeth Latronico, Philip Koopman

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.

Elizabeth Latronico, Paul S. Miner, Philip Koopman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2001

Representing Embedded System Sequence Diagrams as a Formal Language.

Elizabeth Latronico, Philip Koopman

Proceedings of the «UML» 2001, 2001