Formalization of Continuous Probability Distributions. - Osman Hasan; Sofiène Tahar (CADE, 2007)

Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. - Osman Hasan; Sofiène Tahar (IFM, 2007)

Verification of Expectation Properties for Discrete Random Variables in HOL. - Osman Hasan; Sofiène Tahar (TPHOLs, 2007)

Formalization of the Standard Uniform random variable. - Osman Hasan; Sofiène Tahar (Theor. Comput. Sci., 2007)

Performance Analysis of ARQ Protocols using a Theorem Prover. - Osman Hasan; Sofiène Tahar (ISPASS, 2008)

Probabilistic Analysis of Wireless Systems Using Theorem Proving. - Osman Hasan; Sofiène Tahar (FMWS@CONCUR, 2008)

Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. - Osman Hasan; Sofiène Tahar (J. Autom. Reason., 2008)

Formal Reasoning about Expectation Properties for Continuous Random Variables. - Osman Hasan; Naeem Abbasi; Behzad Akbarpour; Sofiène Tahar; Reza Akbarpour (FM, 2009)

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. - Osman Hasan; Naeem Abbasi; Sofiène Tahar (IFM, 2009)

Formal Analysis of Optical Waveguides in HOL. - Osman Hasan; Sanaz Khan Afshar; Sofiène Tahar (TPHOLs, 2009)

Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. - Osman Hasan; Sofiène Tahar (J. Autom. Reason., 2009)

Performance analysis of real-time rewriting models. - Jounaidi Ben Hassan; Osman Hasan; Tarek Sadani; Sofiène Tahar (AICCSA, 2010)

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. - Osman Hasan; Sofiène Tahar (ASM, 2010)

On the Formalization of the Lebesgue Integration Theory in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ITP, 2010)

Formal Lifetime Reliability Analysis Using Continuous Random Variables. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (WoLLIC, 2010)

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. - Osman Hasan; Sofiène Tahar (J. Comput. Sci. Technol., 2010)

Formal Reliability Analysis Using Theorem Proving. - Osman Hasan; Sofiène Tahar; Naeem Abbasi (IEEE Trans. Computers, 2010)

Formalization of Finite-State Discrete-Time Markov Chains in HOL. - Liya Liu; Osman Hasan; Sofiène Tahar (ATVA, 2011)

Formal analysis of fractional order systems in HOL. - Umair Siddique; Osman Hasan (FMCAD, 2011)

Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (ICFEM, 2011)

Formalization of Entropy Measures in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ITP, 2011)

Formal reliability analysis of combinational circuits using theorem proving. - Osman Hasan; Jigar Patel; Sofiène Tahar (J. Appl. Log., 2011)

Reasoning about conditional probabilities in a higher-order-logic theorem prover. - Osman Hasan; Sofiène Tahar (J. Appl. Log., 2011)

Formal verification of the heavy hitter problem. - Ghassen Helali; Sofiène Tahar; Osman Hasan (CCECE, 2012)

Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. - Atif Mashkoor; Osman Hasan (ICCSA (3), 2012)

Quantitative Analysis of Information Flow Using Theorem Proving. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ICFEM, 2012)

Modified null convention logic pipeline to detect soft errors in both null and data phases. - Faiq Khalid Lodhi; Osman Hasan; Syed Rafay Hasan; Falah Awwad (MWSCAS, 2012)

Formal Analysis of Soft Errors using Theorem Proving. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (SCSS, 2012)

Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (SCSS, 2012)

Using Probabilistic Analysis for the Certification of Machine Control Systems. - Atif Mashkoor; Osman Hasan; Wolfgang Beer (CD-ARES Workshops, 2013)

Formal analysis of steady state errors in feedback control systems using HOL-light. - Osman Hasan; Muhammad Ahmad (DATE, 2013)

Formal Reliability Analysis of Protective Relays in Power Distribution Systems. - Adil Khurram; Haider Ali; Arham Tariq; Osman Hasan (FMICS, 2013)

Formal verification of distributed dynamic thermal management. - Muhammad Ismail; Osman Hasan; Thomas Ebi; Muhammad Shafique 001; Jörg Henkel (ICCAD, 2013)

Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements. - Muhammad Usman Sanwal; Osman Hasan (ICCSA (1), 2013)

