Theses

PHD Theses

1. Mohamed Wagdy Eldesouki Abdelghany, “Formal Probabilistic Risk Assessment using Theorem Proving with Applications in Power Systems“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2021.
2. Saif Najmeddin, “UAV-Enabled Wireless Powered Communication Networks“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2021.
3. Hassnaa El-Derhalli, “Design of Stochastic Computing Architectures using Integrated Optics“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, February 2021.
4. Mahmoud Masadeh, “Adaptive Approximate Computing for Enhanced Quality Assurance“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, August 2020.
5. Yassmeen Elderhalli, “Dynamic Dependability Analysis using HOL Theorem Proving with Application in Multiprocessor Systems“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2019.
6. Ibtissem Seghaier, “Surrogate based Optimization and Verification of Analog and Mixed Signal Circuits“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2018.
7. Mbarka Soualhia, “Adaptive Failure-Aware Scheduling for Hadoop“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, March 2018.
8. Ons Lahiouel, “Enhancing Variation-aware Analog Circuits Sizing“, PhD Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2017.
9. Ghaith Bany Hamad, “Multilevel Modeling, Formal Analysis, and Characterization of Soft Error in Digital Systems“, PhD Thesis, Département de Génie Électrique, École Polytechnique de Montréal and Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2017.
10. Khaza Anuarul Hoque, “Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, February 2016.
11. Muhammad Umair Siddique, “Formal Analysis of Geometrical Optics using Theorem Proving“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2015.
12. Mohamed Yousri Mahmoud, “Formal Analysis of Quantum Optics“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, Sepember 2015.
13. Henda Aridhi, “Enhancing the Behavioral Verification of Analog Circuits using Model Order Reduction“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2015.
14. Maissa Elleuch, “Formal Probabilistic Verification of Wireless Sensor Networks“, PhD Thesis, Ecole Nationale des Ingenieurs de Sfax, Sfax University, Tunisia & Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, February 2015.
15. Liya Liu, “Formalization of Discrete-time Markov Chains in HOL“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, June 2013.
16. Tarek Mhamdi, “Information-Theoretic Analysis using Theorem Proving“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2012.
17. Rajeev Narayanan, “A Framework of Noise Analysis and Verification of Analog Circuits“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, March 2012.
18. 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.
19. 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.
20. 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.
21. Osman Hsasan, “Formal Probabilistic Analysis using Theorem Proving“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2008.
22. 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.
23. 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.
24. 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.
25. Behzad Akbarpour, “Modeling and Verification of DSP Designs in HOL“, PhD Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2005.
26. 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.
27. 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.
28. 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.
29. Tallal Osam Elshabrawy, “MAC Architecture for Broadband Satellite Access Systems“, in cosupervision with Dr. T. LeNgoc, April 2000.

Master’s Theses

30. Oumaima Barhoumi, “Formal Analysis of Traffic Conflicts Severity using KeYmaera“, MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, August 2022.
31. Alain Aoun, “On the Improving of Approximate Computing Quality Assurance“, MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, May 2021.
32. Muhammad Shirjeel Shehzad, “Statistical Classification Based Modelling and Estimation of Analog Circuits Failure Probability“, MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2016.
33. Muhammed Qasim, “Formalization of Normal Random Variables“, MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2016.
34. Sidi Mohamed Beillahi, “Towards the Design Automation of Quantum Circuits“, MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, June 2016.
35. Donia Chaouch, “Formalization of Continuous Time Markov Chains with Applications in Queuing Theory“, MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, March 2015.
36. Ons Seddiki, “Linking HOL Light to Mathematica Using OpenMaths“, MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2013.
37. Paul Winkler, “Automated Generation of Reduced Analog Circuit Models Using SPICE Simulation Traces“, MASc Thesis, University of Applied Science, faculty of Electronics and Information Techniques, Leipzig, Germany, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2013.
38. Ghassen Helali, “Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy“, MASc Thesis, Ecole Nationale des Scienses de l’Informatique, Mannouba, Tunisie, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2013.
39. Salim Al-Akhras, “On the Verification of a WiMax Design using Symbolic Simulation“.MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2012.
40. Ghaith Bany Hamad, “Identification of Soft Error at Gate Level using Formal Model Checking“.MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2011.
41. Anis Souari, “FPGA Implementation of a Frequency Domain Equalizer“.MASc Thesis, Ecole National d’Ingenieurs de Sousse, Sousse, Tunisie, December 2010.
42. 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.
43. 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.
44. 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.
45. EssamArshed Ahmed, “Enhancing Coverage Based Verification using Probability Distribution“. MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2008.
46. Tareq Hasan Khan, “Automatic Generation of Transactors in SystemC“. MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, September 2007.
47. 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.
48. 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.
49. 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.
50. 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.
51. 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.
52. 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.
53. 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.
54. 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.
55. 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.
56. Mohamed Zaki, “Syntactic Model Reduction for Hardware Verification“. MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2003.
57. Amjad Gawanmeh, “Interfacing Abstract State Machines with Miltiway Decision Graphs“. MaSc Thesis, Concordia University, Department of Electrical and Computer Engineering, April 2003.
58. 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.
59. 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.
60. 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.
61. 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.
62. Leila Barakatain, “Practical Approaches to Model Checking using FormalCheck“. MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, April 2000.
63. 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.
64. 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.
65. 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.
66. Jianping Lu, “On the Formal Verification of ATM Switches“. MASc Thesis, Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, May 1999.