ScholarIQanswers from OpenAlex & ORCID
Borzoo Bonakdarpour
ResearcherPublications, citations & collaboration network
Borzoo Bonakdarpour is a researcher indexed in ScholarIQ from OpenAlex & ORCID.
How many works does Borzoo Bonakdarpour have?
ScholarIQindexed works
Borzoo Bonakdarpour has 195 works in the ScholarIQ index. The count is the OpenAlex total, not the number of papers listed on this page.
How many citations does Borzoo Bonakdarpour have?
ScholarIQcitation count
Borzoo Bonakdarpour has 1,750 citations in the OpenAlex counts ScholarIQ stores.
What is the h-index of Borzoo Bonakdarpour?
ScholarIQh-index
Borzoo Bonakdarpour has an h-index of 23 in OpenAlex.
What is the i10-index of Borzoo Bonakdarpour?
ScholarIQi10-index
Borzoo Bonakdarpour has an i10-index of 51 in OpenAlex.
What is the ORCID of Borzoo Bonakdarpour?
ScholarIQorcid
The ORCID for Borzoo Bonakdarpour is on the source record.
What is the OpenAlex record for Borzoo Bonakdarpour?
ScholarIQopenalex
The OpenAlex for Borzoo Bonakdarpour is on the source record.
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
A framework for automated distributed implementation of component-based models
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
Decentralized Runtime Verification of LTL Specifications in Distributed Systems
M.A.A. Mostafa, Borzoo Bonakdarpour
Runtime Verification of k-Safety Hyperproperties in HyperLTL
Shreya Agrawal, Borzoo Bonakdarpour
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider