R. Venkatesh

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 31

Top Topics

Reactive Systems

Linear Temporal Logic

Test Generation

Top Venues

Publications

Advaita Datar, Amey Zare, R. Venkatesh, Asia A
Towards Synthesis of Code for Calculations Using Their Specifications. ENASE (2023)
Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). TACAS (2) (2023)
Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh
Fast Analysis of Evolving Software Systems. ISSRE Workshops (2022)
Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh
Impactful research and tooling for program correctness. Commun. ACM 65 (11) (2022)
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
Automated Validation of Insurance Applications against Calculation Specifications. CoRR (2022)
Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
Direct Construction of Program Alignment Automata for Equivalence Checking. CoRR (2021)
Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh
Fast Change-Based Alarm Reporting for Evolving Software Systems. ISSRE (2021)
Sagar Verma, Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash, Aabriti Dutta
EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning. DAC (2021)
Priyanka Darke, Sakshi Agrawal, R. Venkatesh
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). TACAS (2) (2021)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) (2020)
Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh
Using hypersafety verification for proving correctness of programming assignments. ICSE (NIER) (2020)
Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma
Scaling Test Case Generation For Expressive Decision Tables. ICST (2020)
Mohammad Afzal, A. Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation. ASE (2019)
Martin Becker, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh
Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). LCTES (2019)
Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking. Int. J. Softw. Tools Technol. Transf. 21 (5) (2019)
Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. CoRR (2018)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) (2018)
Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
Refining Task Specifications using Model Checking. RTCSA (2018)
Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah
Property Checking Array Programs Using Loop Shrinking. TACAS (1) (2018)
Muqsit Azeem, Kumar Madhukar, R. Venkatesh
Generalizing specific-instance interpolation proofs with SyGuS. ICSE (NIER) (2018)
Sumanth Prabhu, Kumar Madhukar, R. Venkatesh
Efficiently Learning Safety Proofs from Appearance as well as Behaviours. SAS (2018)
Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. ICST (2017)
Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh
Sequentialization Using Timestamps. TAMC (2017)
Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh
VeriAbs: Verification by Abstraction (Competition Contribution). TACAS (2) (2017)
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)
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
TIC: a scalable model checking based approach to WCET estimation. LCTES (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking by Transforming Programs with Arrays. LOPSTR (2016)
R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
Cost-effective Functional Testing of Reactive Software. ENASE (2015)
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
Over-approximating loops to prove properties using bounded model checking. DATE (2015)
R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
On Generating Test Cases from EDT Specifications. ENASE (Selected Papers) (2015)
R. Venkatesh, Ulka Shrotri, G. Murali Krishna, Supriya Agrawal
EDT: A specification notation for reactive systems. DATE (2014)
Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh
Reachability Verification of Rhapsody Statecharts. ICST Workshops (2013)
Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh
Trace based reachability verification for statecharts. FormaliSE@ICSE (2013)
Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh
Scaling Model Checking for Test Generation Using Dynamic Inference. ICST (2013)
Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh
Precise Analysis of Large Industry Code. APSEC (2012)
P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh
Masking Boundary Value Coverage: Effectiveness and Efficiency. TAIC PART (2010)
Ulka Shrotri, R. Venkatesh, Ravindra Metta
Proving unreachability using bounded model checking. ISEC (2010)
Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh
Feature based Structuring and Composing of SDLC Artifacts. SEKE (2010)
Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh
Automatic Test Data Generation for C Programs. SSIRI (2009)
Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh
Visual specification and analysis of use cases. SOFTVIS (2005)
Ulka Shrotri, Purandar Bhaduri, R. Venkatesh
Model Checking Visual Specification of Requirements. SEFM (2003)