☰

Ali Ebnenasir, Ph.D. - Publications

Affiliations: 
2005 Michigan State University, East Lansing, MI 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

33 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Klinkhamer A, Ebnenasir A. On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings Acm Transactions On Computational Logic. 20: 16. DOI: 10.1145/3326456  0.308
2019 Ebnenasir A, Klinkhamer A. Topology-specific synthesis of self-stabilizing parameterized systems with constant-space processes Ieee Transactions On Software Engineering. 1-1. DOI: 10.1109/Tse.2019.2901485  0.309
2016 Hajisheykhi R, Roohitavaf M, Ebnenasir A, Kulkarni S. A framework for verification of SystemC TLM programs with model slicing: A case study Proceedings - Design Automation Conference. 5. DOI: 10.1145/2897937.2897961  0.46
2016 Klinkhamer A, Ebnenasir A. Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization Ieee Transactions On Parallel and Distributed Systems. 27: 3338-3350. DOI: 10.1109/Tpds.2016.2536023  0.335
2015 Klinkhamer A, Ebnenasir A. On the hardness of adding nonmasking fault tolerance Ieee Transactions On Dependable and Secure Computing. 12: 338-350. DOI: 10.1109/Tdsc.2014.2315191  0.671
2015 Ebnenasir A, Mayo J. Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates Proceedings - 2015 Ieee 29th International Parallel and Distributed Processing Symposium Workshops, Ipdpsw 2015. 788-794. DOI: 10.1109/IPDPSW.2015.80  0.385
2015 Hajisheykhi R, Ebnenasir A, Kulkarni SS. A theory of integrating tamper evidence with stabilization Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9392: 84-99. DOI: 10.1016/J.Scico.2017.03.001  0.398
2015 Ebnenasir A. Incremental realization of safety requirements: Non-determinism vs. modularity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9392: 159-175. DOI: 10.1007/978-3-319-24644-4_11  0.321
2015 Hajisheykhi R, Ebnenasir A, Kulkarni SS. UFIT: A tool for modeling faults in UPPAAL timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9058: 429-435. DOI: 10.1007/978-3-319-17524-9_32  0.548
2014 Chen J, Ebnenasir A, Kulkarni S. The complexity of adding multitolerance Acm Transactions On Autonomous and Adaptive Systems. 9. DOI: 10.1145/2629664  0.52
2014 Hajisheykhi R, Ebnenasir A, Kulkarni SS. Evaluating the effect of faults in SystemC TLM models using UPPAAL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8702: 175-189. DOI: 10.1007/978-3-319-10431-7_13  0.56
2013 Ebnenasir A, Hajisheykhi R, Kulkarni SS. Facilitating the design of fault tolerance in transaction level SystemC programs Theoretical Computer Science. 496: 50-68. DOI: 10.1016/J.Tcs.2012.11.010  0.624
2013 Ebnenasir A. Action-based discovery of satisfying subsets: A distributed method for model correction Information and Software Technology. 55: 201-214. DOI: 10.1016/J.Infsof.2012.07.018  0.312
2013 Klinkhamer A, Ebnenasir A. On the complexity of adding convergence Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8161: 17-33. DOI: 10.1007/978-3-642-40213-5_2  0.53
2013 Hajisheykhi R, Ebnenasir A, Kulkarni SS. Modeling and analyzing timing faults in transaction level SystemC programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8255: 344-347. DOI: 10.1007/978-3-319-03089-0_25  0.564
2012 Farahat A, Ebnenasir A. A lightweight method for automated design of convergence in network protocols Acm Transactions On Autonomous and Adaptive Systems. 7. DOI: 10.1145/2382570.2382574  0.379
2011 Ebnenasir A, Kulkarni SS. Feasibility of stepwise design of multitolerant programs Acm Transactions On Software Engineering and Methodology. 21. DOI: 10.1145/2063239.2063240  0.654
2011 Farahat A, Ebnenasir A. Lightweight methods for automated design of self-stabilization Ieee International Symposium On Parallel and Distributed Processing Workshops and Phd Forum. 2014-2017. DOI: 10.1109/IPDPS.2011.364  0.462
2011 Farahat A, Ebnenasir A. Exploiting computational redundancy for efficient recovery from soft errors in sensor nodes Seke 2011 - Proceedings of the 23rd International Conference On Software Engineering and Knowledge Engineering. 619-624.  0.398
2009 Bonakdarpour B, Ebnenasir A, Kulkarni SS. Complexity results in revising UNITY programs Acm Transactions On Autonomous and Adaptive Systems. 4. DOI: 10.1145/1462187.1462192  0.406
2008 Ebnenasir A, Kulkarni SS, Arora A. FTSyn: A framework for automatic synthesis of fault-tolerance International Journal On Software Tools For Technology Transfer. 10: 455-471. DOI: 10.1007/S10009-008-0083-0  0.656
2007 Ebnenasir A. DiConic addition of failsafe fault-tolerance Ase'07 - 2007 Acm/Ieee International Conference On Automated Software Engineering. 44-53. DOI: 10.1145/1321631.1321641  0.627
2007 Ebnenasir A. Designing run-time fault-tolerance using dynamic updates Proceedings - Icse 2007 Workshops: International Workshop On Software Engineering For Adaptive and Self-Managing Systems, Seams 2007. DOI: 10.1109/SEAMS.2007.5  0.609
2007 Ebnenasir A, Cheng BHC. Pattern-based modeling and analysis of failsafe fault-tolerance in UML Proceedings of Ieee International Symposium On High Assurance Systems Engineering. 275-282. DOI: 10.1109/HASE.2007.61  0.509
2006 Ebnenasir A, Cheng BHC, Konrad S. Use case-based modeling and analysis of failsafe fault-tolerance Proceedings of the Ieee International Conference On Requirements Engineering. 336-337. DOI: 10.1109/RE.2006.70  0.54
2006 Ebnenasir A, Kulkarni SS, Bonakdarpour B. Revising UNITY programs: Possibilities and limitations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3974: 275-290. DOI: 10.1007/11795490_22  0.356
2005 Kulkarni SS, Ebnenasir A. The effect of the specification model on the complexity of adding masking fault tolerance Ieee Transactions On Dependable and Secure Computing. 2: 348-355. DOI: 10.1109/Tdsc.2005.52  0.596
2005 Kulkarni SS, Ebnenasir A. Complexity issues in automated synthesis of failsafe fault-tolerance Ieee Transactions On Dependable and Secure Computing. 2: 201-215. DOI: 10.1109/Tdsc.2005.29  0.66
2005 Kulkarni SS, Ebnenasir A. Adding fault-tolerance using pre-synthesized components Lecture Notes in Computer Science. 3463: 72-90.  0.613
2005 Kulkarni SS, Bonakdarpour B, Ebnenasir A. Mechanical verification of automatic synthesis of fault-tolerant programs Lecture Notes in Computer Science. 3573: 36-52.  0.585
2004 Kulkarni SS, Ebnenasir A. Automated synthesis of multitolerance Proceedings of the International Conference On Dependable Systems and Networks. 209-218.  0.623
2003 Kulkarni SS, Ebnenasir A. Enhancing the fault-tolerance of nonmasking programs Proceedings - International Conference On Distributed Computing Systems. 441-449.  0.619
2002 Kulkarni SS, Ebnenasir A. The complexity of adding failsafe fault-tolerance Proceedings - International Conference On Distributed Computing Systems. 337-344.  0.648
Show low-probability matches.