Skip to main content

Publications

2023

Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour, "Crash-Resilient Decentralized Synchronous Runtime Verification" Transactions on Dependable and Secure Systems (TDSC), IEEE, 2023.   tdsc23.pdf (2.48 MB)   
Borzoo Bonakdarpour, Sarai Sheinvald, "Finite-Word Hyperlanguages" Information and Computation, Elsevier, 2023.   InfComp23-1.pdf (628.4 KB)   
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Cesar Sanchez, "Bounded Model Checking for Asynchronous Hyperproperties" International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), , 2023.   tacas23-1.pdf (684.71 KB)   
Tzu-Han Hsu, Cesar Sanchez, Sarai Sheinvald, Borzoo Bonakdarpour, "Efficient Loop Conditions for Bounded Model Checking Hyperproperties" International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), , 2023.   tacas23-2.pdf (837.58 KB)   
Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour, "Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems" International Conference on Cyber-physical Systems, ACM, 2023.   iccps23.pdf (782.54 KB)   

2022

Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis, "Mapping Synthesis for Hyperproperties" The 35th IEEE International Symposium on Computer Security Foundations (CSF), IEEE, 2022.   main.pdf (466 KB)   
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki, "Synthesizing Optimal Bias in Randomized Self-Stabilization" Springer Journal on Distributed Computing (DC), Springer, 2022.   dc22.pdf (538.27 KB)   
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David Rsenblueth, Corentin Travers, "Decentralized Asynchronous Crash-Resilient Runtime Verification" Journal of the ACM, , 2022.       [Among 8 selected papers of 2022 by ACM]
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" International Conference on Distributed Computing Systems, IEEE, 2022.   main.pdf (503.17 KB)   
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David Rsenblueth, Corentin Travers, "Decentralized Asynchronous Crash-Resilient Runtime Verification" Journal of the ACM, , 2022.   journal.pdf (784.05 KB)   
Houssam Abbas, Borzoo Bonakdarpour, "Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems" International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, , 2022.   isola22.pdf (473.33 KB)   
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Model Checking Hyperproperties for Markov Decision Processes" Information and Computation, Elsevier, 2022.   InfComp23.pdf (659.33 KB)   
Oyendrila Dobe, Lukas Wilke, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Probabilistic Hyperproperties with Rewards" NASA Formal Methods Symposium, , 2022.   NFM22.pdf (544.59 KB)   

2021

Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Cesar Sanchez, Bernd Finkbeiner, "A Temporal Logic for Asynchronous Hyperproperties" 33rd International Conference on Computer Aided Verification (CAV), Springer, 2021.   test.pdf (1.95 MB)   
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour, "Bounded Model Checking for Hyperproperties" The 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 2021.   tacas21.pdf (579.32 KB)   
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic, "Probabilistic Conformance for Cyber-Physical Systems" In the 12th ACM International Conference on Cyber-physical Systems (ICCPS), , 2021.   iccps21.pdf (1.7 MB)   
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic, "Statistical Model Checking for Hyperproperties" The 34th IEEE International Symposium on Computer Security Foundations (CSF), IEEE, 2021.   csf21_1.pdf (436.14 KB)   
Borzoo Bonakdarpour, Sarai Sheinvald, "Finite-Word Hyperlanguages" The 14t International Conference on Language and Automata Theory and Applications (LATA), Springer, 2021.   lata21.pdf (418.21 KB)   
Anh-Duy Vu, Borzoo Bonakdarpour, "Optimal Recharging of Teams of Mobile Robots" The 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE, 2021.   rtcsa21.pdf (2.07 MB)   
Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour, "Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction" The 40th International Symposium on Reliable Distributed Systems (SRDS), IEEE, 2021.   main.pdf (365.33 KB)   
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "HyperProb: A Model Checker for Probabilistic Hyperproperties" The 24th International Symposium on Formal Methods (FM), Springer, 2021.   fm21.pdf (350.22 KB)   
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour, "Predicate Monitoring in Distributed Cyber-physical Systems" The 21st International Conference on Runtime Verification (RV), Springer, 2021.   rv21.pdf (573.81 KB)    [Received the Best Paper Award]
Sandro Stucki, Cesar Sanchez, Gerardo Schneider, Borzoo Bonakdarpour, "Gray-box Monitoring of Hyperproperties with Application in Privacy" Formal Methods in System Design (FMSD), Springer, 2021.   fmsd21.pdf (1002.76 KB)   

2020

