115 citations · 311 across the 31 of their papers we have counts for
36 papers
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid +1
Many practical engineering systems and their components have multiple performance levels and failure modes. If these systems form a monotonically increasing structure function (sys…
Formalization of Bond Graph using Higher-order-logic Theorem Proving
Ujala Qasim, Adnan Rashid, Osman Hasan
Bond graph is a unified graphical approach for describing the dynamics of complex engineering and physical systems and is widely adopted in a variety of domains, such as, electrica…
MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices
Faiq Khalid, Syed Rafay Hasan, Sara Zia +3
Traditional learning-based approaches for run-time Hardware Trojan detection require complex and expensive on-chip data acquisition frameworks and thus incur high area and power ov…
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Adnan Rashid, Ayesha Gauhar, Osman Hasan
Simulink is a graphical environment that is widely adapted for the modeling and the Laplace transform based analysis of linear analog circuits used in signal processing architectur…
Machine Learning-Based Self-Compensating Approximate Computing
Mahmoud Masadeh, Osman Hasan, Sofiene Tahar
Dedicated hardware accelerators are suitable for parallel computational tasks. Moreover, they have the tendency to accept inexact results. These hardware accelerators are extensive…
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
Sa'ed Abed, Adnan Rashid, Osman Hasan
Synthetic Biology is an interdisciplinary field that utilizes well-established engineering principles, ranging from electrical, control and computer systems, for analyzing the biol…