Shrawan Kumar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
4
Active years
2006–2023
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TACAS | VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). | Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty |
| 2022 | ISSRE | Automated Validation of Insurance Applications against Calculation Specifications. | Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri |
| 2022 | ISSRE | Fast Analysis of Evolving Software Systems. | Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh |
| 2021 | ISSRE | Fast Change-Based Alarm Reporting for Evolving Software Systems. | Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh |
| 2020 | TACAS | VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). | Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh |
| 2018 | TACAS | VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). | Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla |
| 2018 | TACAS | Property Checking Array Programs Using Loop Shrinking. | Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah |
| 2017 | TACAS | VeriAbs: Verification by Abstraction (Competition Contribution). | Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh |
| 2015 | TACAS | Value Slice: A New Slicing Concept for Scalable Property Checking. | Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker |
| 2013 | ICST | Scaling Model Checking for Test Generation Using Dynamic Inference. | Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh |
| 2006 | SEFM | Composing Context Sensitive Analysis. | Prahladavaradan Sampath, Shrawan Kumar |