# Borzoo Bonakdarpour

**Type:** Researchers  
**Canonical URL:** https://scholariq.org/researchers/borzoo-bonakdarpour/

## Facts

| Field | Value |
| --- | --- |
| Citations | 1,750 |
| Field | Formal Methods in Verification |
| h-index | 23 |
| i10-index | 51 |
| Last Known Institution | Michigan State University |
| OpenAlex ID | https://openalex.org/A5008486466 |
| ORCID iD | 0000-0003-1800-5419 |
| Works | 195 |

## Researcher papers

- [First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014](https://scholariq.org/papers/first-international-competition-on-runtime-verification-rules-benchmarks-tools/)
- [A framework for automated distributed implementation of component-based models](https://scholariq.org/papers/a-framework-for-automated-distributed-implementation-of-component-based-models/)
- [Decentralized Runtime Verification of LTL Specifications in Distributed Systems](https://scholariq.org/papers/decentralized-runtime-verification-of-ltl-specifications-in-distributed-systems/)
- [Runtime Verification of k-Safety Hyperproperties in HyperLTL](https://scholariq.org/papers/runtime-verification-of-k-safety-hyperproperties-in-hyperltl/)
- [Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification](https://scholariq.org/papers/monitoring-hyperproperties-by-combining-static-analysis-and-runtime-verification/)
- [From high-level component-based models to distributed implementations](https://scholariq.org/papers/from-high-level-component-based-models-to-distributed-implementations/)
- [Statistical Verification of Hyperproperties for Cyber-Physical Systems](https://scholariq.org/papers/statistical-verification-of-hyperproperties-for-cyber-physical-systems/)
- [First International Competition on Software for Runtime Verification](https://scholariq.org/papers/first-international-competition-on-software-for-runtime-verification/)
- [The Complexity of Monitoring Hyperproperties](https://scholariq.org/papers/the-complexity-of-monitoring-hyperproperties/)
- [Sampling-Based Runtime Verification](https://scholariq.org/papers/sampling-based-runtime-verification/)
- [Efficient Discovery of Actual Causality Using Abstraction Refinement](https://scholariq.org/papers/efficient-discovery-of-actual-causality-using-abstraction-refinement/)

## Researcher topics

- [Formal Methods in Verification](https://scholariq.org/topics/formal-methods-in-verification/)
- [Distributed systems and fault tolerance](https://scholariq.org/topics/distributed-systems-and-fault-tolerance/)
- [Real-Time Systems Scheduling](https://scholariq.org/topics/real-time-systems-scheduling/)
- [Software Testing and Debugging Techniques](https://scholariq.org/topics/software-testing-and-debugging-techniques/)
- [Security and Verification in Computing](https://scholariq.org/topics/security-and-verification-in-computing/)

## Researcher university

- [Michigan State University](https://scholariq.org/institutions/michigan-state-university/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.