Fuad Abujarad PhD, MSc

Associate Research Scientist in Emergency Medicine

Research Interests

Automated Model revision, Fault-Tolerance, Formal Methods, Software Engineering, and Distributed Computing, background check systems


Research Summary

Dr. Abujarad is an experienced researcher and practitioner with over 15 years of experience in the research and development in commercial, academic environments.Dr. Abujarad's research interests include Automated Model revision, Fault-Tolerance, Formal Methods, Software Engineering, and Distributed Computing. He co-authored Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks in Guide to Wireless Mesh Networks. He has published and presented widely on automated model revision topics. He is recognized as an expert in the design and development of background check systems. Fuad is the system designer/architect of Michigan’s Workforce Background Check (WBC) project (initially funded by the U.S. Department of Health and Human Services, Medicare/Medicaid; currently funded by the Michigan Department of Community Health). He led the development team for the past 6 years in developing the WBC system for protecting vulnerable adults in long-term care settings in Michigan. The system is the national model for best design practices for background checks.


Selected Publications

  • Reviewed Book Chapters: M. Arumugam, A. Jhumka, F. Abujarad, and S. S. Kulkarni. Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. In Guide to Wireless Mesh Networks, Springer, Editors: Sudip Misra, Subhas Chandra Misra, and Isaac Woungang, ISBN: 978-1-84800-908-0, 2009. (http://www.springer.com/computer/communications/book/978-1-84800-908-0)
  • Fuad Abujarad, and Sandeep S. Kulkarni. Complexity Issues in Automated Model Revision Without Explicit Legitimate State. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 6366, pp. 206-220, September-2010.
  • Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni. Effect of Fairness in Model Checking of Self-stabilizing Programs. International Conference On Principles Of Distributed Systems (OPODIS) .p.p. 135-138, December-2010.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Electronic Notes in Theoretical Computer Science (ENTCS). 5873, pp.3-15, December-2009
  • Fuad Abujarad, Borzoo Bonakdarpour, and Sandeep S. Kulkarni. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. International Workshop on Parallel and Distributed Methods in verifiCation (PDMC), pp. 92-106. November -2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. 28th International Symposium on Reliable Distributed Systems (SRDS), pp. 119-128, September-2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Workshop on Logical Aspects of Fault Tolerance (LAFT), ENTCS 258, pp. 3-15, August-2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Multicore Constraint-Based Automated Stabilization. The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 5873, pp.47-61, November-2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Automated Addition of Fault-Tolerance to SCR Toolset: A case study. The Seventh International Workshop on Assurance in Distributed Systems and Networks (ADSN), in ICDCSW '08: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops,17-20, pp.539 – 544, June-2008.
  • Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Fuad Abujarad. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4838, pp.21-36,November 2007.

Read more...

Edit Profile