Borzoo Bonakdarpour

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

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

Computing, Computer Engineering, Computer Science +14

A framework for automated distributed implementation of component-based models

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber et al. · Distributed Computing · 2012 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +14

Decentralized Runtime Verification of LTL Specifications in Distributed Systems

M.A.A. Mostafa, Borzoo Bonakdarpour · 2015 · 63 citations

Computing, Computer Engineering, Computer Science +16

Runtime Verification of k-Safety Hyperproperties in HyperLTL

Shreya Agrawal, Borzoo Bonakdarpour · 2016 · 62 citations

Computing, Computer Science, Computer Systems +17

From high-level component-based models to distributed implementations

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber et al. · 2010 · 53 citations · Full text

Computing, Computer Engineering, Computer Science +17