A Framework for Formal Probabilistic Risk Assessment using HOL Theorem Proving Conference on Intelligent Computer Mathematics (CICM-2024), Montreal, QC, Canada.
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.