Journal Articles

  1. Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, and Saba Aflaki. Synthesizing Optimal Bias in Randomized Self-Stabilization . Springer Journal on Distributed Computing (DC), To appear.
  2. Sandro Stucki, Cesar Sanchez, Gerardo Schneider, and Borzoo Bonakdarpour. Gray-box Monitoring of Hyperproperties with Application in Privacy. Formal Methods in System Design (FMSD), To appear.
  3. Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic. Statistical Verification of Hyperproperties for Cyber-Physical System. In ACM Transactions on Embedded Computing Systems (TECS), Volume 18, Number 5s, pp. 92:1-92:23, 2019. [pdf]
  4. Nahal Mirzaei, Fathiyeh Faghih, Swen Jacobs, and Borzoo Bonakdarpour. Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Networks. In Acta Informatica To appear. [pdf]
  5. Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang. First International Competition on Runtime Verification. In Springer International Journal on Software Tools for Technology Transfer (STTT) volume 21, number 1, pp. 31-70, 2019. [pdf].
  6. Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister Energy-efficient Multiple Producer-Consumer. In IEEE Transactions on Parallel and Distributed Systems (TPDS) volume 30, number 3, pp. 560-574, 2019. [pdf]
  7. Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkarni, and Sebastien Tixeuil. Specification-based Synthesis of Distributed Self-stabilizing Protocols. In Logical Methods in Computer Science (LMCS), volume 15, number 3, 2018. [pdf]
  8. Fathiyeh Faghih and Borzoo Bonakdarpour Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. In IEEE Transactions on Dependable and Secure Computing (TDSC), volume 15, number 3, pp. 526-541, 2018 . [pdf]
  9. Ramy Medhat, Mike Lam, Barry Rountree, Borzoo Bonakdarpour, and Sebastian Fischmeister. Managing the performance / error tradeoff of floating-point intensive applications. In ACM Transactions on Embedded Computing Systems (TECS), volume 16, number 5, pp. 184:1-184:19, 2017. [pdf]
  10. Borzoo Bonakdarpour, Stephane Devismes, and Franck Petit, Snap-stabilizing Committee Coordination. In Elsevier Journal of Parallel and Distributed Computing (JPDC), volume 87, pp. 26-42, 2016 [pdf].
  11. Fathiyeh Faghih and Borzoo Bonakdarpour SMT-based Synthesis of Distributed Self-Stabilizing Systems. ACM Transactions on Autonomous and Adaptive Systems (TAAS), volume 10, issue 3, article 21, 2015. [pdf]
  12. Fuad Abujarad, Yian Lin, Borzoo Bonakdarpour, and Sandeep Kulkarni, The Complexity of Automated Addition of Fault-tolerance Without Explicit Legitimate States. Springer journal of Distributed Computing (DC), volume 28, number 3, pp. 201-219, 2015. [pdf][ps]
  13. George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, and Scott A. Smolka Abstract Model Repair. Logical Methods in Computer Science (LMCS), Accepted for publication. [pdf]
  14. Borzoo Bonakdarpour and Sandeep Kulkrani Synthesizing Bounded-time 2-phase Recovery. Springer journal of Formal Aspects of Computing (FAOC), volume 27, number 1, pp. 1-31, 2015. [pdf][ps]
  15. Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, and Sebastian Fischmeister Runtime Monitoring of Cyber-physical Systems under Timing and Memory Constraints. ACM Transactions on Embedded Computing Systems (TECS), volume 14, issue 4, article 79, 2015. [pdf]
  16. Shay Berkovich, Borzoo Bonakdarpour, and Sebastian Fischmeister Runtime Verification with Minimal Intrusion through Parallelism. Springer journal of Formal Methods in System Design (FMSD), volume 46, issue 3, pp. 317-348, 2015.
  17. Borzoo Bonakdarpour, Marius Bozga, and Jean Quilbeuf, Model-based Implementation of Distributed Systems with Priorities. Springer journal of Design Automation for Embedded System, volume 17, issue 2, 2013, pp. 251-276. [pdf][ps]
  18. Borzoo Bonakdarpour, Samaneh Navabpour, and Sebastian Fischmeister Time-triggered Runtime Verification. Springer journal of Formal Methods in System Design (FMSD), volume 43, number 1, pp. 29-60, 2013 [pdf][ps]
  19. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, and Joseph Sifakis, A Framework for Automated Distributed Implementation of Component-based Models. Springer journal of Distributed Computing (DC), volume 25, number 5, pp. 383-409, 2012. [pdf][ps]
  20. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Automated Program Repair for Distributed Systems. To appear in the ACM SIGACT News Distributed Computing Column, volume 43, number 2, pp. 85-107, 2012. [pdf][ps]
  21. Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Fuad Abujarad, Symbolic Synthesis of Masking Fault-tolerant Distributed Programs. Springer journal of Distributed Computing (DC), volume 25, number 1, pp. 83-108, 2012. [pdf][ps]
  22. Borzoo Bonakdarpour, Ali Ebnenasir, and Sandeep S. Kulkarni, Complexity Results in Revising UNITY Programs. ACM Transactions on Autonomous and Adaptive Systems (TAAS), volume 4, number 1, 2009. [pdf][ps]

