1 citations · 1 across the 4 of their papers we have counts for
9 papers
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Adnan Rashid, Umair Siddique, Sofiene Tahar
Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transporta…
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…
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…
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…
Formalization of Lerch's Theorem using HOL Light
Adnan Rashid, Osman Hasan
The Laplace transform is an algebraic method that is widely used for analyzing physical systems by either solving the differential equations modeling their dynamics or by evaluatin…
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…