Skip to main content
College of Engineering
Trustworthy and Reliable Technologies Lab (TART)
Contact
EGR
MSU
Maps
Jobs
Home
Members
Projects
Publications
Research
Teaching
Tools
Borzoo Bonakdarpour
Home
Profile Page
Prof. Borzoo Bonakdarpour
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
Time-triggered Runtime Verification
Model-based Implementation of Distributed Systems with Priorities
Pagination
Page 1
Next page
››
Subscribe to Borzoo Bonakdarpour
Stay Connected