Conference Papers

2022

  1. Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, and Stavros Tripakis. Mapping Synthesis for Hyperproperties. In IEEE International Symposium on Computer Security Foundations (CSF), Haifa, Israel. To appear.

2021

  1. Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner and Cesar Sanchez. A Temporal Logic for Asynchronous Hyperproperties. In International Conference on Computer Aided Verification (CAV), Los Angeles, USA. To appear.
  2. Tzu-Han Hsu, Cesar Sanchez, and Borzoo Bonakdarpour. Bounded Model Checking for Hyperproperties. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Luxembourg, Luxembourg. To appear. [pdf]
  3. Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic. Probabilistic Conformance for Cyber-Physical Systems. In ACM International Conference on Cyber-physical Systems (ICCPS), Nashville. To appear.
  4. Yu Wang, Siddhartha Nalluri,Borzoo Bonakdarpour, and Miroslav Pajic. Statistical Model Checking for Hyperproperties. In IEEE International Symposium on Computer Security Foundations (CSF), Dubrovnik, Croatia. To appear. [pdf]
  5. Borzoo Bonakdarpour and Sarai Sheinvald. Finite-Word Hyperlanguages. In International Conference on Language and Automata Theory and Applications (LATA), Milan, Italy, To appear.[pdf]
  6. Anh-Duy Vu and Borzoo Bonakdarpour. Optimal Recharging of Teams of Mobile Robots. In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, South Korea. To appear.[pdf]
  7. Hadi Moloodi, Fathiyeh Faghih, and Borzoo Bonakdarpour. Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. In IEEE International Symposium on Reliable Distributed Systems (SRDS), Chicago, USA. To appear.
  8. Oyendrila Dobe, Erika Abraham, Ezio Bartocci, and Borzoo Bonakdarpour. HyperProb: A Model Checker for Probabilistic Hyperproperties. In International Symposium on Formal Methods (FM), Beijing, China.
  9. Anik Momtaz, Niraj Basnet, Houssam Abbas, and Borzoo Bonakdarpour. Predicate Monitoring in Distributed Cyber-physical Systems. In International Conference on Runtime Verification (RV), Los Angeles, USA.

2020

  1. Ritam Ganguly, Anik Momtaz, and Borzoo Bonakdarpour. Monitoring Distributed Systems under Partial Synchrony. In International Conference on Principles of Distributed Systems (OPODIS), Strassbourg, France, To appear. [pdf]
  2. Borzoo Bonakdarpour and Bernd Finkbeiner. Controller Synthesis for Hyperproperties. In IEEE International Symposium on Computer Security Foundations (CSF), Boston, USA. [pdf]
  3. Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. Probabilistic Hyperproperties with Nondeterminism. In International Symposium on Automated Technology for Verification and Analysis (ATVA), Hanoi, Vietnam. [pdf]
  4. Borzoo Bonakdarpour Pavithra Prabhakar, and Cesar Sanchez. Model Checking Timed Hyperproperties in Discrete-time Systems. In NASA Formal Methods Conference (NFM). To appear. [pdf]
  5. Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. Parameter Synthesis for Probabilistic Hyperproperties. In International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). [pdf]

