Concepedia

Elizabeth Latronico

EL

5

Publications

127

Citations

5

H-Index

2004

Active since

Affiliations

Carnegie Mellon University(Current)

University of California, Berkeley

Elizabeth Latronico is an author at Carnegie Mellon University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringVerificationFormal MethodsReliability EngineeringReliabilitySoftware TestingHardware Security

Publications per year

2004–2015

5

Publications

5

A Vision of Swarmlets

Elizabeth Latronico, Edward A. Lee, Marten Lohstroh et al. · IEEE Internet Computing · 2015 · 53 citations

Engineering, Swarm Dynamic, Distributed Environment +17

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

Michael Paulitsch, John Morris, B. Hall et al. · 2005 · 37 citations · Full text

Software Maintenance, Engineering, Survivable System +23

Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms

Elizabeth Latronico, Philip Koopman · 2005 · 13 citations · Full text

Cluster Computing, Hybrid Fault Model, Engineering +19

A practical ontology framework for static model analysis

Ben Lickly, Charles Shelton, Elizabeth Latronico et al. · 2011 · 13 citations

Ontology (Information Science), Engineering, Ontology Engineering +18

Quantifying the reliability of proven SPIDER group membership service guarantees

Elizabeth Latronico, Paul S. Miner, Philip Koopman · 2004 · 11 citations · Full text

Engineering, Verification, System Reliability +16

Rows per page

1–5 of 5