Invited Talks - Hardware Verification Group

Invited Talks

  1. “Recent Trends in AI Hardware and Software” by Prof. Abdallah Kassem, Notre-Dame University Louaize, Lebanon, June 11, 2024.
  2. “Program Invariants as Semantic Unification: A Unifying Perspective” by Prof. Deepak Kapur, University of New Mexico, USA, October 26, 2023.
  3. “Rigorous Design of Component-based Architecture: Research Activities” by Prof. Abdelhakim Baouya, IRIT, Université Toulouse, France, July 27, 2023.
  4. “Processing Quadrature Doppler Ultrasound Signals – An Engineering Perspective of Complex Analysis” by Prof. Nizamettin Aydin, Yildiz Technical University, Turkey, September 20, 2022.
  5. “Lab-in-a-Pill: Architecture and Design of Integrated Diagnostics for Environmental and Analytical Systems (IDEAS)” by Prof. Nizamettin Aydin, Yildiz Technical University, Turkey, September 15, 2022.
  6. “New Paradigm to Enhance Reliability of Embedded Systems in Harsh Environment” by Prof. Fakhreddine Ghaffari, CY Cergy Paris University, France, November 4, 2021.
  7. “Five Great Ideas Introduced to Interactive Theorem Proving by IMPS” by Prof. William Farmer, McMaster University, Canada, December 9, 2019.
  8. “Formal Dependability Analysis using using Higher-order-Logic Theorem Proving” by Dr. Waqar Ahmed, NUST, Pakistan, June 20, 2018.
  9. “Formalization of Transform Methods using HOL Light” by Adnan Rashid, NUST, Pakistan, September 27, 2017.
  10. “Runtime Verification of Information Security Policies” by Dr. Umair Siddique, McMaster University, Canada, March 7, 2017.
  11. “Model-Based Engineering of Cyber-Physical Systems: Elements of Seamless Development” by Prof. Manfred Broy, Technical University of Munich, Germany, December 8, 2015
  12. “Design and Optimization of Welch-Gong Cyphers for Hardware” by Prof. Mark Aagaard, University of Waterloo, Canada, November 26, 2015
  13. “Symmetry Reduction and Compositional Reasoning” by Prof. Richard Trefler, University of Waterloo, Canada, September 14, 2015
  14. “An Intelligent System-Based Approach for Determining Defect Severity Levels in Oil and Gas Pipelines” by Dr. Abduljalil Mohamed, ABMM College, Qatar, June, 2015
  15. “Test generation for industrial size controllers using CBMC and Frama-C” by Dr.Omer Nguena-Timo, Computer Research Institute of Montreal, Montreal, May 26, 2015.
  16. “Brazilian Space Research and Development at INPE: An Overview” by Dr. Valdivino Alexandre de Santiago Júnior, National Institute for Space Research, Brazil, March 24, 2015.
  17. “Embedded System: State-of-the-art and Related Research at the CES Laboratory”, by Prof. Mohamed Abid, ENIS, Tunisia, October 15, 2014.
  18. “Automating and Presenting Formal Proofs and Formal Physics” by Dr. Cezary Kaliszyk, University of Innsbruck, Austria, August 26, 2014.
  19. “Electromigration and its Impact on Physical Design in Future Technologies” by Prof. Jens Lienig, TU Dresden, Germany, August 26, 2014.
  20. “Interactive Proofs, Computer Algebra, Automation and Presentation” by Dr. Josef Urban, Radboud University, Nijmegen, Netherlands, August 25, 2014.
  21. “Semantic Map Based Web Search Result Visualization” by Dr. Mohamed Slaah Hamdi, ABMM College, Qatar, June 18, 2014.
  22. “Automation of Cut-elimination in Proof Schemata” by Dr. Cvetan Dunchev, TU Vienna, Austria, January 21, 2014.
  23. “On The Use of Neural Networks for the Safety Assessment of Oil and Gas Pipelines” by Dr. Mohamed Layouni, ABMM College, Qatar, August 20, 2013.
  24. “From HVG Concordia to SAVE NUST” by Dr. Osman Hasan, NUST, Islamabad, Pakistan, July 2, 2013.
  25. “Semantic Map Based Web Search Result Visualization” by Dr. Mohamed Slaah Hamdi, ABMM College, Qatar, June 13, 2013.
  26. “Symbolic Analysis of Round-Robin Arbitration in Networks” by Dr.Yongjian Li, State Key Laboratory of Computer Science, Chinese Academy of Sciences, China, April 24, 2013.
  27. “Formal Verification of Highly Reliable Systems” by Prof. Yong Guan, Capital Normal University, Beijing, China, August 22, 2012.
  28. “3D Physical Design: Challenges and Solutions” by Prof. Jens Lienig, TU Dresden, Germany, August 21, 2012.
  29. “Modeling and Verification of Security Properties for Wireless Sensor Networks” by Amjad Gawanmeh, Khalifa University (KUSTAR), UAE, July 12, 2012.
  30. “Measure and Probability Theory in Isabelle/HOL” by Johannes Hoelzl, TU Munich, Germany,September 13, 2011.
  31. “Formalization of Matrix and Complex Numbers Theories in HOL4″ by Dr. Zhiping Shi, Capital Normal University, Beijing, China, August 18, 2011.
  32. “Formal Verification of Spacewire” by Dr. Xiaojuan Li, Capital Normal University, Beijing, China, August 3, 2011.
  33. “Statistics and Stochastic Formal Methods for Monte-Carlo Quadratures used for Solar Energies” by Prof. Marc Daumas, University of Perpignan, France, August 1, 2011.
  34. “Modeling and Verification of Firewall Configurations using Domain Restriction” by Amjad Gawanmeh, Khalifa University (KUSTAR), UAE, July 26, 2011.
  35. “Inductive Theorem Proving, Invariants, and Abstraction” by Prof. Deepak Kapur, University of New Mexico, USA, May 17, 2011.
  36. “Schematic Reasoning in Automated Theorem Proving” by Dr. Vincent Aravantinos, TU Vienna, Austria, March 31, 2011.
  37. “An Introduction to Electromigration-Aware Physical Design” by Prof. Jens Lienig, TU Dresden, Germany, February 17, 2011.
  38. “A Formal Approach to Identifying DC Operating Points” by Prof. Ian Mitchel, UBC, Vancouver, Canada, September 16, 2010.
  39. “A Probability Perspective” presentation given by Prof. Eric Hehner from University of Toronto, Thursday, November 27, 2010.
  40. “Practical Predicative Programming Primer”, presentation given by Prof. Eric Hehner from University of Toronto, Wednesday, November 26, 2010.
  41. ReSMiQ tutorial, “Analog & Mixed Signal Design Verification”, given by Kevin Jones, Rambus Inc, USA, 24 novembre 2008.
  42. “Key Management in Sensor Networks”, Invited talk by Dr.Mohamed Eltoweissy,Virginia Tech,USA, September 17,2008
  43. 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008),HVG, Concordia University, August 18th to 21st, 2008
  44. “Verifying Circuits with Continuous Models” Invited talk by Dr. Mark Greenstreet,University of British Columbia, Canada July 2, 2008
  45. “SystemC-based modeling of embedded heterogeneous systems” Invited talk by Dr. Alain Vachoux, EPFL, Switzerland, June 26, 2008
  46. “The Effort that Counts — An Insight into High-Speed CMOS Design “. Short course by Dr. Chip Hong Chang, NTU, Singapore, January 11, 2008.
  47. “Digital Watermarking for IP Protection “. Seminar by Dr. Chip Hong Chang, NTU, Singapore, January 9, 2008.
  48. “Bond Graph as a Model of Computation in SystemC-AMS”. Inivited talk by Torsten Maehne, Research Assistant at EPFL, Lausanne, Switzerlands, January 8, 2008 .
  49. “Codesign of Digital controler for Industrial Process” by Dr. Slim Ben Saoud, INSAT, Tunis, Tunisia, August 22, 2007.
  50. “Formal verification of asynchronous circuits: Methods and tools” by Dr. Menouer Boubekeur , Verification engineer in the Center of Efficiency-Oriented
    Languages ( CEOL ) in Cork, Ireland , April 26, 2007.
  51. “Timing and behavior analysis of real-time applications: Java RTS” by Dr. Menouer Boubekeur , Verification engineer in the Center of Efficiency-Oriented
    Languages ( CEOL ) in Cork, Ireland , April 26, 2007.
  52. “Intégration de méthodes formelles et semi formelles pour la spécification et la vérification des systèmes réactifs” by Dr. Leila Jemni, Faculté des Sciences de Tunis, Tunisia, November 22, 2006.
  53. “Efficient Reachability Analysis using Both SAT and BDD” by Dr. James Yang, Computer Science Dept., West Michigan University, USA, August 7, 2006.
  54. “Model Checking C Programs” by Dr. James Yang, Computer Science Dept., West Michigan University, USA, August 7, 2006.
  55. “Simultaneous Checking of Completeness and Ground Confluence for Algebraic Specifications”, by Dr. Adel Bouhoula, SupCom, Tunisia, March 20, 2006.
  56. “A Model for Web Service Mediators”, by Prof. Egon Boerger, University of Pisa, Italy, July 6, 2005.
  57. “Verifying Floating-Point Algorithms using Formalized Mathematics“, by Dr. John Harrison, Intel Corp., Hillsboro, OR, USA, March 30, 2005.
  58. “Generalized Symbolic Trajectory Evaluation. by Dr. Alan Hu, CS Dept, UBC, Vancouver, Canada, December 21, 2004.
  59. “MuAnalysis: a Lab for Fault Analysis”, by Dr. Martine Simard-Normandin, President and CEO, MuAnalysis, Canada, July 22, 2004.
  60. “Platform Based SOC Design Methodologies”, by Dr. Pierre Paulin, ST Microelectronics, Canada, June 23, 2004.
  61. “Formal Verification of Black Box Security”, by Dr. Cas Cremers, ECSS Group, Eindhoven University of Technology, The Netherlands, June 7, 2004.
  62. “An NP Decision Procedure for Protocol Insecurity with Xor”, by Mr. Y. Chevalier, CASSIS, INRIA-Lorraine, France, July 3, 2003.
  63. “PVS Verification of Hybrid Automata Properties: What Works, and what doesn’t”, by Mr. A. de Groot, Nijmegen Institute for Computing and Information Science, Nijmegen University, Netherlands, October 23, 2002.
  64. “Security Verification of Cryptographic protocols using CASRUL”, by Mr. M. Turuani, INRIA Lorraine, Nancy, France, January 10, 2002.
  65. Montreal SOC Workshop on Dec. 18, 2001.
  66. “Formal Verification in the Design of Interactive Systems”, by Dr. P. Curzon, Middlesex University, UK, May 9, 2001
  67. “Induction as Deduction Modulo”. by Dr. C. Kirchner, INRIA Lorraine, Nancy, France, September 18, 2000.
  68. “Reasoning About Operator Errors in Interaction” by P. Curzon, Middlesex University, UK, April 4, 2000.
  69. “Validation automatique de programmes” by Dr. A. Bouhoula, INRIA Lorraine, Nancy, France, October 13, 1998.
  70. “Using the Coq system for the formal verification of the Fairisle ATM 4×4 Switch Fabric” by Dr. L. Jakubiec, Laboratoire d’Informatique de Marseille, Universit de Provence, August 28, 1998.