20 citations · 25 across the 6 of their papers we have counts for
7 papers
Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy
Ali Ebnenasir, Kieran Young
This paper presents a novel approach for minimizing the number of teleportations in Distributed Quantum Computing (DQC) using formal methods. Quantum teleportation plays a major ro…
Specifying and Verifying the Convergence Stairs of the Collatz Program
Ali Ebnenasir
This paper presents an algorithmic method that, given a positive integer , generates the -th convergence stair containing all natural numbers from where the Collatz conjectur…
BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems
Leila NamvariTazehkand, Saied Pashazadeh, Ali Ebnenasir
This paper presents an algorithm, called BCM-Broadcast, for the implementation of causal broadcast in distributed mobile systems in the presence of Byzantine failures. The BCM-Broa…
Simulating Quantum Computations on Classical Machines: A Survey
Kieran Young, Marcus Scese, Ali Ebnenasir
We present a comprehensive study of quantum simulation methods and quantum simulators for classical computers. We first study an exhaustive set of 150+ simulators and quantum libra…
TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation
Ebrahim Fazli, Ali Ebnenasir
This paper presents a novel scalable GPU-based method for Test Paths (TPs) and Prime Paths (PPs) Generation, called TPGen, used in structural testing and in test data generation. T…
Modular Grammatical Evolution for the Generation of Artificial Neural Networks
Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
This paper presents a novel method, called Modular Grammatical Evolution (MGE), towards validating the hypothesis that restricting the solution space of NeuroEvolution to modular a…
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties
Ali Ebnenasir
This paper investigates the verification and synthesis of parameterized protocols that satisfy leadsto properties on symmetric unidirectional rings (a.k.a. uni-rings…