Publications
Books
- Verification and Evaluation of Computer and Communication Systems, Springer Verlag, 2017.
- Formal Verification Methods, IGI Global Pub. 2015.
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)
Conference Papers
- Formalization of RBD-based Cause Consequence Analysis in HOL; (CICM’21)
- OSCAR: An Optical Stochastic Computing AcceleRator for Polynomial Functions; (DATE’20)
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)
Theses
- On the Improving of Approximate Computing Quality Assurance (A. Aoun 2021)
- Adaptive Approximate Computing for Enhanced Quality Assurance (M. Masadeh 2020)
