Refereed journal papers:

·         Alex Klinkhamer and Ali Ebnenasir, On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings, ACM Transactions on Computational Logic (TOCL), Vol. 20, No. 3, Article 16, 2019. [DOI]

·         Ali Ebnenasir and Alex Klinkhamer, Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes, IEEE Transactions on Software Engineering (TSE), 2019 (In-Press).<[DOI]

·         Reza Hajisheykhi, Ali Ebnenasir and Sandeep S. Kulkarni, A Theory of Integrating Tamper Evidence with Stabilization, ELSEVIER Science of Computer Programming (SCP), 2017.

·         Alex Klinkhamer and Ali Ebnenasir, Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization, IEEE Transactions on Parallel and Distributed Systems (TPDS), Vol. 27, Issue 11, pages 3338-3350, 2016.

·         Alex Klinkhamer and Ali Ebnenasir, On the Hardness of Adding Nonmasking Fault Tolerance, IEEE Transactions on Dependable and Secure Computing (TDSC), Vol. 12, Issue 3, pp. 338--350, May-June 2015.

·         Jingshu Chen, Ali Ebnenasir and Sandeep Kulkarni, The Complexity of Adding Multitolerance, ACM Transactions on Autonomous and Adaptive Systems (TAAS), Vol. 9, Issue 3, pp. 15, 2014.

·         Ali Ebnenasir, Reza Hajisheykhi and Sandeep S Kulkarni, "Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs", Journal of Theoretical Computer Science (ELSEVIER), Vol. 496, pp. 50-68, July 2013.

·         Ali Ebnenasir, "Action-Based Discovery of Satisfying Subsets: A Distributed Method for Model Correction", International Journal on Information and Software Technology (ELSEVIER), Vol. 55, Issue 2, pp. 201-214, Feb. 2013.

·         Aly Farahat and Ali Ebnenasir, "A Lightweight Method for Automated Design of Convergence in Network Protocols", ACM Transactions on Autonomous and Adaptive Systems, Vol. 7, Issue 4, pp. 38:1-38:36, Dec. 2012.

·         Ali Ebnenasir and Sandeep S. Kulkarni, "Feasibility of Stepwise Design of Multitolerant Programs". ACM Transactions on Software Engineering and Methodology (TOSEM), 21(1):1--49, December 2011. 

·         Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni, "Complexity Results in Revising UNITY Programs", ACM Transactions on Autonomous and Adaptive Systems, Vol. 4, No. 1, Article No.: 5, 2009.      [PDF]   [bib]

·         Ali Ebnenasir, Sandeep S. Kulkarni and Anish Arora, "FTSyn: A Framework for Automatic Synthesis of Fault-Tolerance". International Journal of Software Tools for Technology Transfer, Vol. 10, No. 5, October, Pages 455-471, 2008.  [PDF]  [bib]

·         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.   [PDF]  [bib]

·         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.  [PDF]  [bib]

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.  [PDF]  [bib]

·         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.  [PDF]  [bib]

Refereed conference papers:

·         Ali Ebnenasir, Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties, Formal Methods in Computer-Aided Design (FMCAD), 2019 (Accepted).

·         Mohsen Safari and Ali Ebnenasir, Locality-Based Relaxation: An Efficient Method for GPU-based Computation of Shortest Paths, Second IFIP International Conference on Topics in Theoretical Computer Science (TTCS), 2017.

·         Alex Klinkhamer and Ali Ebnenasir, Synthesizing Parameterized Self-Stabilizing Rings With Constant-Space Processes, 7th IPM International Conference on Fundamentals of Software Engineering (FSEN), 2017.

·         Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir and Sandeep S Kulkarni, A Frame- work for Verification of SystemC TLM Programs with Model Slicing: A Case Study, IEEE Transactions on Dependable and Secure Computing Proceedings of the 53rd Annual Design Automation Conference (DAC), Austin, TX, USA, pp. 22:1-22:6, 2016.

·         Ali Ebnenasir, Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity, 6th IPM International Conference on Fundamentals of Software Engineering (FSEN), pp. 159—175, 2015.

·         Reza Hajisheykhi, Ali Ebnenasir and Sandeep S Kulkarni, A Theory of Integrating Tamper Evidence with Stabilization, 6th IPM International Conference on Fundamentals of Software Engineering (FSEN), pp. 84-99, 2015.

·         Reza Hajisheykhi, Ali Ebnenasir and Sandeep S Kulkarni, UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata, 7th NASA Formal Methods Symposium (NFM), Pasadena, California, pp. 429--435, 2015.

·         Amer Tahat and Ali Ebnenasir, A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), pp. 201--218, 2014.

·         Alex Klinkhamer and Ali Ebnenasir, Synthesizing Self-Stabilization Through Superposition and Backtracking, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Paderborn - Germany, pp. 252-267, 2014.

·         Reza Hajisheykhi, Ali Ebnenasir and Sandeep S Kulkarni, Evaluating the Effect of Faults in SystemC TLM Models using UPPAAL, 12th International Conference on Software Engineering and Formal Methods (SEFM), Grenoble, France, pp. 175-189, 2014.

