Theses

PHD Theses

1. Naeem Abbasi, "Formal Reliability Analysis using Higher-Order Logic Theorem Proving", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, March 2012.
2. Amjad Gawanmeh, "On the Formal Verification of Group Key security Protocols", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2008.
3. Mohamed Hamed Zaki Hussein, "Techniques for the Formal Verification of Analog and Mixed- Signal Designs", PhD Department of Electrical and Computer Engineering, Concordia University, September 2008.
4. Osman Hsasan, "Formal Probabilistic Analysis using Theorem Proving", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2008.
5. Amr Talaat Abdel-Hamid, "Watermarking techniques for Intellectual Property Protection in SOC Design", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, in cosupervision with Dr. E.M. Aboulhamid (University of Montreal), April 2006.
6. Ali Habibi, "A Framework for System Level Verification, The SystemC Case", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, November 2005.
7. Fang Wang, "First Order Model Checking of w-Automata using Multiway Decision Graphs", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2005.
8. Behzad Akbarpour, "Modeling and Verification of DSP Designs in HOL", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2005.
9. Hong Peng, "Improving Compositional Verification Environment Synthesis and Syntactic Model Reduction", PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, Fall 2002.
10. Haiyan Xiong, "Providing a Formal Linkage Between MDG and HOL Based on a Verified MDG System", PhD Computer Science, in cosupervision with Dr. P. Curzon (Middlesex University, UK), January 2002.
11. Mustafa Azizi, "Coverification of Hardware/Software Systems (Covérification des Systèmes Intégrés)", PhD Computer Science, University of Montreal, in cosupervision with Dr. E.M. Aboulhamid (University of Montreal), July 2001.
12. Tallal Osam Elshabrawy, "MAC Architecture for Broadband Satellite Access Systems", in cosupervision with Dr. T. LeNgoc, April 2000.

Master’s Theses

13. Anis Souari, "FPGA Implementation of a Frequency Domain Equalizer".MASc Thesis, Ecole National d’Ingenieurs de Sousse, Sousse, Tunisie, December 2010.
14. Zhiwei Wang, "Runtime Verification of Analog and Mixed Signal Designs".MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, June 2009.
15. William Denman, "Towards the Automated Modelling and Formal Verification of Analog Designs".MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2009.
16. Suliman Al-Basheir"Modeling of Radio Access Application Protocols for Mobile Network Trafic Generation". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2008.
17. EssamArshed Ahmed, "Enhancing Coverage Based Verification using Probability Distribution". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2008.
18. Tareq Hasan Khan, "Automatic Generation of Transactors in SystemC". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2007.
19. Amer Samarah, "Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2006.
20. Donglin Li , "Towards First-Order Symbolic Trajectory Evaluation using MDGs". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, March 2006.
21. Haja Moinudeen, "Design for Verification of a PCI-X Bus Model". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, February 2006.
22. Abu Nasser Mohammed Abdullah, "Formal Analysis and Verification of an OFDM Modem Design". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, February 2006.
23. Asif Iqbal Ahmed, "Assertion-Based Verification of the Look-Aside Interface". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2005.
24. Fariborz Fereydouni-forouzand, "FPGA Implementation of Congestion Control Routers in High Speed Networks ". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2005.
25. Jagmit Singh, "Custom and Model Based Detection of Deficiencies Related to Java Multithreading". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, July 2004.
26. Tarek El-Mhamdi, "On the Embedding of Multiway Decision Graphs in HOL". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, August 2003.
27. Mohamed Layouni, "On the Formal Verification of an Intrusion-Tolerant Group Communications Protocol". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, August 2003.
28. Mohamed Zaki, "Syntactic Model Reduction for Hardware Verification". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2003.
29. Amjad Gawanmeh, "Interfacing Abstract State Machines with Miltiway Decision Graphs". MaSc Thesis, Concordia University, Department of Electrical and Computer Engineering, April 2003.
30. Rabeb Mizouni, "A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, Spring 2003.
31. Amr Talaat Abdel-Hamid, "A Hierarchical Verification of the IEEE-754 Table-Driven Floating-Point Exponential Function using HOL". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, June 2001.
32. Ali Hbibi, "Formal Verification of the Digital Signal Processor Family ADSP-2100 of Analog Devices", DEA (M.A.Sc) Thesis, Ecole National d’Ingenieurs de Tunis, Mai 2001.
33. Mohamed Hasan Zobair, "Modeling and Formal Verification of a Telecom System Block using MDGs". M.A.Sc Thesis, Concordia University, Department of Electrical and Computer Engineering, December 2000.
34. Leila Barakatain, "Practical Approaches to Model Checking using FormalCheck". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2000.
35. Tallal Osam Elshabrawy, "MAC Architecture for Broadband Satellite Access Systems". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2000.
36. Vijay Kumar Pisini, "Integration of HOL and MDG for Hardware Verification". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, February 2000.
37. Subhashini Balakrishnan, "Modeling and Verification of Embedded Systems using MDGs". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, November 1999.
38. Jianping Lu, "On the Formal Verification of ATM Switches". MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, May 1999.