Ali Ebnenasir

	2012
20		Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni: Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN 2012: 91-105
	2011
19		Ali Ebnenasir, Aly Farahat: A Lightweight Method for Automated Design of Convergence. IPDPS 2011: 219-230
18		Aly Farahat, Ali Ebnenasir: Lightweight Methods for Automated Design of Self-Stabilization. IPDPS Workshops 2011: 2014-2017
17		Aly Farahat, Ali Ebnenasir: Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. SEKE 2011: 619-624
16		Ali Ebnenasir, Sandeep S. Kulkarni: Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. 21(1): 1 (2011)
	2009
15		Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni: Complexity results in revising UNITY programs. TAAS 4(1): (2009)
	2008
14		Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora: FTSyn: a framework for automatic synthesis of fault-tolerance. STTT 10(5): 455-471 (2008)
	2007
13		Ali Ebnenasir: Diconic addition of failsafe fault-tolerance. ASE 2007: 44-53
12		Ali Ebnenasir, Betty H. C. Cheng: Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE 2007: 275-282
11		Ali Ebnenasir: Designing Run-Time Fault-Tolerance Using Dynamic Updates. SEAMS 2007: 15
	2006
10		Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad: Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE 2006: 336-337
9		Ali Ebnenasir, Betty H. C. Cheng: A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS 2006: 115-141
	2005
8		Sandeep S. Kulkarni, Ali Ebnenasir: Adding Fault-Tolerance Using Pre-synthesized Components. EDCC 2005: 72-90
7		Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour: Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290
6		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		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		Sandeep S. Kulkarni, Ali Ebnenasir: Automated Synthesis of Multitolerance. DSN 2004: 209-
3		Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52
	2003
2		Sandeep S. Kulkarni, Ali Ebnenasir: Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS 2003: 441-449
	2002
1		Sandeep S. Kulkarni, Ali Ebnenasir: The Complexity of Adding Failsafe Fault-Tolerance. ICDCS 2002: 337-344

Coauthor Index

1	Anish Arora	[14]
2	Borzoo Bonakdarpour	[3] [7] [15]
3	Betty H. C. Cheng	[9] [10] [12]
4	Aly Farahat	[17] [18] [19]
5	Reza Hajisheykhi	[20]
6	Sascha Konrad	[10]
7	Sandeep S. Kulkarni	[1] [2] [3] [4] [5] [6] [7] [8] [14] [15] [16] [20]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page