R. Venkatesh - RankMe

61 papers A* 3A 7B 9C 4Misc 1Journal 11Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	On Robustness of Linear Classifiers to Targeted Data Poisoning. AAAI Nakshatra Gupta, Sumanth Prabhu S, Supratik Chakraborty, R. Venkatesh
2025	—	`conf`	An Automaton Model to Succinctly Represent Suffix-Based Specifications of a Concurrent System. NETYS R. Keerthan, B. Srivathsan, R. Venkatesh
2025	J	`jnl`	Deterministic Suffix-reading Automata. CoRR R. Keerthan, B. Srivathsan, R. Venkatesh, Sagar Verma
2025	—	`conf`	False Positives in Robustness Checking of Neural Networks. OVERLAY Mohammad Afzal, Ashutosh Gupta, R. Venkatesh, S. Akshay
2025	J	`jnl`	On Robustness of Linear Classifiers to Targeted Data Poisoning. CoRR Nakshatra Gupta, Sumanth Prabhu, Supratik Chakraborty, R. Venkatesh
2025	B	`conf`	Random Resampling of Training Data for Effective Verification Strategy Prediction. ICECCS Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty
2025	—	`conf`	Repairing Control Safety Violations via Scheduler Patch Synthesis. ICCPS Anand Yeolekar, Supratik Chakraborty, R. Venkatesh, Samarjit Chakraborty
2024	J	`jnl`	A shallow dive into the depths of non-termination checking for C programs. CoRR Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty
2024	Misc	`conf`	Detecting Covert Channels in Cloud Access Control Policies Using Large Language Models. CSR Hrishikesh Karmarkar, Vaibhavi Joshi, R. Venkatesh
2024	—	`conf`	Deterministic Suffix-reading Automata. GandALF R. Keerthan, B. Srivathsan, R. Venkatesh, Sagar Verma
2024	A	`conf`	Learning Strategies Using Boolean Program Metrics to Verify Industrial Code. ICSME Priyanka Darke, Bharti Chimdyalwar, Manoj Alladawar, Sahil Sulakhe, R. Venkatesh, Supratik Chakraborty
2024	—	`conf`	PROTON: PRObes for Termination Or Not (Competition Contribution). TACAS (3) Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
2024	B	`conf`	The VeriAbs Tool Suite for Code Verification. ATVA Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty
2024	—	`conf`	Weakest Precondition Inference for Non-Deterministic Linear Array Programs. TACAS (2) Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich
2023	B	`conf`	Towards Synthesis of Code for Calculations Using Their Specifications. ENASE Advaita Datar, Amey Zare, R. Venkatesh, Asia A
2023	—	`conf`	VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). TACAS (2) Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
2022	—	`conf`	Automated Validation of Insurance Applications against Calculation Specifications. ISSRE Workshops Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
2022	J	`jnl`	Automated Validation of Insurance Applications against Calculation Specifications. CoRR Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
2022	—	`conf`	Fast Analysis of Evolving Software Systems. ISSRE Workshops Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh
2022	J	`jnl`	Impactful research and tooling for program correctness. Commun. ACM Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh
2021	J	`jnl`	Direct Construction of Program Alignment Automata for Equivalence Checking. CoRR Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
2021	A*	`conf`	EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning. DAC Sagar Verma, Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash, Aabriti Dutta
2021	A	`conf`	Fast Change-Based Alarm Reporting for Evolving Software Systems. ISSRE Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh
2021	—	`conf`	VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). TACAS (2) Priyanka Darke, Sakshi Agrawal, R. Venkatesh
2020	A	`conf`	Scaling Test Case Generation For Expressive Decision Tables. ICST Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma
2020	—	`conf`	Using hypersafety verification for proving correctness of programming assignments. ICSE (NIER) Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh
2020	—	`conf`	VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
2019	B	`conf`	Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). LCTES Martin Becker, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh
2019	J	`jnl`	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. Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
2019	A*	`conf`	VeriAbs : Verification by Abstraction and Test Generation. ASE Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
2019	—	`conf`	VeriFuzz: Program Aware Fuzzing - (Competition Contribution). TACAS (3) Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh
2018	B	`conf`	Efficiently Learning Safety Proofs from Appearance as well as Behaviours. SAS Sumanth Prabhu, Kumar Madhukar, R. Venkatesh
2018	—	`conf`	Generalizing specific-instance interpolation proofs with SyGuS. ICSE (NIER) Muqsit Azeem, Kumar Madhukar, R. Venkatesh
2018	—	`conf`	Property Checking Array Programs Using Loop Shrinking. TACAS (1) Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah
2018	B	`conf`	Refining Task Specifications using Model Checking. RTCSA Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
2018	J	`jnl`	Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. CoRR Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
2018	—	`conf`	VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
2017	A	`conf`	Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. ICST Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh
2017	C	`conf`	Sequentialization Using Timestamps. TAMC Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh
2017	—	`conf`	VeriAbs: Verification by Abstraction (Competition Contribution). TACAS (2) Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh
2016	J	`jnl`	Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
2016	J	`jnl`	Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
2016	C	`conf`	Scaling Bounded Model Checking by Transforming Programs with Arrays. LOPSTR Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
2016	B	`conf`	TIC: a scalable model checking based approach to WCET estimation. LCTES Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
2015	J	`jnl`	Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. ACM SIGSOFT Softw. Eng. Notes Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh
2015	B	`conf`	Cost-effective Functional Testing of Reactive Software. ENASE R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
2015	—	`conf`	On Generating Test Cases from EDT Specifications. ENASE (Selected Papers) R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
2015	A	`conf`	Over-approximating loops to prove properties using bounded model checking. DATE Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
2014	A	`conf`	EDT: A specification notation for reactive systems. DATE R. Venkatesh, Ulka Shrotri, G. Murali Krishna, Supriya Agrawal
2013	—	`conf`	Reachability Verification of Rhapsody Statecharts. ICST Workshops Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh
2013	A	`conf`	Scaling Model Checking for Test Generation Using Dynamic Inference. ICST Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh
2013	—	`conf`	Trace based reachability verification for statecharts. FormaliSE@ICSE Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh
2012	—	`conf`	Effectiveness of Random Testing of Embedded Systems. HICSS Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, P. Vijay Suman
2012	C	`conf`	Precise Analysis of Large Industry Code. APSEC Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh
2010	C	`conf`	Feature based Structuring and Composing of SDLC Artifacts. SEKE Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh
2010	—	`conf`	Masking Boundary Value Coverage: Effectiveness and Efficiency. TAIC PART P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh
2010	—	`conf`	Proving unreachability using bounded model checking. ISEC Ulka Shrotri, R. Venkatesh, Ravindra Metta
2009	—	`conf`	Automatic Test Data Generation for C Programs. SSIRI Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh
2005	—	`conf`	Methods and Tools for Formal Software Engineering. VSTTE Zhiming Liu, R. Venkatesh
2005	—	`conf`	Visual specification and analysis of use cases. SOFTVIS Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh
2003	B	`conf`	Model Checking Visual Specification of Requirements. SEFM Ulka Shrotri, Purandar Bhaduri, R. Venkatesh