Anushri Jana

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 7

Top Topics

Bounded Model Checking

Formal Verification

Linear Temporal Logic

Software Systems

Top Venues

Publications

Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh
Fast Analysis of Evolving Software Systems. ISSRE Workshops (2022)
Bharti Chimdyalwar, Anushri Jana, Shrawan Kumar, Ankita Khadsare, Vaidehi Ghime
Identifying Relevant Changes for Incremental Verification of Evolving Software Systems. SANER (2022)
Vaidehi Ghime, Ankita Khadsare, Anushri Jana, Bharti Chimdyalwar
IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis. ISEC (2022)
Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh
Fast Change-Based Alarm Reporting for Evolving Software Systems. ISSRE (2021)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking by Transforming Programs with Arrays. LOPSTR (2016)
Anushri Jana, Ravindra Naik
Precise Detection of Uninitialized Variables Using Dynamic Analysis - Extending to Aggregate and Vector Types. WCRE (2012)