dblp.uni-trier.dewww.uni-trier.de

Ali Ebnenasir Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Anish Arora [13]
2Borzoo Bonakdarpour [3] [7] [14]
3Betty H. C. Cheng [9] [10] [11]
4Sascha Konrad [10]
5Sandeep S. Kulkarni [1] [2] [3] [4] [5] [6] [7] [8] [13] [14]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)