Exploring Scalable Parallelization for Edit Distance-Based Motif Search
Qiu, Junqiao, Ebnenasir, Ali
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.03.2023)
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.03.2023)
Get full text
Journal Article
Modular Grammatical Evolution for the Generation of Artificial Neural Networks
Soltanian, Khabat, Ebnenasir, Ali, Afsharchi, Mohsen
Published in Evolutionary computation (01.06.2022)
Published in Evolutionary computation (01.06.2022)
Get full text
Journal Article
Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization
Klinkhamer, Alex, Ebnenasir, Ali
Published in IEEE transactions on parallel and distributed systems (01.11.2016)
Published in IEEE transactions on parallel and distributed systems (01.11.2016)
Get full text
Journal Article
A theory of integrating tamper evidence with stabilization
Hajisheykhi, Reza, Ebnenasir, Ali, Kulkarni, Sandeep S.
Published in Science of computer programming (01.08.2018)
Published in Science of computer programming (01.08.2018)
Get full text
Journal Article
Facilitating the design of fault tolerance in transaction level SystemC programs
Ebnenasir, Ali, Hajisheykhi, Reza, Kulkarni, Sandeep S.
Published in Theoretical computer science (22.07.2013)
Published in Theoretical computer science (22.07.2013)
Get full text
Journal Article
Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables
Get full text
Conference Proceeding
Developing parallel programs: A design-oriented perspective
Ebnenasir, Ali, Beik, Rasoul
Published in International Conference on Software Engineering 2009 (18.05.2009)
Published in International Conference on Software Engineering 2009 (18.05.2009)
Get full text
Journal Article
A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN
NamvariTazehkand, Leila, Ebnenasir, Ali
Published in 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC) (14.05.2024)
Published in 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC) (14.05.2024)
Get full text
Conference Proceeding
On the Hardness of Adding Nonmasking Fault Tolerance
Klinkhamer, Alex, Ebnenasir, Ali
Published in IEEE transactions on dependable and secure computing (01.05.2015)
Published in IEEE transactions on dependable and secure computing (01.05.2015)
Get full text
Journal Article