FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. - Adnan Rashid; Ayesha Gauhar; Osman Hasan (CoRR, 2020)

Formal verification of Matrix based MATLAB models using interactive theorem proving. - Ayesha Gauhar; Adnan Rashid; Osman Hasan; João Bispo; João M. P. Cardoso (PeerJ Comput. Sci., 2021)

Formal Verification of Universal Numbers using Theorem Proving. - Adnan Rashid; Ayesha Gauhar; Osman Hasan; Sa'ed Abed; Imtiaz Ahmad (J. Electron. Test., 2024)