Publications

 

Books

 

  1. 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]
  2. 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)
  3. 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).
  4. 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).
  5. 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)
  6. 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)
  7. 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)
  8. O. Hasan and S. Tahar: Formalized Probability Theory and Applications using Theorem Proving, IGI Global Pub., Germany, 2015. (ISBN: 9781466683150) [300 pages]
  9. A. Amine, O. Ait Mohamed and B. Benatallah: Network Security Technologies: Design and Applications, IGI Global Pub., Germany, 2014.(ISBN: 9781466647893)
  10. 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].
  11. 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).
  12. S. Abed: The Verification of MDG Algorithms in the HOL Theorem Prover,LAP Lambert Academic Publishing , 2009. ISBN: 978-3838317380 [160 pages].
  13. 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].
  14. 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].
  15. 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].
  16. 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.

 
 

Concordia University