Ali Ebnenasir's Publications
2019:
·
Ali Ebnenasir, Verification
and Synthesis of Symmetric Uni-Rings for Leads-To Properties, Formal Methods in
Computer-Aided Design (FMCAD),
2019 (Accepted).
·
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]
2018:
·
Reza Hajisheykhi, Ali Ebnenasir and Sandeep S. Kulkarni, A
Theory of Integrating Tamper Evidence with Stabilization, ELSEVIER Science of Computer Programming (SCP), Volume 160, Issue 1, pp. 93-114, 2018.[PDF] [bib]
2017:
·
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), pp 41-56, 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), pp. 100--115, 2017.<[PDF] [bib]
2016:
·
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.<[PDF] [bib]
·
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, Proceedings of the
53rd Annual Design Automation Conference (DAC), Austin, TX, USA, pp. 22:1-22:6,
2016.
2015:
·
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. <[PDF] [bib]
·
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.
2014:
·
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. <[PDF]
[bib]
·
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.
2013:
·
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)
·
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,, 2013. <[PDF] [bib]
·
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.
2012:
o Charles Wallace, Steve Seidel and Ali Ebnenasir, "A
Programmer-Friendly UPC Memory Model Specification", 6th Conference on
Partitioned Global Address Space Programming Models, Santa Barbara, California,
USA, October 2012.
o Aly Farahat and Ali Ebnenasir,
"A Lightweight Method for Automated Design of Convergence in Network
Protocols", ACM Transactions on Autonomous and Adaptive Systems, 2012.(In Press)
o Aly Farahat and Ali Ebnenasir,
"Local Reasoning for Global Convergence in Parameterized Rings",
Proceedings of the 32nd International Conference on Distributed Computing
Systems (ICDCS), pp. 91-105, 2012.
o Ali Ebnenasir and Aly Farahat,
"Swarm Synthesis of Convergence for Symmetric Protocols",
Proceedings of the Ninth European Dependable Computing Conference (EDCC), pp.
496-505, 2012.
o 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), pp. 91-105, 2012.
2011:
o Ali Ebnenasir and Sandeep S. Kulkarni, “Feasibility of
Stepwise Design of Multitolerant Programss”,
ACM Transactions on Software Engineering and Methodology (TOSEM), 21(1):1--49,
December 2011. <[PDF] [bib]
o Ali Ebnenasir, “UPC-SPIN: A Framework for the Model
Checking of UPC Programs”, In the Proceedings of the Fifth Partitioned
Global Address Space Conference (PGAS), Galveston Island, Texas, 2011. <[PDF] [bib]
o 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]
o Aly Farahat and Ali Ebnenasir,
"Lightweight Methods for Automated Design of Self-Stabilization",
PhD forum of the 25th IEEE International Parallel and Distributed Processing
Symposium (IPDPS), Anchorage Alaska - USA, 2011.
o 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]
2010:
o 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]
2009:
o 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]
o 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]
2008:
o 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]
o 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]
o 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]
o 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]
2007:
o 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]
o 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]
o 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]
o 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]
o 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]
o Ali Ebnenasir, "DiConic
Addition of Failsafe Fault-Tolerance". Technical Report CS-TR-07-03,
Michigan Technological University, Houghton Michigan 49931, USA, June 2007.
2006:
o 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]
o 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]
o 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]
2005:
o 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]
o 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]
o Ali Ebnenasir, "Automatic Synthesis of
Fault-Tolerance", Michigan State University, East Lansing Michigan,
USA – May 2005. [PDF]
[bib]
o 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]
o 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]
o 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]
2004:
o 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]
o Sandeep S. Kulkarni and Borzoo Bonakdarpour andAli 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]
o 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]
o 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]
o Sandeep S. Kulkarni and Borzoo Bonakdarpour andAli 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]
o Ali Ebnenasirand Sandeep S. Kulkarni, "Automatic Addition of
Liveness". Technical Report MSU-CSE-04-22, Michigan State University,
East Lansing, Michigan, June 2004. [PDF]
[bib]
2003:
o 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]
o 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]
2002:
o 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]
1997:
o 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.