Thesis Defences

  1. “Formal Analysis of Traffic Conflicts Severity Using Keymaera”, Oumaima Barhoumi, M.A.Sc. Defence, August 10, 2022.
  2. “Formal Probabilistic Risk Assessment using Theorem Proving with Applications in Power Systems”, Mohamed Wagdy Abdelghany, Ph.D. Defence, September 8, 2021.
  3. “UAV-Enabled Wireless Powered Communication Networks”, Saif Najm Eddin, Ph.D. Defence, August 24, 2021.
  4. “On the Improving of Approximate Computing Quality Assurance”, Alain Aoun, M.A.Sc. Defence, May 5, 2021.
  5. “Design of Stochastic Computing Architectures using Integrated Optics”, Hassnaa El-Derhalli, Ph.D. Defence, March 19, 2021.
  6. “Adaptive Approximate Computing for Enhanced Quality Assurance”, Mahmoud Masadeh, Ph.D. Defence, August 6, 2020.
  7. “Dynamic Dependability Analysis using HOL Theorem Proving with Application in Multiprocessor Systems”, Yassmeen Elderhalli, Ph.D. Defence, December 9, 2019.
  8. “Surrogate based Optimization and Verification of Analog and Mixed Signal Circuits”, Ibtissem Seghaier, Ph.D. Defence, April 9, 2018.
  9. “Adaptive Failure-Aware Scheduling for Hadoop”, Mbarka Soualhia, Ph.D. Defence, March 8, 2018.
  10. “Enhancing Variation-aware Analog Circuits Sizing”, Ons Lahiouel, Ph.D. Defence, April 11, 2017.
  11. “Statistical Classification Based Modelling and Estimation of Analog Circuits Failure Probability”, Muhammad Shirjeel Shehzad, M.A.Sc. Defence, December 20, 2016.
  12. “Towards the Design Automation of Quantum Circuits”, Sidi Mohamed Beillahi, M.A.Sc. Defence, June 17, 2016.
  13. “Formalization of Normal Random Variables”, Muhammed Qasim, M.A.Sc. Defence, April 5, 2016.
  14. “Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification”, Khaza Anuarul Hoque, Ph.D. Defence, February 4, 2016.
  15. “Formalization of Continuous Time Markov Chains with Applications in Queuing Theory”, Donia Chaouch, M.A.Sc. Defence, March 11, 2015.
  16. “Formal Analysis of Geometrical Optics using Theorem Proving”, Muhamed Umair Siddique, Ph.D Defence, November 26, 2015
  17. “Formal Analysis of Quantum Optics”, Mohamed Yousri Mahmoud, Ph.D Defence, September 9, 2015
  18. “Linking HOL Light to Mathematica using OpenMath”, Ons Seddiki, M.A.Sc defence, August 22, 2014.
  19. “Formalization of Discrete-time Markov Chains in HOL”, Liya Liu, Ph.D defence, June 18, 2013.
  20. “Verification and Performance Analysis of Time Base Coded Data Protocol”, Selva Ganesh Elangovan, M.A.Sc defence, December 13, 2012.
  21. “Information-Theoretic Analysis using Theorem Proving”, Tarek Mhamdi, Ph.D defence, December 4, 2012.
  22. “On the Verification of a WiMax Design using Symbolic Simulation”, Salim Ismail Al-Akhras, M.A.Sc defence, May 3, 2012.
  23. “Design and Verification of Clock Domain Crossing Interfaces”, Zaid Al-bayati, M.A.Sc defence, April 5, 2012.
  24. “Formal Reliability Analysis using Higher-Order Logic Theorem Proving”, Naeem Abbasi, Ph.D defence, March 28, 2012.
  25. “A Framework for Noise Analysis and Verification of Analog Circuits”, Rajeev Narayanan, Ph.D defence, March 27, 2012.
  26. “Formal Verification of TTEthernet Protocol using PRISM Model Cheker”, Marwan Ammar, M.A.Sc defence, September 13, 2011.
  27. “Identification of Soft-Error at Gate Level”, Ghaith Bany-Hamad, M.A.Sc defence, April 13, 2011.
  28. “A TLM-RTL System Verilog-Based Verification Framework for OCP Design”, Shihua Zhang, M.A.Sc defence, April 6, 2011.
  29. “Integrating SAT with MDG for Efficient Invariant Checking,”, Khaza Anuarul Hoque, M.A.Sc defence, December 8, 2010.
  30. “Ultra Low Energy Communication Protocol for Implantable Wireless Body Sensor Networks”, Fereydouni-Forouzandeh Fariborz, Ph.D defence, September 22 2010.
  31. “Runtime Verification of Analog and Mixed Signal Designs”, Zhiwei Wang, M.A.Sc defence, June 16, 2009.
  32. “Towards the Automated Modelling and Formal Verification of Analog Designs”, William Denman, M.A.Sc defence, April 29, 2009.
  33. “Modeling of Radio Access Application Protocols for Mobile Network Trafic Generation”, Suliman Al Basheir, M.A.Sc defence, December 10, 2008.
  34. “On the Formal Verification of Group Key Security Protocols”, Amjad Gawanmeh, Ph.D defence, September 17, 2008.
  35. “Enhancing Coverage Based Verification using Probability Distribution”, Ahmed Essam Arshed, M.A.Sc defence, September 16, 2008.
  36. “Techniques for the Formal Verification of Analog and Mixed-Signal Designs”, Mohamed Hamed Zaki, Ph.D defence, July 2, 2008.
  37. “The Verification of the MDG Algorithms in HOL Theorem Prover”, Saed Abed, Ph.D defence, June 19, 2008.
  38. “Formal Probabilistic Analysis using Theorem Proving”, Osman Hsasan, Ph.D defence, April 9, 2008.
  39. “Automatic Generation of Transactors in SystemC”, Tareq Hasan Khan, M.A.Sc. defence, August 2007.
  40. “Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm”, Amer Samarah, M.A.Sc. defence, September 2006.
  41. “Watermarking techniques for Intellectual Property Protection in SOC Design”, Amr Talaat Abdel-Hamid, Ph.D. defence, April 2006.
  42. “Towards First-Order Symbolic Trajectory Evaluation using MDGs”, Donglin Li, M.A.Sc. defence, March 2006.
  43. “Design for Verification of a PCI-X Bus Model”, Haja Moinudeen, M.A.Sc. defence, March 2006.
  44. “Formal Analysis and Verification of an OFDM Modem Design”, Abu Nasser Mohammed Abdullah, M.A.Sc. defence, March 2006.
  45. “Watermarking Techniques for Intellectual Property Protection in SOC Design”, by Amr Talaat Abdel-Hamid, Ph.D defence, October 21, 2005.
  46. “A Framework for System Level Verification: The SystemC Case”, by Ali Habibi, Ph.D defence, July 4, 2005.
  47. “FPGA Implementation of Congestion Control Routers in High Speed Networks”, Fariborz Fereydouni-forouzand, M.A.Sc. defence, April 2005.
  48. “Assertion-Based Verification of the Look-Aside Interface “, Asif Iqbal Ahmed, M.A.Sc. defence, April 2005.
  49. “First Order Model Checking of w-Automata using Multiway Decision Graphs”, Fang Wang, Ph.D defence, April 2005.
  50. “Modeling and Verification of DSP designs in HOL”, by Behzad Akbarbour, Ph.D defence, March 29, 2005.
  51. “Custom and Model Based Detection of Deficiencies Related to Java Multithreading”, Jagmit Singh, M.A.Sc. defence, July 2004.
  52. “On the Embedding of Multiway Decision Graphs in HOL”, by Tarek Mhamdi, M.A.Sc. defence, August 2003.
  53. “On the Formal Verification of an Intrusion-Tolerant Group Communications Protocol” Mohamed Layouni, M.A.Sc. defence, August 2003.
  54. “Syntactic Model Reduction for Hardware Verification”, Mohamed Zaki, M.A.Sc. defence, December 2002.
  55. “Interfacing Abstract State Machines with Miltiway Decision Graphs”, Amjad Gawanmeh, M.A.Sc. defence, December 2002.
  56. “A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking”, Rabeb Mizouni, M.A.Sc defence, December 2002.
  57. “Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction”, Hong Peng, Ph.D defence, June, 2002.
  58. “Providing a Formal Linkage Between MDG and HOL Based on a Verified MDG System In cosupervision”, Haiyan Xiong, Ph.D defence, January 2002.
  59. “Coverification of Hardware/Software Systems (Covérification des Systèmes Intégrés)”, Mustafa Azizi, University of Montreal, Ph.D defence, July 2001.
  60. “A Hierarchical Verification of the IEEE-754 Table-Driven Floating-Point Exponential Function using HOL”, Amr Talaat Abdel-Hamid, M.A.Sc. defence, June 2001.
  61. “Modeling and Formal Verification of a Telecom System Block using MDGs “, Mohamed Hasan Zobair, M.A.Sc. defence, December 2000.
  62. “Practical Approaches to Model Checking using FormalCheck “, Leila Barakatain, M.A.Sc. defence, April 2000.
  63. “MAC Architecture for Broadband Satellite Access Systems “, Tallal Osam Elshabrawy, M.A.Sc. defence, April 2000.
  64. “Integration of HOL and MDG for Hardware Verification”, Vijay Kumar Pisini, M.A.Sc. defence, February 2000.
  65. “Modeling and Verification of Embedded Systems using MDGs”, Subhashini Balakrishnan, M.A.Sc. defence, November 1999.
  66. “On the Formal Verification of ATM Switches”, Jianping Lu, M.A.Sc. defence, May 1999.