
2017

A. Rashid and O. Hasan, “Formal Analysis of Continuoustime Systems using Fourier Transform“, Journal of Symbolic Computation, Elsevier, Accepted in June 2017

A. Rashid, O. Hasan, U. Siddique and S. Tahar, “Formal Reasoning about Systems Biology using Theorem Proving“, PLOS ONE, Vol. 12, No. 3, e0180179, pp. 127, 2017

A. Gawanmeh, U. Pervez, and O. Hasan, “Probabilistic Analysis of Electrocardiogram (ECG) Heart Signal“, Computer System Science and Engineering, CRL, Accepted in February 2017

M. Mohsin, M. U. Sardar, O. Hasan and Z. Anwar, “IoTRiskAnalyzer : A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things”, IEEE Access, 5(1), pp. 54945505, 2017

S. Mazahir, O. Hasan, R. Hafiz and M. Shafique, “Probabilistic Error Analysis of Approximate Recursive Multipliers“, Transactions on Computers, IEEE, doi:10.1109/TC.2017.2709542, 2017

M. U. Sardar, N. Afaq, O. Hasan, K. A. Hoque, “Towards Probabilistic Formal Analysis of SATSSimultaneously Moving Aircraft (SATSSMA)”, Journal of Automated Reasoning (JAR), Springer, doi:10.1007/s1081701794166 (21 pages), 2017

S. Shiraz and O. Hasan, “ A HOL Library for Hardware Verification using Theorem Proving”, Transactions on ComputerAided Design of Integrated Circuits and Systems, IEEE, doi:10.1109/TCAD.2017.2705049, 2017

S. H. Taqdees and O. Hasan, “Formally Verifying Transfer Functions of Linear Analog Circuits”, IEEE Design & Test, doi:10.1109/MDAT.2017.2713388, 2017

W. Ahmed, O. Hasan, S. Tahar and M. S. Hamdi, “Formal Reliability Analysis of Oil and Gas Pipelines”, Journal of Risk and Reliability, SAGE Journals, doi:10.1177/1748006X17694494 (15 pages), 2017

U. Mushtaq, O. Hasan, F. Awwad, “NoC based Implementation of Free Form Deformations in Medical Imaging Registration”, Journal of Circuits, Systems, and Computers (JCSC), 26(4):1750058 (13 Pages), doi:10.1142/S021812661750058X, 2017

S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “FAMeTM: Formal Analysis Methodology for Task Migration Algorithms in ManyCore Systems”, Science of Computer Programming, Elsevier, Volume. 133, Part 2, pp.154174, doi:10.1016/j.scico.2016.06.004, 2017

M. U. Sardar, O. Hasan, M. Shafique and J. Henkel, “Theorem Proving Based Formal Verification of Distributed Dynamic Thermal Management Schemes”, Journal of Parallel and Distributed Computing (JPDC), Elsevier, Volume 100C, pp.157171, doi:10.1016/j.jpdc.2016.06.011, 2017
2016

W. Ahmed, U. Pervez, O. Hasan and J. Qadir, “Reliability Modeling and Analysis of Communication Networks”, Journal of Network and Computer Applications (JNCA), Elsevier, Volume 78, pp. 191215, doi:10.1016/j.jnca.2016.11.008, 2016.

F. K. Lodhi, S. R. Hasan, O. Hasan, and F. Awwad, “Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification”, Journal of Electronic Testing: Theory and Applications, Springer, Volume 32, No. 5, doi:10.1007/s1083601656198, 2016.

S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, and J. Henkel. “Probabilistic Error Modeling for Approximate Adders,” IEEE Transactions on Computers, Volume 66, No. 3, doi:10.1109/TC.2016.2605382, 2016

Z. A. Khan, N. Kamal, A. Hameed, A. Mahmood, R. Zainab, B. Sadia, S.M. Mansoor, and O. Hasan, “SmartSIM – A Virtual Reality Simulator for Laparoscopy Training using a Generic Physics Engine”, International Journal of Medical Robotics and Computer Assisted Surgery, Wiley, doi:10.1002/rcs.1771, 2016.

