Phil Koopman's
Graduated Research Students

Electrical and Computer Engineering Department
Carnegie Mellon University

---

• {short description of image}Milda Zizyte
  Ph.D. 5/20/2020, Better Robustness Testing for Autonomy Systems

• Casidhe Hutchison
  M.S. 8/2016, Lightweight Formalizations of System Safety Using Runtime Monitoring of Safety Proof Assumptions

• {kane}Aaron Kane
  Ph.D. 2/2015, Runtime Monitoring for Safety-Critical Embedded Systems

• {Justin Ray}Justin Ray
  Ph.D. 12/2013, An Exploration of Mechanisms and Policies for Gateways in Real-Time Embedded Systems

• Chris Szilagyi
  Ph.D. 5/12, Low Cost Multicast Network Authentication for Embedded Control Systems

• Jen Morris Black
  Ph.D. 5/09, System Safety as an Emergent Property in Composite Systems
  M.S. 5/04, A Fault Tolerance Analysis of Safety-Critical Embedded Systems

• Theresa (Theta) Maxino
  M.S. 5/06, The Effectiveness of Checksums for Embedded Networks

• Beth Latronico
  Ph.D. 5/05,Reliability Validation of Group Membership Services for X-by-Wire Protocols
  M.S. 5/02, Representing Embedded System Sequence Diagrams as a Formal Language

• Charles Shelton
  Ph.D. 8/03, Scalable Graceful Degradation for Distributed Embedded Systems
  M.S. 5/00, Robustness Testing of the Microsoft Win32 API

• Bill Nace
  Ph.D. 5/02, Automatic Graceful Degradation for Distributed Embedded Systems

• John DeVale
  Ph.D. 12/01, High Performance Robust Computer Systems
  M.S. 12/98, Measuring Operating System Robustness

• Chris Martin
  MS 12/01, Functional fault simulation for distributed embedded systems

• Tridib Chakravarty
  MS 12/01, Performance of cyclic redundancy codes for embedded networks

• Meredith Beveridge
  M.S. 3/01, Jini on the Control Area Network (CAN): a case study in portability failure

• Jiantao Pan
  M.S. 12/00, Robustness Testing and Hardening of CORBA ORB Implementations

• Sandeep Tamboli
  M.S. 8/00, Evaluation of Admission Policies for Probabilistic Quality of Service (QoS)

• Arjun Cholkar
  M.S. 5/99; A Web-based Distributed Network Simulation Framework using CORBA IDL-based APIs

• Kim Fernsler
  M.S. 5/99, Robustness Testing of A Distributed Simulation Backplane

• Geoff Hendrey
  M.S. 5/99, Standard Ethernet as an Embedded Communication Network

• Eushiuan Tran Tsung
  M.S. 5/99, Multi-Bit Error Vulnerabilities in the Controller Area Network Protocol

• Nathan Kropp
  M.S. 5/98 (co-advisor) Automatic Robustness Testing of Off-the-Shelf Software Components

---

Phil Koopman home page