Formal Kinematic Analysis of the Two-Link Planar Manipulator. - Binyameen Farooq; Osman Hasan; Sohail Iqbal 001 (ICFEM, 2013)

Formal Reasoning about Classified Markov Chains in HOL. - Liya Liu; Osman Hasan; Vincent Aravantinos; Sofiène Tahar (ITP, 2013)

Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. - Syeda Hira Taqdees; Osman Hasan (LPAR, 2013)

Adaptive Potential guided directional-RRT. - Ahmed Hussain Qureshi; Saba Mumtaz; Khawaja Fahad Iqbal; Badar Ali; Yasar Ayaz; Faizan Ahmed; Saeed Muhammad Mannan; Osman Hasan; Whoi-Yul Kim; Moonsoo Ra (ROBIO, 2013)

Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. - Ghassen Helali; Osman Hasan; Sofiène Tahar (SBMF, 2013)

Formal Analysis of Memory Contention in a Multiprocessor System. - Liya Liu; Osman Hasan; Sofiène Tahar (SBMF, 2013)

Towards the Formal Performance Analysis of Wireless Sensor Networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (WETICE, 2013)

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. - Liya Liu; Osman Hasan; Sofiène Tahar (J. Comput. Sci. Technol., 2013)

Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ACM Trans. Embed. Comput. Syst., 2013)

Triangular geometry based optimal motion planning using RRT*-motion planner. - Ahmed Hussain Qureshi; Saba Mumtaz; Khawaja Fahad Iqbal; Yasar Ayaz; Mannan Saeed Muhammad; Osman Hasan; Whoi-Yul Kim; Moonsoo Ra (AMC, 2014)

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. - Muhammad Ahmad; Osman Hasan (FMICS, 2014)

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (FTSCS, 2014)

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. - Usman Pervez; Osman Hasan; Khalid Latif 001; Sofiène Tahar; Amjad Gawanmeh; Mohamed Salah Hamdi (Healthcom, 2014)

On the Formal Analysis of HMM Using Theorem Proving. - Liya Liu; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (ICFEM, 2014)

Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN. - Anam Zaman; Osman Hasan (ISSoC, 2014)

Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (ISVLSI, 2014)

Formalization of Complex Vectors in Higher-Order Logic. - Sanaz Khan Afshar; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (CICM, 2014)

Towards the Formal Reliability Analysis of Oil and Gas Pipelines. - Waqar Ahmad; Osman Hasan; Sofiène Tahar; Mohammad Salah Hamdi (CICM, 2014)

Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments. - Ahmed Hussain Qureshi; Saba Mumtaz; Wajeeha Khan; Abdul Ahad Ashfaq Sheikh; Khawaja Fahad Iqbal; Yasar Ayaz; Osman Hasan (MMAR, 2014)

Yield aware inter-logic-layer communication in 3-D ICs: Early design stage recommendations. - Waqas Gul; Syed Rafay Hasan; Osman Hasan (MWSCAS, 2014)

Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah Awwad (MWSCAS, 2014)

Towards the formal verification of optical interconnects. - Sanaz Khan Afshar; Osman Hasan; Sofiène Tahar (NEWCAS, 2014)

Clock domain crossing (CDC) for inter-logic-layer communication in 3-D ICs. - Waqas Gul; Syed Rafay Hasan; Osman Hasan (NEWCAS, 2014)

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. - Sohaib Ahmad; Osman Hasan; Umair Siddique; Sofiène Tahar (SBMF, 2014)

Towards Formal Reasoning about Molecular Pathways in HOL. - Sohaib Ahmad; Osman Hasan; Umair Siddique (WETICE, 2014)

Timing variation aware dynamic digital phase detector for low-latency clock domain crossing. - Faiq Khalid Lodhi; Syed Rafay Hasan; Naeha Sharif; Nadra Ramzan; Osman Hasan (IET Circuits Devices Syst., 2014)

On the Formalization of Gamma Function in HOL. - Umair Siddique; Osman Hasan (J. Autom. Reason., 2014)

An approach for lifetime reliability analysis using theorem proving. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (J. Comput. Syst. Sci., 2014)

Towards Formal Linear Cryptanalysis using HOL4. - Osman Hasan; Syed Ali Khayam (J. Univers. Comput. Sci., 2014)

