College of Engineering

Borzoo Bonakdarpour

Efficient Discovery of Actual Causality using Abstraction-Refinement

Syntax-Guided Automated Program Repair for Hyperproperties

Distributed runtime verification of metric temporal properties

Complexity Results in Revising UNITY Programs

Symbolic Synthesis of Masking Fault-tolerant Distributed Programs

Automated Program Repair for Distributed Systems

A Framework for Automated Distributed Implementation of Component-based Models

Time-triggered Runtime Verification

Model-based Implementation of Distributed Systems with Priorities

Runtime Verification with Minimal Intrusion through Parallelism

Subscribe to Borzoo Bonakdarpour

Spartans Will.
© Michigan State University