2019

  1. Borzoo Bonakdarpour and Bernd Finkbeiner. Program Repair for Hyperproperties. In International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 423-441, Taipei, Taiwan. [pdf]
    2. (Best Paper Award Finalist)
  2. Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic. Statistical Verification of Hyperproperties in Cyber-physical Systems. In ACM/IEEE International Conference on Embedded Software (EMSOFT), New York, USA. [pdf]
    3. (Best Paper Award Finalist)
  3. Sandro Stucki, Cesar Sanchez, Gerardo Schneider, and Borzoo Bonakdarpour. Gray-box Monitoring of Hyperproperties. In International Conference on Formal Methods (FM), pp. 406-424, Porto, Portugal. [pdf]
  4. Anh-Duy Vu, Ramy Medhat, and Borzoo Bonakdarpour. Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems. In ACM/IEEE International Conference on Cyber-physical Systems (ICCPS), pp. 118-128. Montreal, Canada. [pdf]

2018

  1. Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, and Borzoo Bonakdarpour. Parameterized Synthesis of Silent Self-Stabilizing Protocols in Symmetric Rings. In International Conference on Principles of Distributed Systems (OPODIS), pp. 29:1-29:17, Hong Kong, China. [pdf]
  2. Erika Abraham and Borzoo Bonakdarpour. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. In International Conference on Quantitative Evaluation of SysTems (QEST), pp. 20-35, Beijing, China. [pdf]
  3. Borzoo Bonakdarpour and Bernd Finkbeiner. The Complexity of Monitoring Hyperproperties. In IEEE Computer Security Foundations Symposium (CSF), pp. 162-174, Oxford, UK (acceptance rate: 34%). [pdf]
  4. Shokufeh Kazemloo and Borzoo Bonakdarpour. Crash-Resilient Decentralized Synchronous Runtime Verification. In IEEE Symposium on Reliable Distributed Systems (SRDS), pp. 207-212, Salvador, Brazil. [pdf]
  5. Borzoo Bonakdarpour, Cesar Sanchez, and Gerardo Schneider. Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 2, pp. 8-27. Cyprus. [pdf]
  6. Borzoo Bonakdarpour, Jyotirmoy Deshmukh, and Miroslav Pajic. Opportunities and Challenges in Monitoring Cyber-physical Systems Security. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 4, pp. 9-18, cyprus. [pdf]

2017

  1. Saba Aflaki, Mathias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, and Arne Storjohan, Automated Fine-Tuning of Probabilistic Self-Stabilizing Algorithms. In IEEE Symposium on Reliable Distributed Systems (SRDS), pp. 94-103, Hong Kong (acceptance rate 31%). [pdf]
    2. (Received the Best Paper Award)
  2. Ramy Medhat, Mike Lam, Barry Rountree, Borzoo Bonakdarpour, and Sebastian Fischmeister, Managing the performance / error tradeoff of floating-point intensive applications. In ACM International Conference on Embedded Software (EMSOFT), Seoul. [pdf]
  3. Fathiyeh Faghih and Borzoo Bonakdarpour. ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp. 219-233, Boston, USA. [pdf]
  4. Akhil Krishnan, Mikhail Markov, and Borzoo Bonakdarpour. Distributed Vehicle Routing Approximation. In IEEE International Parallel & Distributed Processing Symposium (IPDPS), Orlando, UAS (acceptance rate 22%), pp. 503-512, Orlando, USA. [pdf]
  5. Noel Brett, Umair Siddique, and Borzoo Bonakdarpour. Rewriting-Based Runtime Verification of Alternation-Free HyperLTL Formulas. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 77-93, Uppsala, Sweden (acceptance rate: 26%). [pdf]

2016

  1. Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David Rosenbleuth, and Corentin Travers. Decentralized Asynchronous Crash-Resilient Runtime Verification. In International Conference on Concurrency Theory (CONCUR), pp. 16:1-16:15, Quebec City, Canada (acceptance rate: 28%). [pdf]
  2. Shreya Agrawal and Borzoo Bonakdarpour Runtime Verification of k-Safety Hyperproperties in HyperLTL. In IEEE Computer Security Foundations Symposium (CSF), pp. 239-252, Lisbon, Portugal (acceptance rate: 35%). [pdf]
  3. Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkarni, and Sebastien Tixeuil. Specification-based Synthesis of Distributed Self-stabilizing Protocols. In International Conference on Formal Techniques on Distributed Objects, Components and Systems (FORTE), pp. 124-141, Crete, Greece [pdf]
  4. Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, and Yogi Joshi. Accelerated Runtime Verification of LTL Specifications with Counting Semantics. In International Conference on Runtime Verification (RV), pp. 251-267, Madrid, Spain. [pdf]
  5. Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, and Corentin Travers. Challenges in Fault-tolerant Distributed Runtime Verification. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp. 363-370, Corfu, Greece. [pdf]

