26 citations · 46 across the 12 of their papers we have counts for
6 papers · 1 filter
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits
Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman +3
Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a com…
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan +1
Dynamic Fault Trees (DFTs) is a widely used failure modeling technique that allows capturing the dynamic failure characteristics of systems in a very effective manner. Simulation a…
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Adnan Rashid, Osman Hasan
Robotic cell injection is used for automatically delivering substances into a cell and is an integral component of drug development, genetic engineering and many other areas of cel…
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
Adnan Rashid, Osman Hasan
Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection, intracytoplasmic sperm…
Formal Verification of Platoon Control Strategies
Adnan Rashid, Umair Siddique, Osman Hasan
Recent developments in autonomous driving, vehicle-to-vehicle communication and smart traffic controllers have provided a hope to realize platoon formation of vehicles. The main be…
Comparative Study of Approximate Multipliers
Mahmoud Masadeh, Osman Hasan, Sofiene Tahar
Approximate multipliers are widely being advocated for energy-efficient computing in applications that exhibit an inherent tolerance to inaccuracy. However, the inclusion of accura…