C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ayesha Gauhar
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Formal Verification
Singular Value Decomposition
Analog Circuits
Relational Databases
Top Venues
CoRR
PeerJ Comput. Sci.
</>
Publications
</>
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)