E-LIB Suche - Ergebnisse für: Bonakdarpour, Borzoo

1

Crash-Resilient Decentralized Synchronous Runtime Verificat..:

Ganguly, Ritam ; Kazemloo, Shokufeh ; Bonakdarpour, Borzoo
IEEE Transactions on Dependable and Secure Computing. 21 (2024) 3 - p. 1017-1031 , 2024

Link: https://doi.org/10.1109/..

2

Distributed runtime verification of metric temporal propert..:

Ganguly, Ritam ; Xue, Yingjie ; Jonckheere, Aaron...
Journal of Parallel and Distributed Computing. 185 (2024) - p. 104801 , 2024

Link: https://doi.org/10.1016/..

3

Runtime verification of partially-synchronous distributed s..:

Ganguly, Ritam ; Momtaz, Anik ; Bonakdarpour, Borzoo
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

4

Resource Optimization of Stream Processing in Layered Inter..:

, In: 2023 42nd International Symposium on Reliable Distributed Systems (SRDS),

Momtaz, Anik ; Medhat, Ramy ; Bonakdarpour, Borzoo - p. 221-231 , 2023

Link: https://doi.org/10.1109/..

5

Finite-word hyperlanguages:

Bonakdarpour, Borzoo ; Sheinvald, Sarai
Information and Computation. 295 (2023) - p. 104944 , 2023

Link: https://doi.org/10.1016/..

6

Lightweight Verification of Hyperproperties:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Dobe, Oyendrila ; Schupp, Stefan ; Bartocci, Ezio... - p. 3-25 , 2023

Link: https://doi.org/10.1007/..

7

Decentralized Predicate Detection Over Partially Synchronou..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Koll, Charles ; Momtaz, Anik ; Bonakdarpour, Borzoo. - p. 213-230 , 2023

Link: https://doi.org/10.1007/..

8

Predicate monitoring in distributed cyber-physical systems:

Momtaz, Anik ; Basnet, Niraj ; Abbas, Houssam.
International Journal on Software Tools for Technology Transfer. 25 (2023) 4 - p. 541-556 , 2023

Link: https://doi.org/10.1007/..

9

Introducing Asynchronicity to Probabilistic Hyperproperties:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Gerlach, Lina ; Dobe, Oyendrila ; Ábrahám, Erika.. - p. 47-64 , 2023

Link: https://doi.org/10.1007/..

10

Monitoring Signal Temporal Logic in Distributed Cyber-physi..:

, In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023),

Momtaz, Anik ; Abbas, Houssam ; Bonakdarpour, Borzoo - p. 154-165 , 2023

Link: https://dl.acm.org/doi/1..

11

Efficient Loop Conditions for Bounded Model Checking Hyperp..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hsu, Tzu-Han ; Sánchez, César ; Sheinvald, Sarai. - p. 66-84 , 2023

Link: https://doi.org/10.1007/..

12

Bounded Model Checking for Asynchronous Hyperproperties:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hsu, Tzu-Han ; Bonakdarpour, Borzoo ; Finkbeiner, Bernd. - p. 29-46 , 2023

Link: https://doi.org/10.1007/..

13

Decentralized Asynchronous Crash-resilient Runtime Verifica..:

Bonakdarpour, Borzoo ; Fraigniaud, Pierre ; Rajsbaum, Sergio..
Journal of the ACM. 69 (2022) 5 - p. 1-31 , 2022

Link: https://doi.org/10.1145/..

14

Probabilistic Hyperproperties with Rewards:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika.. - p. 656-673 , 2022

Link: https://doi.org/10.1007/..

15

HyperPCTL Model Checking by Probabilistic Decomposition:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Zaman, Eshita ; Ciardo, Gianfranco ; Ábrahám, Erika. - p. 209-226 , 2022

Link: https://doi.org/10.1007/..