dblp.uni-trier.dewww.uni-trier.de

Borzoo Bonakdarpour

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
12EEBorzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni: Complexity results in revising UNITY programs. TAAS 4(1): (2009)
2008
11EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR 2008: 167-171
10EEBorzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora: Disassembling real-time fault-tolerant programs. EMSOFT 2008: 169-178
9EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Masking Faults While Providing Bounded-Time Phased Recovery. FM 2008: 374-389
8EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Revising Distributed UNITY Programs Is NP-Complete. OPODIS 2008: 408-427
2007
7EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS 2007: 3
6EEBorzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36
2006
5EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276
4EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS 2006: 122-136
3EEBorzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567
2005
2EEAli Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour: Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290
2004
1EESandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52

Coauthor Index

1Fuad Abujarad [3] [6]
2Anish Arora [10]
3Ali Ebnenasir [1] [2] [12]
4Sandeep S. Kulkarni [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)