Conference slides

1. Formal Stability Analysis of Control Systems, Sixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), , November 16, 2018, Gold Coast, Australia.

2. Formal Verification of Energy Consumption for an EEG Monitoring Wireless Body Area Sensor Network, 10th International Conference on Open Source Systems and Technologies (ICOSST), 15th Thursday-17th Saturday December, 2016, Al-Khawarizmi Institute of computer Science, UET, Lahore, Pakistan.

3. Analysis of Weather Forecasting Model in PRISM, 12th International Conference on Frontiers of Information Technology (FIT), Dec. 17 2014 to Dec. 19 2014, Islamabad, Pakistan .