PICO Portalanswers from OpenAlex & ORCID
Borzoo Bonakdarpour
ResearcherPublications, citations & collaboration network
Borzoo Bonakdarpour is a researcher indexed in PICO Portal from OpenAlex & ORCID.
How many works does Borzoo Bonakdarpour have?
PICO Portalindexed works
Borzoo Bonakdarpour has 195 works in the PICO Portal index. The count is the OpenAlex total, not the number of papers listed on this page.
How many citations does Borzoo Bonakdarpour have?
PICO Portalcitation count
Borzoo Bonakdarpour has 1,750 citations in the OpenAlex counts PICO Portal stores.
What is the h-index of Borzoo Bonakdarpour?
PICO Portalh-index
Borzoo Bonakdarpour has an h-index of 23 in OpenAlex.
What is the i10-index of Borzoo Bonakdarpour?
PICO Portali10-index
Borzoo Bonakdarpour has an i10-index of 51 in OpenAlex.
What is the ORCID of Borzoo Bonakdarpour?
PICO Portalorcid
The ORCID for Borzoo Bonakdarpour is on the source record.
What is the OpenAlex record for Borzoo Bonakdarpour?
PICO Portalopenalex
The OpenAlex for Borzoo Bonakdarpour is on the source record.
What are the most-cited papers on Borzoo Bonakdarpour?
PICO Portalmost 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