Borzoo Bonakdarpour

ResearcherPublications, citations & collaboration network

Borzoo Bonakdarpour is a researcher indexed in ScholarIQ from OpenAlex & ORCID. ScholarIQ records 195 works, 1,750 citations, an h-index of 23 and an i10-index of 51.

195

Works

1,750

Citations

h-index

i10-index

IDs:ORCID OpenAlex

How has Borzoo Bonakdarpour's publication output changed over time?

ScholarIQpublication output · 2010–2024

Output grew0% over the shown period — from 1 works in 2010 to 1 in 2024.

2010201120122014201520162017201820192024

What are the most-cited papers on Borzoo Bonakdarpour?

ScholarIQmost cited works

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Roşu, Julien Signoles, Daniel Thoma, Eugen Zălinescu, Yi Zhang

S122567160. 201766 CitationsOPEN ACCESS

A framework for automated distributed implementation of component-based models

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis

S139349430. 201265 CitationsOPEN ACCESS

Decentralized Runtime Verification of LTL Specifications in Distributed Systems

M.A.A. Mostafa, Borzoo Bonakdarpour

201563 Citations

Runtime Verification of k-Safety Hyperproperties in HyperLTL

Shreya Agrawal, Borzoo Bonakdarpour

201662 Citations

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification

Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider