Follow
Vishwanath Raman
Vishwanath Raman
Privacy Architect, Oasis Labs
Verified email at oasislabs.com
Title
Cited by
Cited by
Year
Assigning trust to Wikipedia content
BT Adler, K Chatterjee, L De Alfaro, M Faella, I Pye, V Raman
Proceedings of the 4th International Symposium on Wikis, 1-12, 2008
2982008
Measuring author contributions to the Wikipedia
BT Adler, L De Alfaro, I Pye, V Raman
Proceedings of the 4th International Symposium on Wikis, 1-10, 2008
1812008
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
952016
Symbolic learning of component interfaces
D Giannakopoulou, Z Rakamarić, V Raman
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
672012
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
562006
Game relations and metrics
L De Alfaro, R Majumdar, V Raman, M Stoelinga
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 99-108, 2007
522007
Algorithms for game metrics
K Chatterjee, L De Alfaro, R Majumdar, V Raman
Logical Methods in Computer Science 6, 2010
402010
Game refinement relations and metrics
L De Alfaro, R Majumdar, V Raman, M Stoelinga
Logical Methods in Computer Science 4, 2008
382008
Code aware resource management
L de Alfaro, M Faella, R Majumdar, V Raman
Proceedings of the 5th ACM international conference on Embedded software …, 2005
252005
Assume-guarantee synthesis for digital contract signing
K Chatterjee, V Raman
Formal Aspects of Computing 26, 825-859, 2014
242014
Taming test inputs for separation assurance
D Giannakopoulou, F Howar, M Isberner, T Lauderdale, Z Rakamarić, ...
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
172014
Code aware resource management
K Chatterjee, L De Alfaro, M Faella, R Majumdar, V Raman
Formal Methods in System Design 42, 146-174, 2013
132013
Synthesizing protocols for digital contract signing
K Chatterjee, V Raman
International Workshop on Verification, Model Checking, and Abstract …, 2012
122012
Symbolic execution enhanced system testing
M Davies, CS Păsăreanu, V Raman
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
112012
Analyzing the impact of change in multi-threaded programs
K Chatterjee, L De Alfaro, V Raman, C Sánchez
International Conference on Fundamental Approaches to Software Engineering …, 2010
82010
The Dart, the Psyco, and the Doop: Concolic execution in Java PathFinder and its applications
M Dimjašević, D Giannakopoulou, F Howar, M Isberner, Z Rakamarić, ...
ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015
62015
Game relations, metrics and refinements
V Raman
University of California, Santa Cruz, 2010
62010
OBDD extraction from VHDL gate level descriptions at design elaboration
V Raman, AN Zamfirescu
1999 Fall VIUF Workshop (Cat. No. PR00465), 30-39, 1999
61999
Pointer analysis–a survey
V Raman
Technical Report, University of California, http://classes. soe. ucsc. edu …, 2004
52004
Game Equivalences and Metrics
L de Alfaro, R Majumdar, V Raman, M Stoelinga
The system can't perform the operation now. Try again later.
Articles 1–20