2015

  1. Saba Aflaki, Fathiyeh Faghih, and Borzoo Bonakdarpour. Synthesizing Self-stabilizing Protocols under Average Recovery Time Constraints. In IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 579-588, Columbus, Ohio (acceptance rate 12%). [pdf]
  2. Menna Mostafa and Borzoo Bonakdarpour. Decentralized Runtime Verification of LTL Specifications in Distributed Systems. In IEEE International Parallel & Distributed Processing Symposium (IPDPS), pp. 494 - 503, Hyderabad, India (acceptance rate 21%). [pdf]
  3. Ramy Medhat, Ramesh S., Borzoo Bonakdarpour, and Sebastian Fischmeister. A Framework for Mining Hybrid Automata from Input/Output Traces. In International Conference on Embedded Software (EMSOFT), pp. 177-186, Amsterdam, The Netherlands (acceptance rate 25%). [pdf]
  4. Saba Aflaki, Borzoo Bonakdarpour, and Sebastien Tixeuil. Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp. 156-170, Edmonton, Canada. [pdf]
  5. Samaneh Navabpour, Borzoo Bonakdarpour, and Sebastian Fischmeister. Time-triggered Runtime Verification of Component-Based Multi-core Systems. In International Conference on Runtime Verification (RV), pp. 153-168, Vienna, Austria. [pdf]
  6. Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, and Saddek Bensalem. Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. In NASA Formal Methods Symposium (NFM), pp. 359-374, Pasadena, USA, (acceptance rate 30%).[pdf]

2014

  1. Fathiyeh Faghih and Borzoo Bonakdarpour, SMT-based Synthesis of Distributed Self-stabilizing Systems. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp. 165-179, Paderborn, Germany. [pdf]
    2. (Received the Best Student Paper Award)
  2. Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister, Power-efficient Multiple Producer-Consumer. In IEEE International Parallel & Distributed Processing Symposium (IPDPS), pp. 669-678, Phoenix, USA (acceptance rate 21%). [pdf]
  3. Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, and Sebastian Fischmeister, Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems. In ACM International Conference on Cyber-physical Systems (ICCPS), pp. 115-126, Berlin, Germany (acceptance rate 24%). [pdf]
  4. Borzoo Bonakdarpour, Reza Hajisheikhi, and Sandeep Kulkarni, Knowledge-based Automated Repair of Authentication Protocols. In International Conference on Formal Methods (FM), pp. 132-147, Singapore (acceptance rate 28%). [pdf]

2013

  1. Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled, and Jean Quilbeuf, Performance Evaluation of Process Partitioning using Probabilistic Model Checking. In Haifa Verification Conference (HVC), pp. 344-358, Haifa, Israel. [pdf]
  2. Narges Fallahi, Borzoo Bonakdarpour, and Sebastien Tixeuil, Rigorous Performance Evaluation of Self-stabilization Using Probabilistic Model Checking. In IEEE Symposium on Reliable Distributed Systems (SRDS), pp. 153-162, Braga, Portugal (acceptance rate 30%). [pdf][ps]
  3. Narges Fallahi and Borzoo Bonakdarpour, How Good is Weak Stabilization? In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) , pp. 148-162, Osaka, Japan. [pdf]
  4. Yiyan Lin, Borzoo Bonakdarpour, and Sandeep Kulkarni Automated Addition of Fault-tolerance under Synchronous Semantics In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp. 266-280, Osaka, Japan.
  5. Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, and Sebastian Fischmeister, Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques. In International Conference on Runtime Verification (RV), pp. 304-321, Rennes, France. [pdf]
  6. Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister, RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs. In ACM Symposium on the Foundations of Software Engineering (FSE), pp. 603-606, Saint Petersburg, Russia. [pdf][ps]
  7. Shay Berkovich, Borzoo Bonakdarpour, and Sebastian Fischmeister, GPU-based Runtime Verification. In IEEE International Parallel & Distributed Processing Symposium (IPDPS), pp. 1025-1036, Boston, USA (acceptance rate 21%). [pdf][ps]