Y. Ghazi, R. Masood, A. Rauf, M. A. Shibli, O. Hasan, “A Cloud Based Protection System for DocumentOriented NoSQL Databases”, EURASIP Journal on Information Security, doi:10.1186/s1363501600405, 2016.

U. Pervez, A. Mehmood, O. Hasan, K. Latif, and A. Gawanmeh, “Improvement Strategies For Device Interoperability Middleware (Dim) Using Formal Reliability Analysis”, Scalable Computing: Practice and Experience, Volume 17, No. 3, pp. 150170, 2016.

W. Ahmed, O. Hasan and S. Tahar, “Formalization of Reliability Block Diagrams in Higherorder Logic”, Journal of Applied Logic, Elsevier, 18(1), pp. 1941, doi:10.1016/j.jal.2016.05.007, 2016.

S.R. Hasan, W.Gul and O. Hasan, “Clock Domain Crossing (CDC) in 3DSICs: Semi QDI Asynchronous vs Loosely Synchronous”, Integration, the VLSI Journal, Elsevier, 52, pp. 367380, 2016.
2015

S. Ahmad, O. Hasan and U. Siddique, “On the Formalization of Zsyntax with Applications in Molecular Biology”, Scalable Computing: Practice and Experience, 16(1), pp. 3751, 2015

J. Qadir and O. Hasan, “Applying Formal Methods to Networking: Theory, Techniques and Applications”, Communications Surveys and Tutorials, IEEE, 17(1), pp. 256291, 2015.

A. H. Qureshi, S. Mumtaz, Y. Ayaz and O. Hasan, “Triangular Geometrised Sampling Heuristic for Fast Optimal Motion Planning”, International Journal of Advanced Robotic Systems, Intech, 12:10:10.5772/59763, 2015.
2014

U. Siddique and O. Hasan, “On the Formalization of Gamma Function in HOL”, Journal of Automated Reasoning (JAR), 53, pp. 407–429, doi:10.1007/s1081701493113, 2014.

O. Hasan and S. A. Khayam, “Towards Formal Linear Cryptanalysis using HOL4”, Journal of Universal Computer Science, 20(2), pp. 193212, doi:10.3217/jucs020020193, 2014.

T. Hassan, A. Hameed, S. Nasir, N. Kamal and O. Hasan, “AlZahrawi – A TeleSurgical Robotic System for Minimal Invasive Surgery”, Systems Journal, IEEE, Volume 10, No. 3, pp. 10351045, doi:10.1109/JSYST.2014.2331146, 2014.

F. K. Lodhi, N. Sharif, N. Ramzan, O. Hasan and S. R. Hasan, “Timing variation aware dynamic digital phase detector for lowlatency clock domain crossing”, IET Circuits, Devices & Systems, Volume 8, No.1, pp. 5864, doi:10.1049/ietcds.2013.0067, 2014.
2013

J. Nasir , F. Islam, U. Malik, Y. Ayaz, O. Hasan, M. Khan and M. S. Muhammad, “RRT*SMART: A rapid convergence implementation of RRT*”; International Journal of Advanced Robotic Systems: Robot Motion, Intech, 10(299), pp. 110, 2013.
2011

O. Hasan, J. Patel and S. Tahar, “Formal Reliability Analysis of Combinational Circuits using Theorem Proving “, Journal of Applied Logic, Springer, Vol. 9, No. 1, 2011, pp. 4160.


2017

S. Khan, O. Hasan and A. Mashkoor, “Formal Verification and Safety Assessment of a Hemodialysis Machine”, Current Trend in Theory and Practice of Computer Science, SOFSEM, Springer, LNCS, Krems an der Donau, Austria, 2017, To Appear.

A. Rashid and O. Hasan, “Formal Analysis of Linear Control Systems using Theorem Proving”, International Conference on Formal Engineering Methods (ICFEM2017), Springer, LNCS, Xi’an, China, To Appear.