·         Alex Klinkhamer and Ali Ebnenasir, Verifying Livelock Freedom of Parameterized Rings and Chains, 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013), Osaka - Japan, Nov. 2013.

·         Reza Hajisheykhi, Ali Ebnenasir and Sandeep Kulkarni, Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs, Brief Announcements of 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013), Osaka - Japan, Nov. 2013.

·         Alex Klinkhamer and Ali Ebnenasir, "On the Complexity of Adding Convergence", 5th IPM International Conference on Fundamentals of Software Engineering, Tehran - Iran, April 2013. (Best paper award)

·         Charles Wallace, Steve Seidel and Ali Ebnenasir, "A Programmer-Friendly UPC Memory Model Specification", To appear in the 6th Conference on Partitioned Global Address Space Programming Models, Santa Barbara, California, USA, October 2012.

·         Aly Farahat and Ali Ebnenasir, "Local Reasoning for Global Convergence in Parameterized Rings", To appear in the Proceedings of the 32nd International Conference on Distributed Computing Systems (ICDCS), Macau China, 2012.

·         Ali Ebnenasir and Aly Farahat, "Swarm Synthesis of Convergence for Symmetric Protocols", To appear in the Proceedings of the Ninth European Dependable Computing Conference (EDCC), Sibu Romania, 2012.

·         Ali Ebnenasir, Reza Hajisheykhi and Sandeep Kulkarni, "Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs", In the Proceedings of the 13th International Conference on Distributed Computing and Networking (ICDCN), pages 91-105, 2012.

·         Ali Ebnenasir, “UPC-SPIN: A Framework for the Model Checking of UPC Programs”, To appear in the Fifth Partitioned Global Address Space Conference (PGAS), Galveston Island, Texas, 2011.

·         Aly Farahat and Ali Ebnenasir, "Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes", 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE), Miami Beach, USA, 2011. [PDF] [bib]

·         Ali Ebnenasir and Aly Farahat, "A Lightweight Method for Automated Design of Convergence", 25th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Anchorage Alaska - USA, 2011  (acceptance rate @ 19.6%).  [PDF] [bib]

·         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%).   [PDF]  [bib]

·         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%).   [PDF]  [bib]

·         Ali Ebnenasir and Sandeep S. Kulkarni and Borzoo Bonakdarpour, "Revising UNITY Programs: Possibilities and Limitations". In proceedings of the International Conference on Principles of Distributed Systems (OPODIS), 2005.   [PDF]   [bib]

·         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.   [PDF]   [bib]

·         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.  [PDF]   [bib]

·         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.  [PDF]   [bib]

·         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%).   [PDF]   [bib]

·         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.   [PDF]   [bib]

·         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 workshop papers:

·         Ali Ebnenasir and Rasoul Beik, "Developing Parallel Programs: A Design-Oriented Perspective", International Conference on Software Engineering, Workshop on Multicore Software Engineering, Vancouver, BC, Canada, 2009.  [PDF]   [bib]

·         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.  [PDF]  [bib]

·         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.   [PDF]   [bib]

  Refereed short papers:

·         Aly Farahat and Ali Ebnenasir, "Lightweight Methods for Automated Design of Self-Stabilization", To appear in the PhD forum of the 25th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Anchorage Alaska - USA, 2011. 

·         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.   [PDF]   [bib]

·         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.  [PDF]   [bib]

·         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.   [PDF]   [bib]

·         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.  [PDF]   [bib]

  Technical Reports:

·         Ali Ebnenasir and Mohammad Amin Alipour, "Identifying Satisfying Subsets: A Method for Algorithmic Correction of Inter-Thread Synchronization Mechanisms". Technical Report CS-TR-10-01, Michigan Technological University, Houghton Michigan 49931, USA, March 2010.   [PDF]  [bib]

·         Ali Ebnenasir, "How Hard Is Aspect-Oriented Programming?". Technical Report CS-TR-08-04, Michigan Technological University, Houghton Michigan 49931, USA, December 2008.        [PDF]  [bib]

·         Ali Ebnenasir and Sandeep S. Kulkarni, "Feasibility of Stepwise Addition of Multitolerance to High Atomicity Programs". Technical Report CS-TR-08-03, Michigan Technological University, Houghton Michigan 49931, USA, October 2008.   [PDF]  [bib]

·         Ali Ebnenasir, "Action-Level Addition of Leads-To Properties to Shared Memory Parallel Programs". Technical Report CS-TR-08-01, Michigan Technological University, Houghton Michigan 49931, USA, March 2008.   [PDF]  [bib]

·         Ali Ebnenasir, "DiConic Addition of Failsafe Fault-Tolerance". Technical Report CS-TR-07-03, Michigan Technological University, Houghton Michigan 49931, USA, June 2007.

·         Ali Ebnenasir and Betty H.C. Cheng, "A Framework for Modeling and Analyzing Fault-Tolerance". Technical Report MSU-CSE-06-05, Michigan State University, East Lansing, Michigan, January 2006. [PDF]  [bib]

·         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. [PDF]  [bib]

·         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.  [PDF]  [bib]

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

Short bio            CV                               Research                Teaching              

Awards               Publications           For prospective PhD students!