R. Venkatesh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
17
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | On Robustness of Linear Classifiers to Targeted Data Poisoning. | Nakshatra Gupta, Sumanth Prabhu S, Supratik Chakraborty, R. Venkatesh |
| 2025 | ICECCS | Random Resampling of Training Data for Effective Verification Strategy Prediction. | Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty |
| 2024 | ATVA | The VeriAbs Tool Suite for Code Verification. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty |
| 2024 | TACAS | PROTON: PRObes for Termination Or Not (Competition Contribution). | Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty |
| 2024 | TACAS | Weakest Precondition Inference for Non-Deterministic Linear Array Programs. | Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich |
| 2023 | ENASE | Towards Synthesis of Code for Calculations Using Their Specifications. | Advaita Datar, Amey Zare, R. Venkatesh, Asia A |
| 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 | DAC | EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning. | Sagar Verma, Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash, Aabriti Dutta |
| 2021 | ISSRE | Fast Change-Based Alarm Reporting for Evolving Software Systems. | Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh |
| 2021 | TACAS | VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). | Priyanka Darke, Sakshi Agrawal, R. Venkatesh |
| 2020 | ICSE | Using hypersafety verification for proving correctness of programming assignments. | Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh |
| 2020 | ICST | Scaling Test Case Generation For Expressive Decision Tables. | Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma |
| 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 |
| 2019 | TACAS | VeriFuzz: Program Aware Fuzzing - (Competition Contribution). | Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh |
| 2018 | ICSE | Generalizing specific-instance interpolation proofs with SyGuS. | Muqsit Azeem, Kumar Madhukar, R. Venkatesh |
| 2018 | RTCSA | Refining Task Specifications using Model Checking. | Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty |
| 2018 | SAS | Efficiently Learning Safety Proofs from Appearance as well as Behaviours. | Sumanth Prabhu, Kumar Madhukar, 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 | ICST | Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. | Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh |
| 2017 | TACAS | VeriAbs: Verification by Abstraction (Competition Contribution). | Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh |
| 2017 | TAMC | Sequentialization Using Timestamps. | Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh |
| 2016 | LOPSTR | Scaling Bounded Model Checking by Transforming Programs with Arrays. | Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C |
| 2015 | DATE | Over-approximating loops to prove properties using bounded model checking. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta |
| 2015 | ENASE | Cost-effective Functional Testing of Reactive Software. | R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal |
| 2015 | ENASE | On Generating Test Cases from EDT Specifications. | R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal |
| 2014 | DATE | EDT: A specification notation for reactive systems. | R. Venkatesh, Ulka Shrotri, G. Murali Krishna, Supriya Agrawal |
| 2013 | ICSE | Trace based reachability verification for statecharts. | Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh |
| 2013 | ICST | Reachability Verification of Rhapsody Statecharts. | Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh |
| 2013 | ICST | Scaling Model Checking for Test Generation Using Dynamic Inference. | Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh |
| 2012 | APSEC | Precise Analysis of Large Industry Code. | Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh |
| 2010 | SEKE | Feature based Structuring and Composing of SDLC Artifacts. | Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh |
| 2006 | SEFM | A Rigorous Approach to Requirements Validation. | Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh |
| 2003 | SEFM | Model Checking Visual Specification of Requirements. | Ulka Shrotri, Purandar Bhaduri, R. Venkatesh |
| 2001 | APSEC | Formalizing Models and Meta-models for System Development. | R. Venkatesh, Purandar Bhaduri, Mathai Joseph |