Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. - Sandeep S. Kulkarni; Borzoo Bonakdarpour; Ali Ebnenasir (LOPSTR, 2004)

Revising UNITY Programs: Possibilities and Limitations. - Ali Ebnenasir; Sandeep S. Kulkarni; Borzoo Bonakdarpour (OPODIS, 2005)

Automated Incremental Synthesis of Timed Automata. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (FMICS/PDMC, 2006)

Incremental Synthesis of Fault-Tolerant Real-Time Programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (SSS, 2006)

Brief Announcement: Distributed Synthesis of Fault-Tolerance. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (SSS, 2006)

Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (ICDCS, 2007)

Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (SSS, 2007)

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (CONCUR, 2008)

Disassembling real-time fault-tolerant programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Anish Arora (EMSOFT, 2008)

Masking Faults While Providing Bounded-Time Phased Recovery. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (FM, 2008)

Revising Distributed UNITY Programs Is NP-Complete. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (OPODIS, 2008)

Challenges in transformation of existing real-time embedded systems to cyber-physical systems. - Borzoo Bonakdarpour (SIGBED Rev., 2008)

Compositional verification of fault-tolerant real-time programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (EMSOFT, 2009)

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (FM, 2009)

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (DISC, 2009)

Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs - Fuad Abujarad; Borzoo Bonakdarpour; Sandeep S. Kulkarni (PDMC, 2009)

Complexity results in revising UNITY programs. - Borzoo Bonakdarpour; Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2009)

From high-level component-based models to distributed implementations. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (EMSOFT, 2010)

Automated Conflict-free distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (SIES, 2010)

Systematic Correct Construction of Self-stabilizing Systems: A Case Study. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (SSS, 2010)

Automated distributed implementation of component-based models with priorities. - Borzoo Bonakdarpour; Marius Bozga; Jean Quilbeuf (EMSOFT, 2011)

Automated addition of fault recovery to cyber-physical component-based models. - Borzoo Bonakdarpour; Yiyan Lin; Sandeep S. Kulkarni (EMSOFT, 2011)

Sampling-Based Runtime Verification. - Borzoo Bonakdarpour; Samaneh Navabpour; Sebastian Fischmeister (FM, 2011)

Software debugging and testing using the abstract diagnosis theory. - Samaneh Navabpour; Borzoo Bonakdarpour; Sebastian Fischmeister (LCTES, 2011)

Optimal Instrumentation of Data-flow in Concurrent Data Structures. - Samaneh Navabpour; Borzoo Bonakdarpour; Sebastian Fischmeister (OPODIS, 2011)

Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. - Borzoo Bonakdarpour; Sebastian Fischmeister (RV, 2011)

Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. - Samaneh Navabpour; Chun Wah Wallace Wu; Borzoo Bonakdarpour; Sebastian Fischmeister (RV, 2011)

A Theory of Fault Recovery for Component-Based Models. - Borzoo Bonakdarpour; Marius Bozga; Gregor Gößler (SRDS, 2011)

Active Stabilization. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (SSS, 2011)

Runtime verification of real-time embedded systems. - Borzoo Bonakdarpour; Sebastian Fischmeister (EMSOFT, 2012)

Time-Triggered Program Self-Monitoring. - Borzoo Bonakdarpour; Johnson J. Thomas; Sebastian Fischmeister (RTCSA, 2012)

Path-Aware Time-Triggered Runtime Verification. - Samaneh Navabpour; Borzoo Bonakdarpour; Sebastian Fischmeister (RV, 2012)

A framework for automated distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (Distributed Comput., 2012)

Symbolic synthesis of masking fault-tolerant distributed programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (Distributed Comput., 2012)

Automated model repair for distributed programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (SIGACT News, 2012)

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. - Saddek Bensalem; Borzoo Bonakdarpour; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2013)

GPU-based Runtime Verification. - Shay Berkovich; Borzoo Bonakdarpour; Sebastian Fischmeister (IPDPS, 2013)

Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. - Chun Wah Wallace Wu; Deepak Kumar; Borzoo Bonakdarpour; Sebastian Fischmeister (RV, 2013)

RiTHM: a tool for enabling time-triggered runtime verification for C programs. - Samaneh Navabpour; Yogi Joshi; Chun Wah Wallace Wu; Shay Berkovich; Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister (ESEC/SIGSOFT FSE, 2013)

Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. - Narges Fallahi; Borzoo Bonakdarpour; Sébastien Tixeuil (SRDS, 2013)

Zone-Based Synthesis of Strict 2-Phase Fault Recovery. - Fathiyeh Faghih; Borzoo Bonakdarpour (SSS, 2013)

How Good is Weak-Stabilization? - Narges Fallahi; Borzoo Bonakdarpour (SSS, 2013)

