Journal Articles

  1. Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkarni, and Sebastien Tixeuil. Specification-based Synthesis of Distributed Self-stabilizing Protocols. In Logical Methods in Computer Science (LMCS), To appear.
  2. 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) (Accepted for publication). [pdf]
  3. Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz1, 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) (Accepted for publication) [pdf].
  4. 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].
  5. 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]
  6. 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]
  7. George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, and Scott A. Smolka Abstract Model Repair. Logical Methods in Computer Science (LMCS), Accepted for publication. [pdf]
  8. 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]
  9. 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]
  10. 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.
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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

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), Hong Kong (acceptance rate 31%), To appear. [pdf]
  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, To appear.
  3. 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]
  4. 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%).
  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%).
  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%).

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.
  2. (Received the Best Student Paper Award)
  3. 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%).
  4. 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%).
  5. 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%).

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

Refereed Short Papers

  1. Borzoo Bonakdarpour and Sandeep S. Kulkarni, Challenges and Demands in Automated Software Revision. InThe sixth NASA Langely Formal Methods Workshop, Newport News, Virginia, 2008. [pdf][ps]
  2. Sandeep S. Kulkarni, Borzoo Bonakdarpour, Automated Program Maintenance for Automotive CPS. In Cyber-Physical Systems Research Challenges, Troy, Michigan, 2008. [pdf]
  3. Borzoo Bonakdarpour, Challenges in Transformation of Existing Real-Time Embedded Systems to Cyber-Physical Systems In IEEE Symposium on Real-Time Systems (RTSS) - Ph.D. Forum on Deeply Real-Time Embedded Systems, Tucson, Arizona, 2007. [pdf][ps]
  4. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad, Distributed Synthesis of Fault-Tolerance. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4280, pp. 566-567, Dallas, Texas, 2006. [pdf]
  5. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Automated Revision of Legacy Real-Time Programs: Work in Progress. InIEEE Real-Time and Embedded, Technology and Applications Symposium(RTAS), San Jose, California, 2006. [pdf]

Ph.D. Dissertation

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

M.Sc. Thesis

  1. Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. [ps][pdf]