Extending XReason: Formal Explanations for Adversarial Detection International Congress on Information and Communication Technology (ICICT 2025), London, UK.
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, NUST-SEECS, Islamabad, Pakistan — December 2016.
Formalization of Transform Methods in Higher-order Logic Workshop on System Analysis and Verification (WSAV 2016), NUST-SEECS, Islamabad, Pakistan — April 2016.
Others
Automating the Formal DFT Analysis in HOL4 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, SEECS, NUST, Islamabad, Pakistan — March 2019.
Formalization of Transform Methods using HOL Light Weekly Meeting, Hardware Verification Group (HVG), Concordia University, QC, Canada — October 2017.