M. S. Ayub and O. Hasan, ““Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot”, International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS2017), Springer, LNCS 10466, Montreal, Québec, Canada, pp. 116

F. K. Lodhi, S. R. Hasan, O. Hasan and F. Awwad, “Behavior Profiling of Power Distribution Networks for Runtime Hardware Trojan Detection”, International Midwest Symposium on Circuits and Systems (MWSCAS2017), IEEE Circuit and System Society (CAS), Boston, MA, USA, To Appear.

A. Rashid and O. Hasan, “Formalization of Transform Methods using HOL Light”, Conference on Intelligent Computer Mathematics (CICM2017), Springer, LNAI 10383, Edinburgh, UK, pp. 319332.

M. A. Hanif, R. Hafiz, O. Hasan and M. Shafique, “QuAd: Design and Analysis of QualityArea Optimal LowLatency Approximate Adders”, Design Automation Conference (DAC2017), Austin, TX, USA, To Appear. (Rank A, CORE)

M. K. Ayub, O. Hasan and M. Shafique, “Statistical Error Analysis for Low Power Adders”, Design Automation Conference (DAC2017), Austin, TX, USA, To Appear. (Rank A, CORE)

M. U. Sardar and O. Hasan, “Towards Probabilistic Formal Modeling of Robotic Cell Injection System”, Models for Formal Analysis of Real Systems (MARS2017), EPTCS, Uppsala, Sweden, pp. 271282.

F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad, “Power Profiling of Instructions of Microcontroller to Detect Hardware Trojans without Golden Circuit Models”, Design, Automation and Test in Europe (DATE2017), Swisstech, Laussane, Switzerland, pp. 294297.

S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “CAnDyTM: Comparative Analysis of Dynamic Thermal Management in ManyCores using Model Checking”, Design, Automation and Test in Europe (DATE2017), Swisstech, Laussane, Switzerland, pp. 12891292.
2016

A. Ahmed, O. Hasan, S. Tahar, A. Mohamad, “Formal Verification of Energy Consumption for an EEG Monitoring Wireless Body Area Sensor Network“, 10th IEEE International Conference on Open Source Systems and Technologies (ICOSST2016), Lahore, Pakistan, pp. 1822.

I. Abbasi, F. K. Lodhi, A. Kamboh, O. Hasan, “Formal Verification of GateLevel Multiple Side Channel Parameters to detect Hardware Trojans“, Fifth International Workshop on Formal Techniques for SafetyCritical Systems (FTSCS 2016), Tokyo, Japan, pp. 7592.

S. A. Murtaza, O. Hasan and K. Saghar, “VeTGen: An Automatic Verilog Testbench Generator for Generic Circuits”, International Conference on Emerging Technologies (ICET2016), IEEE, pp. 15.

W. Ahmed, O. Hasan, “Formalization of Fault Trees in Higherorder Logic: A Deep Embedding Approach”, Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA2016), Springer, LNCS 9984, Beijing, China, pp. 264279.

A. Athar, A. M. Zafar, R. Asif, A. A. Khan, F. Islam, Y. Ayaz, O. Hasan, “WholeBody Motion Planning for Humanoid Robots with Heuristic Search”, Intelligent Robots and Systems (IROS2016), Daejeon, Korea, pp. 47204727.

W. Ahmed, O. Hasan, “Formal Avialability Analysis using Theorem Proving”, 18th International Conference on Formal Engineering Methods (ICFEM2016), Springer LNCS 10009, Tokyo, Japan, pp. 226239

A. Rashid and O. Hasan, “On the Formalization of Fourier Transforms in Higherorder Logic”, Interactive Theorem Proving (ITP2016), Springer, LNCS 9807, Nancy, France, pp. 483490 (Rank A, CORE)

J. A. Khan, U. Pervez, H. A. Akbar and O. Hasan, “A Wearable Wireless Sensor for Cardiac Monitoring”, Wearable and Implantable Body Sensor Networks (BSN2016), IEEE, San Francisco, USA, pp. 6165