Formal Analysis of Optical Systems. - Sanaz Khan Afshar; Umair Siddique; Mohamed Yousri Mahmoud; Vincent Aravantinos; Ons Seddiki; Osman Hasan; Sofiène Tahar (Math. Comput. Sci., 2014)

Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations. - Muhammad Usman Sanwal; Osman Hasan (CyPhy, 2015)

Formal probabilistic analysis of distributed dynamic thermal management. - Shafaq Iqtedar; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (DATE, 2015)

g-HOL: A Graphical User Interface for the HOL Proof Assistant. - Fahd Arshad; Hassan Mehmood; Fauzan Raza; Osman Hasan (FTSCS, 2015)

Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. - Usman Pervez; Asiah Mahmood; Osman Hasan; Khalid Latif 001; Amjad Gawanmeh (HealthCom, 2015)

Safe-radius based motion planning of hexapod using RRT-connect. - Muhammad Sarmad Khan; Asad Ali Awan; Fahad Islam; Yasar Ayaz; Osman Hasan (ICIA, 2015)

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (IWIL@LPAR, 2015)

Towards Formal Fault Tree Analysis Using Theorem Proving. - Waqar Ahmad; Osman Hasan (CICM, 2015)

Towards the Formalization of Fractional Calculus in Higher-Order Logic. - Umair Siddique; Osman Hasan; Sofiène Tahar (CICM, 2015)

Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (NORCAS, 2015)

Formal modeling and verification of integrated photonic systems. - Umair Siddique; Osman Hasan; Sofiène Tahar (SysCon, 2015)

Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. - Shafaq Iqtedar; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (WETICE, 2015)

Formal reliability analysis of wireless sensor network data transport protocols using HOL. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (WiMob, 2015)

Applying Formal Methods to Networking: Theory, Techniques, and Applications. - Junaid Qadir 001; Osman Hasan (IEEE Commun. Surv. Tutorials, 2015)

Formal probabilistic analysis of detection properties in wireless sensor networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (Formal Aspects Comput., 2015)

Evaluation of anonymity and confidentiality protocols using theorem proving. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (Formal Methods Syst. Des., 2015)

On the Formalization of Zsyntax with Applications in Molecular Biology. - Sohaib Ahmad; Osman Hasan; Umair Siddique (Scalable Comput. Pract. Exp., 2015)

An area-efficient consolidated configurable error correction for approximate hardware accelerators. - Sana Mazahir; Osman Hasan; Rehan Hafiz; Muhammad Shafique 001; Jörg Henkel (DAC, 2016)

Formal probabilistic analysis of distributed resource management schemes in on-chip systems. - Shafaq Iqtedar; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (DATE, 2016)

Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. - Imran Hafeez Abbasi; Faiq Khalid Lodhi; Awais Mehmood Kamboh; Osman Hasan (FTSCS, 2016)

Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (FTSCS, 2016)

Formal Availability Analysis Using Theorem Proving. - Waqar Ahmad; Osman Hasan (ICFEM, 2016)

Whole-body motion planning for humanoid robots with heuristic search. - Ali Athar; Abdul Moeed Zafar; Rizwan Asif; Armaghan Ahmad Khan; Fahad Islam; Yasar Ayaz; Osman Hasan (IROS, 2016)

Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces. - Waqas Gul; Syed Rafay Hasan; Osman Hasan; Faiq Khalid Lodhi; Falah R. Awwad (ISCAS, 2016)

A self-learning framework to detect the intruded integrated circuits. - Faiq Khalid Lodhi; Imran Hafeez Abbasi; Faiq Khalid; Osman Hasan; Falah R. Awwad; Syed Rafay Hasan (ISCAS, 2016)

On the Formalization of Fourier Transform in Higher-order Logic. - Adnan Rashid; Osman Hasan (ITP, 2016)

Formal Dependability Modeling and Analysis: A Survey. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (CICM, 2016)

Formalization of Normal Random Variables in HOL. - Muhammad Qasim; Osman Hasan; Maissa Elleuch; Sofiène Tahar (CICM, 2016)

Probabilistic Formal Verification of the SATS Concept of Operation. - Muhammad Usama Sardar; Nida Afaq; Khaza Anuarul Hoque; Taylor T. Johnson; Osman Hasan (NFM, 2016)

Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. - Waqar Ahmad; Osman Hasan (SETTA, 2016)

Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (VECoS, 2016)

Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (J. Electron. Test., 2016)

