- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j7 |      | Ali Ebnenasir: Action-based discovery of satisfying subsets: A distributed method for model correction. Information & Software Technology 55(2): 201-214 (2013) |
| 2012 | ||
| j6 | | Aly Farahat, Ali Ebnenasir: A Lightweight Method for Automated Design of Convergence in Network Protocols. TAAS 7(4): 38 (2012) |
| c17 | | Ali Ebnenasir, Aly Farahat: Swarm Synthesis of Convergence for Symmetric Protocols. EDCC 2012: 13-24 |
| c16 | | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni: Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN 2012: 91-105 |
| c15 | | Aly Farahat, Ali Ebnenasir: Local Reasoning for Global Convergence of Parameterized Rings. ICDCS 2012: 496-505 |
| 2011 | ||
| j5 | | Ali Ebnenasir, Sandeep S. Kulkarni: Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. 21(1): 1 (2011) |
| c14 | | Ali Ebnenasir, Aly Farahat: A Lightweight Method for Automated Design of Convergence. IPDPS 2011: 219-230 |
| c13 | | Aly Farahat, Ali Ebnenasir: Lightweight Methods for Automated Design of Self-Stabilization. IPDPS Workshops 2011: 2014-2017 |
| c12 |  | Aly Farahat, Ali Ebnenasir: Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. SEKE 2011: 619-624 |
| 2009 | ||
| j4 | | Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni: Complexity results in revising UNITY programs. TAAS 4(1) (2009) |
| 2008 | ||
| j3 | | Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora: FTSyn: a framework for automatic synthesis of fault-tolerance. STTT 10(5): 455-471 (2008) |
| 2007 | ||
| c11 | | Ali Ebnenasir, Betty H. C. Cheng: Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE 2007: 275-282 |
| c10 | | |
| c9 | | |
| 2006 | ||
| c8 | | Ali Ebnenasir, Betty H. C. Cheng: A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS 2006: 115-141 |
| c7 | | Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad: Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE 2006: 336-337 |
| 2005 | ||
| j2 | | Sandeep S. Kulkarni, Ali Ebnenasir: Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Sec. Comput. 2(3): 201-215 (2005) |
| j1 | | 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) |
| c6 | | Sandeep S. Kulkarni, Ali Ebnenasir: Adding Fault-Tolerance Using Pre-synthesized Components. EDCC 2005: 72-90 |
| c5 | | Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour: Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290 |
| 2004 | ||
| c4 | | |
| c3 | | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52 |
| 2003 | ||
| c2 | | Sandeep S. Kulkarni, Ali Ebnenasir: Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS 2003: 441-449 |
| 2002 | ||
| c1 | | Sandeep S. Kulkarni, Ali Ebnenasir: The Complexity of Adding Failsafe Fault-Tolerance. ICDCS 2002: 337-344 |
| 1 | Anish Arora | |
| 2 | Borzoo Bonakdarpour | |
| 3 | Betty H. C. Cheng | |
| 4 | Aly Farahat | |
| 5 | Reza Hajisheykhi | |
| 6 | Sascha Konrad | |
| 7 | Sandeep S. Kulkarni |
Data released under the ODC-BY 1.0 license — See also our legal information page