Books:

  1. M. Masadeh*, O. Hasan, S. Tahar: Adaptive Approximate Accelerators with Controlled Quality Using Machine Learning; In: W. Liu, J. Han, F. Lombardi (Eds.), Design and Applications of Emerging Computer Systems , pp. 501-529, Springer, 2024. (ISBN: 978-3-031-42477-9)
  2. Y. Li and S. Tahar (Eds.): Formal Methods and Software Engineering; Volume 14308 of Lecture Notes in Computer Science, Springer-Verlag, 2023. (ISBN: 978-981-99-7583-9) [328 pages]
  3. M. Abdelghany and S. Tahar: Reliability Analysis of Smart Grids Using Formal Methods; In: M. Fathi et al. (Eds.), Handbook of Smart Energy Systems, pp. 1-15, Springer, 2022. (ISBN: 978-3-030-72322-4)
  4. W. Ahmad, O. Hasan and S. Tahar: Formal Reliability Analysis of Railway Systems Using Theorem Proving Technique; In: Q. Mahboob and E. Zio (Eds.), Handbook of RAMS in Railway Systems Theory and Practice, pp. 651-668, CRC Press, 2018. (ISBN: 978-1-138-03512-6)
  5. K. Barkaoui, H. Boucheneb, A. Mili, and S. Tahar (Eds.): Verification and Evaluation of Computer and Communication Systems, Vol.10466 of Lecture Notes in Computer Science, Springer Verlag, 2017. (ISBN: 978-3-319-66176-6) [203 pages]
  6. A. Mohamed, M.S. Hamdi and S. Tahar:Using Computational Intelligence for the Safety Assessment of Oil and Gas Pipelines: A Survey; In:W. Pedrycz and S.-M. Chen (Eds.), Data Science and Big Data: An Environment of Computational Intelligence,, vol. 24 of Studies in Big Data, pp 189-207, Springer, 2017. (ISBN 978-3-319-53474-9)
  7. A. Mohamed, M.S. Hamdi and S. Tahar: A Hybrid Intelligent Approach for Metal-Loss Defect Depth Prediction in Oil and Gas Pipelines; In: Y. Bi, S. Kapoor, and R. Bhatia (Eds.), Intelligent Systems and Applications, vol. 650 of Studies in Computational Intelligence, pp. 1-18, Springer, 2016. (ISBN: 978-3-319-33384-7).
  8. U. Siddique and S. Tahar: On the Formalization of Cardinal Points of Optical Systems; In: T. Bouabana-Tebibel and S.H. Rubin (Eds.), Formalisms for Reuse and Systems Integration, vol. 36 of Advances in Intelligent Systems and Computing, pp. 79-102, Springer, 2016. (ISBN 978-3-319-16576-9).
  9. M. H. Zaki, O. Hasan, S. Tahar, and G. Al-Sammane: Framework for Formally Verifying Analog and Mixed Signal Designs; In: M. Fakhfakh, E. Tlelo-Cuautle, P. Siarry (Eds.), Computational Intelligence in Electronic Design, pp. 115-145, Springer, 2015. (ISBN 978-3-319-19872-9)
  10. O. Hasan and S. Tahar: Formal Verification Methods; In: M. Khosrow-Pour (Ed.), Encyclopedia of Information Science and Technology, pp. 7162-7170, IGI Global Pub., Germany, 2015. (ISBN: 9781466658882)
  11. N. Abbasi, O. Hasan and S. Tahar: Formal Reliability Analysis of Engineering Systems, In: A. Amine, O. Ait Mohamed, B. Benatallah (Eds.), Network Security Technologies: Design and Applications, pp. 224-238, IGI Global Pub., Germany, 2014. (ISBN: 9781466647893)
  12. O. Hasan and S. Tahar: Formalized Probability Theory and Applications using Theorem Proving, IGI Global Pub., Germany, 2015. (ISBN: 9781466683150) [300 pages]
  13. A. Amine, O. Ait Mohamed and B. Benatallah: Network Security Technologies: Design and Applications, IGI Global Pub., Germany, 2014.(ISBN: 9781466647893)
  14. A. Abdel-Hamid and S. Tahar: Watermarking Techniques for Intellectual Property Protection in SOC; Lambert Academic Publishing, 2012. (ISBN: 978-3-8433-9068-2) [128 pages].
  15. O. Hasan and S. Tahar: Formal Analysis of Real-Time Systems, M. Khalgui and H.M. Hanisch (Eds.), Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, pp. 342-375, IGI Global Pub., Germany, 2011. (ISBN:13-9781609600860).
  16. S. Abed: The Verification of MDG Algorithms in the HOL Theorem Prover,LAP Lambert Academic Publishing , 2009. ISBN: 978-3838317380 [160 pages].
  17. O. Hasan and S. Tahar: Probabilistic Analysis using Theorem Proving – A Higher-Order-Logic Based Approach,VDM Verlag Dr. Mueller e.K., November, 2008. ISBN: 978-3639094725 [164 pages].
  18. O. Ait Mohamed, César A. Muñoz, and S.Tahar (Eds.): Theorem Proving in Higher Order Logics,Vol.5170 of Lecture Notes in Computer Science, Springer-Verlag, 2008. (ISBN: 3-540-71065-5) [321 pages].
  19. V. A. Carreño, C. A. Muñoz, and S. Tahar (Eds.): Theorem Proving in Higher Order Logics,Vol.2410 of Lecture Notes in Computer Science, Springer-Verlag, 2002. (ISBN: 3-540-44039-9) [349 pages].
  20. E. Cerny, F. Corella, M. Langevin, X. Song, S. Tahar, Z. Zhou: Automated Verification with Abstract State Machines Using Multiway Decision Graphs,In: Kropf, T. (Ed.), Formal Hardware Verification: Methods and Systems in Comparison, Lecture Notes in Computer Science 1287, State-of-the-Art Survey, Springer Verlag, 1997, pp. 79-113.