43 citations · 77 across the 18 of their papers we have counts for
4 papers · 1 filter
Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour
Hyperproperties are properties of systems that relate multiple computation traces, including security and concurrency properties. This paper introduces a bounded model checking (BM…
Probabilistic Conformance for Cyber-Physical Systems
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpoor +1
In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatica…
Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour +1
We study the problem of formalizing and checking probabilistic hyperproperties for models that allow nondeterminism in actions. We extend the temporal logic \HyperPCTL, which has b…
Automata for Hyperlanguages
Borzoo Bonakdarpour, Sarai Sheinvald
Hyperproperties lift conventional trace properties from a set of execution traces to a set of sets of execution traces. Hyperproperties have been shown to be a powerful formalism f…