M. Qasim, O. Hasan, M. Elleuch and S. Tahar, “Formalization of Normal Random Variables in HOL”, Conferences on Intelligent Computer Mathematics (CICM2016), Springer, LNAI 9791, Bialystock, Poland, pp. 44–59

W. Ahmed, O. Hasan and S. Tahar, “Formal Dependability Modeling and Analysis: A Survey”, Conferences on Intelligent Computer Mathematics (CICM2016), Springer, LNAI 9791, Bialystock, Poland, pp. 132147.

A. Mahmood, H. Gillani, Y. Ssaleem, O. Hasan and S.R. Hasan, “Formal Reliability Analysis of Protective Systems in Smart Grids”, IEEE Region 10 Symposium (TENSYMP2016), Bali, Indonesia, pp. 198202

S. Hameed and O. Hasan, “Towards Autonomous Collision Avoidance in Surgical Robots using Image Segmentation and Genetic Algorithms”, IEEE Region 10 Symposium (TENSYMP2016), Bali, Indonesia, pp. 266270

M. U. Sardar, N. Afaq, K. A. Hoque, T. T. Johnson, O. Hasan, “Probabilistic Formal Verification of the SATS Concept of Operation”, NASA Formal Methods (NFM2016), LNCS 9690, Springer, Minneapolis, USA, pp. 191205.

M. Nouman, U. Pervez, O. Hasan and K. Saghar, “Software Testing: A Survey and Tutorial on White and Blackbox Testing of C/C++ Programs”, IEEE Region 10 Symposium (TENSYMP2016), Bali, Indonesia, pp. 225230

S. Mazahir, O. Hasan, R. Hafiz, M. Shafique and J. Henkel,”An AreaEfficient Consolidated Configurable Error Correction for Approximate Hardware Accelerators“, Design Automation Conference (DAC2016), Austin, TX, USA, 96:196:6. (Rank A, CORE)

W. Gul, S. R. Hasan and O. Hasan, F. K. Lodhi and F. Awwad,”Synchronously Triggered GALS Design Templates Leveraging QDI Asynchronous Interfaces“, in IEEE Symposium on circuits and System (ISCAS 2016), Montreal, QC, pp. 26152618.

F. K. Lodhi, I. Abbasi, F. Khalid, O. Hasan, S. R. Hasan and F. Awwad,”A SelfLearning Framework to Detect the Intruded Integrated Circuits“, in IEEE Symposium on circuits and System (ISCAS 2016), Montreal, QC, pp. 17021705.

S. Iqtedar, O. Hasan, M. Shafique, J. Henkel, “Formal Probabilistic Analysis of Distributed Resource Management Schemes in OnChip Systems”, Design, Automation and Test in Europe (DATE2016), Dresden, Germany, pp. 930935. (Rank B, CORE)
2015

M. S. Khan, A. A. Awan, F. Islam, Y. Ayaz and O. Hasan, “Safe Radius based Motion Planning of Hexapod using RRTConnect”, Information and Automation (ICIA2015), IEEE, Yunnan, China, pp. 415418.

A. Rashid, O. Hasan and K. Saghar, “Formal Analysis of a ZigBeebased Routing Protocol for Smart Grids using UPPAAL”, HighCapacity Optical Networks and Enabling/Emerging Technologies (HONET2015), Islamabad, Pakistan, pp. 8084.

W. Ahmed, O. Hasan and S. Tahar, “Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving”, Implementation of Logics (IWIL 2015), Suva, Fiji, Volume 40, pp. 114.

F. Arshad, H. Mehmood, F. Raza and O. Hasan, “gHOL – A Graphical User Interface for the HOL Proof Assistant”, Formal Techniques for SafetyCritical Systems (FTSCS 2015), Springer CCIS 596, pp. 265–269.

