Ali Ebnenasir
Title
Cited by
Cited by
Year
The complexity of adding failsafe fault-tolerance
SS Kulkarni, A Ebnenasir
Proceedings 22nd International Conference on Distributed Computing Systems …, 2002
462002
FTSyn: A framework for automatic synthesis of fault-tolerance
A Ebnenasir, SS Kulkarni, A Arora
International Journal on Software Tools for Technology Transfer 10 (5), 455-471, 2008
442008
Enhancing the fault-tolerance of nonmasking programs
SS Kulkarni, A Ebnenasir
23rd International Conference on Distributed Computing Systems, 2003 …, 2003
402003
Automated synthesis of multitolerance
SS Kulkarni, A Ebnenasir
International Conference on Dependable Systems and Networks, 2004, 209-218, 2004
382004
Automatic synthesis of fault-tolerance
A Ebnenasir
Michigan State University, 2005
342005
Complexity issues in automated synthesis of failsafe fault-tolerance
SS Kulkarni, A Ebnenasir
IEEE Transactions on Dependable and Secure Computing 2 (3), 201-215, 2005
312005
Complexity results in revising UNITY programs
B Bonakdarpour, A Ebnenasir, SS Kulkarni
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4 (1), 1-28, 2009
302009
Revising UNITY programs: Possibilities and limitations
A Ebnenasir, SS Kulkarni, B Bonakdarpour
International Conference on Principles of Distributed Systems, 275-290, 2005
292005
UPC-SPIN: A framework for the model checking of UPC programs
A Ebnenasir
Proceedings of fifth conference on partitioned global address space …, 2011
212011
A lightweight method for automated design of convergence
A Ebnenasir, A Farahat
2011 IEEE International Parallel & Distributed Processing Symposium, 219-230, 2011
212011
A lightweight method for automated design of convergence in network protocols
A Farahat, A Ebnenasir
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (4), 1-36, 2012
202012
On the complexity of adding convergence
A Klinkhamer, A Ebnenasir
International Conference on Fundamentals of Software Engineering, 17-33, 2013
192013
Synthesizing self-stabilization through superposition and backtracking
A Klinkhamer, A Ebnenasir
Symposium on Self-Stabilizing Systems, 252-267, 2014
182014
DiConic addition of failsafe fault-tolerance
A Ebnenasir
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
182007
Designing run-time fault-tolerance using dynamic updates
A Ebnenasir
International Workshop on Software Engineering for Adaptive and Self …, 2007
162007
Local reasoning for global convergence of parameterized rings
A Farahat, A Ebnenasir
2012 IEEE 32nd International Conference on Distributed Computing Systems …, 2012
152012
Pattern-based modeling and analysis of failsafe fault-tolerance in uml
A Ebnenasir, BHC Cheng
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 275-282, 2007
142007
Use case-based modeling and analysis of failsafe fault-tolerance
A Ebnenasir, BHC Cheng, S Konrad
14th IEEE International Requirements Engineering Conference (RE'06), 343-344, 2006
142006
Feasibility of stepwise design of multitolerant programs
A Ebnenasir, SS Kulkarni
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (1), 1-49, 2011
132011
Swarm synthesis of convergence for symmetric protocols
A Ebnenasir, A Farahat
2012 Ninth European Dependable Computing Conference, 13-24, 2012
122012
The system can't perform the operation now. Try again later.
Articles 1–20