• Ali Ebnenasir, Sandeep S. Kulkarni and Anish Arora, "FTSyn: A Framework for Automatic Synthesis of Fault-Tolerance". To appear in the International Journal of Software Tools for Technology Transfer, 2008. 

• Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni, "Complexity Results in Revising UNITY Programs", To appear in the ACM Transactions on Autonomous and Adaptive Systems, 2008.

• Sandeep S. Kulkarni and Ali Ebnenasir, "Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance".  IEEE Transactions on Dependable and Secure Computing, 2(3):201-215, July-September 2005. 

• Sandeep S. Kulkarni and Ali Ebnenasir, "The Effect of the Specification Model on the Complexity of Adding Masking Fault-Tolerance". IEEE Transactions on Dependable and Secure Computing, 2(4): 348-355, October-December 2005. 

Refereed book chapters:

• Ali Ebnenasir and Betty H.C. Cheng, "A Pattern-Based Approach for Modeling and Analysis of Error Recovery", Architecting Dependable Systems Book IV, 2007.

• Sandeep S. Kulkarni, Anish Arora and Ali Ebnenasir, "Adding Fault-Tolerance to State Machine-Based Designs", Book I on  SOFTWARE ENGINEERING AND FAULT TOLERANCE, World Scientific Publishing Co. Pte. Ltd, 2007.

• Ali Ebnenasir, "DiConic Addition of Failsafe Fault-Tolerance", In proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE'07), Atlanta, Georgia, November 5-9, 2007  (acceptance rate @ 12%).

• Ali Ebnenasir and Betty H.C. Cheng, "Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance", In proceedings of the10th IEEE International Symposium on High Assurance System Engineering (HASE), Dallas, Texas, November 14-16, 2007 (acceptance rate @ 33%).

• Ali Ebnenasir, "Designing Run-Time Fault-Tolerance Using Dynamic Updates",  In proceedings of the 29th  IEEE/ACM International Conference on Software Engineering - Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2007.

• Ali Ebnenasir and Sandeep S. Kulkarni and Borzoo Bonakdarpour, "Revising UNITY Programs: Possibilities and Limitations". In proceedings of OPODIS 2005. 

• Sandeep S. Kulkarni and Ali Ebnenasir, "Adding Fault-Tolerance Using Presynthesized Components". In proceedings of the Fifth European Dependable Computing Conference (EDCC-5), LNCS, Vol. 3463, p. 72., 2005. 

• Sandeep S. Kulkarni and Ali Ebnenasir, "Automated Synthesis of Multitolerance". In proceedings of the International Conference on Dependable Systems and Networks, Palazzo dei Congressi, Florence, Italy, June 28 - July 1, 2004. 

• Ali Ebnenasir and Sandeep S. Kulkarni, "Hierarchical Presynthesized Component for Automatic Addition of Fault-Tolerance: A Case Study".  An extended abstract in the Proceedings of ACM Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Newport Beach, California, USA, 2004.

• Sandeep S. Kulkarni and Borzoo Bonakdarpour and Ali Ebnenasir, "Mechanical Verification of Automatic Synthesis of Fault-Tolerance". In proceedings of the  International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), Verona, Italy, LNCS, Vol. 3573, Page 36-50, 2004.

• Sandeep S. Kulkarni and Ali Ebnenasir, "Enhancing The Fault-Tolerance of Nonmasking Programs".  In proceedings of the 23rd International Conference on Distributed Computing Systems, May 19-22, 2003 - Providence, Rhode Island USA (@18%).

• Sandeep S. Kulkarni and Ali Ebnenasir, "The Complexity of Adding Failsafe Fault-Tolerance" In proceedings of the 22nd International Conference on Distributed Computing Systems, July 2-5, 2002 - Vienna, Austria. 

• Ali Ebnenasir and Mohsen Sharifi, "A Java-Based Distributed Virtual Machine". In proceedings of the 3rd International Conference of Computer Society of Iran, 23-25 Dec., 1997 - Tehran, Iran. 

  Refereed short papers:

• Ali Ebnenasir, Betty H. C. Cheng, and Sascha Konrad, "Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance", Poster and abstract in the International  Conference on Requirements Engineering, Minneapolis, Sep. 2006.

• Ali Ebnenasir and Betty H. C. Cheng, "Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance", Abstract in the International Conference on Dependable and Network Systems (DSN), Philadelphia, July 2006.

• Ali Ebnenasir and Sandeep S. Kulkarni, "SAT-Based Synthesis of Fault-Tolerance".  In the Fast Abstracts of the International Conference on Dependable Systems and Networks, Palazzo dei Congressi, Florence, Italy, June 28 - July 1, 2004. 

• Ali Ebnenasir, "Algorithmic Synthesis of Fault-Tolerant Distributed Programs". Doctoral Symposium of  the 23rd International Conference on Distributed Computing Systems, May 19-22, 2003 - Providence, Rhode Island USA.

  Technical Reports:

• Ali Ebnenasir and Sandeep S. Kulkarni, "Efficient Synthesis of Failsafe Fault-Tolerant Distributed Programs". Technical Report MSU-CSE-05-13, Michigan State University, East Lansing, Michigan, April 2005.

• Sandeep S. Kulkarni and Borzoo Bonakdarpour and Ali Ebnenasir, "Mechanical Verification of Automatic Synthesis of Failsafe Fault-Tolerance". The emerging trends of TPHOL 2004 as a technical report of the Computer Science Department, the University of Utah. 

• Ali Ebnenasir and Sandeep S. Kulkarni,  "Automatic Addition of Liveness". Technical Report MSU-CSE-04-22, Michigan State University, East Lansing, Michigan, June 2004.