R. Venkatesh

According to our database, R. Venkatesh authored at least 16 papers between 1998 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

VeriFuzz: Program Aware Fuzzing - (Competition Contribution).

Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Multiple Criteria Decision Analysis Based Overlapped Latent Fingerprint Recognition System Using fuzzy Sets.

R. Venkatesh, N. Uma Maheswari, S. Jeyanthi

Int. J. Fuzzy Syst., 2018

2015

Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques.

Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh

ACM SIGSOFT Softw. Eng. Notes, 2015

2012

Effectiveness of Random Testing of Embedded Systems.

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

2010

Optimal Bundling of Technological Products with Network Externality.

Ashutosh Prasad, R. Venkatesh, Vijay Mahajan

Manag. Sci., 2010

2009

Optimal Bundling Strategies in Multiobject Auctions of Complements or Substitutes.

Ramanathan Subramaniam, R. Venkatesh

Mark. Sci., 2009

2006

Research Note - Sole Entrant, Co-optor, or Component Supplier: Optimal End-Product Strategies for Manufacturers of Proprietary Component Brands.

R. Venkatesh, Pradeep Chintagunta, Vijay Mahajan

Manag. Sci., 2006

A Rigorous Approach to Requirements Validation.

Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

A QKD Protocol Extendable to Support Entanglement and Reduce Unauthorized Information Gain by Randomizing the Bases Lists with Key Values and Invalidate Explicit Privacy Amplification.

R. Venkatesh, C. Sanjeevakumar, M. Kasi Rajan, L. Sudarsan, N. Srinivasan

IACR Cryptol. ePrint Arch., 2005

Towards a Group Theoretic Quantum Encryption Scheme Based on Generalized Hidden Subgroup Problem

N. Srinivasan, C. Sanjeevakumar, L. Sudarsan, M. Kasi Rajan, R. Venkatesh

CoRR, 2005

Methods and Tools for Formal Software Engineering.

Zhiming Liu, R. Venkatesh

Proceedings of the Verified Software: Theories, 2005

2002

Formal Techniques for Analysing Scenarios using Message Sequence Charts.

Purandar Bhaduri, R. Venkatesh, Girish Keshav Palshikar

Electron. Notes Theor. Comput. Sci., 2002

Generating Enterprise Applications from Models.

Vinay Kulkarni, R. Venkatesh, Sreedhar Reddy

Proceedings of the Advances in Object-Oriented Information Systems, 2002

2001

Meta-Modelling for Formal Software Development.

Ashok Sreenivas, R. Venkatesh, Mathai Joseph

Electron. Notes Theor. Comput. Sci., 2001

Formalizing Models and Meta-models for System Development.

R. Venkatesh, Purandar Bhaduri, Mathai Joseph

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1998

Persistent Java Objects in 3 Tier Architectures.

Robert Bretl, Allen Otis, Marc San Soucie, Bruce Schuchardt, R. Venkatesh

Proceedings of the Advances in Persistent Object Systems, 1998