Professor Dr. Osman Hasan, PhD (ECE)

Pro-Rector (Academics)

National University of Sciences & Technology (NUST),
Sector H-12, Islamabad 44000,
Pakistan

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

Presentations

  1. Formal Verification of Physical Aspects of Smart Systems, Electronics & Computer Science, University of Southampton, UK, 2020.
  2. Formalization of Asymptotic Notations in HOL4, International Conference on Computer and Communication Systems (ICCCS-2019), Singapore. 
  3. Electronic Controller Design of a Semi-Automatic Cell Injection System, IEEE International Systems Conference (SysCon-2019), Orlando, GL, USA. 
  4. Formal Verification of n-bit ALU using Theorem Proving" Brazilian Symposium on Formal Methods (SBMF-2018), Salvador, Brazil. 
  5. ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical Systems, Open Source Systems and Technologies, (ICOSST-2018), Lahore, Pakistan.
  6. Formal Timing Analysis of Digital Circuits, Formal Techniques for Safety-Critical Systems (FTSCS 2018), Gold Coast, Australia.
  7. Formal Stability Analysis of Control Systems, Formal Techniques for Safety-Critical Systems (FTSCS 2018), Gold Coast, Australia.
  8. Formal Modeling of Robotic Cell Injection Systems using Theorem Proving, Formal Verification of Physical Systems (FVPS-2018), CICM Workshop,  Hagenberg, Austria.
  9. Formal Probabilistic and Dependability Analysis using Theorem Proving, Workshop on Safety of Future Systems, 2018, Leiden, Netherland.
  10. Formal Verification of A Domain Specific Language for Run-time Adaptation, IEEE International Systems Conference (SysCon-2018), Vancouver, Canada.
  11. COMFAST: A Comparative Framework for Analysis of Scheduling Techniques in Multi-core Systems, IEEE International Systems Conference (SysCon-2018), Vancouver, Canada.
  12. A Modular and Generic Virtual Reality Training Framework for Micro-Robotic Cell Injection Systems, IEEE International Systems Conference (SysCon-2018), Vancouver, Canada.
  13. Electronic Design of a Semi-Automated Micromanipulator Cell Injection System, International Symposium on Medical Information and Communication Technology (ISMICT-2018), Sydney, Australia.
  14. Ver2Smv – A Tool for Automatic Verilog to SMV Translation for Verifying Digital Circuits, International Conference on Engineering & Emerging Technologies (ICEET-2018), Lahore, Pakistan.
  15. Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot, Verification and Evaluation of Computer and Communication Systems (VECoS-2017), Montreal, Canada.
  16. Formalization of Transform Methods using HOL Light, Conferences on Intelligent Computer Mathematics (CICM-2017), Edinburgh, UK.
  17. SmartSIM, An Innovative Training Solution for Surgeons, IDBs 42nd Annual Meeting 2017, Jeddah, KSA.
  18. Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems, Models for Formal Analysis of Real Systems (MARS-2017), EPTCS, Uppsala, Sweden.
  19. Towards Availability Analysis using Theorem Proving,  International Conference on Formal Engineering Methods (ICFEM-2016),  Tokyo, Japan.   
  20. Formal Verification of Gate-Level Multiple Side Channel Parameters to detect Hardware Trojans, Formal Techniques for Safety-Critical Systems (FTSCS 2016), Tokyo, Japan.    
  21. 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.
  22. Formalization of Normal Random Variables in HOL, Conferences on Intelligent Computer Mathematics (CICM-2016),  Bialystock, Poland.
  23. Formal Dependability Modeling and Analysis: A Survey, Conferences on Intelligent Computer Mathematics (CICM-2016), Bialystock, Poland.
  24. Formal Reliability Analysis of Protective Systems in Smart Grids, IEEE Region 10 Symposium (TENSYMP-2016), Bali, Indonesia.
  25. Formal Probabilistic Analysis of Distributed Resource Management Schemes in On-Chip Systems, Design, Automation and Test in Europe (DATE-2016), Dresden, Germany.
  26. Formal Reliability Analysis of Wireless Sensor Network Data Transport Protocols using HOL, Cooperative Wireless Networks, Wireless and Mobile Computing, Networking and Communications (WiMOB-2015),  Abu Dhabi, UAE.
  27. Probabilistic Formal Verification Methodology of Decentralized Thermal Management in On-chip Systems, IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2015), Larnaca, Cyprus.
  28. Formal Verification: Introduction and Applications, Faculdade de Engenharia (FEUP), Universidade do Porto, Portugal, 2015.
  29. 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.
  30. On the Formal Analysis of HMM Using Theorem Proving, International Conference on Formal Engineering Methods (ICFEM-2014), Luxombourg City, Luxembourg.
  31. Formal Verification of Circuit-Switched Network on Chip (NoC), International Symposium on System-on-Chip (SoC-2014), Tampere, Finland.
  32. Reliability Block Diagrams based Analysis: A Survey, International Conference of Numerical Analysis and Applied Maths (ICNAAM 2014), Rhodes, Greece.
  33. Formal Reasoning about Molecular Pathways, IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2014), Parma, Italy.
  34. 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.
  35. Formal Kinematic Analysis of the Two-Link Planar Manipulator,  International Conference on Formal Engineering Methods (ICFEM-2013), Queenstown, New Zealand.
  36. An Informal Introduction to Formal Methods, First Heidelberg Laureate Forum, Heidelberg, Germany, September 2013.
  37. Analysis Techniques for Fractional Order Systems: A Survey, International Conference of Numerical Analysis and Applied Maths (ICNAAM 2012), Kos, Greece.
  38. Al Zahrawi- A Training Robot and Simulator for Minimal Invasive Surgery, International Multitopic Conference (INMIC 2011), Karachi, Pakistan.
  39. Formal Analysis of Fractional Order Systems in HOL, Formal Methods in Computer Aided Design (FMCAD-2011), Austin, TX, USA.
  40. Formal Analysis of Optical Waveguides in HOL, International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2009), Munich, Germany. 
  41. Probabilistic Analysis using a Theorem Prover, Half day Tutorial affiliated with the 22nd International Conference on Automated Deduction (CADE-22), Montreal, Canada, August 2009.
  42. 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
  43. Performance Analysis of ARQ Protocols using a Theorem Prover; International Symposium on Performance Analysis of Systems and Software (ISPASS 2008), Austin, Texas, USA.
  44. Automated Formal Synthesis of Wallace Tree Multipliers.  International Midwest Symposium on Circuits & Systems (MWSCAS 2007), Montreal, Canada.
  45. Formalization of Continuous Probability Distributions, Conference on Automated Deduction (CADE-21), 2007, Bremen, Germany.
  46.  Verification of Probabilistic Properties in the HOL Theorem Prover, International Conference on Integrated Formal Methods (IFM 2007), Oxford, UK.

Last Updated: July 15, 2020