Events

 

Thesis

 

  • “Formal Analysis of Geometrical Optics using Theorem Proving”, Muhamed Umair Siddique, Concordia University, Ph.D Defence, November 26, 2015
  • “Formal Analysis of Quantum Optics”, Mohamed Yousri Mahmoud, Concordia University, Ph.D Defence, September 9, 2015
  • “Linking HOL Light to Mathematica using OpenMath”, Ons Seddiki, Concordia University, M.A.Sc defence, August 22, 2014.
  • “Formalization of Discrete-time Markov Chains in HOL”, Liya Liu, Concordia University, Ph.D defence, June 18, 2013.
  • “Verification and Performance Analysis of Time Base Coded Data Protocol”, Selva Ganesh Elangovan, Concordia University, M.A.Sc defence, December 13, 2012.
  • “Information-Theoretic Analysis using Theorem Proving”, Tarek Mhamdi, Concordia University, Ph.D defence, December 4, 2012.
  • “On the Verification of a WiMax Design using Symbolic Simulation”, Salim Ismail Al-Akhras, Concordia University, M.A.Sc defence, May 3, 2012.
  • “Design and Verification of Clock Domain Crossing Interfaces”, Zaid Al-bayati, Concordia University, M.A.Sc defence, April 5, 2012.
  • “Formal Reliability Analysis using Higher-Order Logic Theorem Proving”, Naeem Abbasi, Concordia University, Ph.D defence, March 28, 2012.
  • “A Framework for Noise Analysis and Verification of Analog Circuits”, Rajeev Narayanan, Concordia University, Ph.D defence, March 27, 2012.
  • “Formal Verification of TTEthernet Protocol using PRISM Model Cheker”, Marwan Ammar, Concordia University, M.A.Sc defence, September 13, 2011.
  • “Identification of Soft-Error at Gate Level”, Ghaith Bany-Hamad, Concordia University, M.A.Sc defence, April 13, 2011.
  • “A TLM-RTL System Verilog-Based Verification Framework for OCP Design”, Shihua Zhang, Concordia University, M.A.Sc defence, April 6, 2011.
  • “Integrating SAT with MDG for Efficient Invariant Checking,”, Khaza Anuarul Hoque, Concordia University, M.A.Sc defence, December 8, 2010.
  • “Ultra Low Energy Communication Protocol for Implantable Wireless Body Sensor Networks”, Fereydouni-Forouzandeh Fariborz, Concordia University, Ph.D defence, September 22 2010.
  • “Runtime Verification of Analog and Mixed Signal Designs”, Zhiwei Wang, Concordia University, M.A.Sc defence, June 16, 2009.
  • “Towards the Automated Modelling and Formal Verification of Analog Designs”, William Denman, Concordia University, M.A.Sc defence, April 29, 2009.
  • “Modeling of Radio Access Application Protocols for Mobile Network Trafic Generation”, Suliman Al Basheir, Concordia University, M.A.Sc defence, December 10, 2008.
  • “On the Formal Verification of Group Key Security Protocols”, Amjad Gawanmeh, Concordia University, Ph.D defence, September 17, 2008.
  • “Enhancing Coverage Based Verification using Probability Distribution”, Ahmed Essam Arshed, Concordia University, M.A.Sc defence, September 16, 2008.
  • “Techniques for the Formal Verification of Analog and Mixed-Signal Designs”, Mohamed Hamed Zaki, Concordia University, Ph.D defence, July 2, 2008.
  • “The Verification of the MDG Algorithms in HOL Theorem Prover”, Saed Abed, Concordia University, Ph.D defence, June 19, 2008.
  • “Formal Probabilistic Analysis using Theorem Proving”, Osman Hsasan, Concordia University, Ph.D defence, April 9, 2008.
  • “Automatic Generation of Transactors in SystemC”, Tareq Hasan Khan, Concordia University, M.A.Sc. defence, August 2007.
  • “Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm”, Amer Samarah, Concordia University, M.A.Sc. defence, September 2006.
  • “Watermarking techniques for Intellectual Property Protection in SOC Design”, Amr Talaat Abdel-Hamid, Concordia University, Ph.D. defence, April 2006.
  • “Towards First-Order Symbolic Trajectory Evaluation using MDGs”, Donglin Li, Concordia University, M.A.Sc. defence, March 2006.
  • “Design for Verification of a PCI-X Bus Model”, Haja Moinudeen, Concordia University, M.A.Sc. defence, March 2006.
  • “Formal Analysis and Verification of an OFDM Modem Design”, Abu Nasser Mohammed Abdullah, Concordia University, M.A.Sc. defence, March 2006.
  • “Watermarking Techniques for Intellectual Property Protection in SOC Design”, by Amr Talaat Abdel-Hamid, Concordia University, Ph.D defence, October 21, 2005.
  • “A Framework for System Level Verification: The SystemC Case”, by Ali Habibi, Concordia University, Ph.D defence, July 4, 2005.
  • “FPGA Implementation of Congestion Control Routers in High Speed Networks”, Fariborz Fereydouni-forouzand, Concordia University, M.A.Sc. defence, April 2005.
  • “Assertion-Based Verification of the Look-Aside Interface “, Asif Iqbal Ahmed, Concordia University, M.A.Sc. defence, April 2005.
  • “First Order Model Checking of w-Automata using Multiway Decision Graphs”, Fang Wang, Concordia University, Ph.D defence, April 2005.
  • “Modeling and Verification of DSP designs in HOL”, by Behzad Akbarbour, Concordia University, Ph.D defence, March 29, 2005.
  • “Custom and Model Based Detection of Deficiencies Related to Java Multithreading”, Jagmit Singh, Concordia University, M.A.Sc. defence, July 2004.
  • “On the Embedding of Multiway Decision Graphs in HOL”, by Tarek Mhamdi, M.A.Sc. defence, August 2003.
  • “On the Formal Verification of an Intrusion-Tolerant Group Communications Protocol” Mohamed Layouni, Concordia University, M.A.Sc. defence, August 2003.
  • “Syntactic Model Reduction for Hardware Verification”, Mohamed Zaki, Concordia University, M.A.Sc. defence, December 2002.
  • “Interfacing Abstract State Machines with Miltiway Decision Graphs”, Amjad Gawanmeh, Concordia University, M.A.Sc. defence, December 2002.
  • “A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking”, Rabeb Mizouni, Concordia University, M.A.Sc defence, December 2002.
  • “Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction”, Hong Peng, Ph.D defence, Concordia University, June, 2002.
  • “Providing a Formal Linkage Between MDG and HOL Based on a Verified MDG System In cosupervision”, Haiyan Xiong, Concordia University, Ph.D defence, January 2002.
  • “Coverification of Hardware/Software Systems (Covérification des Systèmes Intégrés)”, Mustafa Azizi, University of Montreal, Ph.D defence, July 2001.
  • “A Hierarchical Verification of the IEEE-754 Table-Driven Floating-Point Exponential Function using HOL”, Amr Talaat Abdel-Hamid, Concordia University, M.A.Sc. defence, June 2001.
  • “Modeling and Formal Verification of a Telecom System Block using MDGs “, Mohamed Hasan Zobair, M.A.Sc. defence, Concordia University, December 2000.
  • “Practical Approaches to Model Checking using FormalCheck “, Leila Barakatain, Concordia University, M.A.Sc. defence, April 2000.
  • “MAC Architecture for Broadband Satellite Access Systems “, Tallal Osam Elshabrawy, Concordia University, M.A.Sc. defence, April 2000.
  • “Integration of HOL and MDG for Hardware Verification”, Vijay Kumar Pisini, Concordia University, M.A.Sc. defence, February 2000.
  • “Modeling and Verification of Embedded Systems using MDGs”, Subhashini Balakrishnan, Concordia University, M.A.Sc. defence, November 1999.
  • “On the Formal Verification of ATM Switches”, Jianping Lu, Concordia University, M.A.Sc. defence, May 1999.

  •  
     

    Concordia University