College of Engineering
Trustworthy and Reliable Technologies Lab (TART)

Prof. Borzoo Bonakdarpour

Borzoo Bonakdarpour
Associate Professor -- Director
Biography:

 

Curriculum Vitae

CV is available here.

Research Interests

I am currently an Associate Professor with the Department of Computer Science and Engineering at Michigan State University. I am broadly interested in the application of automated formal methods in:

  1. Security/Privacy
  2. Cyber-physical Systems
  3. Distributed Computing 

Awards & Recognition

  1. 2022 Withrow Excellence Award in Teaching
  2. RV 2021 Best Paper Award
  3. IEEE SRDS 2017 Best Paper Award
  4. SSS 2014 Best Student Paper Award
  5. IEEE SIES 2010 Best Paper Award
  6. Best Paper Award runner up or finalist at EMSOFT'19, ATVA'19, EMSOFT'11, EMSOFT'09, ICDCS'07
  7. ISU LAS Spring 2019 Dean's Lecture
  8. Best Professor Award by the McMaster Software Engineering Club, 2017

Teaching (Fall 2022)

  1. Graduate-level Computer and Network Security (CSE 825)
  2. Undergraduate-level Discrete Structures in Computer Science (CSE 260)

From the Press

MSU Today (ask an expert)

ISU Spring 2019 Dean's Lecture press release.

Professional Activities

  1. ICCPS'23, PC member
  2. RV'23, PC member
  3. FM'23, PC member
  4. DISC'22, PC member
  5. RV'22, PC member
  6. SRDS'21, General Chair.
  7. OPODIS'21, PC member.
  8. RV'21, PC member.
  9. CAV'21, PC member.
  10. ATVA'21, PC member.
Homepage:
http://www.cse.msu.edu/~borzoo/
borzoo@msu.edu
+1 517-432-9239
Borzoo Bonakdarpour

Publications

2023

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)   
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)   
Lina Gerlach, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Introducing Asynchronicity to Probabilistic Hyperproperties" The International Conference on Quantitative Evaluation of SysTems (QEST), Springer, 2023.   qest23.pdf (754.13 KB)   
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour, "Predicate Monitoring in Distributed Cyber-physical Systems" Springer Journal on Software Tools for Technology Transfer, Springer, 2023.   sttt23.pdf (1.05 MB)   
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang, "Lightweight Verification of Hyperproperties" The 21th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2023.   atva23.pdf (649.98 KB)   
Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour, "Resource Optimization of Stream Processing in Layered Internet of Things" The 42nd International Symposium on Reliable Distributed Systems (SRDS), IEEE, 2023.   srds23.pdf (497.11 KB)   
Charles Koll, Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour, "Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals" International Conference on Runtime Verification (RV), Springer, 2023.   rv23.pdf (406.8 KB)   

2022

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)   
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)   
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)   

2021

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)   
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.   cav21.pdf (522.49 KB)   
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)   

2020

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)   
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)   

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)   

On This Site

Departments

MSU Resources

Contact Us

Engineering Building
428 S. Shaw Lane
East Lansing, MI 48824-1226
Phone: (517) 355-5113
Fax: (517) 355-2288

Michigan State University Wordmark Michigan State University Wordmark