College of Engineering

Borzoo Bonakdarpour

Beyond Correlation: Establishing Causality in Protein Corona Formation for Nanomedicine

Ai-driven prediction of cardio-oncology biomarkers through protein corona analysis

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy

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

Subscribe to Borzoo Bonakdarpour

Spartans Will.
© Michigan State University