Osman Hasan - RankMe

276 papers A* 5A 10B 15C 32Misc 5Journal 139Unranked 66

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formal Analysis of Lane-Changing Algorithms using Probabilistic Model Checking. J. Signal Process. Syst. Muhammad Bilal Sarwar, Osman Hasan
2026	J	`jnl`	On the Formalization of Network Topology Matrices in HOL. CoRR Kubra Aksoy, Adnan Rashid, Osman Hasan, Sofiène Tahar
2025	J	`jnl`	An Approach for Hardware Trojan Detection Using Triple Modular Redundancy in Approximate Synthesis (HT-TRAPS). IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Manal Fatima, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications. IEEE Access Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique
2025	—	`conf`	Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving. SysCon Kubra Aksoy, Adnan Rashid, Osman Hasan, Sofiène Tahar
2025	—	`conf`	Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications. ICMRE Adnan Rashid, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications. CoRR Adnan Rashid, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	MSE-GCN: A Multiscale Spatiotemporal Feature Aggregation Enhanced Efficient Graph Convolutional Network for Dynamic Sign Language Recognition. IEEE Trans. Emerg. Top. Comput. Intell. Neelma Naz, Hasan Sajid, Sara Ali, Osman Hasan, Muhammad Khurram Ehsan
2025	A*	`conf`	Replay4NCL: An Efficient Memory Replay-based Methodology for Neuromorphic Continual Learning in Embedded AI Systems. DAC Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique
2025	J	`jnl`	Replay4NCL: An Efficient Memory Replay-based Methodology for Neuromorphic Continual Learning in Embedded AI Systems. CoRR Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique
2025	J	`jnl`	Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers. J. Log. Algebraic Methods Program. Muhammad Hannan Khan, Shahid Khan, Osman Hasan
2024	J	`jnl`	A Universal Virtual Reality Training Platform for Microscale Robotic Cell Injection in Biomedical Research and Practice. SN Comput. Sci. Rubab Hafeez, Zohaib Amjad, Sadia Waheed, Osman Hasan, Muhammad Imran Sharif, Anwaar Ulhaq
2024	—	`conf`	Arithmetic Calculus Modeling for Approximate Circuits. ICM Alain Aoun, Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2024	J	`jnl`	Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications. CoRR Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique
2024	J	`jnl`	Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2024	—	`conf`	Formal Verification of ABCD Parameters Based Models for Transmission Lines. SCSS Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
2024	J	`jnl`	Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad
2024	J	`jnl`	Formal timing analysis of gate-level digital circuits using model checking. Microprocess. Microsystems Qurat-ul Ain, Osman Hasan
2024	J	`jnl`	UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks. Mach. Learn. Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique
2023	J	`jnl`	Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment. Neural Comput. Arooj Nawaz, Osman Hasan, Shaista Jabeen
2023	J	`jnl`	MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognition. Comput. Electr. Eng. Neelma Naz, Hasan Sajid, Sara Ali, Osman Hasan, Muhammad Khurram Ehsan
2023	J	`jnl`	PN2Maude: An automatic tool to generate Maude specification for Petri net models. Comput. Sci. J. Moldova Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan
2023	J	`jnl`	QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis. ACM Trans. Design Autom. Electr. Syst. Mahum Naseer, Osman Hasan, Muhammad Shafique
2023	J	`jnl`	Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version). CoRR Mahum Naseer, Osman Hasan, Muhammad Shafique
2023	—	`conf`	Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. FoMLAS@CAV Mahum Naseer, Osman Hasan, Muhammad Shafique
2023	J	`jnl`	Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition. IEEE Access Neelma Naz, Hasan Sajid, Sara Ali, Osman Hasan, Muhammad Khurram Ehsan
2023	J	`jnl`	UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks. CoRR Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique
2023	—	`ch.`	Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles. Mobile Robot: Motion Control and Path Planning Adnan Rashid, Osman Hasan, Sa'ed Abed
2022	—	`conf`	A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. SMACD Shahid Khan, Waqar Ahmad, Osman Hasan
2022	J	`jnl`	A formal approach to identifying the impact of noise on neural networks. Commun. ACM Iram Tariq Bhatti, Mahum Naseer, Muhammad Shafique, Osman Hasan
2022	J	`jnl`	Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks. J. Intell. Robotic Syst. Khadija Shaheen, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
2022	J	`jnl`	ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Awais Mehmood Kamboh, Osman Hasan, Muhammad Shafique
2022	J	`jnl`	Formal analysis of 2D image processing filters using higher-order logic theorem proving. EURASIP J. Adv. Signal Process. Adnan Rashid, Sa'ed Abed, Osman Hasan
2022	C	`conf`	Metaheuristic Algorithms for Proof Searching in HOL4. SEKE M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger
2022	C	`conf`	On the Formalization of the Heat Conduction Problem in HOL. CICM Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
2022	J	`jnl`	On the Formalization of the Heat Conduction Problem in HOL. CoRR Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
2021	J	`jnl`	A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration. ACM J. Emerg. Technol. Comput. Syst. Mahmoud Masadeh, Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2021	—	`conf`	An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets Ammar Boucherit, Kamel Barkaoui, Osman Hasan
2021	J	`jnl`	An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput. M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
2021	J	`jnl`	BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables. CoRR Bharath Srinivas Prabakaran, Asima Akhtar, Semeen Rehman, Osman Hasan, Muhammad Shafique
2021	J	`jnl`	BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables. IEEE Internet Things J. Bharath Srinivas Prabakaran, Asima Akhtar, Semeen Rehman, Osman Hasan, Muhammad Shafique
2021	J	`jnl`	Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks. CoRR Khadija Shaheen, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
2021	—	`conf`	Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability. ISVLSI Yassmeen Elderhalli, Nahla A. El-Araby, Osman Hasan, Axel Jantsch, Sofiène Tahar
2021	—	`conf`	FVPS Preface. CICM Workshops Osman Hasan
2021	J	`jnl`	Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving. J. Syst. Archit. Adnan Rashid, Osman Hasan
2021	J	`jnl`	Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso
2021	J	`jnl`	Formalization of Bond Graph using Higher-order-logic Theorem Proving. CoRR Ujala Qasim, Adnan Rashid, Osman Hasan
2021	J	`jnl`	HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits. J. Electron. Test. Mishal Fatima Minhas, Osman Hasan, Sa'ed Abed
2021	J	`jnl`	LPQ-SAM: A Low-Power Quality Scalable Approximate Multiplier. J. Circuits Syst. Comput. Sumbal Iqbal, Osman Hasan, Rehan Hafiz, Zeshan Aslam Khan
2021	J	`jnl`	Machine-Learning-Based Self-Tunable Design of Approximate Computing. IEEE Trans. Very Large Scale Integr. Syst. Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2021	J	`jnl`	Preface - FTSCS 2019. Sci. Comput. Program. Osman Hasan, Frédéric Mallet
2021	J	`jnl`	Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques. Appl. Intell. M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
2021	J	`jnl`	Towards a hybrid formal analysis technique for safety-critical software architectures. Int. J. Crit. Comput. Based Syst. Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa
2021	J	`jnl`	Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. CoRR Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan
2020	C	`conf`	A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. CICM Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2020	—	`conf`	Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures. ISQED Moeez Akmal, Muhammad Sarmad Saeed, Muhammad Usama Sardar, Hareem Shafi, Osman Hasan, Heba Khdr, Jörg Henkel
2020	—	`conf`	Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. SysCon Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar
2020	A	`conf`	FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. DATE Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
2020	J	`jnl`	FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. CoRR Adnan Rashid, Ayesha Gauhar, Osman Hasan
2020	J	`jnl`	Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. J. Aerosp. Inf. Syst. Sa'ed Abed, Adnan Rashid, Osman Hasan
2020	J	`jnl`	Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving. IEEE Syst. J. Waqar Ahmad, Osman Hasan, Falah Awwad, Nabil Bastaki, Syed Rafay Hasan
2020	—	`ed.`	Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers FTSCS Osman Hasan, Frédéric Mallet
2020	J	`jnl`	Formal Verification of ECCs for Memories Using ACL2. J. Electron. Test. Mahum Naseer, Waqar Ahmad, Osman Hasan
2020	J	`jnl`	Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. Formal Aspects Comput. Adnan Rashid, Osman Hasan
2020	—	`conf`	Formal Verification of a Fully Automated Out-of-Plane Cell Injection System. ISQED Iram Tariq Bhatti, Osman Hasan
2020	Misc	`conf`	Formal analysis of the biological circuits using higher-order-logic theorem proving. SAC Sa'ed Abed, Adnan Rashid, Osman Hasan
2020	J	`jnl`	Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Formal Aspects Comput. Waqar Ahmad, Osman Hasan, Sofiène Tahar
2020	—	`conf`	Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. ICM Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar
2020	J	`jnl`	MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Faiq Khalid, Syed Rafay Hasan, Sara Zia, Osman Hasan, Falah Awwad, Muhammad Shafique
2020	J	`jnl`	MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. CoRR Faiq Khalid, Syed Rafay Hasan, Sara Zia, Osman Hasan, Falah Awwad, Muhammad Shafique
2020	—	`conf`	Machine Learning-Based Self-Compensating Approximate Computing. SysCon Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2020	J	`jnl`	PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate Adders. ACM J. Emerg. Technol. Comput. Syst. Muhammad Kamran Ayub, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
2020	A*	`conf`	PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units. DAC Muhammad Abdullah Hanif, Rehan Hafiz, Osman Hasan, Muhammad Shafique
2020	J	`jnl`	Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent Grid Syst. Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
2020	Misc	`conf`	Proof searching in HOL4 with genetic algorithm. SAC Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun
2020	J	`jnl`	SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection. Microprocess. Microsystems Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Muhammad Shafique
2020	J	`jnl`	Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Syed Ali Asadullah Bukhari, Faiq Khalid, Osman Hasan, Muhammad Shafique, Jörg Henkel
2020	J	`jnl`	Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki
2020	J	`jnl`	m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks. CoRR Salman Maqbool, Aqsa Riaz, Hasan Sajid, Osman Hasan
2019	C	`conf`	A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019	J	`jnl`	A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. CoRR Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019	—	`conf`	A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection. ICCCS Rubab Hafeez, Zohaib Amjad Khan, Osman Hasan
2019	J	`jnl`	A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019	J	`jnl`	Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. CoRR Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019	—	`conf`	Electronic Controller Design of a Semi-Automatic Cell Microinjection System. SysCon Asad Hameed, Osman Hasan
2019	J	`jnl`	Error Analysis of Approximate Array Multipliers. CoRR Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2019	J	`jnl`	FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. CoRR Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
2019	J	`jnl`	Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. CoRR Sa'ed Abed, Adnan Rashid, Osman Hasan
2019	J	`jnl`	Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. FLAP Asad Ahmed, Osman Hasan, Ammar Hasan
2019	J	`jnl`	Formal Periodic Steady-state Analysis of Power Converters in Time-domain. FLAP Asad Ahmed, Osman Hasan, Ammar Hasan
2019	J	`jnl`	Formal Probabilistic Analysis of Low Latency Approximate Adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Amina Qureshi, Osman Hasan
2019	B	`conf`	Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar
2019	J	`jnl`	Formal analysis of continuous-time systems using Fourier transform. J. Symb. Comput. Adnan Rashid, Osman Hasan
2019	J	`jnl`	Formal comparison of LEACH and its extensions. Comput. Stand. Interfaces Ainan Ihsan, Kashif Saghar, Tayyba Fatima, Osman Hasan
2019	—	`conf`	Formalization of Asymptotic Notations in HOL4. ICCCS Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad
2019	J	`jnl`	Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2019	J	`jnl`	Integrating DFT and DRBD Formalizations in HOL4. CoRR Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019	—	`ed.`	Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CICM Workshops Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019	J	`jnl`	On the Formalization of Importance Measures using HOL Theorem Proving. CoRR Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
2019	—	`conf`	On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
2019	J	`jnl`	Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
2019	—	`ch.`	Probabilistic Error Analysis of Approximate Adders and Multipliers. Approximate Circuits Sana Mazahir, Muhammad Kamran Ayub, Osman Hasan, Muhammad Shafique
2019	J	`jnl`	SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection. CoRR Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah Awwad, Muhammad Shafique
2019	J	`jnl`	SecureSurgiNET: A framework for ensuring security in telesurgery. Int. J. Distributed Sens. Networks Sohail Iqbal, Shahzad Farooq, Khuram Shahzad, Asad Waqar Malik, Mian Muhammad Hamayun, Osman Hasan
2019	J	`jnl`	Self-compensating accelerators for efficient approximate computing. Microelectron. J. Sana Mazahir, Osman Hasan, Muhammad Shafique
2019	A	`conf`	Using Machine Learning for Quality Configurable Approximate Computing. DATE Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2019	J	`jnl`	Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. Sci. Comput. Program. Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh
2019	J	`jnl`	Wearable technologies for hand joints monitoring for rehabilitation: A survey. Microelectron. J. Adnan Rashid, Osman Hasan
2018	J	`jnl`	A Library for Combinational Circuit Verification Using the HOL Theorem Prover. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sumayya Shiraz, Osman Hasan
2018	—	`conf`	A modular and generic virtual reality training framework for micro-robotic cell injection systems. SysCon Nabeel Kamal, Zohaib Amjad Khan, Asad Hameed, Osman Hasan
2018	J	`jnl`	Adaptive Approximate Computing in Arithmetic Datapaths. IEEE Des. Test Sana Mazahir, Osman Hasan, Muhammad Shafique
2018	—	`conf`	Approximation-Conscious IC Testing. ICM Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2018	—	`conf`	COMFAST: A comparative framework for analysis of scheduling techniques in multi-core systems. SysCon Sarah Shah, Abdul Qahir, Masooma Safeer, Sana Mazahir, Osman Hasan
2018	—	`conf`	Comparative Study of Approximate Multipliers. ACM Great Lakes Symposium on VLSI Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2018	J	`jnl`	Comparative Study of Approximate Multipliers. CoRR Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
2018	—	`conf`	Electronic Design of a Semi-Automated Micromanipulator Cell Injection System. ISMICT Asad Hameed, Nabeel Kamal, Saad BinQaiser, Osman Hasan, Nasir Jalal
2018	J	`jnl`	ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. CoRR Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Osman Hasan, Muhammad Shafique
2018	J	`jnl`	Formal Analysis of Robotic Cell Injection Systems using Theorem Proving. CoRR Adnan Rashid, Osman Hasan
2018	—	`conf`	Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. NFM Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
2018	—	`conf`	Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper). CICM Workshops Adnan Rashid, Osman Hasan
2018	J	`jnl`	Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic. CoRR Adnan Rashid, Osman Hasan
2018	J	`jnl`	Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
2018	—	`conf`	Formal Stability Analysis of Control Systems. FTSCS Asad Ahmed, Osman Hasan, Falah Awwad
2018	—	`conf`	Formal Timing Analysis of Digital Circuits. FTSCS Qurat Ul Ain, Osman Hasan
2018	B	`conf`	Formal Verification and Safety Assessment of a Hemodialysis Machine. SOFSEM Shahid Khan, Osman Hasan, Atif Mashkoor
2018	B	`conf`	Formal Verification of Platoon Control Strategies. SEFM Adnan Rashid, Umair Siddique, Osman Hasan
2018	J	`jnl`	Formal Verification of Platoon Control Strategies. CoRR Adnan Rashid, Umair Siddique, Osman Hasan
2018	—	`conf`	Formal Verification of n-bit ALU Using Theorem Proving. SBMF Sumayya Shiraz, Osman Hasan
2018	J	`jnl`	Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures. Innov. Syst. Softw. Eng. Muhammad Saad Ayub, Osman Hasan
2018	J	`jnl`	Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. Int. J. Crit. Comput. Based Syst. Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2018	—	`conf`	Formal verification of a domain specific language for run-time adaptation. SysCon Shahid Khan, Faiq Khalid, Osman Hasan, João M. P. Cardoso
2018	J	`jnl`	Formalization of Lerch's Theorem using HOL Light. CoRR Adnan Rashid, Osman Hasan
2018	J	`jnl`	Formalization of Lerch's Theorem using HOL Light. FLAP Adnan Rashid, Osman Hasan
2018	C	`conf`	Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices. ISCAS Faiq Khalid, Sunil Nanjiani, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad, Muhammad Shafique
2018	J	`jnl`	McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits. IEEE Access Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh, Muhammad Shafique
2018	J	`jnl`	Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid. FLAP Syed Atif Naseem, Riaz Uddin, Osman Hasan, Diaa E. Fawzy
2018	J	`jnl`	Probabliistic analysis of electrocardiogram (ECG) heart signal. Comput. Syst. Sci. Eng. Amjad Gawanmeh, Usman Pervez, Osman Hasan
2018	J	`jnl`	Runtime hardware Trojan monitors through modeling burst mode communication using formal verification. Integr. Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2018	J	`jnl`	SAT Based Fitness Scoring for Digital Circuit Evolution. J. Circuits Syst. Comput. Mumtaz Ali, Osman Hasan
2018	J	`jnl`	Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). J. Autom. Reason. Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque
2018	J	`jnl`	Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. Inf. Technol. Control. Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
2017	—	`conf`	Behavior profiling of power distribution networks for runtime hardware trojan detection. MWSCAS Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah Awwad
2017	A	`conf`	CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. DATE Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
2017	J	`jnl`	Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. CoRR Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
2017	J	`jnl`	FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. Sci. Comput. Program. Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
2017	J	`jnl`	Formal Analysis of Continuous-time Systems using Fourier Transform. CoRR Adnan Rashid, Osman Hasan
2017	Misc	`conf`	Formal Analysis of Information Flow in HOL. SETTA Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev
2017	C	`conf`	Formal Analysis of Linear Control Systems Using Theorem Proving. ICFEM Adnan Rashid, Osman Hasan
2017	J	`jnl`	Formal Analysis of Linear Control Systems using Theorem Proving. CoRR Adnan Rashid, Osman Hasan
2017	—	`conf`	Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. CyPhy Adnan Rashid, Osman Hasan
2017	C	`conf`	Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. VECoS Muhammad Saad Ayub, Osman Hasan
2017	—	`conf`	Formal verification of demand response based home energy management systems in smart grids. ISGT Asia Adnan Yaqoob Salik, Muhammad Usama Sardar, Osman Hasan, Syed Rafay Hasan, Falah Awwad
2017	—	`conf`	Formalization of Birth-Death and IID processes in higher-order logic. SysCon Liya Liu, Osman Hasan, Sofiène Tahar
2017	C	`conf`	Formalization of Transform Methods Using HOL Light. CICM Adnan Rashid, Osman Hasan
2017	J	`jnl`	Formalization of Transform Methods using HOL Light. CoRR Adnan Rashid, Osman Hasan
2017	J	`jnl`	Formally Verifying Transfer Functions of Linear Analog Circuits. IEEE Des. Test Syeda Hira Taqdees, Osman Hasan
2017	C	`ed.`	Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings CICM Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
2017	J	`jnl`	IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things. IEEE Access Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan, Zahid Anwar
2017	J	`jnl`	NoC-Based Implementation of Free Form Deformations in Medical Imaging Registration. J. Circuits Syst. Comput. Uzma Mushtaq, Osman Hasan, Falah R. Awwad
2017	A	`conf`	Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models. DATE Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2017	J	`jnl`	Probabilistic Error Analysis of Approximate Recursive Multipliers. IEEE Trans. Computers Sana Mazahir, Osman Hasan, Rehan Hafiz, Muhammad Shafique
2017	J	`jnl`	Probabilistic Error Modeling for Approximate Adders. IEEE Trans. Computers Sana Mazahir, Osman Hasan, Rehan Hafiz, Muhammad Shafique, Jörg Henkel
2017	A*	`conf`	QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders. DAC Muhammad Abdullah Hanif, Rehan Hafiz, Osman Hasan, Muhammad Shafique
2017	J	`jnl`	Reliability modeling and analysis of communication networks. J. Netw. Comput. Appl. Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir
2017	A*	`conf`	Statistical Error Analysis for Low Power Approximate Adders. DAC Muhammad Kamran Ayub, Osman Hasan, Muhammad Shafique
2017	J	`jnl`	Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes. J. Parallel Distributed Comput. Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique, Jörg Henkel
2017	—	`conf`	Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems. MARS Muhammad Usama Sardar, Osman Hasan
2016	C	`conf`	A self-learning framework to detect the intruded integrated circuits. ISCAS Faiq Khalid Lodhi, Imran Hafeez Abbasi, Faiq Khalid, Osman Hasan, Falah R. Awwad, Syed Rafay Hasan
2016	J	`jnl`	Al-Zahrawi: A Telesurgical Robotic System for Minimal Invasive Surgery. IEEE Syst. J. Taimoor Hassan, Asad Hameed, Sajid Nisar, Nabeel Kamal, Osman Hasan
2016	A*	`conf`	An area-efficient consolidated configurable error correction for approximate hardware accelerators. DAC Sana Mazahir, Osman Hasan, Rehan Hafiz, Muhammad Shafique, Jörg Henkel
2016	J	`jnl`	Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification. J. Electron. Test. Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2016	J	`jnl`	Clock domain crossing (CDC) in 3D-SICs: Semi QDI asynchronous vs loosely synchronous. Integr. Syed Rafay Hasan, Waqas Gul, Osman Hasan
2016	C	`conf`	Formal Availability Analysis Using Theorem Proving. ICFEM Waqar Ahmad, Osman Hasan
2016	J	`jnl`	Formal Availability Analysis using Theorem Proving. CoRR Waqar Ahmad, Osman Hasan
2016	C	`conf`	Formal Dependability Modeling and Analysis: A Survey. CICM Waqar Ahmad, Osman Hasan, Sofiène Tahar
2016	J	`jnl`	Formal Dependability Modeling and Analysis: A Survey. CoRR Waqar Ahmad, Osman Hasan, Sofiène Tahar
2016	C	`conf`	Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. VECoS Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2016	—	`conf`	Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. FTSCS Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2016	—	`conf`	Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. FTSCS Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan
2016	A	`conf`	Formal probabilistic analysis of distributed resource management schemes in on-chip systems. DATE Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel
2016	Misc	`conf`	Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. SETTA Waqar Ahmad, Osman Hasan
2016	J	`jnl`	Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach. CoRR Waqar Ahmad, Osman Hasan
2016	C	`conf`	Formalization of Normal Random Variables in HOL. CICM Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar
2016	J	`jnl`	Formalization of Reliability Block Diagrams in Higher-order Logic. J. Appl. Log. Waqar Ahmad, Osman Hasan, Sofiène Tahar
2016	J	`jnl`	Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis. Scalable Comput. Pract. Exp. Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh
2016	B	`conf`	On the Formalization of Fourier Transform in Higher-order Logic. ITP Adnan Rashid, Osman Hasan
2016	—	`conf`	Probabilistic Formal Verification of the SATS Concept of Operation. NFM Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan
2016	J	`jnl`	Reliability Modeling and Analysis of Communication Networks. CoRR Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir
2016	C	`conf`	Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces. ISCAS Waqas Gul, Syed Rafay Hasan, Osman Hasan, Faiq Khalid Lodhi, Falah R. Awwad
2016	A	`conf`	Whole-body motion planning for humanoid robots with heuristic search. IROS Ali Athar, Abdul Moeed Zafar, Rizwan Asif, Armaghan Ahmad Khan, Fahad Islam, Yasar Ayaz, Osman Hasan
2015	J	`jnl`	Applying Formal Methods to Networking: Theory, Techniques, and Applications. IEEE Commun. Surv. Tutorials Junaid Qadir, Osman Hasan
2015	J	`jnl`	Evaluation of anonymity and confidentiality protocols using theorem proving. Formal Methods Syst. Des. Tarek Mhamdi, Osman Hasan, Sofiène Tahar
2015	—	`conf`	Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection. NORCAS Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2015	—	`conf`	Formal modeling and verification of integrated photonic systems. SysCon Umair Siddique, Osman Hasan, Sofiène Tahar
2015	J	`jnl`	Formal probabilistic analysis of detection properties in wireless sensor networks. Formal Aspects Comput. Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2015	A	`conf`	Formal probabilistic analysis of distributed dynamic thermal management. DATE Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel
2015	C	`conf`	Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. HealthCom Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh
2015	B	`conf`	Formal reliability analysis of wireless sensor network data transport protocols using HOL. WiMob Waqar Ahmad, Osman Hasan, Sofiène Tahar
2015	—	`conf`	Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations. CyPhy Muhammad Usman Sanwal, Osman Hasan
2015	J	`jnl`	On the Formalization of Zsyntax with Applications in Molecular Biology. Scalable Comput. Pract. Exp. Sohaib Ahmad, Osman Hasan, Umair Siddique
2015	C	`conf`	Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. WETICE Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel
2015	—	`conf`	Safe-radius based motion planning of hexapod using RRT-connect. ICIA Muhammad Sarmad Khan, Asad Ali Awan, Fahad Islam, Yasar Ayaz, Osman Hasan
2015	C	`conf`	Towards Formal Fault Tree Analysis Using Theorem Proving. CICM Waqar Ahmad, Osman Hasan
2015	J	`jnl`	Towards Formal Fault Tree Analysis using Theorem Proving. CoRR Waqar Ahmad, Osman Hasan
2015	—	`conf`	Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR Waqar Ahmad, Osman Hasan, Sofiène Tahar
2015	C	`conf`	Towards the Formalization of Fractional Calculus in Higher-Order Logic. CICM Umair Siddique, Osman Hasan, Sofiène Tahar
2015	J	`jnl`	Towards the Formalization of Fractional Calculus in Higher-Order Logic. CoRR Umair Siddique, Osman Hasan, Sofiène Tahar
2015	—	`conf`	g-HOL: A Graphical User Interface for the HOL Proof Assistant. FTSCS Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan
2014	J	`jnl`	An approach for lifetime reliability analysis using theorem proving. J. Comput. Syst. Sci. Naeem Abbasi, Osman Hasan, Sofiène Tahar
2014	Misc	`conf`	Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments. MMAR Ahmed Hussain Qureshi, Saba Mumtaz, Wajeeha Khan, Abdul Ahad Ashfaq Sheikh, Khawaja Fahad Iqbal, Yasar Ayaz, Osman Hasan
2014	—	`conf`	Clock domain crossing (CDC) for inter-logic-layer communication in 3-D ICs. NEWCAS Waqas Gul, Syed Rafay Hasan, Osman Hasan
2014	J	`jnl`	Formal Analysis of Optical Systems. CoRR Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
2014	J	`jnl`	Formal Analysis of Optical Systems. Math. Comput. Sci. Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
2014	—	`conf`	Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. FTSCS Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
2014	C	`conf`	Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. FMICS Muhammad Ahmad, Osman Hasan
2014	C	`conf`	Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. Healthcom Usman Pervez, Osman Hasan, Khalid Latif, Sofiène Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi
2014	—	`conf`	Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN. ISSoC Anam Zaman, Osman Hasan
2014	C	`conf`	Formalization of Complex Vectors in Higher-Order Logic. CICM Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
2014	J	`jnl`	Formalization of Complex Vectors in Higher-Order Logic. CoRR Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
2014	—	`conf`	Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. SBMF Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar
2014	—	`conf`	Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline. MWSCAS Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah Awwad
2014	—	`conf`	Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline. ISVLSI Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2014	C	`conf`	On the Formal Analysis of HMM Using Theorem Proving. ICFEM Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
2014	J	`jnl`	On the Formalization of Gamma Function in HOL. J. Autom. Reason. Umair Siddique, Osman Hasan
2014	J	`jnl`	Timing variation aware dynamic digital phase detector for low-latency clock domain crossing. IET Circuits Devices Syst. Faiq Khalid Lodhi, Syed Rafay Hasan, Naeha Sharif, Nadra Ramzan, Osman Hasan
2014	J	`jnl`	Towards Formal Linear Cryptanalysis using HOL4. J. Univers. Comput. Sci. Osman Hasan, Syed Ali Khayam
2014	C	`conf`	Towards Formal Reasoning about Molecular Pathways in HOL. WETICE Sohaib Ahmad, Osman Hasan, Umair Siddique
2014	C	`conf`	Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CICM Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
2014	J	`jnl`	Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CoRR Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
2014	—	`conf`	Towards the formal verification of optical interconnects. NEWCAS Sanaz Khan Afshar, Osman Hasan, Sofiène Tahar
2014	—	`conf`	Triangular geometry based optimal motion planning using RRT*-motion planner. AMC Ahmed Hussain Qureshi, Saba Mumtaz, Khawaja Fahad Iqbal, Yasar Ayaz, Mannan Saeed Muhammad, Osman Hasan, Whoi-Yul Kim, Moonsoo Ra
2014	—	`conf`	Yield aware inter-logic-layer communication in 3-D ICs: Early design stage recommendations. MWSCAS Waqas Gul, Syed Rafay Hasan, Osman Hasan
2013	—	`conf`	Adaptive Potential guided directional-RRT. ROBIO Ahmed Hussain Qureshi, Saba Mumtaz, Khawaja Fahad Iqbal, Badar Ali, Yasar Ayaz, Faizan Ahmed, Saeed Muhammad Mannan, Osman Hasan, Whoi-Yul Kim, Moonsoo Ra
2013	J	`jnl`	Applying Formal Methods to Networking: Theory, Techniques and Applications. CoRR Junaid Qadir, Osman Hasan
2013	—	`conf`	Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. SBMF Ghassen Helali, Osman Hasan, Sofiène Tahar
2013	—	`conf`	Formal Analysis of Memory Contention in a Multiprocessor System. SBMF Liya Liu, Osman Hasan, Sofiène Tahar
2013	C	`conf`	Formal Kinematic Analysis of the Two-Link Planar Manipulator. ICFEM Binyameen Farooq, Osman Hasan, Sohail Iqbal
2013	J	`jnl`	Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. J. Comput. Sci. Technol. Liya Liu, Osman Hasan, Sofiène Tahar
2013	B	`conf`	Formal Reasoning about Classified Markov Chains in HOL. ITP Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar
2013	C	`conf`	Formal Reliability Analysis of Protective Relays in Power Distribution Systems. FMICS Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan
2013	—	`conf`	Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements. ICCSA (1) Muhammad Usman Sanwal, Osman Hasan
2013	A	`conf`	Formal analysis of steady state errors in feedback control systems using HOL-light. DATE Osman Hasan, Muhammad Ahmad
2013	A	`conf`	Formal verification of distributed dynamic thermal management. ICCAD Muhammad Ismail, Osman Hasan, Thomas Ebi, Muhammad Shafique, Jörg Henkel
2013	B	`conf`	Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. LPAR Syeda Hira Taqdees, Osman Hasan
2013	J	`jnl`	Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. ACM Trans. Embed. Comput. Syst. Tarek Mhamdi, Osman Hasan, Sofiène Tahar
2013	C	`conf`	Towards the Formal Performance Analysis of Wireless Sensor Networks. WETICE Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2013	—	`conf`	Using Probabilistic Analysis for the Certification of Machine Control Systems. CD-ARES Workshops Atif Mashkoor, Osman Hasan, Wolfgang Beer
2012	—	`conf`	Formal Analysis of Soft Errors using Theorem Proving. SCSS Naeem Abbasi, Osman Hasan, Sofiène Tahar
2012	—	`conf`	Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. ICCSA (3) Atif Mashkoor, Osman Hasan
2012	—	`conf`	Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. SCSS Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2012	—	`conf`	Formal verification of the heavy hitter problem. CCECE Ghassen Helali, Sofiène Tahar, Osman Hasan
2012	—	`conf`	Modified null convention logic pipeline to detect soft errors in both null and data phases. MWSCAS Faiq Khalid Lodhi, Osman Hasan, Syed Rafay Hasan, Falah Awwad
2012	C	`conf`	Quantitative Analysis of Information Flow Using Theorem Proving. ICFEM Tarek Mhamdi, Osman Hasan, Sofiène Tahar
2011	C	`conf`	Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. ICFEM Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2011	B	`conf`	Formal analysis of fractional order systems in HOL. FMCAD Umair Siddique, Osman Hasan
2011	J	`jnl`	Formal reliability analysis of combinational circuits using theorem proving. J. Appl. Log. Osman Hasan, Jigar Patel, Sofiène Tahar
2011	B	`conf`	Formalization of Entropy Measures in HOL. ITP Tarek Mhamdi, Osman Hasan, Sofiène Tahar
2011	B	`conf`	Formalization of Finite-State Discrete-Time Markov Chains in HOL. ATVA Liya Liu, Osman Hasan, Sofiène Tahar
2011	J	`jnl`	Reasoning about conditional probabilities in a higher-order-logic theorem prover. J. Appl. Log. Osman Hasan, Sofiène Tahar
2010	C	`conf`	Formal Lifetime Reliability Analysis Using Continuous Random Variables. WoLLIC Naeem Abbasi, Osman Hasan, Sofiène Tahar
2010	—	`conf`	Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. ASM Osman Hasan, Sofiène Tahar
2010	J	`jnl`	Formal Reliability Analysis Using Theorem Proving. IEEE Trans. Computers Osman Hasan, Sofiène Tahar, Naeem Abbasi
2010	J	`jnl`	Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. J. Comput. Sci. Technol. Osman Hasan, Sofiène Tahar
2010	B	`conf`	On the Formalization of the Lebesgue Integration Theory in HOL. ITP Tarek Mhamdi, Osman Hasan, Sofiène Tahar
2010	C	`conf`	Performance analysis of real-time rewriting models. AICCSA Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofiène Tahar
2009	—	`conf`	Formal Analysis of Optical Waveguides in HOL. TPHOLs Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar
2009	B	`conf`	Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. IFM Osman Hasan, Naeem Abbasi, Sofiène Tahar
2009	B	`conf`	Formal Reasoning about Expectation Properties for Continuous Random Variables. FM Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour
2009	J	`jnl`	Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. J. Autom. Reason. Osman Hasan, Sofiène Tahar
2008	B	`conf`	Performance Analysis of ARQ Protocols using a Theorem Prover. ISPASS Osman Hasan, Sofiène Tahar
2008	—	`conf`	Probabilistic Analysis of Wireless Systems Using Theorem Proving. FMWS@CONCUR Osman Hasan, Sofiène Tahar
2008	J	`jnl`	Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. J. Autom. Reason. Osman Hasan, Sofiène Tahar
2007	A	`conf`	Formalization of Continuous Probability Distributions. CADE Osman Hasan, Sofiène Tahar
2007	J	`jnl`	Formalization of the Standard Uniform random variable. Theor. Comput. Sci. Osman Hasan, Sofiène Tahar
2007	—	`conf`	Verification of Expectation Properties for Discrete Random Variables in HOL. TPHOLs Osman Hasan, Sofiène Tahar
2007	B	`conf`	Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. IFM Osman Hasan, Sofiène Tahar