| * | 2009 |
|---|
| 14 | EE | Borzoo Bonakdarpour,
Ali Ebnenasir,
Sandeep S. Kulkarni:
Complexity results in revising UNITY programs.
TAAS 4(1): (2009) |
| 2008 |
|---|
| 13 | EE | Ali Ebnenasir,
Sandeep S. Kulkarni,
Anish Arora:
FTSyn: a framework for automatic synthesis of fault-tolerance.
STTT 10(5): 455-471 (2008) |
| 2007 |
|---|
| 12 | EE | Ali Ebnenasir:
Diconic addition of failsafe fault-tolerance.
ASE 2007: 44-53 |
| 11 | EE | Ali Ebnenasir,
Betty H. C. Cheng:
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.
HASE 2007: 275-282 |
| 2006 |
|---|
| 10 | EE | Ali Ebnenasir,
Betty H. C. Cheng,
Sascha Konrad:
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.
RE 2006: 336-337 |
| 9 | EE | Ali Ebnenasir,
Betty H. C. Cheng:
A Pattern-Based Approach for Modeling and Analyzing Error Recovery.
WADS 2006: 115-141 |
| 2005 |
|---|
| 8 | EE | Sandeep S. Kulkarni,
Ali Ebnenasir:
Adding Fault-Tolerance Using Pre-synthesized Components.
EDCC 2005: 72-90 |
| 7 | EE | Ali Ebnenasir,
Sandeep S. Kulkarni,
Borzoo Bonakdarpour:
Revising UNITY Programs: Possibilities and Limitations.
OPODIS 2005: 275-290 |
| 6 | EE | Sandeep S. Kulkarni,
Ali Ebnenasir:
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.
IEEE Trans. Dependable Sec. Comput. 2(3): 201-215 (2005) |
| 5 | EE | Sandeep S. Kulkarni,
Ali Ebnenasir:
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.
IEEE Trans. Dependable Sec. Comput. 2(4): 348-355 (2005) |
| 2004 |
|---|
| 4 | EE | Sandeep S. Kulkarni,
Ali Ebnenasir:
Automated Synthesis of Multitolerance.
DSN 2004: 209- |
| 3 | EE | Sandeep S. Kulkarni,
Borzoo Bonakdarpour,
Ali Ebnenasir:
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.
LOPSTR 2004: 36-52 |
| 2003 |
|---|
| 2 | EE | Sandeep S. Kulkarni,
Ali Ebnenasir:
Enhancing The Fault-Tolerance of Nonmasking Programs.
ICDCS 2003: 441-449 |
| 2002 |
|---|
| 1 | EE | Sandeep S. Kulkarni,
Ali Ebnenasir:
The Complexity of Adding Failsafe Fault-Tolerance.
ICDCS 2002: 337-344 |
