We stand with Ukraine  

R. Venkatesh

Affiliations:
  • Tata Consultancy Services Limited, Pune, India


According to our database1, R. Venkatesh authored at least 49 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deterministic Suffix-reading Automata.
[BibTeX]
[DOI]
R. Keerthan
,
B. Srivathsan
,
R. Venkatesh
,
Sagar Verma
CoRR, 2024

A shallow dive into the depths of non-termination checking for C programs.
[BibTeX]
[DOI]
Ravindra Metta
,
Hrishikesh Karmarkar
,
Kumar Madhukar
,
R. Venkatesh
,
Supratik Chakraborty
,
Samarjit Chakraborty
CoRR, 2024

Weakest Precondition Inference for Non-Deterministic Linear Array Programs.
[BibTeX]
[DOI]
Sumanth Prabhu
,
Deepak D'Souza
,
Supratik Chakraborty
,
R. Venkatesh
,
Grigory Fedyukovich
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

PROTON: PRObes for Termination Or Not (Competition Contribution).
[BibTeX]
[DOI]
Ravindra Metta
,
Hrishikesh Karmarkar
,
Kumar Madhukar
,
R. Venkatesh
,
Supratik Chakraborty
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Detecting Covert Channels in Cloud Access Control Policies Using Large Language Models.
[BibTeX]
[DOI]
Hrishikesh Karmarkar
,
Vaibhavi Joshi
,
R. Venkatesh
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

2023
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).
[BibTeX]
[DOI]
Priyanka Darke
,
Bharti Chimdyalwar
,
Sakshi Agrawal
,
Shrawan Kumar
,
R. Venkatesh
,
Supratik Chakraborty
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Towards Synthesis of Code for Calculations Using Their Specifications.
[BibTeX]
[DOI]
Advaita Datar
,
Amey Zare
,
R. Venkatesh
,
Asia A
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022
Impactful research and tooling for program correctness.
[BibTeX]
[DOI]
Priyanka Darke
,
Ravindra Metta
,
Raveendra Kumar Medicherla
,
R. Venkatesh
Commun. ACM, 2022

Fast Analysis of Evolving Software Systems.
[BibTeX]
[DOI]
Anushri Jana
,
Bharti Chimdyalwar
,
Shrawan Kumar
,
R. Venkatesh
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Automated Validation of Insurance Applications against Calculation Specifications.
[BibTeX]
[DOI]
Advaita Datar
,
Amey Zare
,
Asia A
,
R. Venkatesh
,
Shrawan Kumar
,
Ulka Shrotri
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021
Direct Construction of Program Alignment Automata for Equivalence Checking.
[BibTeX]
[DOI]
Manish Goyal
,
Muqsit Azeem
,
Kumar Madhukar
,
R. Venkatesh
CoRR, 2021

VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).
[BibTeX]
[DOI]
Priyanka Darke
,
Sakshi Agrawal
,
R. Venkatesh
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Fast Change-Based Alarm Reporting for Evolving Software Systems.
[BibTeX]
[DOI]
Anushri Jana
,
Ankita Khadsare
,
Bharti Chimdyalwar
,
Shrawan Kumar
,
Vaidehi Ghime
,
R. Venkatesh
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning.
[BibTeX]
[DOI]
Sagar Verma
,
Supriya Agrawal
,
R. Venkatesh
,
Ulka Shrotri
,
Srinarayana Nagarathinam
,
Rajesh Jayaprakash
,
Aabriti Dutta
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
[BibTeX]
[DOI]
Mohammad Afzal
,
Supratik Chakraborty
,
Avriti Chauhan
,
Bharti Chimdyalwar
,
Priyanka Darke
,
Ashutosh Gupta
,
Shrawan Kumar
,
Charles Babu M
,
Divyesh Unadkat
,
R. Venkatesh
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Scaling Test Case Generation For Expressive Decision Tables.
[BibTeX]
[DOI]
Supriya Agrawal
,
R. Venkatesh
,
Ulka Shrotri
,
Amey Zare
,
Sagar Verma
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Using hypersafety verification for proving correctness of programming assignments.
[BibTeX]
[DOI]
Jude K. Anil
,
Sumanth Prabhu S
,
Kumar Madhukar
,
R. Venkatesh
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.
[BibTeX]
[DOI]
Martin Becker
,
Ravindra Metta
,
R. Venkatesh
,
Samarjit Chakraborty
Int. J. Softw. Tools Technol. Transf., 2019

VeriFuzz: Program Aware Fuzzing - (Competition Contribution).
[BibTeX]
[DOI]
Animesh Basak Chowdhury
,
Raveendra Kumar Medicherla
,
R. Venkatesh
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper).
[BibTeX]
[DOI]
Martin Becker
,
Samarjit Chakraborty
,
Ravindra Metta
,
R. Venkatesh
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

VeriAbs : Verification by Abstraction and Test Generation.
[BibTeX]
[DOI]
Mohammad Afzal
,
Asia A
,
Avriti Chauhan
,
Bharti Chimdyalwar
,
Priyanka Darke
,
Advaita Datar
,
Shrawan Kumar
,
R. Venkatesh
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.
[BibTeX]
[DOI]
Martin Becker
,
Ravindra Metta
,
R. Venkatesh
,
Samarjit Chakraborty
CoRR, 2018

