Search the dblp DataBase
Ali Ebnenasir :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sandeep S. Kulkarni , Ali Ebnenasir Automated Synthesis of Multitolerance. [Citation Graph (0, 0)][DBLP ] DSN, 2004, pp:209-0 [Conf ] Sandeep S. Kulkarni , Ali Ebnenasir Adding Fault-Tolerance Using Pre-synthesized Components. [Citation Graph (0, 0)][DBLP ] EDCC, 2005, pp:72-90 [Conf ] Sandeep S. Kulkarni , Ali Ebnenasir The Complexity of Adding Failsafe Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] ICDCS, 2002, pp:337-344 [Conf ] Sandeep S. Kulkarni , Ali Ebnenasir Enhancing The Fault-Tolerance of Nonmasking Programs. [Citation Graph (0, 0)][DBLP ] ICDCS, 2003, pp:441-449 [Conf ] Sandeep S. Kulkarni , Borzoo Bonakdarpour , Ali Ebnenasir Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2004, pp:36-52 [Conf ] Ali Ebnenasir , Sandeep S. Kulkarni , Borzoo Bonakdarpour Revising UNITY Programs: Possibilities and Limitations. [Citation Graph (0, 0)][DBLP ] OPODIS, 2005, pp:275-290 [Conf ] Ali Ebnenasir , Betty H. C. Cheng , Sascha Konrad Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] RE, 2006, pp:336-337 [Conf ] Sandeep S. Kulkarni , Ali Ebnenasir Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:3, pp:201-215 [Journal ] Sandeep S. Kulkarni , Ali Ebnenasir The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:4, pp:348-355 [Journal ] Ali Ebnenasir , Betty H. C. Cheng A Pattern-Based Approach for Modeling and Analyzing Error Recovery. [Citation Graph (0, 0)][DBLP ] WADS, 2006, pp:115-141 [Conf ] Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. [Citation Graph (, )][DBLP ] Designing Run-Time Fault-Tolerance Using Dynamic Updates. [Citation Graph (, )][DBLP ] Diconic addition of failsafe fault-tolerance. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs