PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bonakdarpour, Borzoo"

Author of the publication

copydeleteadd this publication to your clipboard
Statistical Verification of Hyperproperties for Cyber-Physical Systems.

, , , and . ACM Trans. Embedded Comput. Syst., 18 (5s): 92:1-92:23 (2019)

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

A framework for automated distributed implementation of component-based models., , , , and . Distributed Computing, 25 (5): 383-409 (2012)Power Redistribution for Optimizing Performance in MPI Clusters., , and . CoRR, (2014)Accelerated Runtime Verification of LTL Specifications with Counting Semantics., , , and . CoRR, (2014)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)How Good is Weak-Stabilization?, and . SSS, volume 8255 of Lecture Notes in Computer Science, page 148-162. Springer, (2013)A Theory of Fault Recovery for Component-Based Models., , and . SSS, volume 7596 of Lecture Notes in Computer Science, page 314-328. Springer, (2012)The Complexity of Monitoring Hyperproperties., and . CSF, page 162-174. IEEE Computer Society, (2018)Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset., , , and . DISC, volume 5805 of Lecture Notes in Computer Science, page 174-175. Springer, (2009)Optimal Instrumentation of Data-flow in Concurrent Data Structures., , and . OPODIS, volume 7109 of Lecture Notes in Computer Science, page 497-512. Springer, (2011)SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs., and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 167-171. Springer, (2008)