The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Borzoo Bonakdarpour: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir
    Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:36-52 [Conf]
  2. Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour
    Revising UNITY Programs: Possibilities and Limitations. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2005, pp:275-290 [Conf]
  3. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2007, pp:3- [Conf]
  4. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
    Brief Announcement: Distributed Synthesis of Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:566-567 [Conf]
  5. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
    Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. [Citation Graph (0, 0)][DBLP]
    SSS, 2007, pp:21-36 [Conf]
  6. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Incremental Synthesis of Fault-Tolerant Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:122-136 [Conf]
  7. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Automated Incremental Synthesis of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:261-276 [Conf]

  8. SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. [Citation Graph (, )][DBLP]


  9. Disassembling real-time fault-tolerant programs. [Citation Graph (, )][DBLP]


  10. Compositional verification of fault-tolerant real-time programs. [Citation Graph (, )][DBLP]


  11. Masking Faults While Providing Bounded-Time Phased Recovery. [Citation Graph (, )][DBLP]


  12. On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. [Citation Graph (, )][DBLP]


  13. Revising Distributed UNITY Programs Is NP-Complete. [Citation Graph (, )][DBLP]


  14. Systematic Correct Construction of Self-stabilizing Systems: A Case Study. [Citation Graph (, )][DBLP]


  15. Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. [Citation Graph (, )][DBLP]


  16. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs [Citation Graph (, )][DBLP]


Search in 0.062secs, Finished in 0.063secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002