The Complexity of Adding Failsafe Fault-Tolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (ICDCS, 2002)

Enhancing The Fault-Tolerance of Nonmasking Programs. - Sandeep S. Kulkarni; Ali Ebnenasir (ICDCS, 2003)

Automated Synthesis of Multitolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (DSN, 2004)

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. - Sandeep S. Kulkarni; Borzoo Bonakdarpour; Ali Ebnenasir (LOPSTR, 2004)

Adding Fault-Tolerance Using Pre-synthesized Components. - Sandeep S. Kulkarni; Ali Ebnenasir (EDCC, 2005)

Revising UNITY Programs: Possibilities and Limitations. - Ali Ebnenasir; Sandeep S. Kulkarni; Borzoo Bonakdarpour (OPODIS, 2005)

Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (IEEE Trans. Dependable Secur. Comput., 2005)

The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (IEEE Trans. Dependable Secur. Comput., 2005)

A Pattern-Based Approach for Modeling and Analyzing Error Recovery. - Ali Ebnenasir; Betty H. C. Cheng (WADS, 2006)

Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. - Ali Ebnenasir; Betty H. C. Cheng; Sascha Konrad (RE, 2006)

Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. - Ali Ebnenasir; Betty H. C. Cheng (HASE, 2007)

Designing Run-Time Fault-Tolerance Using Dynamic Updates. - Ali Ebnenasir (SEAMS, 2007)

Diconic addition of failsafe fault-tolerance. - Ali Ebnenasir (ASE, 2007)

FTSyn: a framework for automatic synthesis of fault-tolerance. - Ali Ebnenasir; Sandeep S. Kulkarni; Anish Arora (Int. J. Softw. Tools Technol. Transf., 2008)

Developing parallel programs: A design-oriented perspective. - Ali Ebnenasir; Rasoul Beik (IWMSE@ICSE, 2009)

Complexity results in revising UNITY programs. - Borzoo Bonakdarpour; Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2009)

A Lightweight Method for Automated Design of Convergence. - Ali Ebnenasir; Aly Farahat (IPDPS, 2011)

Lightweight Methods for Automated Design of Self-Stabilization. - Aly Farahat; Ali Ebnenasir (IPDPS Workshops, 2011)

Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. - Aly Farahat; Ali Ebnenasir (SEKE, 2011)

Feasibility of Stepwise Design of Multitolerant Programs. - Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Softw. Eng. Methodol., 2011)

Swarm Synthesis of Convergence for Symmetric Protocols. - Ali Ebnenasir; Aly Farahat (EDCC, 2012)

Local Reasoning for Global Convergence of Parameterized Rings. - Aly Farahat; Ali Ebnenasir (ICDCS, 2012)

A Lightweight Method for Automated Design of Convergence in Network Protocols. - Aly Farahat; Ali Ebnenasir (ACM Trans. Auton. Adapt. Syst., 2012)

On the Complexity of Adding Convergence. - Alex P. Klinkhamer; Ali Ebnenasir (FSEN, 2013)

Modeling and analyzing timing faults in transaction level SystemC programs. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (NoCArc@MICRO, 2013)

Verifying Livelock Freedom on Parameterized Rings and Chains. - Alex P. Klinkhamer; Ali Ebnenasir (SSS, 2013)

Action-based discovery of satisfying subsets: A distributed method for model correction. - Ali Ebnenasir (Inf. Softw. Technol., 2013)

Facilitating the design of fault tolerance in transaction level SystemC programs. - Ali Ebnenasir; Reza Hajisheykhi; Sandeep S. Kulkarni (Theor. Comput. Sci., 2013)

Analysis of Permanent Faults in Transaction Level SystemC Models. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (ICDCS Workshops, 2014)

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. - Amer Tahat; Ali Ebnenasir (LOPSTR, 2014)

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (SEFM, 2014)

Synthesizing Self-stabilization through Superposition and Backtracking. - Alex P. Klinkhamer; Ali Ebnenasir (SSS, 2014)

The Complexity of Adding Multitolerance. - Jingshu Chen; Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2014)

Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. - Ali Ebnenasir (FSEN, 2015)

Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates. - Ali Ebnenasir; Jean Mayo (IPDPS Workshops, 2015)

UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (NFM, 2015)

On the Hardness of Adding Nonmasking Fault Tolerance. - Alex P. Klinkhamer; Ali Ebnenasir (IEEE Trans. Dependable Secur. Comput., 2015)

A framework for verification of SystemC TLM programs with model slicing: a case study. - Reza Hajisheykhi; Mohammad Roohitavaf; Ali Ebnenasir; Sandeep S. Kulkarni (DAC, 2016)

Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. - Alex P. Klinkhamer; Ali Ebnenasir (IEEE Trans. Parallel Distributed Syst., 2016)

Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. - Alex P. Klinkhamer; Ali Ebnenasir (FSEN, 2017)

Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. - Mohsen Safari; Ali Ebnenasir (TTCS, 2017)

A theory of integrating tamper evidence with stabilization. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (Sci. Comput. Program., 2018)

Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. - Ali Ebnenasir (FMCAD, 2019)

On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. - Alex P. Klinkhamer; Ali Ebnenasir (ACM Trans. Comput. Log., 2019)

A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices. - Michael Conard; Ali Ebnenasir (EDCC, 2021)

Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. - Ali Ebnenasir; Alex P. Klinkhamer (IEEE Trans. Software Eng., 2021)

Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. - Ali Ebnenasir (FMCAD, 2022)

Modular grammatical evolution for the generation of artificial neural networks: (hot-off-the-press track at GECCO 2022). - Khabat Soltanian; Ali Ebnenasir; Mohsen Afsharchi (GECCO Companion, 2022)

TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation. - Ebrahim Fazli; Ali Ebnenasir (CoRR, 2022)

Modular Grammatical Evolution for the Generation of Artificial Neural Networks. - Khabat Soltanian; Ali Ebnenasir; Mohsen Afsharchi (Evol. Comput., 2022)

Verification and Synthesis of Responsive Symmetric Uni-Rings. - Ali Ebnenasir (IEEE Trans. Software Eng., 2022)

TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. - Ebrahim Fazli; Ali Ebnenasir (FSEN, 2023)

Exploring Scalable Parallelization for Edit Distance-Based Motif Search. - Junqiao Qiu; Ali Ebnenasir (IEEE ACM Trans. Comput. Biol. Bioinform., 2023)

Formal Specification, Verification and Repair of Contiki's Scheduler. - Hassan Mousavi; Ali Ebnenasir; Elham Mahmoudzadeh (ACM Trans. Cyber Phys. Syst., 2023)

Generating the Convergence Stairs of the Collatz Program. - Ali Ebnenasir (SSS, 2024)

Exploring consequences of statutory law through lightweight modeling. - Joshua Alele-Beals; Nathan Englehart; Ishaq Kothari; Ali Ebnenasir; Charles R. Wallace (VL/HCC, 2024)

BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems. - Leila Namvari Tazeh-Kand; Saied Pashazadeh; Ali Ebnenasir (CoRR, 2024)

Specifying and Verifying the Convergence Stairs of the Collatz Program. - Ali Ebnenasir (CoRR, 2024)

Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy. - Ali Ebnenasir; Kieran Young (CoRR, 2024)

Distributing Quantum Circuits Using Formal Methods. - Ali Ebnenasir; Kieran Young; Ronald Stempien (FSEN, 2025)

Aggregate-Superpose-Project: A Cognitive Model for Quantum Problem Solving. - Ali Ebnenasir; Charles Wallace 001 (ITiCSE (2), 2025)