Clock domain crossing (CDC) in 3D-SICs: Semi QDI asynchronous vs loosely synchronous. - Syed Rafay Hasan; Waqas Gul; Osman Hasan (Integr., 2016)

Formalization of Reliability Block Diagrams in Higher-order Logic. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (J. Appl. Log., 2016)

Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis. - Usman Pervez; Asiah Mahmood; Osman Hasan; Khalid Latif 001; Amjad Gawanmeh (Scalable Comput. Pract. Exp., 2016)

Al-Zahrawi: A Telesurgical Robotic System for Minimal Invasive Surgery. - Taimoor Hassan; Asad Hameed; Sajid Nisar; Nabeel Kamal; Osman Hasan (IEEE Syst. J., 2016)

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. - Adnan Rashid; Osman Hasan (CyPhy, 2017)

Statistical Error Analysis for Low Power Approximate Adders. - Muhammad Kamran Ayub; Osman Hasan; Muhammad Shafique 001 (DAC, 2017)

QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders. - Muhammad Abdullah Hanif; Rehan Hafiz; Osman Hasan; Muhammad Shafique 001 (DAC, 2017)

CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (DATE, 2017)

Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (DATE, 2017)

Formal Analysis of Linear Control Systems Using Theorem Proving. - Adnan Rashid; Osman Hasan (ICFEM, 2017)

Formal verification of demand response based home energy management systems in smart grids. - Adnan Yaqoob Salik; Muhammad Usama Sardar; Osman Hasan; Syed Rafay Hasan; Falah Awwad (ISGT Asia, 2017)

Formalization of Transform Methods Using HOL Light. - Adnan Rashid; Osman Hasan (CICM, 2017)

Behavior profiling of power distribution networks for runtime hardware trojan detection. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Falah Awwad (MWSCAS, 2017)

Formal Analysis of Information Flow in HOL. - Ghassen Helali; Sofiène Tahar; Osman Hasan; Tsvetan Dunchev (SETTA, 2017)

Formalization of Birth-Death and IID processes in higher-order logic. - Liya Liu; Osman Hasan; Sofiène Tahar (SysCon, 2017)

Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. - Muhammad Saad Ayub; Osman Hasan (VECoS, 2017)

IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things. - Mujahid Mohsin; Muhammad Usama Sardar; Osman Hasan; Zahid Anwar (IEEE Access, 2017)

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems. - Muhammad Usama Sardar; Osman Hasan (MARS@ETAPS, 2017)

Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. - Yassmeen Elderhalli; Osman Hasan; Waqar Ahmad; Sofiène Tahar (CoRR, 2017)

Formally Verifying Transfer Functions of Linear Analog Circuits. - Syeda Hira Taqdees; Osman Hasan (IEEE Des. Test, 2017)

NoC-Based Implementation of Free Form Deformations in Medical Imaging Registration. - Uzma Mushtaq; Osman Hasan; Falah R. Awwad (J. Circuits Syst. Comput., 2017)

Reliability modeling and analysis of communication networks. - Waqar Ahmad; Osman Hasan; Usman Pervez; Junaid Qadir 001 (J. Netw. Comput. Appl., 2017)

Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes. - Muhammad Usama Sardar; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (J. Parallel Distributed Comput., 2017)

FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (Sci. Comput. Program., 2017)

Probabilistic Error Analysis of Approximate Recursive Multipliers. - Sana Mazahir; Osman Hasan; Rehan Hafiz; Muhammad Shafique 001 (IEEE Trans. Computers, 2017)

Probabilistic Error Modeling for Approximate Adders. - Sana Mazahir; Osman Hasan; Rehan Hafiz; Muhammad Shafique 001; Jörg Henkel (IEEE Trans. Computers, 2017)

Formal Stability Analysis of Control Systems. - Asad Ahmed; Osman Hasan; Falah Awwad (FTSCS, 2018)

Formal Timing Analysis of Digital Circuits. - Qurat Ul Ain; Osman Hasan (FTSCS, 2018)

Comparative Study of Approximate Multipliers. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2018)