Borzoo Bonakdarpour, Pavithra Prabhakar, Cesar Sanchez, "Model Checking Timed Hyperproperties in Discrete-time Systems" The 12th NASA Formal Methods Conference (NFM), Springer, 2020.   nfm20.pdf (597.86 KB)   
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe, "Parameter Synthesis for Probabilistic Hyperproperties" The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), , 2020.   lpar20.pdf (703.87 KB)   
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour, "Monitoring Distributed Systems under Partial Synchrony" The 25th International Conference on Principles of Distributed Systems (OPODIS), LIPICS, 2020.   opodis20.pdf (688.15 KB)   
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour, "Parameterized synthesis of self-stabilizing protocols in symmetric networks" Acta Informatica, Springer, 2020.   acta20.pdf (420.62 KB)   
Borzoo Bonakdarpour, Bernd Finkbeiner, "Controller Synthesis for Hyperproperties" The 33rd IEEE International Symposium on Computer Security Foundations (CSF), IEEE, 2020.   csf20.pdf (397.7 KB)   
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe, "Probabilistic Hyperproperties with Nondeterminism" The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2020.   atva20.pdf (558.93 KB)   

2019

Ezio Bartocci, Ylies 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" International Journal on Software Tools for Technology Transfer (STTT), , 2019.   sttt19.pdf (1.29 MB)   
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic, "Statistical Verification of Hyperproperties for Cyber-Physical Systems" ACM Transactions on Embedded Computing Systems, ACM, 2019.   tecs19.pdf (865.93 KB)    [Best Paper Award Finalist]
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, "Energy-Efficient Multiple Producer-Consumer" IEEE Transactions on Parallel and Distributed Systems (TPDS), IEEE, 2019.   tpds19.pdf (1007.7 KB)   
Borzoo Bonakdarpour, Bernd Finkbeiner, "Program Repair for Hyperproperties" The 17th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2019.   atva19.pdf (484.66 KB)    [Best Paper Award Finalist]
Sandro Stucki, Cesar Sanchez, Gerardo Schneider, Borzoo Bonakdarpour, "Gray-Box Monitoring of Hyperproperties" The 23rd International Symposium on Formal Methods (FM), Springer, 2019.   fm19.pdf (457.86 KB)   
Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour, "Managing the security-energy tradeoff in distributed cyber-physical systems" The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), ACM, 2019.   iccps19.pdf (2.54 MB)   

2018

Fathiyeh Faghih, Borzoo Bonakdarpour, S├ębastien Tixeuil, Sandeep Kulkrani, "Automated Synthesis of Distributed Self-Stabilizing Protocols" Logical Methods in Computer Science, , 2018.   lmcs18.pdf (369.17 KB)   
Fathiyeh Faghih, Borzoo Bonakdarpour, "Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery" IEEE Transactions on Dependable and Secure Computing, IEEE, 2018.   tdsc18.pdf (968.46 KB)   
Borzoo Bonakdarpour, Bernd Finkbeiner, "The Complexity of Monitoring Hyperproperties" The 31st IEEE Computer Security Foundations Symposium (CSF), IEEE, 2018.   csf18.pdf (497.96 KB)   
Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider, "Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification" The 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification (ISoLA), Springer, 2018.   isola18-1.pdf (442.06 KB)   
Borzoo Bonakdarpour, Jyotirmoy Deshmukh, Miroslav Pajic, "Opportunities and Challenges in Monitoring Cyber-Physical Systems Security" The 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (ISoLA), Springer, 2018.   isola18-2.pdf (269.89 KB)   
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour, "Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings" The 22nd International Conference on Principles of Distributed Systems (OPODIS), LIPICS, 2018.   opodis18.pdf (506.39 KB)   
Erika Abraham, Borzoo Bonakdarpour, "HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties" The 15th International Conference on Quantitative Evaluation of Systems (QEST), Springer, 2018.   qest18.pdf (409.6 KB)   
Shokufeh Kazemloo, Borzoo Bonakdarpour, "Crash-Resilient Decentralized Synchronous Runtime Verification" The 37th IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE, 2018.   srds18.pdf (371.43 KB)   

2017

Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister, "Managing the Performance/Error Tradeoff of Floating-point Intensive Applications" ACM Transactions on Embedded Computing Systems, Volume 16, ACM, 2017.      
Akhil Krishnan, Mikhail Markov, Borzoo Bonakdarpour, "Distributed Vehicle Routing Approximation" The 31st IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2017.   ipdps17.pdf (418.54 KB)   
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann, "Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms" The 36th IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE, 2017.   srds17.pdf (364.86 KB)    [Received the Best Paper Award]
Fathiyeh Faghih, Borzoo Bonakdarpour, "ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms" The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, 2017.   sss17.pdf (414.41 KB)   
Noel Brett, Umair Siddique, "Rewriting-Based Runtime Verification for Alternation-Free HyperLTL" The 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 2017.   tacas17.pdf (423.52 KB)