| 2009 | ||
|---|---|---|
| 4 | Fuad Abujarad, Sandeep S. Kulkarni: Multicore Constraint-Based Automated Stabilization. SSS 2009: 47-61 | |
| 2008 | ||
| 3 | Fuad Abujarad, Sandeep S. Kulkarni: Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. ICDCS Workshops 2008: 539-544 | |
| 2007 | ||
| 2 | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36 | |
| 2006 | ||
| 1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567 | |
| 1 | Borzoo Bonakdarpour | [1] [2] |
| 2 | Sandeep S. Kulkarni | [1] [2] [3] [4] |