2 citations · 5 across the 8 of their papers we have counts for
8 papers
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…
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour +1
We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a…
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…
Bounded Model Checking for Asynchronous Hyperproperties
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner +1
Many types of attacks on confidentiality stem from the nondeterministic nature of the environment that computer programs operate in (e.g., schedulers and asynchronous communication…
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald +1
Bounded model checking (BMC) is an effective technique for hunting bugs by incrementally exploring the state space of a system. To reason about infinite traces through a finite str…