Property Checking Array Programs Using Loop Shrinking.
[BibTeX]
[DOI]
Shrawan Kumar
,
Amitabha Sanyal
,
R. Venkatesh
,
Punit Shah
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).
[BibTeX]
[DOI]
Priyanka Darke
,
Sumanth Prabhu
,
Bharti Chimdyalwar
,
Avriti Chauhan
,
Shrawan Kumar
,
Animesh Basak Chowdhury
,
R. Venkatesh
,
Advaita Datar
,
Raveendra Kumar Medicherla
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Efficiently Learning Safety Proofs from Appearance as well as Behaviours.
[BibTeX]
[DOI]
Sumanth Prabhu
,
Kumar Madhukar
,
R. Venkatesh
Proceedings of the Static Analysis - 25th International Symposium, 2018

Refining Task Specifications using Model Checking.
[BibTeX]
[DOI]
Anand Yeolekar
,
Ravindra Metta
,
R. Venkatesh
,
Samarjit Chakraborty
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Generalizing specific-instance interpolation proofs with SyGuS.
[BibTeX]
[DOI]
Muqsit Azeem
,
Kumar Madhukar
,
R. Venkatesh
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

2017
Sequentialization Using Timestamps.
[BibTeX]
[DOI]
Anand Yeolekar
,
Kumar Madhukar
,
Dipali Bhutada
,
R. Venkatesh
Proceedings of the Theory and Applications of Models of Computation, 2017

VeriAbs: Verification by Abstraction (Competition Contribution).
[BibTeX]
[DOI]
Bharti Chimdyalwar
,
Priyanka Darke
,
Avriti Chauhan
,
Punit Shah
,
Shrawan Kumar
,
R. Venkatesh
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking.
[BibTeX]
[DOI]
Priyanka Darke
,
Bharti Chimdyalwar
,
Avriti Chauhan
,
R. Venkatesh
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Scaling Bounded Model Checking by Transforming Programs with Arrays.
[BibTeX]
[DOI]
Anushri Jana
,
Uday P. Khedker
,
Advaita Datar
,
R. Venkatesh
,
Niyas C
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

TIC: a scalable model checking based approach to WCET estimation.
[BibTeX]
[DOI]
Ravindra Metta
,
Martin Becker
,
Prasad Bokil
,
Samarjit Chakraborty
,
R. Venkatesh
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

2015
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques.
[BibTeX]
[DOI]
Prasad Bokil
,
Padmanabhan Krishnan
,
R. Venkatesh
ACM SIGSOFT Softw. Eng. Notes, 2015

On Generating Test Cases from EDT Specifications.
[BibTeX]
[DOI]
R. Venkatesh
,
Ulka Shrotri
,
Amey Zare
,
Supriya Agrawal
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2015

Cost-effective Functional Testing of Reactive Software.
[BibTeX]
[DOI]
R. Venkatesh
,
Ulka Shrotri
,
Amey Zare
,
Supriya Agrawal
Proceedings of the ENASE 2015, 2015

Over-approximating loops to prove properties using bounded model checking.
[BibTeX]
[DOI]
Priyanka Darke
,
Bharti Chimdyalwar
,
R. Venkatesh
,
Ulka Shrotri
,
Ravindra Metta
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
EDT: A specification notation for reactive systems.
[BibTeX]
[DOI]
R. Venkatesh
,
Ulka Shrotri
,
G. Murali Krishna
,
Supriya Agrawal
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Scaling Model Checking for Test Generation Using Dynamic Inference.
[BibTeX]
[DOI]
Anand Yeolekar
,
Divyesh Unadkat
,
Vivek Agarwal
,
Shrawan Kumar
,
R. Venkatesh
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Reachability Verification of Rhapsody Statecharts.
[BibTeX]
[DOI]
Kumar Madhukar
,
Ravindra Metta
,
Priyanka Singh
,
R. Venkatesh
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Trace based reachability verification for statecharts.
[BibTeX]
[DOI]
Kumar Madhukar
,
Ravindra Metta
,
Ulka Shrotri
,
R. Venkatesh
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012
Effectiveness of Random Testing of Embedded Systems.
[BibTeX]
[DOI]
Padmanabhan Krishnan
,
R. Venkatesh
,
Prasad Bokil
,
Tukaram Muske
,
P. Vijay Suman
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

Precise Analysis of Large Industry Code.
[BibTeX]
[DOI]
Priyanka Darke
,
Mayur Khanzode
,
Arun Nair
,
Ulka Shrotri
,
R. Venkatesh
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010
Masking Boundary Value Coverage: Effectiveness and Efficiency.
[BibTeX]
[DOI]
P. Vijay Suman
,
Tukaram Muske
,
Prasad Bokil
,
Ulka Shrotri
,
R. Venkatesh
Proceedings of the Testing, 2010

Feature based Structuring and Composing of SDLC Artifacts.
[BibTeX]
Nishigandha Hirve
,
Tukaram Muske
,
Ulka Shrotri
,
R. Venkatesh
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Proving unreachability using bounded model checking.
[BibTeX]
[DOI]
Ulka Shrotri
,
R. Venkatesh
,
Ravindra Metta
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009
Automatic Test Data Generation for C Programs.
[BibTeX]
[DOI]
Prasad Bokil
,
Priyanka Darke
,
Ulka Shrotri
,
R. Venkatesh
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2005
Methods and Tools for Formal Software Engineering.
[BibTeX]
[DOI]
Zhiming Liu
,
R. Venkatesh
Proceedings of the Verified Software: Theories, 2005

Visual specification and analysis of use cases.
[BibTeX]
[DOI]
Deepali Kholkar
,
G. Murali Krishna
,
Ulka Shrotri
,
R. Venkatesh
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

2003
Model Checking Visual Specification of Requirements.
[BibTeX]
[DOI]
Ulka Shrotri
,
Purandar Bhaduri
,
R. Venkatesh
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003


  Loading...