2012

  1. Borzoo Bonakdarpour, Johnson Thomas, and Sebastian Fischmeister, Time-triggered Self-monitoring Programs. To appear in IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, South Korea. [pdf][ps]
  2. Samaneh Navabpour, Borzoo Bonakdarpour, and Sebastian Fischmeister, Path-aware Time-triggered Runtime Verification. To appear in International Conference on Runtime Verification (RV), Istanbul, Turkey. [pdf]
  3. Borzoo Bonakdarpour, Marius Bozga, and Gregor Goessler, A Theory of Fault Recovery for Component-Based Models. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Toronto, Canada, To appear. [pdf][ps]
  4. George Chatzieleftheriou, Borzoo Bonakdarpour, Scott Smolka, and Panagiotis Katsaros, Abstract Model Repair. In NASA Formal Methods Symposium (NFM), pp. 341-355, Norfolk, Virginia (acceptance rate 35%). [pdf][ps]

2011

  1. Borzoo Bonakdarpour, Marius Bozga, and Jean Quilbeauf, Automated Distributed Implementation of Component-based Models with Priorities. In ACM International Conference on Embedded Software (EMSOFT), pp. 59-68, Taipei, Taiwan (acceptance rate 24%). [pdf][ps]
    (Nominated for the best paper award)
  2. Borzoo Bonakdarpour and Sandeep Kulkarni, Active Stabilization. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp. 77-91, Grenoble, France (acceptance rate 30%). [pdf][ps]
  3. Borzoo Bonakdarpour, Marius Bozga, and Gregor Goessler, A Theory of Fault Recovery for Component-Based Models. In IEEE Symposium on Reliable Distributed Systems (SRDS), pp. 265-270, Madrid, Spain (acceptance rate 30%). [pdf][ps]
  4. Borzoo Bonakdarpour, Yiyan Lin, and Sandeep Kulkarni, Automated Addition of Fault Recovery to Cyber-physical Component-based Models. In ACM International Conference on Embedded Software (EMSOFT), pp. 127.136, Taipei, Taiwan (acceptance rate 24%). [pdf][ps]
  5. Borzoo Bonakdarpour and Sebastian Fischmeister, Tutorial: Runtime Monitoring of Time-sensitive Systems. To appear in International Conference on Runtime Verification (RV), San Francisco, California.
  6. Samaneh Navabpour, Borzoo Bonakdarpour, and Sebastian Fischmeister, Optimal Instrumentation of Data-flow in Concurrent Data Structures. In International Conference on Principles Of Distributed Systems (OPODIS), pp. 497-512, Toulouse, France (acceptance rate 26%). [pdf][ps]
  7. Samaneh Navabpour, Wallace Wu, Borzoo Bonakdarpour, and Sebastian Fischmeister, Efficient Techniques for Near-optimal Instrumentation in Sampling-based Runtime Verification. To appear in International Conference on Runtime Verification (RV), San Francisco, California [pdf][ps].
  8. Borzoo Bonakdarpour, Samaneh Navabpour, and Sebastian Fischmeister, Sampling-based Runtime Verification. In International Symposium on Formal Methods (FM), pp. 88-102, Limerick, Ireland [pdf][ps].
  9. Borzoo Bonakdarpour, Stephane Devismes, and Franck Petit, Snap-stabilizing Committee Coordination. In IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 231-242, Anchorage, Alaska (acceptance rate %17) [pdf][ps].
  10. Samaneh Navabpour, Borzoo Bonakdarpour, and Sebastian Fischmeister, Software Debugging and Testing using the Abstract Diagnosis Theory. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), pp. 111-120, Chicago, USA [pdf][ps].

2010

  1. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, and Joseph Sifakis, Automated Conflict-free Distributed Implementation of Component-based Models. In IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 108-117, Trento, Italy. [pdf][ps]
    (Received the best paper award)
  2. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeauf, and Joseph Sifakis, From High-Level Component-Based Models to Distributed Implementations. In ACM/IEEE International Conference on Embedded Software (EMSOFT), pp. 209-218, Scottsdale, Arizona (acceptance rate 28%). [pdf][ps]
  3. Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, and Joseph Sifakis, Systematic Correct Construction of Self-stabilizing Systems: A Case Study. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp. 4-18, New York, USA (acceptance rate 31%). [pdf][ps]

