Journal Articles

  1. Fuad Abujarad, Yian Lin, Borzoo Bonakdarpour, and Sandeep Kulkarni, Complexity Issues in Automated Model Repair Without Explicit Legitimate States. Springer journal of Distributed Computing (DC), Accepted for publication.
  2. Borzoo Bonakdarpour and Sandeep Kulkrani Synthesizing Bounded-time 2-phase Recovery. Springer journal of Formal Aspects of Computing (FAOC), Accepted for publication. [pdf][ps]
  3. 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]
  4. Borzoo Bonakdarpour, Marius Bozga, and Jean Quilbeuf Model-based Implementation of Distributed Systems with Priorities. Springer journal of Design Automation for Embedded System, special issue on best papers of ESWEEK 2011, July 2012. [pdf][ps]
  5. 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]
  6. 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]
  7. 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]
  8. 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

2014

  1. Fathiyeh Faghih and Borzoo Bonakdarpour, SMT-based Synhesis of Distributed Self-stabilizing Systems. To appear in International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Paderborn, Germany.
  2. Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister, Power-efficient Multiple Producer-Consumer. To appear in IEEE International Parallel & Distributed Processing Symposium (IPDPS), Phoenex, USA (acceptance rate 21%).
  3. Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, and Sebastian Fischmeister, Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems. To appear in ACM International Conference on Cyber-physical Systems (ICCPS), Berlin, Germany (acceptance rate 24%).
  4. Borzoo Bonakdarpour, Reza Hajisheikhi, and Sandeep Kulkarni, Knowledge-based Automated Repair of Authentication Protocols. To appear in International Conference on Formal Methods (FM), 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), Haifa, Israel, To appear.
  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), Braga, Portugal (acceptance rate 30%), To appear. [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), Osaka, Japan, To appear.
  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), Osaka, Japan, To appear.
  5. Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, and Sebastian Fischmeister, Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques. To appear in International Conference on Runtime Verification (RV), 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), Saint Petersburg, Russia, To appear. [pdf][ps]
  7. Shay Berkovich, Borzoo Bonakdarpour, and Sebastian Fischmeister, GPU-based Runtime Verification. To appear in IEEE International Parallel & Distributed Processing Symposium (IPDPS), 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]