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 |