2009

  1. Borzoo Bonakdarpour and Sandeep S. Kulkarni, On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. In International Symposium on Formal Methods (FM), LNCS 5850, pp. 660-675, Eindhoven, the Netherlands (acceptance rate %26). [pdf][ps]
  2. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Compositional Verification of Fault-Tolerant Real-Time Programs. In ACM/IEEE International Conference on Embedded Software (EMSOFT), pp. 29-38, Grenoble, France (acceptance rate %28). [pdf][ps]
    (Nominated for the best paper award)
  3. Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, and Joseph Sifakis, Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. In International Conference on Distributed Computing (DISC), LNCS 5805, pp. 174-175, Elche/Elx, Spain (acceptance rate %27). [pdf][ps]
  4. Fuad Abujarad, Borzoo Bonakdarpour, and Sandeep S. Kulkarni, Multi-core Synthesis of Fault-Tolerant Distributed Programs. In International Workshop on Parallel and Distributed Methods in verifiCation (PDMC), pp. 92-106, Eindhoven, The Netherlands. [pdf][ps]

2008

  1. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Revising Distributed UNITY Programs is NP-Complete. In International Conference on Principles of Distributed Systems (OPODIS), LNCS 5401, pp. 408-427, Luxor, Egypt (acceptance rate %27). [pdf][ps]
  2. Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Anish Arora, Disassembling Real-Time Fault-Tolerant Programs. In ACM/IEEE International Conference on Embedded Software (EMSOFT), pp. 169-178, Atlanta, Georgia (acceptance rate 24%). [pdf][ps]
  3. Borzoo Bonakdarpour and Sandeep S. Kulkarni, SYCRAFT: A Tool for Automated Synthesis of Fault-Tolerant Distributed Programs. In International Conference on Concurrency Theory (CONCUR), LNCS 5201, pp. 167-171,Toronto, Canada(acceptance rate 28%). [pdf][ps]
  4. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Masking Faults While Providing Bounded-Time Phased Recovery. In International Symposium on Formal Methods (FM), LNCS 5014, pp. 374-389, Turku, Finland (acceptance rate %21). [pdf][ps]

2007

  1. Borozoo Bonakdarpour and Sandeep S. Kulkarni, Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs. In IEEE International Conference on Distributed Computing Systems(ICDCS), pp. 3-10, Toronto, Canada (acceptance rate %13). [pdf][ps]
    (Nominated for the best paper award)
  2. Borzoo Bonakdarpour, Sandeep, S. Kulkarni, and Fuad Abujarad, Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4838, pp. 21-36, Paris, France (acceptance rate %30).[pdf][ps]

2006

  1. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Incremental Synthesis of Fault-Tolerant Real-Time Programs. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4280, pp. 122-136, Dallas, Texas (acceptance rate %29). [pdf] [ps]
  2. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Automated Incremental Synthesis of Timed Automata. In Formal Methods in Industrial Critical Systems (FMICS), LNCS 4346, pp. 261-276, Bohn, Germany (acceptance rate %31).[pdf] [ps]
  3. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Towards Reusing Formal Proofs in Verification of Fault-Tolerance. In Automated Formal Methods (AFM), Seattle, Washington. [pdf] [ps]

2005

  1. Ali Ebnenasir, Sandeep Kulkarni, and Borzoo Bonakdarpour, Revising UNITY Programs: Possibilities and Limitations. In International Conference on Principles of Distributed Systems (OPODIS), LNCS 3974, pp. 275-290, Pisa, Italy (acceptance rate %27). [pdf] [ps]

2004

  1. Sandeep S. Kulkarni, Borzoo Bonakdarpour, and Ali Ebnenasir, Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. In International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), LNCS 3573, pp. 36-52, Verona, Italy (acceptance rate %48).[ps] [pdf]
  2. Sandeep S. Kulkarni, Borzoo Bonakdarpour, and Ali Ebnenasir, Mechanical Verification of Automatic Synthesis of Failsafe Fault-Tolerance (Extended abstract).In Emerging Trends in Theorem Proving in Higher Order Logics (TPHOLs) Park City, Utah.

Ph.D. Dissertation

  1. Automated Revision of Distributed and Real-Time Programs. [ps][pdf]
    (Department-nominated for the ACM Doctoral Dissertation Award)