Articles with public access mandates - Ali EbnenasirLearn more
Not available anywhere: 1
Exploring scalable parallelization for edit Distance-based Motif Search
J Qiu, A Ebnenasir
IEEE/ACM Transactions on Computational Biology and Bioinformatics 20 (2 …, 2022
Mandates: US National Science Foundation
Available somewhere: 4
Shadow/puppet synthesis: A stepwise method for the design of self-stabilization
A Klinkhamer, A Ebnenasir
IEEE Transactions on Parallel and Distributed Systems 27 (11), 3338-3350, 2016
Mandates: US National Science Foundation
Topology-specific synthesis of self-stabilizing parameterized systems with constant-space processes
A Ebnenasir, AP Klinkhamer
IEEE Transactions on Software Engineering 47 (3), 614-629, 2019
Mandates: US National Science Foundation
A framework for verification of SystemC TLM programs with model slicing: A case study
R Hajisheykhi, M Roohitavaf, A Ebnenasir, S Kulkarni
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
Mandates: US National Science Foundation
A theory of integrating tamper evidence with stabilization
R Hajisheykhi, A Ebnenasir, SS Kulkarni
Science of Computer Programming 160, 93-114, 2018
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program