About

Dr. Osman Hasan is working as Pro-Rector (Academics) in the University Main Office (UMO) . Dr. Osman Hasan has a PhD in Formal Methods . Dr. Osman Hasan has published 137 research articles & conference papers having a citation count of 1349 , carried out 11 projects and filed 3 intellectual property.

Research Tags

Research Projects

11

Industry Projects

0

Amount Granted

253.4 M

Publications

137

Citations

1349

Intellectual Property

3
Publication Types
Project Types
Publications by Year
Projects by Year

Education

PhD Formal Methods 2004- 2008
Concordia University , Canada
MS Engineering 1997- 2001
Concordia University , Canada
BS Elec Engg 1993- 1997
UET Peshawar , Pakistan

Experience

Pro-Rector (Academics) 2021- Present
University Main Office (UMO) , NUST
Professor 2019- 2021
School of Electrical Engineering and Computer Science , NUST
Associate Professor 2015- 2019
School of Electrical Engineering and Computer Science , NUST
Associate Professor 2015- 2015
School of Electrical Engineering and Computer Science , NUST
Assistant Professor 2012- 2015
School of Electrical Engineering and Computer Science , NUST
Assistant Professor 2009- 2012
School of Electrical Engineering and Computer Science , NUST
Appointment Research Associate 2008- 2009
Concordia University, Montreal, Canada , ,
ASIC Customer Engineer 2001- 2003
LSI Logic, Ottawa, ON, Canada , ,
Design Engineer 1998- 1999
Pakistan Revenue Automation (Pvt.) , ,

Awards

(HiPEAC) Paper Award 2017
“Statistical Error Analysis for Low Power Adders” that was published at the Design Automation Conference (DAC-2017), Austin, TX, USA.
(SATHA) Innovation Award 2017
South Asian Triple Helix Association (SATHA) Innovation Award (2017)
ISTIC TWAS Competition 2015
First Prize in ISTIC TWAS Competition – Successful Innovation in Science and Technology in Developing Countries
President’s Gold Medal 2015
President’s Gold Medal for the Best Teacher of the University, National University of Sciences and Technology (NUST), Islamabad, Pakistan
Research Productivity AWD 2015
Research Productivity Award, Pakistan Council for Science and Technology
IT Research and Developmt 2014
Excellence in IT Research and Development Award, Teradata Pakistan (2014)
Research Productivity 2014
Research Productivity Award, Pakistan Council for Science and Technology
Best Researcher Award 2014
Best Researcher Award, School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST)
Best Teacher Award 2013
Best Teacher Award, School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST).
Best Teacher Award 2013
Best Teacher Award, Dept. of Electrical Engineering, National University of Sciences and Technology (NUST).
SMART SurgiSol 2013
Runner-up Award obtained by the business plan entitled “SMART SurgiSol”, of the supervised project entitled “Development of a Tele-Surgical Robot and Simulator (TSRS)”, at TiE International Business Plan Competition (TIBPC) (2013)
First Heidelberg Laureate 2013
Selected to attend the First Heidelberg Laureate Forum, Heidelberg, Germany, Heidelberg Laureate Forum Foundation. (2013)
IT Education Award 2013
Excellence in IT Education Award, Teradata Pakistan (2013)
Best Paper Award 2012
Best Paper Award, 4th International Symposium on Symbolic Computation in Software Science (SCSS-12). (2012)
IT Excellence Award 2012
Excellence in IT Education, IDE@L IT Excellence Awards (2012)
Marquis Who's Who (2012) 2012
Listed in Marquis Who's Who (2012)
HEC Best Research Award 2011
HEC Best Young Research Scholar Award (2011)
Runner-Up Award 2010
Runner-Up Award obtained by supervised Undergraduate Final Year Project in the e-Health category at Pakistan Software House Association (P@SHA) , ICT Awards (2010)
HEC Best Teacher Award 2010
HEC Best University Teaching Award (2010)
Ranked First in ENCS Ph.D 2008
Ranked First in ENCS Ph.D. graduates of Concordia University (2008)
Student Conference Award 2008
Student Conference Support Award for ISPASS 2008, Concordia University (2008)
Post-Doctoral Award, 2008
Mobilizing Knowledge Post-Doctoral Award, Concordia University (2008 - 09)
Fall 2008 Convocation 2008
Valedictorian for the Fall 2008 Convocation, Concordia University (2008)
Teaching Fellowship, ECE 2007
Teaching Fellowship, ECE Department, Concordia University (2007 - 08)
Woody Bledsoe Travel Awad 2007
Woody Bledsoe Travel Award, CADE-21, Bremen, Germany (2007)
Annual Best Paper Award 2006
Annual Best Paper Award, Hardware Verification Group, Concordia U. (2006, 08, 09)
International Fee Award 2000
International Fee Remission Award, Concordia University (1999 - 2000, 2000 - 01)
Quaid-e-Azam Award 1998
Quaid-e-Azam Award, Ministry of Education, Pakistan (1998)
Annual Merit Award 1997
Annual Merit Award, N-W.F.P. UET (1994 - 95, 1995-96, 1996-97)
Doctoral thesis accepted
Doctoral thesis accepted “as submitted”, Concordia University (2008)

Memberships

