Exploring Scalable Parallelization for Edit Distance-Based Motif Search, Junqiao Qiu, Ali Ebnenasir
Michigan Tech Publications

Modular Grammatical Evolution for the Generation of Artificial Neural Networks (Hot-off-the-Press Track at GECCO 2022), Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
Michigan Tech Publications

Modular Grammatical Evolution for the Generation of Artificial Neural Networks, Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
Michigan Tech Publications

A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices, Michael Conard, Ali Ebnenasir
Michigan Tech Publications

A Promela Model for Contiki's Scheduler, Hassan Mousavi, Elham Mahmoudzadeh, Ali Ebnenasir
Michigan Tech Publications

On the verification of livelock-freedom and self-stabilization on parameterized rings, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Topology-specific synthesis of self-stabilizing parameterized systems with constant-space processes, Ali Ebnenasir, Alex Klinkhamer
Michigan Tech Publications

Locality-based relaxation: An efficient method for GPU-based computation of shortest paths, Mohsen Safari, Ali Ebnenasir
Michigan Tech Publications

Synthesizing parameterized self-stabilizing rings with constant-space processes, Alex P. Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

A theory of integrating tamper evidence with stabilization, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

A framework for verification of SystemC TLM programs with model slicing: a case study, Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

Shadow/puppet synthesis: A stepwise method for the design of self-stabilization, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

A theory of integrating tamper evidence with stabilization, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

Incremental realization of safety requirements: Non-determinism vs. modularity, Ali Ebnenasir
Michigan Tech Publications

Fault-tolerant parallel and distributed computing for software engineering undergraduates, Ali Ebnenasir, Jean Mayo
Michigan Tech Publications

UFIT: A tool for modeling faults in UPPAAL timed automata, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols, Amer Tahat, Ali Ebnenasir
Michigan Tech Publications

On the hardness of adding nonmasking fault tolerance, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Synthesizing self-stabilization through superposition and backtracking, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Evaluating the effect of faults in SystemC TLM models using UPPAAL, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

Modeling and analyzing timing faults in transaction level SystemC programs, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

On the complexity of adding convergence, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Verifying livelock freedom on parameterized rings and chains, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Facilitating the design of fault tolerance in transaction level SystemC programs, Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
Michigan Tech Publications

FTSyn: A framework for automatic synthesis of fault-tolerance, Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
Michigan Tech Publications

A pattern-based approach for modeling and analyzing error recovery, Ali Ebnenasir, Betty H.C. Cheng
Michigan Tech Publications