U. Pervez, A. Mehmood, O. Hasan, K. Latif, and A. Gawanmeh, “Formal Reliability Analysis of Device Interoperability Middleware (DIM) based EHealth System using PRISM ”, IEEE International Conference on eHealth Networking, Applications and Services, (Healthcom 2015), Boston, USA, pp. 108115.

F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad,”Formal Analysis of Macro Synchronous Micro Asychronous Pipeline for Hardware Trojan Detection, ” in Nordic Circuits and Systems Conference (NORCAS 2015): NORCHIP & International Symposium on SystemonChip (SoC), Oct. 2015, pp. 14.

W. Ahmed, O. Hasan and S. Tahar, “Formal Reliability Analysis of Wireless Sensor Network Data Transport Protocols using HOL“,Cooperative Wireless Networks, Wireless and Mobile Computing, Networking and Communications (WiMOB15), IEEE Computer Society, Abu Dhabi, UAE, pp. 217224.

M. Usman and O.Hasan, “Formally Analyzing Continuous Aspects of CyberPhysical Systems modeled by Homogeneous Linear Differential Equations”, Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy15), LNCS 9361, Springer, Amsterdam, Netherland, pp. 132146.

U. Siddique, O. Hasan, and S. Tahar, “Formal Modeling and Verification of Integrated Photonic Systems”, IEEE International Systems Conference (SysCON2015), IEEE, Vancouver, Canada, pp. 562569.

U. Siddique, O. Hasan, and S. Tahar, “Towards the Formalization of Fractional Calculus in Higherorder Logic”, Conferences on Intelligent Computer Mathematics (CICM2015), Springer, LNCS 9150, Washington, USA, pp. 316324.

W. Ahmad and O. Hasan, “Towards Formal Fault Tree Analysis using Theorem Proving”, Conferences on Intelligent Computer Mathematics (CICM2015), Springer, LNCS 9150, Washington, USA, pp. 3954

S. Iqtedar, O. Hasan, M. Shafique, J. Henkel, “Probabilistic Formal Verification Methodology for Decentralized Thermal Management in OnChip Systems”, IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE2015), IEEE Computer Society, Larnaca, Cyprus. pp. 210215.

S. Iqtedar, O. Hasan, M. Shafique, J. Henkel, “Formal Probabilistic Analysis of Distributed Dynamic Thermal Management”, Design, Automation and Test in Europe (DATE2015), March 913, Grenoble, France. pp. 12211224. (Rank B, CORE)
2014

S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M.Shafique and J..Henkel, “Formal Verification of Distributed Task Migration for Thermal Management in Onchip Multicore Systems using nuXmv”, Third International Workshop on Formal Techniques for SafetyCritical Systems (FTSCS2014), Springer CCIS 476, Luxembourg City, Luxembourg, pp. 3246.

A. Zaman and O. Hasan, “Formal Verification of CircuitSwitched Network on Chip (NoC)”, International Symposium on SystemonChip (ISSoC2014), IEEE, pp. 18.

S. Ahmad, O. Hasan, U. Siddique and S. Tahar, “Formalization of ZSyntax to reason about Molecular Pathways in HOL4”, Brazilian Symposium on Formal Methods (SBMF2014), Springer LNCS 8941, pp. 3247

O. Hasan, W. Ahmed, S. Tahar and M. S. Hamdi, “Reliability Block Diagrams based Analysis: A Survey”, International Conference of Numerical Analysis and Applied Maths (ICNAAM14), American Institute of Physics (AIP) Proc., Volume 1648, 850129, Rhodes, Greece, 2014.

U. Pervez, O. Hasan, K. Latif, S. Tahar, A. Gawanmeh and M. Hamdi, “Formal Reliability Analysis of a Typical FHIR Standard based EHealth System using PRISM”, IEEE International Conference on eHealth Networking, Applications and Services, (Healthcom2014), Natal RN Brazil, pp. 4348

M. Ahmad and O. Hasan, “Formal Analysis of Steady State Errors in Feedback Control Systems using HOLLight”, 19th International Workshop on. Formal Methods for Industrial Critical Systems (FMICS2014), Springer LNCS 8718, Florence, Italy, pp. 115.

