43 citations · 119 across the 29 of their papers we have counts for
6 papers · 1 filter
Lattice Aggregation in Distributed Verification under Crash and Byzantine Failures
Gilde Valeria Rodríguez, Borzoo Bonakdarpour, Armando Castañeda +1
We introduce c-Lattice Aggregation, a fault-tolerant reconstruction problem for distributed verification under crash and Byzantine failures. In our setting, n asynchronous processe…
Stream-based Decentralized Runtime Verification
Ritam Ganguly, Borzoo Bonakdarpour
Industrial Control Systems (ICS) are often built from geographically distributed components and often use programmable logic controllers for localized processes. Since verification…
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere +4
Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a…
Decentralized Multi-UAV Routing in the Presence of Disturbances
Wei Zhao, Borzoo Bonakdarpour
We introduce a decentralized and online path planning technique for a network of unmanned aerial vehicles (UAVs) in the presence of weather disturbances. In our problem setting, th…
Power Redistribution for Optimizing Performance in MPI Clusters
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power efficiency has recently become a major concern in the high-performance computing domain. HPC centers are provisioned by a power bound which impacts execution time. Naturally,…
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs: (1) generation of fault-span, the set of states reacha…