Automated Addition of Fault-Tolerance under Synchronous Semantics. - Yiyan Lin; Borzoo Bonakdarpour; Sandeep S. Kulkarni (SSS, 2013)

Model-based implementation of distributed systems with priorities. - Borzoo Bonakdarpour; Marius Bozga; Jean Quilbeuf (Des. Autom. Embed. Syst., 2013)

Time-triggered runtime verification. - Borzoo Bonakdarpour; Samaneh Navabpour; Sebastian Fischmeister (Formal Methods Syst. Des., 2013)

Knowledge-Based Automated Repair of Authentication Protocols. - Borzoo Bonakdarpour; Reza Hajisheykhi; Sandeep S. Kulkarni (FM, 2014)

Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. - Ramy Medhat; Deepak Kumar; Borzoo Bonakdarpour; Sebastian Fischmeister (ICCPS, 2014)

Power-Efficient Multiple Producer-Consumer. - Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister (IPDPS, 2014)

First International Competition on Software for Runtime Verification. - Ezio Bartocci; Borzoo Bonakdarpour; Yliès Falcone (RV, 2014)

Power Redistribution for Optimizing Performance in MPI Clusters. - Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister (CoRR, 2014)

A framework for mining hybrid automata from input/output traces. - Ramy Medhat; S. Ramesh; Borzoo Bonakdarpour; Sebastian Fischmeister (EMSOFT, 2015)

Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. - Saba Aflaki; Fathiyeh Faghih; Borzoo Bonakdarpour (ICDCS, 2015)

Decentralized Runtime Verification of LTL Specifications in Distributed Systems. - Menna Mostafa; Borzoo Bonakdarpour (IPDPS, 2015)

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. - Ahlem Triki; Borzoo Bonakdarpour; Jacques Combaz; Saddek Bensalem (NFM, 2015)

Time-Triggered Runtime Verification of Component-Based Multi-core Systems. - Samaneh Navabpour; Borzoo Bonakdarpour; Sebastian Fischmeister (RV, 2015)

Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. - Saba Aflaki; Borzoo Bonakdarpour; Sébastien Tixeuil (SSS, 2015)

Abstract Model Repair. - George Chatzieleftheriou; Borzoo Bonakdarpour; Panagiotis Katsaros; Scott A. Smolka (Log. Methods Comput. Sci., 2015)

The complexity of automated addition of fault-tolerance without explicit legitimate states. - Fuad Abujarad; Yiyan Lin; Borzoo Bonakdarpour; Sandeep S. Kulkarni (Distributed Comput., 2015)

Synthesizing bounded-time 2-phase fault recovery. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (Formal Aspects Comput., 2015)

Runtime verification with minimal intrusion through parallelism. - Shay Berkovich; Borzoo Bonakdarpour; Sebastian Fischmeister (Formal Methods Syst. Des., 2015)

SMT-Based Synthesis of Distributed Self-Stabilizing Systems. - Fathiyeh Faghih; Borzoo Bonakdarpour (ACM Trans. Auton. Adapt. Syst., 2015)

Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. - Ramy Medhat; Borzoo Bonakdarpour; Deepak Kumar; Sebastian Fischmeister (ACM Trans. Embed. Comput. Syst., 2015)

Runtime Verification of k-Safety Hyperproperties in HyperLTL. - Shreya Agrawal; Borzoo Bonakdarpour (CSF, 2016)

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. - Fathiyeh Faghih; Borzoo Bonakdarpour; Sébastien Tixeuil; Sandeep S. Kulkarni (FORTE, 2016)

Challenges in Fault-Tolerant Distributed Runtime Verification. - Borzoo Bonakdarpour; Pierre Fraigniaud; Sergio Rajsbaum; Corentin Travers (ISoLA (2), 2016)

Runtime Verification for HyperLTL. - Borzoo Bonakdarpour; Bernd Finkbeiner (RV, 2016)

Accelerated Runtime Verification of LTL Specifications with Counting Semantics. - Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister; Yogi Joshi (RV, 2016)

Snap-stabilizing committee coordination. - Borzoo Bonakdarpour; Stéphane Devismes; Franck Petit (J. Parallel Distributed Comput., 2016)

Distributed Vehicle Routing Approximation. - Akhil Krishnan; Mikhail Markov; Borzoo Bonakdarpour (IPDPS, 2017)

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. - Saba Aflaki; Matthias Volk 001; Borzoo Bonakdarpour; Joost-Pieter Katoen; Arne Storjohann (SRDS, 2017)

ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. - Fathiyeh Faghih; Borzoo Bonakdarpour (SSS, 2017)

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. - Noel Brett; Umair Siddique; Borzoo Bonakdarpour (TACAS (2), 2017)

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. - Ramy Medhat; Michael O. Lam; Barry L. Rountree; Borzoo Bonakdarpour; Sebastian Fischmeister (ACM Trans. Embed. Comput. Syst., 2017)

