Ali Ebnenasir

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 27

Top Topics

Dempster Shafer

Image Stabilization

Grammatical Evolution

Parallel And Distributed Computing

Top Venues

IEEE Trans. Software Eng.

Publications

Ali Ebnenasir, Kieran Young
Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy. CoRR (2024)
Leila Namvari Tazeh-Kand, Saied Pashazadeh, Ali Ebnenasir
BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems. CoRR (2024)
Ali Ebnenasir
Specifying and Verifying the Convergence Stairs of the Collatz Program. CoRR (2024)
Junqiao Qiu, Ali Ebnenasir
Exploring Scalable Parallelization for Edit Distance-Based Motif Search. IEEE ACM Trans. Comput. Biol. Bioinform. 20 (2) (2023)
Hassan Mousavi, Ali Ebnenasir, Elham Mahmoudzadeh
Formal Specification, Verification and Repair of Contiki's Scheduler. ACM Trans. Cyber Phys. Syst. 7 (4) (2023)
Ebrahim Fazli, Ali Ebnenasir
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. FSEN (2023)
Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
Modular grammatical evolution for the generation of artificial neural networks: (hot-off-the-press track at GECCO 2022). GECCO Companion (2022)
Ali Ebnenasir
Verification and Synthesis of Responsive Symmetric Uni-Rings. IEEE Trans. Software Eng. 48 (11) (2022)
Ebrahim Fazli, Ali Ebnenasir
TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation. CoRR (2022)
Ali Ebnenasir
Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. FMCAD (2022)
Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
Modular Grammatical Evolution for the Generation of Artificial Neural Networks. Evol. Comput. 30 (2) (2022)
Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
Modular Grammatical Evolution for the Generation of Artificial Neural Networks. CoRR (2022)
Ali Ebnenasir, Alex P. Klinkhamer
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. IEEE Trans. Software Eng. 47 (3) (2021)
Michael Conard, Ali Ebnenasir
A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices. EDCC (2021)
Ali Ebnenasir
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. FMCAD (2019)
Ali Ebnenasir
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. CoRR (2019)
Alex P. Klinkhamer, Ali Ebnenasir
On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. ACM Trans. Comput. Log. 20 (3) (2019)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. 160 (2018)
Alex P. Klinkhamer, Ali Ebnenasir
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. FSEN (2017)
Mohsen Safari, Ali Ebnenasir
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. TTCS (2017)
Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
A framework for verification of SystemC TLM programs with model slicing: a case study. DAC (2016)
Alex P. Klinkhamer, Ali Ebnenasir
Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. IEEE Trans. Parallel Distributed Syst. 27 (11) (2016)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM (2015)
Ali Ebnenasir
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. FSEN (2015)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
A Theory of Integrating Tamper Evidence with Stabilization. FSEN (2015)
Alex P. Klinkhamer, Ali Ebnenasir
On the Hardness of Adding Nonmasking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. 12 (3) (2015)
Ali Ebnenasir, Jean Mayo
Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates. IPDPS Workshops (2015)
Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni
The Complexity of Adding Multitolerance. ACM Trans. Auton. Adapt. Syst. 9 (3) (2014)
Amer Tahat, Ali Ebnenasir
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. LOPSTR (2014)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. SEFM (2014)
Alex P. Klinkhamer, Ali Ebnenasir
Synthesizing Self-stabilization through Superposition and Backtracking. SSS (2014)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Analysis of Permanent Faults in Transaction Level SystemC Models. ICDCS Workshops (2014)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Modeling and analyzing timing faults in transaction level SystemC programs. NoCArc@MICRO (2013)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. SSS (2013)
Alex P. Klinkhamer, Ali Ebnenasir
On the Complexity of Adding Convergence. FSEN (2013)
Ali Ebnenasir
Action-based discovery of satisfying subsets: A distributed method for model correction. Inf. Softw. Technol. 55 (2) (2013)
Alex P. Klinkhamer, Ali Ebnenasir
Verifying Livelock Freedom on Parameterized Rings and Chains. SSS (2013)
Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
Facilitating the design of fault tolerance in transaction level SystemC programs. Theor. Comput. Sci. 496 (2013)
Ali Ebnenasir, Aly Farahat
Swarm Synthesis of Convergence for Symmetric Protocols. EDCC (2012)
Aly Farahat, Ali Ebnenasir
A Lightweight Method for Automated Design of Convergence in Network Protocols. ACM Trans. Auton. Adapt. Syst. 7 (4) (2012)
Aly Farahat, Ali Ebnenasir
Local Reasoning for Global Convergence of Parameterized Rings. ICDCS (2012)
Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN (2012)
Aly Farahat, Ali Ebnenasir
Lightweight Methods for Automated Design of Self-Stabilization. IPDPS Workshops (2011)
Aly Farahat, Ali Ebnenasir
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. SEKE (2011)
Ali Ebnenasir, Sandeep S. Kulkarni
Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. 21 (1) (2011)
Ali Ebnenasir, Aly Farahat
A Lightweight Method for Automated Design of Convergence. IPDPS (2011)
Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni
Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. 4 (1) (2009)
Ali Ebnenasir, Rasoul Beik
Developing parallel programs: A design-oriented perspective. IWMSE@ICSE (2009)
Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
FTSyn: a framework for automatic synthesis of fault-tolerance. Int. J. Softw. Tools Technol. Transf. 10 (5) (2008)
Ali Ebnenasir
Diconic addition of failsafe fault-tolerance. ASE (2007)
Ali Ebnenasir, Betty H. C. Cheng
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE (2007)
Ali Ebnenasir
Designing Run-Time Fault-Tolerance Using Dynamic Updates. SEAMS (2007)
Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE (2006)
Ali Ebnenasir, Betty H. C. Cheng
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS (2006)
Sandeep S. Kulkarni, Ali Ebnenasir
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. 2 (4) (2005)
Sandeep S. Kulkarni, Ali Ebnenasir
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Secur. Comput. 2 (3) (2005)
Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour
Revising UNITY Programs: Possibilities and Limitations. OPODIS (2005)
Sandeep S. Kulkarni, Ali Ebnenasir
Adding Fault-Tolerance Using Pre-synthesized Components. EDCC (2005)
Sandeep S. Kulkarni, Ali Ebnenasir
Automated Synthesis of Multitolerance. DSN (2004)
Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR (2004)
Sandeep S. Kulkarni, Ali Ebnenasir
Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS (2003)
Sandeep S. Kulkarni, Ali Ebnenasir
The Complexity of Adding Failsafe Fault-Tolerance. ICDCS (2002)