11
Research Projects
0
Industrial Projects
11
National Projects
0
International Projects
253.4M
Total Funding (PKR)
Formal Modeling and Analysis of Advanced Wireless Systems 2010
Project Status: Completed Rs: 0.2 M Approval Date: 2010-05-14 Completion Date: 2010-05-28
Funding Agency: HEC
Development of a Tele-surgical Training Robot and Simulator 2010
Project Status: Completed Rs: 69.8 M Approval Date: 2010-06-08 Completion Date: 2014-04-14
Funding Agency: National ICT R&D Fund
Peekafood – A Digital Menu for Restaurants Based on Augmented Reality and Artificial Intelligence 2019
Project Status: Completed Rs: 15.3 M Approval Date: 2019-05-02 Completion Date: 2021-09-24
Funding Agency: HEC
Warship Operability Guidance Tool 2019
Project Status: Approved_inprocess Rs: 0.8 M Approval Date: 2019-03-28 Completion Date: N/A
Funding Agency: NESCOM
Peekafood ? A digital menu for restaurant based on augmented reality and artificial intelligence 2019
Project Status: Approved_inprocess Rs: 10.4 M Approval Date: 2019-05-02 Completion Date: N/A
Funding Agency: HEC
Formal Analysis of Protection Systems in Smart Grids using Probabilistic Model Checking 2019
Project Status: Completed Rs: 5.4 M Approval Date: 2019-06-20 Completion Date: 2022-10-18
Funding Agency: PSF
Formalization of Information Theories and Application in Safety Critical Engineering System 2012
Project Status: Completed Rs: 88.5 M Approval Date: 2012-11-01 Completion Date: 2017-09-12
Funding Agency: Qatar National Research Fund (QNRF)
Formal Verification of Distributed Thermal and Resource Management Shcemes for On-Chip Many Core Systemts 2014
Project Status: Approved_inprocess Rs: 15.8 M Approval Date: 2014-04-10 Completion Date: N/A
Funding Agency: DAAD German Academic Exchage Services
Developing an Efficient and Robust SLAM Algorithm for Indoor and Outdoor Mobile Robots 2017
Project Status: Completed Rs: 4.7 M Approval Date: 2017-04-05 Completion Date: 2020-12-30
Funding Agency: HEC
Automated Tele-Micromanipulator Cell Injection System 2016
Project Status: Completed Rs: 40.0 M Approval Date: 2016-05-09 Completion Date: 2019-05-30
Funding Agency: IGNITE
Investigation of Effective Management of Energy Demand in Distribution Management Systems of Smart Grids using Formal Verification Methods 2017
Project Status: Approved_inprocess Rs: 2.4 M Approval Date: 2017-03-14 Completion Date: N/A
Funding Agency: UAE ICT Fund
86
Research Articles
40
Conference Proceedings
1
Books
9
Book Chapters
6
Editorial Activities
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA) 2018
M.
M. U. Sardar (-)
N.
N. Afaq (-)
K.
K. A. Hoque (University of Oxford)
Journal: Journal of Automated Reasoning, Print ISSN:0168-7433, Online ISSN:1573-0670, Pages 1–21, , Volume 60, Issue 1, Pages 85-105, Special Issue SI
Impact Factor: 1.172 Citations: 0 Quartile: 4
A Library for Combinational Circuit Verification Using the HOL Theorem Prover 2018
SU
Sumayya Shiraz (-)
Journal: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 37, Issue 2, Pages 512-516
Impact Factor: 2.402 Citations: 8 Quartile: 2
Formal Verification of Universal Numbers using Theorem Proving 2024
AY
Ayesha Gauhar
SA
Sa’ed Abed ( Kuwait University)
IM
Imtiaz Ahmad ( Kuwait University)
Journal: Journal of Electronic Testing, Pages 1-17
Impact Factor: 1.100 Citations: 1 Quartile: 4
SDG 9
Formal performance analysis of optimal relays-based protection scheme for automated distribution networks 2024
SO
Sobia Ashraf
Journal: Engineering Science and Technology, an International Journal, Volume 51, March 2024, 101633
Impact Factor: 5.7 Citations: 3 Quartile: 1
SDG 7 SDG 9
Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid 2018
SY
Syed Atif Naseem (?zmir Ekonomi Üniversitesi)
RI
Riaz Uddin (NED University of Engineering and Technology)
DI
Diaa E. Fawzy (?zmir Ekonomi Üniversitesi)
Journal: Journal of Applied Logics-Ifcolog Journal of Logics and Their Applications, Volume: 5, Issue: 1, Pages: 319-365, Published: Feb 2018
Impact Factor: N/A Citations: 0 Quartile: N/A
McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits 2018
FA
Faiq Khalid (Vienna University of Technology)
MU
Muhammad Shafique (Vienna University of Technology)
Journal: IEEE Access, Volume 6, Pages 32240-32257
Impact Factor: 4.098 Citations: 11 Quartile: 1
Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition 2023
MU
Muhammad Khurram Ehsan (Bahria University)
Journal: IEEE Access, Volume 11, Pages 19135-19147
Impact Factor: 3.476 Citations: 41 Quartile: 2
SDG 10
Approximate Computing-Based Processing of MEA Signals on FPGA 2023
MO
Mohammad Hassan (United Arab Emirates University)
FA
Falah Awaad (United Arab Emirates University)
MO
Mohamed Atef (United Arab Emirates University)
Journal: Electronics, Volume 12, Issue 4, Article Number 848
Impact Factor: 2.690 Citations: 2 Quartile: 3
SDG 3
Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures 2018
SA
Saad Ayub (-)
Journal: Innovations in Systems and Software Engineering, NULL
Impact Factor: 0 Citations: 3 Quartile: N/A
SAT Based Fitness Scoring for Digital Circuit Evolution 2018
MU
Mumtaz Ali (-)
Journal: Journal of Circuits Systems and Computers, Vol. 27, No. 06, Article Number 1850099
Impact Factor: 0.939 Citations: 1 Quartile: 4
Runtime hardware Trojan monitors through modeling burst mode communication using formal verification 2018
F.
F. Khalid (-)
SY
Syed Rafay Hasan (Tennessee Tech University)
F.
F. Awwad ( United Arab Emirates University)
Journal: INTEGRATION-THE VLSI JOURNAL, Volume: 61 Pages: 62-76
Impact Factor: 1.150 Citations: 21 Quartile: 3
Formalization of Reliability Block Diagrams in Higher-order Logic 2016
WA
Waqar Ahmed (-)
SO
Sofiène Tahar (Concordia University)
Journal: Journal of Applied Logic, Volume 18, Pages 19-41
Impact Factor: 0.838 Citations: 29 Quartile: 1
Timing variation aware dynamic digital phase detector for low-latency clock domain crossing 2014
FA
Faiq Khalid Lodhi
SY
Syed Rafay Hasan (Tennessee Technological University, )
NA
Naeha Sharif (Kyung Hee University)
NA
Nadra Ramzan
Journal: IET Circuits, Devices and Systems, Volume 8, Issue 1, Pages 58-64
Impact Factor: 0.521 Citations: 0 Quartile: 4
DB-SECaaS: a cloud-based protection system for document-oriented NoSQL databases 2016
YU
Yumna Ghazi (-)
RA
Rahat Masood (University of New South Wales)
AB
Abid Rauf (-)
MU
Muhammad Awais Shibli (VisionIT)
Journal: EURASIP Journal on Information Security, Volume 2016, Article Number 16,
Impact Factor: - Citations: 7 Quartile: N/A
Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification 2016
FA
Faiq Khalid Lodh (-)
SY
Syed Rafay Hasan (Tennessee Technological University)
FA
Falah Awwad (United Arab Emirates University)
Journal: Journal of Electronic Testing,, Volume: 32 Issue: 5 Pages: 569-586
Impact Factor: 0.647 Citations: 7 Quartile: 4
Al-Zahrawi: A Telesurgical Robotic System for Minimal Invasive Surgery 2016
TA
Taimoor Hassan (Biorobotics Institute)
AS
Asad Hameed (-)
SA
Sajid Nisar (Kyoto University)
N
Nabeel Kamal (-)
Journal: IEEE Systems Journal, Volume: 10 Issue: 3 Pages: 1035-1045
Impact Factor: 3.882 Citations: 22 Quartile: 1
Clock domain crossing (CDC) in 3D-SICs: Semi QDI asynchronous vs loosely synchronous 2016
SY
Syed Rafay Hasan (Tennessee Tech University)
WA
Waqas Gul (-)
Journal: Integration, the VLSI Journal, Volume 52, Pages 367-380
Impact Factor: 1.000 Citations: 0 Quartile: 4
Improvement strategies for Device Interoperability Middleware using formal reliability analysis 2016
US
Usman Pervez (-)
AS
Asiah Mahmood (-)
KH
Khalid Latif (COMSATS University Islamabad)
AM
Amjad Gawanmeh (Khalifa University)
Journal: Scalable Computing, Volume 17, Number 3, pp. 155–170
Impact Factor: 0 Citations: 4 Quartile: N/A
Triangular Geometrised Sampling Heuristic for Fast Optimal Motion Planning 2015
AH
Ahmed Hussain Qureshi (-)
SA
Saba Mumtaz (-)
MA
Mannan Saeed Muhammad ( Hanyang University)
MU
Muhammad Tariq Mahmood (Korea University of Technology and Education)
Journal: International Journal of Advanced Robotic Systems, Volume 12, issue 2, Pages 1-14
Impact Factor: 0.615 Citations: 10 Quartile: 4
Applying Formal Methods to Networking: Theory, Techniques, and Applications 2015
JU
Junaid Qadir (-)
Journal: IEEE Communications Surveys and Tutorials, Volume 17, Issue 1, Pages 256-291
Impact Factor: 9.22 Citations: 43 Quartile: 1
On The Formalization of Zsyntax with Applications in Molecular Biology 2015
SH
Shoaib Ahmad (-)
UM
Umair Siddique (-)
Journal: Scalable Computing: Practice and Experience, Volume 16, Issue 1, Pages 37-51, Special Issue SI
Impact Factor: 0 Citations: 7 Quartile: N/A
Triangular Geometrized Sampling Heuristics for Fast Optimal Motion Planning 2015
AH
Ahmed Hussain Qureshi (-)
SA
Saba Mumtaz (-)
MA
Mannan Saeed Muhammad ( Hanyang University)
M
Muhammad Tariq Mahmood (Korea University of Technology and Education)
Journal: International Journal of Advanced Robotic Systems, Volume: 12 Article Number: 10
Impact Factor: 0.615 Citations: 10 Quartile: 4
QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis 2023
MA
Mahum Naseer (Vienna University of Technology)
MU
Muhammad Shafique (New York University Abu Dhabi)
Journal: ACM Transactions on Design Automation of Electronic Systems, Volume 28, Issue 6, Article Number 95
Impact Factor: 1.4 Citations: 0 Quartile: 4
SDG 9
Formal Probabilistic Analysis of Low Latency Approximate Adders 2019
AM
Amina Qureshi (-)
Journal: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ISSN:0278-0070, Volume 38, Issue 1, Pages 177-189
Impact Factor: 2.168 Citations: 10 Quartile: 3
MSE-GCN: A Multiscale Spatiotemporal Feature Aggregation Enhanced Efficient Graph Convolutional Network for Dynamic Sign Language Recognition 2025
MU
Muhammad Khurram Ehsan (Bahria University)
Journal: IEEE Transactions on Emerging Topics in Computational Intelligence, Volume: 9, Issue: 4, Page(s):2979-2994
Impact Factor: 6.5 Citations: 1 Quartile: 1
SDG 10
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks 2022
KH
Khadija Shaheen
MU
Muhammad Abdullah Hanif (New York University Abu Dhabi)
MU
Muhammad Shafique (New York University Abu Dhabi)
Journal: Journal of Intelligent and Robotic Systems, Volume 105, Issue 1, Article Number 9
Impact Factor: 2.646 Citations: 63 Quartile: 3
SDG 9
SecureSurgiNET: A framework for ensuring security in telesurgery 2019
Journal: International Journal of Distributed Sensor Networks, Volume: 15 Issue: 9 Article Number: 1550147719873811
Impact Factor: 1.151 Citations: 19 Quartile: 4
Formal Asymptotic Analysis of Online scheduling Algorithms for Plug-in Electric Vehicles’ Charging 2019
AS
Asad Ahmed (-)
F.
F. Awwad (United Arab Emirates University)
N.
N. Bastaki (United Arab Emirates University)
S.
S. R. Hasan (Tennessee Technological University)
Journal: Energies, Volume 12, Issue 1, Article Number 19
Impact Factor: 2.702 Citations: 1 Quartile: 3
Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits 2019
Journal: Science of Computer Programming, Volume 171, Pages 42-66
Impact Factor: 0.775 Citations: 8 Quartile: 4
Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded Workloads 2020
SY
Syed Ali Asadullah Bukhari (-)
FA
Faiq Khalid (-)
MU
Muhammad Shafique (Technische Universität Wien)
Jörg Henkel (Karlsruhe Institute of Technology)
Journal: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 39, Issue 8, Pages 1725-1738
Impact Factor: 2.807 Citations: 2 Quartile: 2
EasyDetectDisease: An Android App for Early Symptom Detection and Prevention of Childhood Infectious Diseases 2019
M.
M. Ponum (-)
S.
S. Khan (-)
Journal: Interactive Journal of Medical Research, Volume 8, Issue 2, Article Number e12664
Impact Factor: 0 Citations: 0 Quartile: N/A
Formal comparison of LEACH and its extensions 2019
A.
A. Ihsan (Centre for Excellence in Science and Technology)
K.
K. Saghar (Centre for Excellence in Science and Technology)
T.
T. Fatima (-)
Journal: Computer Standards & Interfaces, Volume 62, Pages 119-127
Impact Factor: 2.809 Citations: 18 Quartile: 1
Towards formal linear cryptanalysis using HOL4 2014
SY
Syed Ali Khayam (-)
Journal: Journal of Universal Computer Science, Volume: 20 Issue: 2 Pages: 193-212
Impact Factor: 0.466 Citations: 0 Quartile: 4
Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications 2025
MI
Mishal Fatima Minhas (United Arab Emirates University)
RA
Rachmad Vidya Wicaksana Putra (New York University Abu Dhabi)
FA
Falah Awwad (United Arab Emirates University)
MU
Muhammad Shafique (New York University Abu Dhabi)
Journal: IEEE Access, Volume:13, Page:124824-124873
Impact Factor: 3.600 Citations: 0 Quartile: 2
SDG 9
Formal reasoning about systems biology using theorem proving 2017
UM
Umair Siddique (Concordia University)
SO
Sofiène Tahar (Concordia University)
Journal: PLoS ONE, Volume: 12 Issue: 7 Article Number: e0180179
Impact Factor: 2.766 Citations: 8 Quartile: 1
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things 2017
MU
Muhammad Usama Sardar (-)
ZA
Zahid Anwar (-)
Journal: IEEE Access, Volume 5, Pages 5494-5505
Impact Factor: 3.557 Citations: 50 Quartile: 1
Adaptive Approximate Computing in Arithmetic Datapaths 2017
SA
Sana Mazahir (Georgia Institute of Technology)
MU
Muhammad Shafique (Vienna University of Technology)
Journal: IEEE Design & Test, Volume: 35, Issue: 4, Pages: 65-74
Impact Factor: 1.538 Citations: 19 Quartile: 2
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems 2017
SY
Syed Ali AsadullahBukhari (-)
FA
Faiq Khalid Lodhi (-)
MU
Muhammad Shafique (karlsruhe Institute of Technology)
Jörg Henkel (karlsruhe Institute of Technology)
Journal: Science of Computer Programming, Volume: 133 Pages: 154-174
Impact Factor: 0.740 Citations: 6 Quartile: 4
Probabilistic Error Analysis of Approximate Recursive Multipliers 2017
SA
Sana Mazahir
RE
Rehan Hafiz (Information Technology University)
MU
Muhammad Shafique (Vienna University of Technology)
Journal: IEEE Transactions on Computers, Print ISSN:0018-9340, , Volume: 66 Issue: 11 Pages: 1982-1990
Impact Factor: 3.052 Citations: 43 Quartile: 1
A Framework for Laparoscopic Simulations 2017
Journal: Journal of Pakistan Medical Association, Volume 67, Issue 9, Pages 1404-1409
Impact Factor: 0.723 Citations: 0 Quartile: 4
SmartSIM - a virtual reality simulator for laparoscopy training using a generic physics engine 2017
Z.
Z.A. Khan (-)
N.
N. Kamal (-)
A.
A. Hameed (-)
A.
A. Mahmood (-)
R.
R. Zainab (-)
B.
B. Sadia (-)
S.
S.M. Mansoor (-)
Journal: The International Journal of Medical Robotics and Computer Assisted Surgery, Volume 13, Issue 3, Article Number e1771
Impact Factor: 1.472 Citations: 10 Quartile: 3
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes 2017
MU
Muhammad Usama Sardar (-)
MU
Muhammad Shafique (Karlsruhe Institute of Technology)
Jörg Henkel (Karlsruhe Institute of Technology)
Journal: Journal of Parallel and Distributed Computing, Volume: 100 Pages: 157-171
Impact Factor: 1.815 Citations: 13 Quartile: 2
Reliability modeling and analysis of communication networks 2017
WA
Waqas Ahmed (-)
UZ
Uzma Pervez (-)
JU
Junaid Qadir (Information Technology University)
Journal: Journal of Network and Computer Applications, Volume 78,Pages 191-215
Impact Factor: 3.991 Citations: 94 Quartile: 1
Formal reliability analysis of oil and gas pipelines 2017
WA
Waqar Ahmed (-)
S
Sofiène Tahar (Concordia University)
MO
Mohamed Salah Hamdi (Ahmed Bin Mohammed Military College)
Journal: PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, Volume: 232 Issue: 3 Pages: 320-334
Impact Factor: 1.373 Citations: 9 Quartile: 2
NoC-Based Implementation of Free Form Deformations in Medical Imaging Registration 2017
UZ
Uzma Mushtaq (-)
F.
F. Awwad (UAE University)
Journal: Journal of Circuits, Systems and Computers, Volume: 26 Issue: 4 Article Number: 1750058
Impact Factor: 0.595 Citations: 1 Quartile: 4
Add to Marked List 4 of 5 Probabilistic Error Modeling for Approximate Adders 2017
SA
Sana Mazahir (-)
M.
M. Shafique (Vienna University of Technology)
R
Rehan Hafiz (Information Technology University)
Journal: IEEE Transactions on Computers, Volume: 66, Issue: 3, Pages: 515-530
Impact Factor: 3.052 Citations: 86 Quartile: 1
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques 2020
M.
M. Saqib Nawaz (Harbin Institute of Technology)
M.
M. Zohaib Nawaz (-)
PH
Philippe Fournier-Viger (Harbin Institute of Technology)
ME
Meng Sun (Peking University)
M.
M. Saqib Nawaz (Harbin Institute of Technology)
M.
M. Zohaib Nawaz (-)
PH
Philippe Fournier-Viger (Harbin Institute of Technology)
ME
Meng Sun (Peking University)
Journal: Applied Intelligence, Pages 1-22
Impact Factor: 5.086 Citations: 7 Quartile: 2
Formalization of Lerch's Theorem using HOL Light 2018
Journal: Journal of Applied Logics-IFCOLOG Journal of Logics and Their Applications, Volume: 5, Issue: 8, Pages1623-1652
Impact Factor: - Citations: 0 Quartile: N/A
Formalization of Cost and Utility in Microeconomics 2020
AS
Asad Ahmed (-)
FA
Falah Awwad (United Arab Emirates University)
NA
Nabil Bastaki (United Arab Emirates University)
Journal: Energies, Volume 13(3), Article Number712
Impact Factor: 3.004 Citations: 0 Quartile: 3
Formal Verification of ECCs for Memories Using ACL2 2020
MA
Mahum Naseer (-)
WA
Waqar Ahmad (-)
MA
Mahum Naseer (-)
WA
Waqar Ahmad (-)
Journal: Journal of Electronic Testing, Volume 36, Pages 643–663
Impact Factor: 0.880 Citations: 3 Quartile: 4
Formal Analysis of the Continuous Dynamics of Cyber-physical Systems using Theorem Proving 2021
Journal: Journal of Systems Architecture, Volume 112, Article Number 101850
Impact Factor: 5.836 Citations: 11 Quartile: 1
MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognition 2023
M
Muhammad Khurram Ehsan (Bahria University)
Journal: Computers & Electrical Engineering, Volume 112, Article Number 109009
Impact Factor: 4.3 Citations: 7 Quartile: 2
SDG 3 SDG 4 SDG 10
Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving 2024
EL
Elif Deniz (Concordia University)
SO
Sofiene Tahar (Concordia University)
Journal: Journal of Applied Logics, Volume 11, Issue 2, Pages 197-236
Impact Factor: 0.400 Citations: 0 Quartile: 4
SDG 9
BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables 2021
BH
Bharath Srinivas Prabakaran (Technische Universität Wien)
AS
Asima Akhtar (-)
SE
Semeen Rehman (Technische Universitat Wien)
MU
Muhammad Shafique (New York University Abu Dhabi)
Journal: IEEE Internet of Things Journal, Volume 8, Issue 17, Pages 13251-13265
Impact Factor: 10.238 Citations: 13 Quartile: 1
Formal verification of Matrix based MATLAB models using interactive theorem proving 2021
AY
Ayesha Gauhar (-)
JO
Joao Bispo (University of Porto)
JO
Joao M.P. Cardoso (University of Porto)
Journal: PeerJ Computer Science, Volume 7, Article Number e440
Impact Factor: 2.411 Citations: 4 Quartile: 2
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits 2021
FA
Faiq Khalid (Technische Universität Wien)
IM
Imran Hafeez Abbassi (-)
SE
Semeen Rehman (Technische Universit Wien)
MU
Muhammad Shafique (New York University Abu Dhabi)
Journal: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, -
Impact Factor: 2.565 Citations: 7 Quartile: 3
Formalization of bond graph using higher-order-logic theorem proving 2022
Journal: ISA Transactions, Volume 128, Part B, Pages 453-469
Impact Factor: 5.468 Citations: 2 Quartile: 1
SDG 9
A Formal Approach to Identifying the Impact of Noise on Neural Networks 2022
MA
Mahum Naseer (Vienna University of Technology)
M.
M. Shafique (New York University Abu Dhabi)
Journal: Communications of the ACM, Volume 65, Issue 11, Pages 70-73
Impact Factor: 14.065 Citations: 5 Quartile: 1
SDG 9
UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks 2023
MA
Mahum Naseer (Technical University Wein)
BH
Bharath Srinivas Prabakaran (Technical University Wein)
MU
Muhammad Shafique (New York University Abu Dhabi)
Journal: Machine Learning, Pages 1-28
Impact Factor: 5.414 Citations: 7 Quartile: 2
SDG 9
Formal analysis of 2D image processing filters using higher‑order logic theorem proving 2022
SA
Sa'ed Abed (Kuwait University)
Journal: EURASIP Journal on Advances in Signal Processing , Volume 2022, Article Number 53
Impact Factor: 1.759 Citations: 0 Quartile: 3
SDG 9
Towards the formal performance analysis of multistate coherent systems using HOL theorem proving 2022
SH
Shahid Ali Murtza
WA
Waqar Ahmed
Journal: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Pages 1-15
Impact Factor: 1.891 Citations: 0 Quartile: 3
SDG 9
Wearable technologies for hand joints monitoring for rehabilitation: A survey 2019
Journal: Microelectronics Journal, Volume: 88, Pages: 173-183
Impact Factor: 1.405 Citations: 83 Quartile: 3
Formal Verification of Robotic Cell Injection Systems upto 4-DOF using HOL Light 2020
Journal: Formal Aspects of Computing, Pages 1-22
Impact Factor: 0.627 Citations: 5 Quartile: 4
Formal Analysis of Unmanned Aerial Vehicles using Higher-order-logic Theorem Proving 2020
SA
Saed Abed (Kuwait University)
Journal: Journal of Aerospace Information Systems, Pages 1-15
Impact Factor: 1.185 Citations: 7 Quartile: 3
Formal Analysis of Continuous-time Systems using Fourier Transform 2019
Journal: Journal of Symbolic Computation, Volume 90, Pages 65-88
Impact Factor: 0.673 Citations: 10 Quartile: 4
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving 2020
MU
Muhammad Umair (-)
MO
Mohamed H. Zaki (University of Central Florida)
Journal: IEEE Access, Vol.8(1), Pages 27291-27307
Impact Factor: 3.367 Citations: 2 Quartile: 2
Formally Verifying Transfer Functions of Linear Analog Circuits 2017
S.
S. H. Taqdees (-)
Journal: IEEE Design & Test, Volume 34, Issue 5, Pages 30-37
Impact Factor: 1.538 Citations: 8 Quartile: 2
Formalization of Cost and Utility in Micreconomics 2020
AS
Asad Ahmed (-)
FA
Falah Awwad (United Arab Emirates University)
NA
Nabil Bastaki (United Arab Emirates University)
AS
Asad Ahmed (-)
FA
Falah Awwad (United Arab Emirates University)
NA
Nabil Bastaki (United Arab Emirates University)
Journal: Energies, Vol.13(3), Article Number 712
Impact Factor: 3.004 Citations: 0 Quartile: 3
Self-compensating accelerators for efficient approximate computing 2019
SA
Sana Mazahir
MU
Muhammad Shafique ( Vienna University of Technology)
Journal: Microelectronics Journal, Volume 88, Pages 9-17
Impact Factor: 1.405 Citations: 10 Quartile: 3
On the Formalization of Gamma Function in HOL 2014
UM
Umair Siddique (-)
Journal: Journal of Automated Reasoning, Volume: 53 Issue: 4 Pages: 407-429
Impact Factor: 1.321 Citations: 9 Quartile: 3
Chronic kidney disease diagnosis using decision tree algorithms 2021
HA
Hamida Ilyas (-)
SA
Sajid Ali (-)
MA
Mahvish Ponum (-)
MU
Muhammad Tahir Mahmood (-)
ME
Mehwish Iftikhar (-)
MU
Mubasher Hussain Malik (-)
Journal: BMC Nephrology, Volume 22, Article Number: 273
Impact Factor: 2.585 Citations: 77 Quartile: 3
An evolutionary/heuristic-based proof searching framework for interactive theorem prover 2021
PH
Philippe Fournier-Viger (Harbin Institute of Technology)
M.
M. Saqib Nawaz (Harbin Institute of Technology)
M.
M. Zohaib Nawaz (-)
ME
Meng Sun (Peking University)
Journal: Applied Soft Computing, Volume 104, Article Number 107200
Impact Factor: 8.263 Citations: 12 Quartile: 1
RRT*-SMART: A Rapid Convergence Implementation of RRT* 2013
JA
Jauwairia Nasir
MA
Mannan Saeed Muhammad
US
Usman Malik (-)
Journal: International Journal of Advanced Robotic Systems, Volume: 10 Article Number: 299
Impact Factor: 0.497 Citations: 220 Quartile: 4
PEAL: Probabilistic Error Analysis Methodology forLow-power Approximate Adders 2020
MU
Muhammad Kamran Ayub (-)
MU
Muhammad Abdullah Hanif (Vienna University of Technology)
MU
Muhammad Shafique (Vienna University of Technology)
MU
Muhammad Kamran Ayub (-)
MU
Muhammad Abdullah Hanif (Vienna University of Technology)
MU
Muhammad Shafique (Vienna University of Technology)
Journal: ACM Journal on Emerging Technologies in Computing Systems, Volume 17, Issue 1, Article Number 1, Pages 1-37
Impact Factor: 1.420 Citations: 2 Quartile: 4
How childhood diseases awareness contributes to minimize the risk of disease severity in children under five age: an evolutionary study 2020
MA
Mahvish Ponum (-)
SA
Saadia Khan (-)
MA
Mahvish Ponum (-)
SA
Saadia Khan (-)
Journal: Journal of the Pakistan Medical Association, Volume 70, Issue 12, Pages 2210-2214
Impact Factor: 0.781 Citations: 0 Quartile: 4
MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices 2020
FA
Faiq Khalid (Vienna University of Technology)
SY
Syed Rafay Hasan ( Tennessee Technological University)
SA
Sara Zia (-)
F
Falah Awwad (UAE University)
MU
Muhammad Shafique (Vienna University of Technology)
FA
Faiq Khalid (Vienna University of Technology)
SY
Syed Rafay Hasan ( Tennessee Technological University)
SA
Sara Zia (-)
F
Falah Awwad (UAE University)
MU
Muhammad Shafique (Vienna University of Technology)
Journal: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 39, Issue 11, Pages 3748-3761
Impact Factor: 2.807 Citations: 18 Quartile: 2
Formal Reasoning about Synthetic Biology using Higher-order-logic Theorem Proving 2020
SA
Sa'ed Abed (Kuwait University)
Journal: IET Systems Biology, Volume 14, Issue 5, Pages 271-283
Impact Factor: 1.615 Citations: 4 Quartile: 4
Design and Realization of A Robotic Manipulator for Minimally Invasive Surgery with Replaceable Surgical Tools 2020
SA
Sajid Nisar (Kyoto University of Advanced Science)
AS
Asad Hameed (-)
NA
Nabeel Kamal (-)
FU
Fumitoshi Matsuno (Kyoto University)
Journal: IEEE-ASME Transactions on Mechatronics , Volume 25, Issue 6, Pages 2754-2764
Impact Factor: 5.303 Citations: 12 Quartile: 1
LPQ-SAM: A Low-Power Quality Scalable Approximate Multiplier 2020
SU
Sumbal Iqbal (-)
RE
Rehan Hafiz (Information Technology University)
ZE
Zeshan Aslam Khan (International Islamic University)
Journal: Journal of Circuits Systems and Computers, Volume 30, No. 1, Article Number 2150017
Impact Factor: 1.333 Citations: 2 Quartile: 4
Stunting diagnostic and awareness: impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan 2020
MA
Mahvish Ponum (-)
SA
Saadia Khan (-)
MU
Muhammad Tahir Mahmood (-)
AS
Asad Abbad (-)
ME
Mehwish Iftikhar (-)
RE
Reema Arshad (-)
Journal: BMC Pediatrics, Volume 20, Article Number: 232
Impact Factor: 2.125 Citations: 23 Quartile: 3
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation 2020
WA
Waqar Ahmad (Concordia University)
SO
Sofiene Tahar (Concordia University)
Journal: Formal Aspects of Computing, Pages 1-41
Impact Factor: 0.627 Citations: 10 Quartile: 4
Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving 2020
WA
Waqar Ahmad (-)
FA
Falah Awwad (United Arab Emirates University)
NA
Nabil Bastaki (United Arab Emirates University)
SY
Syed Rafay Hasan (Tennessee Technological University)
Journal: IEEE Systems Journal, Volume 14, Issue 4, Pages 4820-4831
Impact Factor: 3.931 Citations: 3 Quartile: 2
SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection 2020
FA
Faiq Khalid (Technische Universität Wien)
SY
Syed RafayHasan (Tennessee Tech University)
MU
MuhammadShafique (Technische Universität Wien)
Journal: Microprocessors and Microsystems, Volume 77, Article Number 103122
Impact Factor: 1.525 Citations: 7 Quartile: 3
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems 2020
AM
Ammar Boucherit (University of El-Oued)
LA
Laura M. Castro (ACoruña University)
AB
Abdallah Khababa (University of Ferhat Abbas Sétif)
Journal: Multiagent and Grid Systems , Volume 16, issue 1, Pages 47-66
Impact Factor: - Citations: 5 Quartile: N/A
Statistical model checking of relief supply location and distribution in natural disaster management 2018
S.
S. Iqbal (-)
M.
M. U. Sardar (-)
F.
F. Khalid (-)
Journal: International Journal of Disaster Risk Reduction, Volume 31, Pages 1043-1053
Impact Factor: 2.568 Citations: 15 Quartile: 2
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study 2018
A.
A. Boucherit (University of Echahid Hamma Lakhdar)
LA
Laura M. Castro (Ã Coruña University)
AB
Abdallah Khababa (University of Ferhat Abbass)
Journal: Information Technology and Control, Volume 47, Issue 3, Pages 393-405
Impact Factor: 0.707 Citations: 2 Quartile: 4
Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters
SA
Sa’ed Abed ( Kuwait University)
Conference: International Congress on Information and Communication Technology, ICICT 2023
Citations: N/A
Formal Kinematic Analysis of the Two-Link Planar Manipulator
Conference: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Citations: N/A
On the Formalization of the Heat Conduction Problem in HOL
EL
Elif ( Concordia University)
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Citations: N/A
Formal Verification of a Fully Automated Out-of-Plane Cell Injection System
Conference: 21st International Symposium on Quality Electronic Design (ISQED)
Citations: N/A
RRT*-Smart: Rapid convergence implementation of RRT* towards optimal solution
JA
Jauwairia Nasir
US
Usman Malik
Conference: IEEE International Conference on Mechatronics and Automation (ICMA)
Citations: N/A
Adaptive Potential guided directional-RRT
AH
Ahmed Hussain Qureshi
SA
Saba Mumtaz
BA
Badar Ali
FA
Faizan Ahmed
MA
Mannan Saeed Muhammad (Hanyang University)
WH
Whoi Yul Kim (Hanyang University)
MO
Moonsoo Ra (Hanyang University)
Conference: 2013 IEEE International Conference on Robotics and Biomimetics (ROBIO)
Citations: 20
Triangular geometry based optimal motion planning using RRT*-motion planner
AH
Ahmed Hussain Qureshi
SA
Saba Mumtaz
MA
Mannan Saeed Muhammad (Hanyang University)
WH
Whoi Yul Kim (Hanyang University)
MO
Moonsoo Ra (Hanyang University)
Conference: 2014 IEEE 13th International Workshop on Advanced Motion Control (AMC)
Citations: 11
Augmenting RRT* with Local Trees for Real Time Motion Planning in Complex Cluttered Environments
AH
Ahmed Husain Qureshi
SA
Saba Mumtaz
AB
Abdul Ahad Ashfaque Sheikh
Conference: 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR)
Citations: 3
Safe-radius based motion planning of hexapod using RRT-connect
MU
Muhammad Sarmad Khan
AS
Asad Ali Awan
Conference: 2015 IEEE International Conference on Information and Automation
Citations: N/A
Whole-body motion planning for humanoid robots with heuristic search
AL
Ali Athar
AB
Abdul Moeed Zafar
RI
Rizwan Asif
AR
Armaghan Ahmad Khan
Conference: IEEE International Conference on Intelligent Robots and Systems (IROS)
Citations: N/A
Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL
KA
Kashif Saghar (Centers of Excellence in Science and Applied Technology)
Conference: 12th International Conference on High-capacity Optical Networks and Enabling/Emerging Technologies
Citations: N/A
On the Formalization of Fourier Transform in Higher-order Logic
Conference: 7th International Conference on Interactive Theorem Proving
Citations: N/A
Formalization of Transforms Methods in HOL Light
Conference: 10th Conference on Intelligent Computer Mathematics
Citations: N/A
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Conference: 1st Workshop on Formal Verification of Physical Systems
Citations: N/A
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
Conference: 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
Citations: N/A
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
SA
Sa'ed Abed (Kuwait University)
Conference: The 35th ACM/SIGAPP Symposium On Applied Computing
Citations: N/A
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Conference: 14th Annual IEEE International Systems Conference
Citations: N/A
On the Formalization of Importance Measures using HOL Theorem Proving
W.
W. Ahmad (Concordia University)
S.
S. Murtaza (-)
S.
S. Tahar (Concordia University)
Conference: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)
Citations: N/A
Approximate Sphere Decoding Based Model Predictive Control of Cascaded H-Bridge Inverters
Conference: 2019 IEEE 13th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG)
Citations: N/A
Electronic Controller Design of a Semi-Automatic Cell Microinjection System
A.
A. Hameed (-)
Conference: 2019 IEEE International Systems Conference (SysCon)
Citations: N/A
ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical Systems
RA
Raja Haseeb Javed (-)
AY
Ayesha Siddique (-)
R
Rehan Hafiz (ITU)
MU
Muhammad Shafique (Vienna University of Technology)
Conference: 2018 12th International Conference on Open Source Systems and Technologies (ICOSST)
Citations: N/A
Formalization of Asymptotic Notations in HOL4
N.
N. Iqbal (-)
UM
Umair Siddique (-)
F.
F. Awwad (UAE University)
Conference: 2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)
Citations: N/A
A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection
RU
Rubab Hafeez (-)
ZO
Zohaib Amjad Khan (-)
Conference: 2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)
Citations: 1
Formal Stability Analysis of Control Systems
A.
A.Ahmed (-)
F.
F. Awwad (UAEU)
Conference: International Workshop on Formal Techniques for Safety-Critical Systems FTSCS 2018
Citations: N/A
Formal Timing Analysis of Digital Circuits
Q.
Q. U. Ain (-)
Conference: International Workshop on Formal Techniques for Safety-Critical Systems FTSCS 2018
Citations: N/A
Automatic Formal Verification of Digital Components of IoTs Using CBMC
Q.
Q. U. Ain (-)
K.
K. Saghar (-)
Conference: 2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)
Citations: N/A
A Utility Maximized Demand-Side Management for Autonomous Microgrid
A.
A. Pasha (United Arab Emirates University)
HE
Hebatallah M. Ibrahim (United Arab Emirates University)
SY
Syed Rafay Hasan (Tennessee Tech University)
RA
Rabie Belkacemi (Tennessee Tech University)
FA
Falah Awwad (United Arab Emirates University)
Conference: 2018 IEEE Electrical Power and Energy Conference (EPEC)
Citations: N/A
Formal Verification of n-bit ALU using Theorem Proving
S.
S. Shiraz (-)
Conference: Brazilian Symposium on Formal Methods SBMF 2018
Citations: N/A
Electronic Design of a Semi-Automated Micromanipulator Cell Injection System
A.
A. Hameed (-)
N.
N. Kamal (-)
N.
N. Jalal (Tianjin University)
Conference: 2018 12th International Symposium on Medical Information and Communication Technology (ISMICT)
Citations: N/A
A Modular and Generic Virtual Reality Training Framework for Micro-Robotic Cell Injection Systems
NA
Nabeel Kamal (-)
ZO
Zohaib Amjad Khan (-)
AS
Asad Hameed (-)
Conference: 2018 Annual IEEE International Systems Conference (SysCon)
Citations: N/A
COMFAST: A Comparative Framework for Analysis of Scheduling Techniques in Multi-core Systems
SA
Sarah Shah (-)
AB
Abdul Qahir (-)
SA
Sana Mazahir (-)
Conference: 12th Annual IEEE International Systems Conference
Citations: N/A
AAG: An Automatic Assertion Generation Framework for RTL Designs
SH
Shahid Ali Murtza (-)
KA
Kashif Saghar (-)
Conference: 2018 International Conference on Computing, Mathematics and Engineering Technologies (iCoMET)
Citations: N/A
Low Power Digital Clock Multipliers for Battery Operated Internet of Things (IoT) Devices
FA
Faiq Khalid (Vienna University of Technology)
SU
Sunil Nanjianil (-)
SY
Syed Rafay Hasan (Tennessee Tech University)
FA
Falah Awwad (United Arab Emirates University)
MU
Muhammad Shafique (-)
Conference: 2018 IEEE International Symposium on Circuits and Systems (ISCAS)
Citations: N/A
Ver2Smv ? A Tool for Automatic Verilog to SMV Translation for Verifying Digital Circuits
MI
Mishal Minhas (-)
KA
Kashif Saghar (-)
Conference: 4th International Conference on Engineering & Emerging Technologies (ICEET-2018)
Citations: N/A
Formal Verification and Safety Assessment of a Hemodialysis Machine
SH
Shahid Khan (-)
AT
Atif Mashkoor (Software Competence Center Hagenberg)
Conference: 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM-2018)
Citations: N/A
Formal verification of demand response based home energy management systems in smart grids
AD
Adnan Yaqoob Salik (-)
MU
Muhammad Usama Sardar (-)
SY
Syed Rafay Hasan (Tennessee Technological University)
FA
Falah Awwad (United Arab Emirates University)
Conference: 7th IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia) 2017
Citations: N/A
Formal Analysis of Linear Control Systems Using Theorem Proving
Conference: 19th International Conference on Formal Engineering Methods (ICFEM-2017)
Citations: N/A
Formal Verification of Platoon Control Strategies
U.
U. Siddique (McMaster University)
Conference: International Conference on Software Engineering and Formal Methods SEFM 2018
Citations: N/A
Towards Formal Fault Tree Analysis using Theorem Proving
W.
W. Ahmed (-)
Conference: International Conference on Intelligent Computer Mathematics CICM 2015
Citations: N/A
Formalization of Transform Methods using HOL Light
Conference: 10th Conference on Intelligent Computer Mathematics held from 17-21 Jul 2017 in Scotland
Citations: N/A
Formal Analysis of Future Energy Systems using Interactive Theorem Proving 2022
AS
Asad Ahmed (-)
FA
Falah Awwad (United Arab Emirates University)
NA
Nabil Bastaki (United Arab Emirates University)
Book Info: First Edition, Pages 1-76
Citation: N/A
Probabilistic Error Analysis of Approximate Adders and Multipliers 2018
S.
S. Mazahir (-)
M.
M. K. Ayub (-)
M.
M. Shafique (Vienna University of Technology)
Book: Approximate Circuits (Pages 99-120)
Citations: N/A
Formal Reliability Analysis of Railway Systems using Theorem Proving Technique 2018
WA
Waqar Ahmad
SO
Sofiene Tahar (Concordia University)
Book: Handbook of RAMS in Railways: Theory and Practice (1st Edition, Chapter 36, Pages 647-664)
Citations: N/A
Framework for Formally Verifying Analog and Mixed-Signal Designs 2015
MO
Mohamed H. Zaki (Concordia University)
SO
Sofiène Tahar (Concordia University)
GH
Ghiath Al-Sammane (Concordia University)
Book: Book on Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design (Pages 115-145)
Citations: 6
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles 2023
SA
Saed Abed (Kuwait University)
Book: Book on Studies in Computational Intelligence (Chapter 9, Volume 1090, Pages 253-282)
Citations: 2
SDG 9 SDG 11
Load Flow Analysis in Smart Grids 2017
AW
Awais Mahmood (-)
SY
Syed Rafay Hasan (Tennessee Technological University)
Book: Book on Encyclopedia of Information Science and Technology, Fourth Edition (Chapter 14, Pages 3103-3113)
Citations: N/A
Formal Verification of ZigBee-based Routing Protocol for Smart Grids 2020
Book: Book on Encyclopedia of Information Science and Technology, Fifth Edition (Chapter 69, Pages 1002-1017)
Citations: N/A
Approximate computing across the hardware and software stacks 2019
M.
M. Shafique (Vienna University of Technology)
R.
R. Hafiz (Information Technology University)
S.
S. Mazahir (-)
M.
M. A. Hanif (Vienna University of Technology)
S.
S. Rehman (Vienna University of Technology)
Book: Many-Core Computing: Hardware and Software (Chapter 20, Pages 497 –522)
Citations: N/A
Formal Verification of Robotic Cell Injection Systems 2019
Book: Control Systems Design of Bio-Robotics and Bio-mechatronic with advanced applications (Chapter 20)
Citations: N/A
Considering the Impact of Noise on Machine Learning Accuracy 2024
MA
Mahum Naseer (Vienna University of Technology)
MU
Muhammad Shafique (New York University Abu Dhabi)
Book: Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing (1st Edition, Chapter 15, Pages 377-394)
Citations: 2
SDG 9
2018
Reviewed Papers for Journals
Impact Factor: 2.65
2017
Reviewed Papers for Journals
Impact Factor:
2018
Reviewed Papers for Journals
Impact Factor: 0.906
2018
Reviewed Papers for Journals
Impact Factor: 2.627
2018
Reviewed Papers for Journals
Impact Factor:
2018
Editor in Chief of Journal
Impact Factor:
0
Copyrights
3
Patents
0
Industrial Designs
0
Trademarks
Slip Ring Device with Hollow inner Core 2019
Status: Granted Approval Date: 01-Jul-2019
Automated Pipette Puller System 2019
A.
A. Hameed
M.
M. Asad
OS
Osman Hasan
Status: Filed Approval Date: 16-Jan-2019
Micromanipulator Cell Injection System 2019
Status: Filed Approval Date: 16-Jan-2019
No training records found for this faculty member
0
Total Supervisions
0
PhD Supervisions
0
MS Supervisions
Loading...

Loading PhD supervisions...

Loading...

Loading MS supervisions...