The Complexity of Monitoring Hyperproperties. - Borzoo Bonakdarpour; Bernd Finkbeiner (CSF, 2018)

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. - Borzoo Bonakdarpour; Jyotirmoy V. Deshmukh; Miroslav Pajic (ISoLA (4), 2018)

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. - Borzoo Bonakdarpour; César Sánchez 001; Gerardo Schneider (ISoLA (2), 2018)

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. - Nahal Mirzaie; Fathiyeh Faghih; Swen Jacobs; Borzoo Bonakdarpour (OPODIS, 2018)

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. - Erika Ábrahám; Borzoo Bonakdarpour (QEST, 2018)

Crash-Resilient Decentralized Synchronous Runtime Verification. - Shokoufeh Kazemlou; Borzoo Bonakdarpour (SRDS, 2018)

Decentralized Multi-UAV Routing in the Presence of Disturbances. - Wei Zhao; Borzoo Bonakdarpour (CoRR, 2018)

Automated Synthesis of Distributed Self-Stabilizing Protocols. - Fathiyeh Faghih; Borzoo Bonakdarpour; Sébastien Tixeuil; Sandeep S. Kulkarni (Log. Methods Comput. Sci., 2018)

Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. - Fathiyeh Faghih; Borzoo Bonakdarpour (IEEE Trans. Dependable Secur. Comput., 2018)

Program Repair for Hyperproperties. - Borzoo Bonakdarpour; Bernd Finkbeiner (ATVA, 2019)

Gray-Box Monitoring of Hyperproperties. - Sandro Stucki; César Sánchez 001; Gerardo Schneider; Borzoo Bonakdarpour (FM, 2019)

Managing the security-energy tradeoff in distributed cyber-physical systems. - Anh-Duy Vu; Ramy Medhat; Borzoo Bonakdarpour (ICCPS, 2019)

Statistical Model Checking for Probabilistic Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CoRR, 2019)

Statistical Verification of Hyperproperties for Cyber-Physical System. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (CoRR, 2019)

Gray-box Monitoring of Hyperproperties (Extended Version). - Sandro Stucki; César Sánchez 001; Gerardo Schneider; Borzoo Bonakdarpour (CoRR, 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Statistical Verification of Hyperproperties for Cyber-Physical Systems. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (ACM Trans. Embed. Comput. Syst., 2019)

Energy-Efficient Multiple Producer-Consumer. - Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister (IEEE Trans. Parallel Distributed Syst., 2019)

Probabilistic Hyperproperties with Nondeterminism. - Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour; Oyendrila Dobe (ATVA, 2020)

Controller Synthesis for Hyperproperties. - Borzoo Bonakdarpour; Bernd Finkbeiner (CSF, 2020)

Parameter Synthesis for Probabilistic Hyperproperties. - Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour; Oyendrila Dobe (LPAR, 2020)

Model Checking Timed Hyperproperties in Discrete-Time Systems. - Borzoo Bonakdarpour; Pavithra Prabhakar; César Sánchez 001 (NFM, 2020)

Distributed Runtime Verification Under Partial Synchrony. - Ritam Ganguly; Anik Momtaz; Borzoo Bonakdarpour (OPODIS, 2020)

Parameterized synthesis of self-stabilizing protocols in symmetric networks. - Nahal Mirzaie; Fathiyeh Faghih; Swen Jacobs; Borzoo Bonakdarpour (Acta Informatica, 2020)

Automata for Hyperlanguages. - Borzoo Bonakdarpour; Sarai Sheinvald (CoRR, 2020)

A Temporal Logic for Asynchronous Hyperproperties. - Jan Baumeister; Norine Coenen; Borzoo Bonakdarpour; Bernd Finkbeiner; César Sánchez 001 (CAV (1), 2021)

Statistical Model Checking for Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CSF, 2021)

HyperProb: A Model Checker for Probabilistic Hyperproperties. - Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (FM, 2021)

Probabilistic conformance for cyber-physical systems. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (ICCPS, 2021)

Optimal Recharging of Teams of Mobile Robots. - Anh-Duy Vu; Borzoo Bonakdarpour (RTCSA, 2021)

Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. - Hadi Moloodi; Fathiyeh Faghih; Borzoo Bonakdarpour (SRDS, 2021)

Bounded Model Checking for Hyperproperties. - Tzu-Han Hsu; César Sánchez 001; Borzoo Bonakdarpour (TACAS (1), 2021)

HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; César Sánchez 001 (CoRR, 2021)

Gray-box monitoring of hyperproperties with an application to privacy. - Sandro Stucki; César Sánchez 001; Gerardo Schneider; Borzoo Bonakdarpour (Formal Methods Syst. Des., 2021)

