| 2026 | ITiCSE | Q-Aware: A Lightweight Crosscutting Track for Preparing Quantum-Aware Software Developers. | Ali Ebnenasir, Grkem Asilioglu, Ruihong Zhang, Stella Otoo, Charles Wallace |
| 2025 | ITiCSE | Aggregate-Superpose-Project: A Cognitive Model for Quantum Problem Solving. | Ali Ebnenasir, Charles Wallace |
| 2025 | MODELS | Model based tools for inquiry into expungement law. | Joshua Alele-Beals, Ali Ebnenasir, Charles Wallace |
| 2025 | QCE | Lower Bounds for the Communication Costs of Distributing Quantum Fourier Transform on Clique Networks. | Ali Ebnenasir |
| 2024 | SSS | Generating the Convergence Stairs of the Collatz Program. | Ali Ebnenasir |
| 2022 | FMCAD | Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. | Ali Ebnenasir |
| 2022 | GECCO | Modular grammatical evolution for the generation of artificial neural networks: (hot-off-the-press track at GECCO 2022). | Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi |
| 2021 | EDCC | A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices. | Michael Conard, Ali Ebnenasir |
| 2019 | FMCAD | Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. | Ali Ebnenasir |
| 2016 | DAC | A framework for verification of SystemC TLM programs with model slicing: a case study. | Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2014 | LOPSTR | A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. | Amer Tahat, Ali Ebnenasir |
| 2014 | SEFM | Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2014 | SSS | Synthesizing Self-stabilization through Superposition and Backtracking. | Alex P. Klinkhamer, Ali Ebnenasir |
| 2013 | MICRO | Modeling and analyzing timing faults in transaction level SystemC programs. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | SSS | Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | SSS | Verifying Livelock Freedom on Parameterized Rings and Chains. | Alex P. Klinkhamer, Ali Ebnenasir |
| 2012 | EDCC | Swarm Synthesis of Convergence for Symmetric Protocols. | Ali Ebnenasir, Aly Farahat |
| 2012 | ICDCN | Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
| 2012 | ICDCS | Local Reasoning for Global Convergence of Parameterized Rings. | Aly Farahat, Ali Ebnenasir |
| 2011 | SEKE | Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. | Aly Farahat, Ali Ebnenasir |
| 2009 | ICSE | Developing parallel programs: A design-oriented perspective. | Ali Ebnenasir, Rasoul Beik |
| 2007 | ICSE | Designing Run-Time Fault-Tolerance Using Dynamic Updates. | Ali Ebnenasir |
| 2006 | ICSE | A Pattern-Based Approach for Modeling and Analyzing Error Recovery. | Ali Ebnenasir, Betty H. C. Cheng |
| 2006 | RE | Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. | Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad |
| 2005 | EDCC | Adding Fault-Tolerance Using Pre-synthesized Components. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2005 | OPODIS | Revising UNITY Programs: Possibilities and Limitations. | Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour |
| 2004 | DSN | Automated Synthesis of Multitolerance. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2004 | LOPSTR | Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir |
| 2003 | ICDCS | Enhancing The Fault-Tolerance of Nonmasking Programs. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2002 | ICDCS | The Complexity of Adding Failsafe Fault-Tolerance. | Sandeep S. Kulkarni, Ali Ebnenasir |