Publications

Books

• Verification and Evaluation of Computer and Communication Systems, Springer Verlag, 2017.
• Formal Verification Methods, IGI Global Pub. 2015.

All books…

Journal Papers

• Machine Learning-Based Self-Tunable Design of Approximate Computing; (IEEE Transactions on VLSI 2021)
• A Dynamic and Failure-aware Task Scheduling Framework for Hadoop; (IEEE Transactions on Cloud Computing 2020)

All journal papers…

Conference Papers

• Formalization of RBD-based Cause Consequence Analysis in HOL; (CICM’21)
• OSCAR: An Optical Stochastic Computing AcceleRator for Polynomial Functions; (DATE’20)

All conference papers…

Technical Reports

• Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities (February 2021)
• ETMA: A New Software for Event Tree Analysis with Application to Power Protection (June 2020)

All technical reports…

Theses

• On the Improving of Approximate Computing Quality Assurance (A. Aoun 2021)
• Adaptive Approximate Computing for Enhanced Quality Assurance (M. Masadeh 2020)

All theses…