☰

Fuad Abujarad, Ph.D.

Affiliations: 
2010 Michigan State University, East Lansing, MI 
Area:
Computer Science, Electronics and Electrical Engineering, Applied Mathematics
Google:
"Fuad Abujarad"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Sandeep Kulkarni grad student 2010 Michigan State
 (Towards automated model revision for fault-tolerant systems.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Abujarad F, Lin Y, Bonakdarpour B, et al. (2015) The complexity of automated addition of fault-tolerance without explicit legitimate states Distributed Computing. 28: 201-219
Chen J, Abujarad F, Kulkarni S. (2013) Towards scalable model checking of self-stabilizing programs Journal of Parallel and Distributed Computing. 73: 400-410
Bonakdarpour B, Kulkarni SS, Abujarad F. (2012) Symbolic synthesis of masking fault-tolerant distributed programs Distributed Computing. 25: 83-108
Abujarad F, Kulkarni SS. (2011) Automated constraint-based addition of nonmasking and stabilizing fault-tolerance Theoretical Computer Science. 412: 4228-4246
Chen J, Abujarad F, Kulkarni S. (2010) Effect of fairness in model checking of self-stabilizing programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6490: 135-138
Kulkarni SS, Abujarad F. (2009) Constraint based automated synthesis of nonmasking and stabilizing fault-tolerance Proceedings of the Ieee Symposium On Reliable Distributed Systems. 119-128
Abujarad F, Kulkarni SS. (2009) Weakest Invariant Generation for Automated Addition of Fault-Tolerance Electronic Notes in Theoretical Computer Science. 258: 3-15
Abujarad F, Kulkarni SS. (2009) Multicore constraint-based automated stabilization Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5873: 47-61
See more...