| FTSyn: A framework for automatic synthesis of fault-tolerance A Ebnenasir, SS Kulkarni, A Arora International Journal on Software Tools for Technology Transfer 10, 455-471, 2008 | 52 | 2008 |
| The complexity of adding failsafe fault-tolerance SS Kulkarni, A Ebnenasir Proceedings 22nd International Conference on Distributed Computing Systems …, 2002 | 45 | 2002 |
| Enhancing the fault-tolerance of nonmasking programs SS Kulkarni, A Ebnenasir 23rd International Conference on Distributed Computing Systems, 2003 …, 2003 | 44 | 2003 |
| Automated synthesis of multitolerance SS Kulkarni, A Ebnenasir International Conference on Dependable Systems and Networks, 2004, 209-218, 2004 | 42 | 2004 |
| Automatic synthesis of fault-tolerance A Ebnenasir Michigan State University, 2005 | 36 | 2005 |
| 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 | 35 | 2005 |
| 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 | 32 | 2009 |
| Revising UNITY programs: Possibilities and limitations A Ebnenasir, SS Kulkarni, B Bonakdarpour International Conference on Principles of Distributed Systems, 275-290, 2005 | 29 | 2005 |
| UPC-SPIN: A framework for the model checking of UPC programs A Ebnenasir Proceedings of fifth conference on partitioned global address space …, 2011 | 23 | 2011 |
| 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 | 22 | 2012 |
| A lightweight method for automated design of convergence A Ebnenasir, A Farahat 2011 IEEE International Parallel & Distributed Processing Symposium, 219-230, 2011 | 20 | 2011 |
| Designing run-time fault-tolerance using dynamic updates A Ebnenasir International Workshop on Software Engineering for Adaptive and Self …, 2007 | 19 | 2007 |
| On the complexity of adding convergence A Klinkhamer, A Ebnenasir Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013 | 18 | 2013 |
| Modular grammatical evolution for the generation of artificial neural networks K Soltanian, A Ebnenasir, M Afsharchi Evolutionary computation 30 (2), 291-327, 2022 | 17 | 2022 |
| Synthesizing self-stabilization through superposition and backtracking A Klinkhamer, A Ebnenasir Symposium on Self-Stabilizing Systems, 252-267, 2014 | 17 | 2014 |
| Local reasoning for global convergence of parameterized rings A Farahat, A Ebnenasir 2012 IEEE 32nd International Conference on Distributed Computing Systems …, 2012 | 17 | 2012 |
| 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 | 17 | 2007 |
| DiConic addition of failsafe fault-tolerance A Ebnenasir Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 17 | 2007 |
| 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 | 17 | 2006 |
| Synthesizing parameterized self-stabilizing rings with constant-space processes AP Klinkhamer, A Ebnenasir International Conference on Fundamentals of Software Engineering, 100-115, 2017 | 14 | 2017 |
Sandeep KulkarniMichigan State UniversityVerified email at msu.edu
