Author of the publication

Probabilistic Hyperproperties with Rewards.

, , , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 656-673. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Bonakdarpour, Borzoo
add a person with the name Bonakdarpour, Borzoo
 

Other publications of authors with the same name

How Good is Weak-Stabilization?, and . SSS, volume 8255 of Lecture Notes in Computer Science, page 148-162. Springer, (2013)Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model., , and . SSS, volume 4838 of Lecture Notes in Computer Science, page 21-36. Springer, (2007)SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs., and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 167-171. Springer, (2008)A framework for mining hybrid automata from input/output traces., , , and . EMSOFT, page 177-186. IEEE, (2015)Compositional verification of fault-tolerant real-time programs., and . EMSOFT, page 29-38. ACM, (2009)Predicate monitoring in distributed cyber-physical systems., , , and . Int. J. Softw. Tools Technol. Transf., 25 (4): 541-556 (August 2023)Complexity results in revising UNITY programs., , and . ACM Trans. Auton. Adapt. Syst., 4 (1): 5:1-5:28 (2009)Bounded Model Checking for Hyperproperties., , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 94-112. Springer, (2021)Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols., , , , , , and . ICDCS, page 23-33. IEEE, (2022)Distributed runtime verification of metric temporal properties., , , , , , and . J. Parallel Distributed Comput., (March 2024)