R. Venkatesh

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
VeriFuzz: Program Aware Fuzzing - (Competition Contribution).
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.
Int. J. Fuzzy Syst., 2018

2015
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques.
ACM SIGSOFT Softw. Eng. Notes, 2015

2012
Effectiveness of Random Testing of Embedded Systems.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2010
Optimal Bundling of Technological Products with Network Externality.
Manag. Sci., 2010

2009
Optimal Bundling Strategies in Multiobject Auctions of Complements or Substitutes.
Mark. Sci., 2009

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

A Rigorous Approach to Requirements Validation.
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.
IACR Cryptol. ePrint Arch., 2005

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

Methods and Tools for Formal Software Engineering.
Proceedings of the Verified Software: Theories, 2005

2002
Formal Techniques for Analysing Scenarios using Message Sequence Charts.
Electron. Notes Theor. Comput. Sci., 2002

Generating Enterprise Applications from Models.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

2001
Meta-Modelling for Formal Software Development.
Electron. Notes Theor. Comput. Sci., 2001

Formalizing Models and Meta-models for System Development.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1998
Persistent Java Objects in 3 Tier Architectures.
Proceedings of the Advances in Persistent Object Systems, 1998


  Loading...