Mapping Synthesis for Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; Eunsuk Kang; Stavros Tripakis (CSF, 2022)

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. - Ritam Ganguly; Yingjie Xue; Aaron Jonckheere; Parker Ljung; Benjamin Schornstein; Borzoo Bonakdarpour; Maurice Herlihy (ICDCS, 2022)

HyperPCTL Model Checking by Probabilistic Decomposition. - Eshita Zaman; Gianfranco Ciardo; Erika Ábrahám; Borzoo Bonakdarpour (IFM, 2022)

Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. - Houssam Abbas; Borzoo Bonakdarpour (ISoLA (1), 2022)

Probabilistic Hyperproperties with Rewards. - Oyendrila Dobe; Lukas Wilke; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (NFM, 2022)

Synthesizing optimal bias in randomized self-stabilization. - Matthias Volk 001; Borzoo Bonakdarpour; Joost-Pieter Katoen; Saba Aflaki (Distributed Comput., 2022)

Model checking hyperproperties for Markov decision processes. - Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (Inf. Comput., 2022)

Decentralized Asynchronous Crash-resilient Runtime Verification. - Borzoo Bonakdarpour; Pierre Fraigniaud; Sergio Rajsbaum; David A. Rosenblueth; Corentin Travers (J. ACM, 2022)

Lightweight Verification of Hyperproperties. - Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang 044 (ATVA, 2023)

Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. - Anik Momtaz; Houssam Abbas; Borzoo Bonakdarpour (ICCPS, 2023)

Introducing Asynchronicity to Probabilistic Hyperproperties. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (QEST, 2023)

Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. - Charles Koll; Anik Momtaz; Borzoo Bonakdarpour; Houssam Abbas (RV, 2023)

Resource Optimization of Stream Processing in Layered Internet of Things. - Anik Momtaz; Ramy Medhat; Borzoo Bonakdarpour (SRDS, 2023)

Bounded Model Checking for Asynchronous Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner; César Sánchez 001 (TACAS (1), 2023)

Efficient Loop Conditions for Bounded Model Checking Hyperproperties. - Tzu-Han Hsu; César Sánchez 001; Sarai Sheinvald; Borzoo Bonakdarpour (TACAS (1), 2023)

Stream-based Decentralized Runtime Verification. - Ritam Ganguly; Borzoo Bonakdarpour (CoRR, 2023)

A-HyperProb. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (Zenodo, 2023)

Predicate monitoring in distributed cyber-physical systems. - Anik Momtaz; Niraj Basnet; Houssam Abbas; Borzoo Bonakdarpour (Int. J. Softw. Tools Technol. Transf., 2023)

Finite-word hyperlanguages. - Borzoo Bonakdarpour; Sarai Sheinvald (Inf. Comput., 2023)

Syntax-Guided Automated Program Repair for Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (CAV (3), 2024)

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (RV, 2024)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (CoRR, 2024)

Crash-Resilient Decentralized Synchronous Runtime Verification. - Ritam Ganguly; Shokufeh Kazemloo; Borzoo Bonakdarpour (IEEE Trans. Dependable Secur. Comput., 2024)

Distributed runtime verification of metric temporal properties. - Ritam Ganguly; Yingjie Xue; Aaron Jonckheere; Parker Ljung; Benjamin Schornstein; Borzoo Bonakdarpour; Maurice Herlihy (J. Parallel Distributed Comput., 2024)

HyRep: Automated Program Repair For Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (Zenodo, 2024)

HyRep: Automated Program Repair For Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (Zenodo, 2024)

Efficient Discovery of Actual Causality Using Abstraction Refinement. - Arshia Rafieioskouei; Borzoo Bonakdarpour (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Runtime verification of partially-synchronous distributed system. - Ritam Ganguly; Anik Momtaz; Borzoo Bonakdarpour (Formal Methods Syst. Des., 2024)

Efficient Probabilistic Model Checking for Relational Reachability. - Lina Gerlach; Tobias Winkler 001; Erika Ábrahám; Borzoo Bonakdarpour; Sebastian Junges (CAV (1), 2025)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties. - Tzu-Han Hsu; Arshia Rafieioskouei; Borzoo Bonakdarpour (CoRR, 2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version). - Lina Gerlach; Tobias Winkler 001; Erika Ábrahám; Borzoo Bonakdarpour; Sebastian Junges (CoRR, 2025)

Efficient Discovery of Actual Causality with Uncertainty. - Arshia Rafieioskouei; Kenneth Rogale; Borzoo Bonakdarpour (CoRR, 2025)

Gray-box runtime enforcement of hyperproperties. - Tzu-Han Hsu; Ana Oliveira da Costa; Andrew Wintenberg; Ezio Bartocci; Borzoo Bonakdarpour (Acta Informatica, 2025)