Approximation-Conscious IC Testing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (ICM, 2018)

Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices. - Faiq Khalid; Sunil Nanjiani; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad; Muhammad Shafique 001 (ISCAS, 2018)

Electronic Design of a Semi-Automated Micromanipulator Cell Injection System. - Asad Hameed; Nabeel Kamal; Saad BinQaiser; Osman Hasan; Nasir Jalal (ISMICT, 2018)

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper). - Adnan Rashid; Osman Hasan (CICM Workshops, 2018)

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. - Yassmeen Elderhalli; Osman Hasan; Waqar Ahmad; Sofiène Tahar (NFM, 2018)

Formal Verification of n-bit ALU Using Theorem Proving. - Sumayya Shiraz; Osman Hasan (SBMF, 2018)

Formal Verification of Platoon Control Strategies. - Adnan Rashid; Umair Siddique; Osman Hasan (SEFM, 2018)

Formal Verification and Safety Assessment of a Hemodialysis Machine. - Shahid Khan 002; Osman Hasan; Atif Mashkoor (SOFSEM, 2018)

A modular and generic virtual reality training framework for micro-robotic cell injection systems. - Nabeel Kamal; Zohaib Amjad Khan; Asad Hameed; Osman Hasan (SysCon, 2018)

Formal verification of a domain specific language for run-time adaptation. - Shahid Khan 002; Faiq Khalid; Osman Hasan; João M. P. Cardoso (SysCon, 2018)

COMFAST: A comparative framework for analysis of scheduling techniques in multi-core systems. - Sarah Shah; Abdul Qahir; Masooma Safeer; Sana Mazahir; Osman Hasan (SysCon, 2018)

McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits. - Imran Hafeez Abbassi; Faiq Khalid; Osman Hasan; Awais Mehmood Kamboh; Muhammad Shafique 001 (IEEE Access, 2018)

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic. - Adnan Rashid; Osman Hasan (CoRR, 2018)

Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. - Yassmeen Elderhalli; Waqar Ahmad; Osman Hasan; Sofiène Tahar (CoRR, 2018)

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. - Faiq Khalid; Imran Hafeez Abbassi; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (CoRR, 2018)

Probabliistic analysis of electrocardiogram (ECG) heart signal. - Amjad Gawanmeh; Usman Pervez; Osman Hasan (Comput. Syst. Sci. Eng., 2018)

Adaptive Approximate Computing in Arithmetic Datapaths. - Sana Mazahir; Osman Hasan; Muhammad Shafique 001 (IEEE Des. Test, 2018)

Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid. - Syed Atif Naseem; Riaz Uddin; Osman Hasan; Diaa E. Fawzy (FLAP, 2018)

Formalization of Lerch's Theorem using HOL Light. - Adnan Rashid; Osman Hasan (FLAP, 2018)

Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (Int. J. Crit. Comput. Based Syst., 2018)

Runtime hardware Trojan monitors through modeling burst mode communication using formal verification. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (Integr., 2018)

Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures. - Muhammad Saad Ayub; Osman Hasan (Innov. Syst. Softw. Eng., 2018)

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Inf. Technol. Control., 2018)

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). - Muhammad Usama Sardar; Nida Afaq; Osman Hasan; Khaza Anuarul Hoque (J. Autom. Reason., 2018)

SAT Based Fitness Scoring for Digital Circuit Evolution. - Mumtaz Ali; Osman Hasan (J. Circuits Syst. Comput., 2018)

A Library for Combinational Circuit Verification Using the HOL Theorem Prover. - Sumayya Shiraz; Osman Hasan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Probabilistic Error Analysis of Approximate Adders and Multipliers. - Sana Mazahir; Muhammad Kamran Ayub; Osman Hasan; Muhammad Shafique 001 (Approximate Circuits, 2019)

A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection. - Rubab Hafeez; Zohaib Amjad Khan; Osman Hasan (ICCCS, 2019)

Formalization of Asymptotic Notations in HOL4. - Nadeem Iqbal 001; Osman Hasan; Umair Siddique; Falah Awwad (ICCCS, 2019)

Using Machine Learning for Quality Configurable Approximate Computing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (DATE, 2019)

A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (ICFEM, 2019)

