Conferences

  • Formal Verification of Platoon Control Strategies
    Software Engineering and Formal Methods (SEFM-2018), Toulouse, France.

  • On the Formalization of Fourier Transform in Higher-order Logic
    Interactive Theorem Proving (ITP-2016), Nancy, France.

  • Formal Analysis of a ZigBee-based Routing Protocol for Smart Grids using UPPAAL
    High-Capacity Optical Networks and Enabling/Emerging Technologies (HONET-2015), Islamabad, Pakistan.

Workshops

  • Formal Analysis of Real-time Systems using UPPAAL
    Workshop on System Analysis and Verification – Using Formal Verification for Analyzing Thermal/ Resource Management Algorithms for Multi-core Architectures, NUST-SEECS, Islamabad, Pakistan, December, 2016.

  • Formalization of Transform Methods in Higher-order Logic
    Workshop on System Analysis and Verification – Recent Trends in Theorem Proving (WSAV-2016), NUST-SEECS, Islamabad, Pakistan, April, 2016.

Others

  • Automating the Formal DFT Analysis in HOL4: A Multi-Model Approach for Tactic Identification and Proof Generation
    Weekly Meeting, Hardware Verification Group (HVG), Concordia University, QC, Canada, September, 2023.

  • Formalization of Transform Methods using Higher-order-logic Theorem Proving
    PhD Final Defense Presentation, School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan, March, 2019.

  • Formalization of Transform Methods using HOL Light
    Weekly Meeting, Hardware Verification Group (HVG), Concordia University, QC, Canada, October, 2017.