A. H. Qureshi, S. Mumtaz, W. Khan, A.A. Ashfaq, Y. Ayaz, and O. Hasan, “Augmenting RRT*Planner with Local Trees for Motion Planning in Complex Dynamic Environments”, 19th International Conference on Methods and Models in Automation and Robotics (MMAR2014), Miedzyzdroje, Poland, IEEE Robotics and Automation (RAS), pp. 657662.

F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad,”Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline, ” in IEEE International Midwest Symposium on Circuits and Systems (MWSCAS2014), IEEE Circuit and System Society (CAS), 2014, pp. 659662.

W. Gul, S.R. Hasan and O. Hasan, “Yield Aware Interlogiclayer Communication in 3D ICs: Some Early Design Stage Recommendations”, International Midwest Symposium on Circuits and Systems (MWSCAS2014), IEEE Circuit and System Society (CAS), 2014, pp. 222225.

F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad, “Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline,” IEEE Computer Society Annual Symposium on VLSI (ISVLSI2014), 2014, pp. 601606.

W. Gul, S.R. Hasan and O. Hasan, “Clock Domain Crossing (CDC) for Interlogiclayer Communication in 3D ICs“, 12th IEEE International Northeastern Workshop on Circuits and Systems (NEWCAS2014), TroisRivičres, Canada, 2014, pp. 476479.

W. Ahmed, O. Hasan, S. Tahar and M. S. Hamdi, “Towards the Formal Reliability Analysis of Oil and Gas Pipelines”, Conferences on Intelligent Computer Mathematics (CICM2014), Springer, LNAI 8543, Coimbra, Portugal, 2014, pp. 30–44.

S. Ahmad, O. Hasan and U. Siddique, “Towards Formal Reasoning about Molecular Pathways in HOL ”, 23rd IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE2014), Parma, Italy, pp. 378383.

A. H. Qureshi, S. Mumtaz, K. F.Iqbal, Y. Ayaz, F. Ahmad, M.S. Muhammad, O. Hasan, W.Y. Kim and M. Ra,, “Triangular Geometry based Optimal Motion Planning using RRT*Motion Planner”, 13th International Workshop on Advanced Motion Control (AMC2014), Kanagawa, Japan, IEEE Industrial Electronics Society (IES), pp. 380385.
2013

A. H. Qureshi, S. Mumtaz, K. F.Iqbal, A. Badar, Y. Ayaz, F. Ahmad, M.S. Muhammad, O. Hasan, W.Y. Kim and M. Ra, “Adaptive Potential guided directionalRRT*” Robotics and Biomimetics (ROBIO2013), IEEE Robotics and Automation Society, pp. 18871892.

S.H. Taqdees and O. Hasan, “Formalization of Laplace Transform Using the Multivariate Calculus Theory of HOLLight”; Logic for Programing Artificial Intelligence and Reasoning (LPAR2013), Springer LNCS 8312, Stellenbosch, South Africa, pp. 744–758

M. Ismail, O. Hasan, T. Ebi, M. Shafique and J. Henkel, “ Formal Verification of Distributed Dynamic Thermal Management”; International Conference on ComputerAided Design (ICCAD2013),IEEE/ACM, Austin, Texas, pp. 248255.

B. Farooq, O. Hasan and S. Iqbal, “ Kinematic Analysis of the TwoLink Planar Manipulator”; 15th International Conference on Formal Engineering Methods (ICFEM2013),Springer LNCS 8144, Queenstown, New Zealand, pp. 348–363.

A. Khurram, H. Ali, A. Tariq and O. Hasan, “ Reliability Analysis of Protective Relays in Power Distribution Systems”; 18th International Workshop on. Formal Methods for Industrial Critical Systems (FMICS2013),Springer LNCS 8187, Madrid, Spain, pp. 169–183.