On the formalization of importance measures using HOL theorem proving. - Waqar Ahmad; Shahid Ali Murtza; Osman Hasan; Sofiène Tahar (FormaliSE@ICSE, 2019)

Formal Verification of Rewriting Rules for Dynamic Fault Trees. - Yassmeen Elderhalli; Matthias Volk 001; Osman Hasan; Joost-Pieter Katoen; Sofiène Tahar (SEFM, 2019)

Electronic Controller Design of a Semi-Automatic Cell Microinjection System. - Asad Hameed; Osman Hasan (SysCon, 2019)

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (IEEE Access, 2019)

Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (IEEE Access, 2019)

SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Falah Awwad; Muhammad Shafique 001 (CoRR, 2019)

On the Formalization of Importance Measures using HOL Theorem Proving. - Waqar Ahmed; Shahid Ali Murtza; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Error Analysis of Approximate Array Multipliers. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (CoRR, 2019)

A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Integrating DFT and DRBD Formalizations in HOL4. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Formal comparison of LEACH and its extensions. - Ainan Ihsan; Kashif Saghar; Tayyba Fatima; Osman Hasan (Comput. Stand. Interfaces, 2019)

Formal Periodic Steady-state Analysis of Power Converters in Time-domain. - Asad Ahmed; Osman Hasan; Ammar Hasan (FLAP, 2019)

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. - Yassmeen Elderhalli; Waqar Ahmad; Osman Hasan; Sofiène Tahar (FLAP, 2019)

SecureSurgiNET: A framework for ensuring security in telesurgery. - Sohail Iqbal 001; Shahzad Farooq; Khuram Shahzad; Asad Waqar Malik; Mian Muhammad Hamayun; Osman Hasan (Int. J. Distributed Sens. Networks, 2019)

Formal analysis of continuous-time systems using Fourier transform. - Adnan Rashid; Osman Hasan (J. Symb. Comput., 2019)

Self-compensating accelerators for efficient approximate computing. - Sana Mazahir; Osman Hasan; Muhammad Shafique 001 (Microelectron. J., 2019)

Wearable technologies for hand joints monitoring for rehabilitation: A survey. - Adnan Rashid; Osman Hasan (Microelectron. J., 2019)

Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. - Imran Hafeez Abbassi; Faiq Khalid; Osman Hasan; Awais Mehmood Kamboh (Sci. Comput. Program., 2019)

Formal Probabilistic Analysis of Low Latency Approximate Adders. - Amina Qureshi; Osman Hasan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units. - Muhammad Abdullah Hanif; Rehan Hafiz; Osman Hasan; Muhammad Shafique 001 (DAC, 2020)

FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. - Mahum Naseer; Mishal Fatima Minhas; Faiq Khalid; Muhammad Abdullah Hanif; Osman Hasan; Muhammad Shafique 001 (DATE, 2020)

Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. - Mahmoud Masadeh; Alain Aoun; Osman Hasan; Sofiène Tahar (ICM, 2020)

Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures. - Moeez Akmal; Muhammad Sarmad Saeed; Muhammad Usama Sardar; Hareem Shafi; Osman Hasan; Heba Khdr; Jörg Henkel (ISQED, 2020)

Formal Verification of a Fully Automated Out-of-Plane Cell Injection System. - Iram Tariq Bhatti; Osman Hasan (ISQED, 2020)

A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CICM, 2020)

Formal analysis of the biological circuits using higher-order-logic theorem proving. - Sa'ed Abed; Adnan Rashid; Osman Hasan (SAC, 2020)

Proof searching in HOL4 with genetic algorithm. - Muhammad Zohaib Nawaz; Osman Hasan; M. Saqib Nawaz; Philippe Fournier-Viger; Meng Sun 002 (SAC, 2020)

Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. - Mahmoud Masadeh; Alain Aoun; Osman Hasan; Sofiène Tahar (SysCon, 2020)

Machine Learning-Based Self-Compensating Approximate Computing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (SysCon, 2020)

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. - Adnan Rashid; Muhammad Umair; Osman Hasan; Mohamed H. Zaki (IEEE Access, 2020)

FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. - Adnan Rashid; Ayesha Gauhar; Osman Hasan (CoRR, 2020)

m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks. - Salman Maqbool; Aqsa Riaz; Hasan Sajid; Osman Hasan (CoRR, 2020)

MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. - Faiq Khalid; Syed Rafay Hasan; Sara Zia; Osman Hasan; Falah Awwad; Muhammad Shafique 001 (CoRR, 2020)

Formal Verification of ECCs for Memories Using ACL2. - Mahum Naseer; Waqar Ahmad; Osman Hasan (J. Electron. Test., 2020)

Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (Formal Aspects Comput., 2020)

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. - Adnan Rashid; Osman Hasan (Formal Aspects Comput., 2020)

PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate Adders. - Muhammad Kamran Ayub; Muhammad Abdullah Hanif; Osman Hasan; Muhammad Shafique 001 (ACM J. Emerg. Technol. Comput. Syst., 2020)

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Multiagent Grid Syst., 2020)

SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Muhammad Shafique 001 (Microprocess. Microsystems, 2020)

Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving. - Waqar Ahmad; Osman Hasan; Falah Awwad; Nabil Bastaki; Syed Rafay Hasan (IEEE Syst. J., 2020)

Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads. - Syed Ali Asadullah Bukhari; Faiq Khalid; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. - Faiq Khalid; Syed Rafay Hasan; Sara Zia; Osman Hasan; Falah Awwad; Muhammad Shafique 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. - Sa'ed Abed; Adnan Rashid; Osman Hasan (J. Aerosp. Inf. Syst., 2020)

An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. - Ammar Boucherit; Kamel Barkaoui; Osman Hasan (PNSE@Petri Nets, 2021)

Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability. - Yassmeen Elderhalli; Nahla A. El-Araby; Osman Hasan; Axel Jantsch; Sofiène Tahar (ISVLSI, 2021)

FVPS Preface. - Osman Hasan (CICM Workshops, 2021)

Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Osman Hasan; Philippe Fournier-Viger; Meng Sun 002 (Appl. Intell., 2021)

An evolutionary/heuristic-based proof searching framework for interactive theorem prover. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Osman Hasan; Philippe Fournier-Viger; Meng Sun 002 (Appl. Soft Comput., 2021)

BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables. - Bharath Srinivas Prabakaran; Asima Akhtar; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (CoRR, 2021)

Formalization of Bond Graph using Higher-order-logic Theorem Proving. - Ujala Qasim; Adnan Rashid; Osman Hasan (CoRR, 2021)

Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. - Shahid Ali Murtza; Waqar Ahmed; Adnan Rashid; Osman Hasan (CoRR, 2021)

HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits. - Mishal Fatima Minhas; Osman Hasan; Sa'ed Abed (J. Electron. Test., 2021)

Towards a hybrid formal analysis technique for safety-critical software architectures. - Ammar Boucherit; Laura M. Castro; Osman Hasan; Abdallah Khababa (Int. J. Crit. Comput. Based Syst., 2021)

BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables. - Bharath Srinivas Prabakaran; Asima Akhtar; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (IEEE Internet Things J., 2021)

LPQ-SAM: A Low-Power Quality Scalable Approximate Multiplier. - Sumbal Iqbal; Osman Hasan; Rehan Hafiz; Zeshan Aslam Khan (J. Circuits Syst. Comput., 2021)

A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration. - Mahmoud Masadeh; Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (ACM J. Emerg. Technol. Comput. Syst., 2021)

Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving. - Adnan Rashid; Osman Hasan (J. Syst. Archit., 2021)

Formal verification of Matrix based MATLAB models using interactive theorem proving. - Ayesha Gauhar; Adnan Rashid; Osman Hasan; João Bispo; João M. P. Cardoso (PeerJ Comput. Sci., 2021)

Preface - FTSCS 2019. - Osman Hasan; Frédéric Mallet (Sci. Comput. Program., 2021)

Machine-Learning-Based Self-Tunable Design of Approximate Computing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (IEEE Trans. Very Large Scale Integr. Syst., 2021)

On the Formalization of the Heat Conduction Problem in HOL. - Elif Deniz; Adnan Rashid; Osman Hasan; Sofiène Tahar (CICM, 2022)

Metaheuristic Algorithms for Proof Searching in HOL4. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Osman Hasan; Philippe Fournier-Viger (SEKE, 2022)

A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. - Shahid Khan 002; Waqar Ahmad; Osman Hasan (SMACD, 2022)

