43 citations · 119 across the 29 of their papers we have counts for
3 papers · 1 filter
Efficient Discovery of Actual Causality using Abstraction-Refinement
Arshia Rafieioskouei, Borzoo Bonakdarpour
Causality is the relationship where one event contributes to the production of another, with the cause being partly responsible for the effect and the effect partly dependent on th…
Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour +1
We study the problem of automatically repairing infinite-state software programs w.r.t. temporal hyperproperties. As a first step, we present a repair approach for the temporal log…
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković +1
In distributed systems with processes that do not share a global clock, \emph{partial synchrony} is achieved by clock synchronization that guarantees bounded clock skew among all a…