Borzoo Bonakdarpour

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 97

Top Venues

CoRR

CSF

SRDS

Publications

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) (2024)
Arshia Rafieioskouei, Borzoo Bonakdarpour
Efficient Discovery of Actual Causality using Abstraction-Refinement. CoRR (2024)
Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour
Crash-Resilient Decentralized Synchronous Runtime Verification. IEEE Trans. Dependable Secur. Comput. 21 (3) (2024)
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
Distributed runtime verification of metric temporal properties. J. Parallel Distributed Comput. 185 (2024)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR (2023)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST (2023)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
Lightweight Verification of Hyperproperties. ATVA (2023)
Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. ICCPS (2023)
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. RV (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. CoRR (2023)
Ritam Ganguly, Borzoo Bonakdarpour
Stream-based Decentralized Runtime Verification. CoRR (2023)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) (2023)
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
Predicate monitoring in distributed cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR (2023)
Borzoo Bonakdarpour, Sarai Sheinvald
Finite-word hyperlanguages. Inf. Comput. 295 (Part B) (2023)
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals. CoRR (2023)
Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour
Resource Optimization of Stream Processing in Layered Internet of Things. SRDS (2023)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289 (Part) (2022)
Houssam Abbas, Borzoo Bonakdarpour
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. ISoLA (1) (2022)
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Probabilistic Hyperproperties with Rewards. NFM (2022)
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki
Synthesizing optimal bias in randomized self-stabilization. Distributed Comput. 35 (1) (2022)
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. ICDCS (2022)
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL Model Checking by Probabilistic Decomposition. IFM (2022)
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
Mapping Synthesis for Hyperproperties. CSF (2022)
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. CoRR (2022)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM 69 (5) (2022)
Borzoo Bonakdarpour, Sarai Sheinvald
Finite-Word Hyperlanguages. CoRR (2022)
Borzoo Bonakdarpour, Bernd Finkbeiner
The Complexity of Monitoring Hyperproperties. CoRR (2021)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM (2021)
Borzoo Bonakdarpour, Bernd Finkbeiner
Controller Synthesis for Hyperproperties. CoRR (2021)
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR (2021)
Anh-Duy Vu, Borzoo Bonakdarpour
Optimal Recharging of Teams of Mobile Robots. RTCSA (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CoRR (2021)
Borzoo Bonakdarpour, Bernd Finkbeiner
Program Repair for Hyperproperties. CoRR (2021)
Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour
Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. SRDS (2021)
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Model Checking for Hyperproperties. CSF (2021)
Borzoo Bonakdarpour, Sarai Sheinvald
Finite-Word Hyperlanguages. LATA (2021)
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
Predicate Monitoring in Distributed Cyber-Physical Systems. RV (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) (2021)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58 (1-2) (2021)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Probabilistic conformance for cyber-physical systems. ICCPS (2021)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Bounded Model Checking for Hyperproperties. TACAS (1) (2021)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. CoRR (2020)
Borzoo Bonakdarpour, Bernd Finkbeiner
Controller Synthesis for Hyperproperties. CSF (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Parameter Synthesis for Probabilistic Hyperproperties. LPAR (2020)
Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM (2020)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Bounded Model Checking for Hyperproperties. CoRR (2020)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Probabilistic Conformance for Cyber-Physical Systems. CoRR (2020)
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour
Distributed Runtime Verification Under Partial Synchrony. OPODIS (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. ATVA (2020)
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
Parameterized synthesis of self-stabilizing protocols in symmetric networks. Acta Informatica 57 (1-2) (2020)
Borzoo Bonakdarpour, Sarai Sheinvald
Automata for Hyperlanguages. CoRR (2020)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Energy-Efficient Multiple Producer-Consumer. IEEE Trans. Parallel Distributed Syst. 30 (3) (2019)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR (2019)
Borzoo Bonakdarpour, Bernd Finkbeiner
Program Repair for Hyperproperties. ATVA (2019)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour
Managing the security-energy tradeoff in distributed cyber-physical systems. ICCPS (2019)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-Box Monitoring of Hyperproperties. FM (2019)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Model Checking for Probabilistic Hyperproperties. CoRR (2019)
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. OPODIS (2018)
Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. CoRR (2018)
Wei Zhao, Borzoo Bonakdarpour
Decentralized Multi-UAV Routing in the Presence of Disturbances. CoRR (2018)
Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic
Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. ISoLA (4) (2018)
Borzoo Bonakdarpour, Bernd Finkbeiner
The Complexity of Monitoring Hyperproperties. CSF (2018)
Shokoufeh Kazemlou, Borzoo Bonakdarpour
Crash-Resilient Decentralized Synchronous Runtime Verification. SRDS (2018)
Fathiyeh Faghih, Borzoo Bonakdarpour
Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) (2018)
Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. QEST (2018)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. 14 (1) (2018)
Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. SRDS (2017)
Noel Brett, Umair Siddique, Borzoo Bonakdarpour
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. TACAS (2) (2017)
Akhil Krishnan, Mikhail Markov, Borzoo Bonakdarpour
Distributed Vehicle Routing Approximation. IPDPS (2017)
Fathiyeh Faghih, Borzoo Bonakdarpour
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. SSS (2017)
Shreya Agrawal, Borzoo Bonakdarpour
Runtime Verification of k-Safety Hyperproperties in HyperLTL. CSF (2016)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE (2016)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
Decentralized Asynchronous Crash-Resilient Runtime Verification. CONCUR (2016)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV (2016)
Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
Snap-stabilizing committee coordination. J. Parallel Distributed Comput. 87 (2016)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
Challenges in Fault-Tolerant Distributed Runtime Verification. ISoLA (2) (2016)
Borzoo Bonakdarpour, Bernd Finkbeiner
Runtime Verification for HyperLTL. RV (2016)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR (2015)
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka
Abstract Model Repair. Log. Methods Comput. Sci. 11 (3) (2015)
Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour
Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. ICDCS (2015)
Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister
Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni
The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Comput. 28 (3) (2015)
Borzoo Bonakdarpour, Sandeep S. Kulkarni
Synthesizing bounded-time 2-phase fault recovery. Formal Aspects Comput. 27 (1) (2015)
Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister
Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. 46 (3) (2015)
Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister
A framework for mining hybrid automata from input/output traces. EMSOFT (2015)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. RV (2015)
Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM (2015)
Fathiyeh Faghih, Borzoo Bonakdarpour
SMT-Based Synthesis of Distributed Self-Stabilizing Systems. ACM Trans. Auton. Adapt. Syst. 10 (3) (2015)
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. SSS (2015)
Menna Mostafa, Borzoo Bonakdarpour
Decentralized Runtime Verification of LTL Specifications in Distributed Systems. IPDPS (2015)
Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone
First International Competition on Software for Runtime Verification. RV (2014)
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR (2014)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power-Efficient Multiple Producer-Consumer. IPDPS (2014)

Borzoo Bonakdarpour.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Borzoo Bonakdarpour