Login / Signup
Prathibha Prakash
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Symbolic Execution
Malicious Code
Dynamic Analysis
Higher Level
Top Venues
Formal Methods Syst. Des.
</>
Publications
</>
Rekha R. Pai
,
Abhishek Singh
,
Deepak D'Souza
,
Meenakshi D'Souza
,
Prathibha Prakash
Static analysis for detecting high-level races in RTOS kernels.
Formal Methods Syst. Des.
58 (1-2) (2021)