( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lightweight Verification of Hyperproperties.

, , , , , , и . ATVA, том 14216 из Lecture Notes in Computer Science, стр. 3-25. Springer, (2023)

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.

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

Другие публикации лиц с тем же именем

Compositional verification of fault-tolerant real-time programs., и . EMSOFT, стр. 29-38. ACM, (2009)How Good is Weak-Stabilization?, и . SSS, том 8255 из Lecture Notes in Computer Science, стр. 148-162. Springer, (2013)Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model., , и . SSS, том 4838 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2007)Complexity results in revising UNITY programs., , и . ACM Trans. Auton. Adapt. Syst., 4 (1): 5:1-5:28 (2009)SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs., и . CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 167-171. Springer, (2008)A framework for mining hybrid automata from input/output traces., , , и . EMSOFT, стр. 177-186. IEEE, (2015)Distributed runtime verification of metric temporal properties., , , , , , и . J. Parallel Distributed Comput., (марта 2024)Predicate monitoring in distributed cyber-physical systems., , , и . Int. J. Softw. Tools Technol. Transf., 25 (4): 541-556 (августа 2023)The Complexity of Monitoring Hyperproperties., и . CSF, стр. 162-174. IEEE Computer Society, (2018)Runtime Verification of k-Safety Hyperproperties in HyperLTL., и . CSF, стр. 239-252. IEEE Computer Society, (2016)