A formal approach to identifying the impact of noise on neural networks. - Iram Tariq Bhatti; Mahum Naseer; Muhammad Shafique 001; Osman Hasan (Commun. ACM, 2022)

Formal analysis of 2D image processing filters using higher-order logic theorem proving. - Adnan Rashid; Sa'ed Abed; Osman Hasan (EURASIP J. Adv. Signal Process., 2022)

Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks. - Khadija Shaheen; Muhammad Abdullah Hanif; Osman Hasan; Muhammad Shafique 001 (J. Intell. Robotic Syst., 2022)

ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits. - Faiq Khalid; Imran Hafeez Abbassi; Semeen Rehman; Awais Mehmood Kamboh; Osman Hasan; Muhammad Shafique 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. - Mahum Naseer; Osman Hasan; Muhammad Shafique 001 (FoMLAS@CAV, 2023)

Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition. - Neelma Naz; Hasan Sajid; Sara Ali; Osman Hasan; Muhammad Khurram Ehsan (IEEE Access, 2023)

Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version). - Mahum Naseer; Osman Hasan; Muhammad Shafique 001 (CoRR, 2023)

PN2Maude: An automatic tool to generate Maude specification for Petri net models. - Ammar Boucherit; Messaoud Abbas; Mohammed Lamine Lamouri; Osman Hasan (Comput. Sci. J. Moldova, 2023)

Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment. - Arooj Nawaz; Osman Hasan; Shaista Jabeen (Neural Comput., 2023)

Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles. - Adnan Rashid; Osman Hasan; Sa'ed Abed (Mobile Robot: Motion Control and Path Planning, 2023)

QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis. - Mahum Naseer; Osman Hasan; Muhammad Shafique 001 (ACM Trans. Design Autom. Electr. Syst., 2023)

MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognition. - Neelma Naz; Hasan Sajid; Sara Ali; Osman Hasan; Muhammad Khurram Ehsan (Comput. Electr. Eng., 2023)

Arithmetic Calculus Modeling for Approximate Circuits. - Alain Aoun; Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (ICM, 2024)

Formal Verification of ABCD Parameters Based Models for Transmission Lines. - Elif Deniz; Adnan Rashid; Osman Hasan; Sofiène Tahar (SCSS, 2024)

Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications. - Mishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique 001 (CoRR, 2024)

Formal timing analysis of gate-level digital circuits using model checking. - Qurat-ul Ain; Osman Hasan (Microprocess. Microsystems, 2024)

UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks. - Mahum Naseer; Bharath Srinivas Prabakaran; Osman Hasan; Muhammad Shafique 001 (Mach. Learn., 2024)

Formal Verification of Universal Numbers using Theorem Proving. - Adnan Rashid; Ayesha Gauhar; Osman Hasan; Sa'ed Abed; Imtiaz Ahmad (J. Electron. Test., 2024)

Dynamic dependability analysis of shuffle-exchange networks. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (Formal Methods Syst. Des., 2024)

A Universal Virtual Reality Training Platform for Microscale Robotic Cell Injection in Biomedical Research and Practice. - Rubab Hafeez; Zohaib Amjad; Sadia Waheed; Osman Hasan; Muhammad Imran Sharif 001; Anwaar Ulhaq (SN Comput. Sci., 2024)

Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications. - Adnan Rashid; Sa'ed Abed; Osman Hasan (ICMRE, 2025)

Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving. - Kubra Aksoy; Adnan Rashid; Osman Hasan; Sofiène Tahar (SysCon, 2025)

Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications. - Mishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique 001 (IEEE Access, 2025)

Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers. - Muhammad Hannan Khan; Shahid Khan 002; Osman Hasan (J. Log. Algebraic Methods Program., 2025)

Replay4NCL: An Efficient Memory Replay-based Methodology for Neuromorphic Continual Learning in Embedded AI Systems. - Mishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique 001 (CoRR, 2025)

MSE-GCN: A Multiscale Spatiotemporal Feature Aggregation Enhanced Efficient Graph Convolutional Network for Dynamic Sign Language Recognition. - Neelma Naz; Hasan Sajid; Sara Ali; Osman Hasan; Muhammad Khurram Ehsan (IEEE Trans. Emerg. Top. Comput. Intell., 2025)