Ayesha Gauhar

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Formal Verification

Theorem Proving

Analog Circuits

Top Venues

J. Electron. Test.

PeerJ Comput. Sci.

Publications

Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad
Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. 40 (3) (2024)
Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso
Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. 7 (2021)
Adnan Rashid, Ayesha Gauhar, Osman Hasan
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. CoRR (2020)