| 2026 | CAV | HyperQB 2.0: A Bounded Model Checker for Hyperproperties. | Tzu-Han Hsu, Milad Rabizadeh, Kenneth Rogale, Fedor Filippov, Marco A. de Oliveira Batista, Borzoo Bonakdarpour |
| 2026 | VMCAI | Efficient Discovery of Actual Causality in Stochastic Systems. | Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour |
| 2025 | CAV | Efficient Probabilistic Model Checking for Relational Reachability. | Lina Gerlach, Tobias Winkler, Erika brahm, Borzoo Bonakdarpour, Sebastian Junges |
| 2024 | CAV | Syntax-Guided Automated Program Repair for Hyperproperties. | Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2024 | RV | Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. | Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Sara |
| 2023 | ATVA | Lightweight Verification of Hyperproperties. | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang |
| 2023 | RV | Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. | Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas |
| 2023 | SRDS | Resource Optimization of Stream Processing in Layered Internet of Things. | Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour |
| 2023 | TACAS | Bounded Model Checking for Asynchronous Hyperproperties. | Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2023 | TACAS | Efficient Loop Conditions for Bounded Model Checking Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Sarai Sheinvald, Borzoo Bonakdarpour |
| 2022 | ICDCS | 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 |
| 2022 | IFM | HyperPCTL Model Checking by Probabilistic Decomposition. | Eshita Zaman, Gianfranco Ciardo, Erika brahm, Borzoo Bonakdarpour |
| 2022 | ISoLA | Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. | Houssam Abbas, Borzoo Bonakdarpour |
| 2021 | CAV | A Temporal Logic for Asynchronous Hyperproperties. | Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2021 | FM | HyperProb: A Model Checker for Probabilistic Hyperproperties. | Oyendrila Dobe, Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour |
| 2021 | LATA | Finite-Word Hyperlanguages. | Borzoo Bonakdarpour, Sarai Sheinvald |
| 2021 | RTCSA | Optimal Recharging of Teams of Mobile Robots. | Anh-Duy Vu, Borzoo Bonakdarpour |
| 2021 | RV | Predicate Monitoring in Distributed Cyber-Physical Systems. | Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour |
| 2021 | SRDS | Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. | Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2021 | TACAS | Bounded Model Checking for Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Borzoo Bonakdarpour |
| 2020 | ATVA | Probabilistic Hyperproperties with Nondeterminism. | Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2020 | LPAR | Parameter Synthesis for Probabilistic Hyperproperties. | Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2020 | OPODIS | Distributed Runtime Verification Under Partial Synchrony. | Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour |
| 2019 | ATVA | Program Repair for Hyperproperties. | Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2019 | FM | Gray-Box Monitoring of Hyperproperties. | Sandro Stucki, Csar Snchez, Gerardo Schneider, Borzoo Bonakdarpour |
| 2018 | ISoLA | Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. | Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic |
| 2018 | ISoLA | Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. | Borzoo Bonakdarpour, Csar Snchez, Gerardo Schneider |
| 2018 | OPODIS | Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. | Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour |
| 2018 | SRDS | Crash-Resilient Decentralized Synchronous Runtime Verification. | Shokoufeh Kazemlou, Borzoo Bonakdarpour |
| 2017 | SRDS | Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. | Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann |
| 2017 | SSS | ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. | Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2017 | TACAS | Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. | Noel Brett, Umair Siddique, Borzoo Bonakdarpour |
| 2016 | CONCUR | Decentralized Asynchronous Crash-Resilient Runtime Verification. | Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers |
| 2016 | FORTE | Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. | Fathiyeh Faghih, Borzoo Bonakdarpour, Sbastien Tixeuil, Sandeep S. Kulkarni |
| 2016 | ISoLA | Challenges in Fault-Tolerant Distributed Runtime Verification. | Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
| 2016 | RV | Runtime Verification for HyperLTL. | Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2016 | RV | Accelerated Runtime Verification of LTL Specifications with Counting Semantics. | Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi |
| 2015 | EMSOFT | A framework for mining hybrid automata from input/output traces. | Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2015 | ICDCS | Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. | Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2015 | RV | Time-Triggered Runtime Verification of Component-Based Multi-core Systems. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2015 | SSS | Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. | Saba Aflaki, Borzoo Bonakdarpour, Sbastien Tixeuil |
| 2014 | FM | Knowledge-Based Automated Repair of Authentication Protocols. | Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni |
| 2014 | RV | First International Competition on Software for Runtime Verification. | Ezio Bartocci, Borzoo Bonakdarpour, Ylis Falcone |
| 2014 | SSS | SMT-Based Synthesis of Distributed Self-stabilizing Systems. | Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2013 | RV | Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. | Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2013 | SRDS | Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. | Narges Fallahi, Borzoo Bonakdarpour, Sbastien Tixeuil |
| 2013 | SSS | Zone-Based Synthesis of Strict 2-Phase Fault Recovery. | Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2013 | SSS | How Good is Weak-Stabilization? | Narges Fallahi, Borzoo Bonakdarpour |
| 2013 | SSS | Automated Addition of Fault-Tolerance under Synchronous Semantics. | Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2012 | EMSOFT | Runtime verification of real-time embedded systems. | Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | RTCSA | Time-Triggered Program Self-Monitoring. | Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister |
| 2012 | RV | Path-Aware Time-Triggered Runtime Verification. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | SSS | A Theory of Fault Recovery for Component-Based Models. | Borzoo Bonakdarpour, Marius Bozga, Gregor Gler |
| 2011 | EMSOFT | Automated distributed implementation of component-based models with priorities. | Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf |
| 2011 | EMSOFT | Automated addition of fault recovery to cyber-physical component-based models. | Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni |
| 2011 | FM | Sampling-Based Runtime Verification. | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister |
| 2011 | OPODIS | Optimal Instrumentation of Data-flow in Concurrent Data Structures. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | RV | Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. | Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | RV | Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. | Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | SRDS | A Theory of Fault Recovery for Component-Based Models. | Borzoo Bonakdarpour, Marius Bozga, Gregor Gler |
| 2011 | SSS | Active Stabilization. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2010 | EMSOFT | From high-level component-based models to distributed implementations. | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |
| 2010 | SSS | Systematic Correct Construction of Self-stabilizing Systems: A Case Study. | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
| 2009 | EMSOFT | Compositional verification of fault-tolerant real-time programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2009 | FM | On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | CONCUR | SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | EMSOFT | Disassembling real-time fault-tolerant programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora |
| 2008 | FM | Masking Faults While Providing Bounded-Time Phased Recovery. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | OPODIS | Revising Distributed UNITY Programs Is NP-Complete. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2007 | ICDCS | Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2007 | SSS | Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad |
| 2006 | FMICS | Automated Incremental Synthesis of Timed Automata. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2006 | SSS | Incremental Synthesis of Fault-Tolerant Real-Time Programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2006 | SSS | Brief Announcement: Distributed Synthesis of Fault-Tolerance. | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad |
| 2005 | OPODIS | Revising UNITY Programs: Possibilities and Limitations. | Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour |
| 2004 | LOPSTR | Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir |