Borzoo Bonakdarpour
Michigan State University
H-index: 27
North America-United States
Top articles of Borzoo Bonakdarpour
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Distributed runtime verification of metric temporal properties | Journal of Parallel and Distributed Computing | Ritam Ganguly Yingjie Xue Aaron Jonckheere Parker Ljung Benjamin Schornstein | 2024/3/1 |
Crash-Resilient Decentralized Synchronous Runtime Verification | IEEE Transactions on Dependable and Secure Computing | Ritam Ganguly Shokufeh Kazemloo Borzoo Bonakdarpour | 2023/4/10 |
Introducing asynchronicity to probabilistic hyperproperties | Lina Gerlach Oyendrila Dobe Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour | 2023/9/15 | |
Stream-based Decentralized Runtime Verification | arXiv preprint arXiv:2301.13266 | Ritam Ganguly Borzoo Bonakdarpour | 2023/1/30 |
Predicate monitoring in distributed cyber-physical systems | International Journal on Software Tools for Technology Transfer | Anik Momtaz Niraj Basnet Houssam Abbas Borzoo Bonakdarpour | 2023/8 |
Finite-word hyperlanguages | Information and Computation | Borzoo Bonakdarpour Sarai Sheinvald | 2023/12/1 |
Monitoring signal temporal logic in distributed cyber-physical systems | Anik Momtaz Houssam Abbas Borzoo Bonakdarpour | 2023/5/9 | |
Lightweight Verification of Hyperproperties | Oyendrila Dobe Stefan Schupp Ezio Bartocci Borzoo Bonakdarpour Axel Legay | 2023/10/19 | |
Bounded model checking for asynchronous hyperproperties | Tzu-Han Hsu Borzoo Bonakdarpour Bernd Finkbeiner César Sánchez | 2023/4/22 | |
Decentralized predicate detection over partially synchronous continuous-time signals | Charles Koll Anik Momtaz Borzoo Bonakdarpour Houssam Abbas | 2023/10/1 | |
Efficient loop conditions for bounded model checking hyperproperties | Tzu-Han Hsu César Sánchez Sarai Sheinvald Borzoo Bonakdarpour | 2023/4/22 | |
Resource Optimization of Stream Processing in Layered Internet of Things | Anik Momtaz Ramy Medhat Borzoo Bonakdarpour | 2023/9/25 | |
Mapping synthesis for hyperproperties | Tzu-Han Hsu Borzoo Bonakdarpour Eunsuk Kang Stavros Tripakis | 2022/8/7 | |
HyperPCTL model checking by probabilistic decomposition | Eshita Zaman Gianfranco Ciardo Erika Ábrahám Borzoo Bonakdarpour | 2022/6/1 | |
Probabilistic hyperproperties with rewards | Oyendrila Dobe Lukas Wilke Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour | 2022/5/20 | |
Model checking hyperproperties for Markov decision processes | Information and Computation | Oyendrila Dobe Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour | 2022/11/1 |
Synthesizing optimal bias in randomized self-stabilization | Distributed computing | Matthias Volk Borzoo Bonakdarpour Joost-Pieter Katoen Saba Aflaki | 2022/2/1 |
Decentralized asynchronous crash-resilient runtime verification | Journal of the ACM | Borzoo Bonakdarpour Pierre Fraigniaud Sergio Rajsbaum David Rosenblueth Corentin Travers | 2022/10/27 |
Leveraging system dynamics in runtime verification of cyber-physical systems | Houssam Abbas Borzoo Bonakdarpour | 2022/10/17 | |
Distributed runtime verification under partial synchrony | Ritam Ganguly Anik Momtaz Borzoo Bonakdarpour | 2021 |