A. Mashkoor, O. Hasan and B. Wolfgang, “ Probabilistic Analysis for the Certification of Machine Control Systems”; Security and Cognitive Informatics in Homeland Defense (SeCIHD2013), Springer LNCS 8128, Regensburg, Germany, pp. 305320.

M. Usman and O.Hasan, “Formal Verification of CyberPhysical Systems: Coping with Continuous Elements”; Computational Science and Its Applications (ICCSA13), Springer LNCS 7971, Ho Chi Minh City, Vietnam, pp. 358371.

U. Mushtaq, O. Hasan, F. Awwad, “PNOC: Implementation on Verilog for FPGA”; International Conference on Innovations in Information Technology (IIT2013),IEEE, AlAIn, UAE., pp. 148151

S. H. Taqdees and O. Hasan, “Formal Verification of Continuous Models of Analog Circuits”; Frontiers in Analog CAD (FAC2013), Berkeley, CA, USA, 2013.

O. Hasan and M. Ahmad, “Formal Analysis of Steady State Errors in Feedback Control Systems using HOLLight”; in Design, Automation and Test in Europe (DATE2013), March 1822, Grenoble, France, pp. 14231426. (Rank B, CORE)
2012

N. Saeed, A. Inam, A. Khan and O. Hasan “VHOLT Verifier: An Automatic Formal Verification Tool for Combinational Circuits “, in International Mutitopic Conference (INMIC12), IEEE, 2012. pp. 155158.

U. Siddique and O. Hasan “Analysis Techniques for Fractional Order Systems: A Survey ” in International Conference of Numerical Analysis and Applied Maths (ICNAAM12), American Institute of Physics, Vol. 1479, 2012. pp. 21062109.

F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad, “Modified Null Convention Logic Pipeline to Detect Soft Errors in Both Null and Data Phase, ” in IEEE International Midwest Symposium on Circuits and Systems (MWCAS2012), IEEE Circuit and System Society (CAS), Boise, Iadho, USA, pp. 402405.

F. Islam, J. Nasir, U. Malik, Y. Ayaz and O. Hasan, “RRT*Smart: Rapid Convergence Implementation of RRT* Towards Optimal Solution“, International Conference on Mechatronics and Robotics (ICMA2012), IEEE Robotics and Automation Society (RAS), Chengdu, Sichuan, China, pp. 16511656.

A. Mashkoor and O. Hasan, “Formal Probabilistic Analysis of CyberPhysical Transportation Systems“, International Conference on Computational Science and Its Applications (ICCSA2012), Part III, LNCS 7335, Springer 2012, pp. 419–434.

G. Helali, S. Tahar and O. Hasan, “Formal Verification of the Heavy Hitter Problem“, Canadian Conference on Electrical and Computer Engineering (CCECE12), IEEE, 2012, Montreal, Canada, pp. 14.
2011

U. Siddique and O. Hasan, “Formal Analysis of Fractional Order Systems in HOL“, Formal Methods in Computer Aided Design (FMCAD11), IEEE, 2011. pp. 163170.

F. K. Lodhi, N. Sharif, N. Ramzan, O. Hasan and S. R. Hasan, ” Quantitative Analysis of StateoftheArt Synchronizers: Clock Domain Crossing Perspective,” IEEE International Conference on Emerging Technologies (ICET11), Islamabad, Pakistan, September 2011, pp. 16.
2010

O. Hasan, J. Patel, and S. Tahar, “On the Accurate Reliability Analysis of Combinational Circuits Using Theorem Proving“, IEEE International Northeastern Workshop on Circuits and Systems (NEWCAS10), Montreal, Canada, June 2010. pp. 273276.

F. Hijaz, N. Afzal, T. Ahmad and O. Hasan, “Survey of Fall Detection and Daily Activity Monitoring Techniques“, IEEE International Conference on Information and Emerging Technologies (ICIET10), Karachi, Pakistan, June 2010, pp. 16.

F. K. Lodhi, N. Ramzan and O. Hasan, , “Towards Precise, Scalable and Automatic Analysis of Analog and Mixed Signal Circuits“, IEEE International Conference on Information and Emerging Technologies (ICIET10), Karachi, Pakistan, June 2010, pp. 16.


