Osman Hasan

Assistant Professor

School of Electrical Engineering & Computer Science (SEECS), 
National University of Sciences & Technology (NUST),
Sector H-12, Islamabad 44000,
Pakistan

Phone: +92-51-9085-2137
Email: osman DOT hasan AT seecs DOT nust DOT edu
DOT pk

Presentations

  1. Towards Availability Analysis using Theorem Proving,  International Conference on Formal Engineering Methods (ICFEM-2016),  Tokyo, Japan.   
  2. Formal Verification of Gate-Level Multiple Side Channel Parameters to detect Hardware Trojans, Formal Techniques for Safety-Critical Systems (FTSCS 2016), Tokyo, Japan.    
  3. Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA-2016), Beijing, China.       
  4. Formalization of Normal Random Variables in HOL, Conferences on Intelligent Computer Mathematics (CICM-2016) Bialystock, Poland.
  5. Formal Dependability Modeling and Analysis: A SurveyConferences on Intelligent Computer Mathematics (CICM-2016)Bialystock, Poland.
  6. Formal Reliability Analysis of Protective Systems in Smart GridsIEEE Region 10 Symposium (TENSYMP-2016), Bali, Indonesia.
  7. Formal Probabilistic Analysis of Distributed Resource Management Schemes in On-Chip SystemsDesign, Automation and Test in Europe (DATE-2016), Dresden, Germany.
  8. Formal Reliability Analysis of Wireless Sensor Network Data Transport Protocols using HOLCooperative Wireless Networks, Wireless and Mobile Computing, Networking and Communications (WiMOB-2015),  Abu Dhabi, UAE.
  9. Probabilistic Formal Verification Methodology of Decentralized Thermal Management in On-chip SystemsIEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2015), Larnaca, Cyprus.
  10. Formal Verification: Introduction and Applications, Faculdade de Engenharia (FEUP), Universidade do Porto, Portugal, 2015.
  11. Formal Verification of Distributed Task Migration for Thermal Management in On-chip Multi-core Systems using nuXmv, International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Luxembourg City, Luxembourg.
  12. On the Formal Analysis of HMM Using Theorem Proving, International Conference on Formal Engineering Methods (ICFEM-2014), Luxombourg City, Luxembourg.
  13. Formal Verification of Circuit-Switched Network on Chip (NoC), International Symposium on System-on-Chip (SoC-2014), Tampere, Finland.
  14. Reliability Block Diagrams based Analysis: A Survey, International Conference of Numerical Analysis and Applied Maths (ICNAAM 2014), Rhodes, Greece.
  15. Formal Reasoning about Molecular Pathways, IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2014), Parma, Italy.
  16. Formalization of Laplace Transform Using the Multivariate Calculus Theory of HOL-Light, Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2013), Stellenbosch, South Africa.
  17. Formal Kinematic Analysis of the Two-Link Planar Manipulator,  International Conference on Formal Engineering Methods (ICFEM-2013), Queenstown, New Zealand.
  18. An Informal Introduction to Formal Methods, First Heidelberg Laureate Forum, Heidelberg, Germany, September 2013.
  19. Analysis Techniques for Fractional Order Systems: A Survey, International Conference of Numerical Analysis and Applied Maths (ICNAAM 2012), Kos, Greece.
  20. Al Zahrawi- A Training Robot and Simulator for Minimal Invasive Surgery, International Multitopic Conference (INMIC 2011), Karachi, Pakistan.
  21. Formal Analysis of Fractional Order Systems in HOL, Formal Methods in Computer Aided Design (FMCAD-2011), Austin, TX, USA.
  22. Formal Analysis of Optical Waveguides in HOL, International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2009), Munich, Germany.
  23. Probabilistic Analysis using a Theorem Prover, Half day Tutorial affiliated with the 22nd International Conference on Automated Deduction (CADE-22), Montreal, Canada, August 2009.
  24. Performance Analysis of Systems and Software using a Theorem Prover, Half day Tutorial affiliated with the International Symposium on Performance Analysis of Systems and Software (ISPASS-08), Austin, USA, April 2008
  25. Performance Analysis of ARQ Protocols using a Theorem Prover; International Symposium on Performance Analysis of Systems and Software (ISPASS 2008), Austin, Texas, USA.
  26. Automated Formal Synthesis of Wallace Tree Multipliers.  International Midwest Symposium on Circuits & Systems (MWSCAS 2007), Montreal, Canada.
  27. Formalization of Continuous Probability Distributions, Conference on Automated Deduction (CADE-21), 2007, Bremen, Germany.
  28. Verification of Probabilistic Properties in the HOL Theorem Prover, International Conference on Integrated Formal Methods (IFM 2007), Oxford, UK.

 

Last Updated: December 22, 2016