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