2017

M. Umair, “Formalization of Traffic Flow Theory”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2017.

S. Iqbal, “Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2017.

A. Qureshi, “Formal Probabilistic Error Analysis of Approximate Adder”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2017.

M. K. Ayub, “Statistical Error Analysis of Low Power Approximate Adders”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2017.
2016

S. Iqbal, “A Low Power and Runtime Reconfigurable Approximate Multiplier”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2016.

M. Nouman, “Software Build History Dossier for Development and Testing“, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2016.

F. K. Lodhi, “Runtime Hardware Trojan Monitors through modeling Burst Mode Communication”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2016.
2015

M. U. Sardar, “Formal Verification of Distributed Thermal Management Systems using Theorem Proving”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2015.

M. S. Ayub, “Formal verification of Path Planning Algorithms “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2015.

A. Zaman, “Formal verification of NetworkonChip (NoC) Architectures “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2015.
2014

S. Shiraz, “Towards Automatic Formal Verification of Generic Combinational Circuits using HOL “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2014.

M. Ahmad, “Formal Analysis of Steady State Error in Feedback Control Systems “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2014.

M. Binyameen, “Formal Kinematics Analysis of two link Planar Robot “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2014.

S. Ahmad, “Formal verification of Biological Networks “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2014.

W. Gul, “Globally Asynchronous Locally Synchronous “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2014.
2013

S. H. Taqdees, “Formalization of Laplace Transform using the multivariable calculus theory of HOL Light “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2013.

M. Ismail, “Formal Analysis of TAPE: A Thermal Management Algorithm for ICs “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2013.
2012

U. Sanwal, “Formal Analysis of Homogeneous Linear Differential Equations using Theorem Proving “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2012.

M. Ali, “Digital Circuit Evolution Using SAT Solver”, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2012.

M. Nadeem, “Formalization of Asymtotic Notations in HighOrderLogic “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2012.

U. Mushtaq, “Image Processing Hardware Design using NoCs “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2012.

M. W. Khan, “Formalization of Negative Binomial Random Variable “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2012.
2011

U. Siddique, “Formal analysis of Fractional Order Systems in Higherorder Logic “, Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. August, 2011.


2017

W. Ahmad, “Formal Dependability Analysis using Higherorderlogic Theorem Proving“, PhD Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2017.


2015

M. Zaki, O. Hasan, S. Tahar and G. AlSammane, “Framework for Formally Verifying Analog and Mixed Signal Designs”, In: M. Fakhfakh, E. TleloCuautle, P. Siarry (Eds.), Computational Intelligence in Analog and MixedSignal (AMS) and RadioFrequency (RF) Circuit Design, Springer, pp. 115145, ISBN:9783319198712, 2015.

O. Hasan and S. Tahar, “Formalized Probability Theory and Applications using Theorem Proving”, IGI Global, 2015. 1304, ISBN13: 9781466683150, ISBN10: 1466683155.
2014

S. Nisar and O. Hasan, “Telesurgical Robotics”, In: Mehdi KhosrowPour (Eds.), Encyclopedia of Information Science and Technology, IGI Global Pub, ISBN13: 9781466658882, 2014.

O. Hasan and S. Tahar, “Formal Verification Methods”, In: Mehdi KhosrowPour (Eds.), Encyclopedia of Information Science and Technology, IGI Global Pub ISBN13: 9781466658882, 2014.
2013

O. Hasan and S. Tahar, “Formal Reliability Analysis of Embedded Computing Systems”, In M. Khalgui O. Mosbahi and A. Valentiniand (Eds.) Embedded Computing Systems: Applications, Optimization, and Advanced Design, IGI Global, ISBN: 9781466639225, 2013
2011

O. Hasan and S. Tahar, “Formal Analysis of RealTime Systems”, In M. Khalgui and H.M. Hanisch (Eds.) Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, ISBN: 9781609600860, 2011.
