Ikuti
Vishwanath Raman
Vishwanath Raman
Privacy Architect, Oasis Labs
Email yang diverifikasi di oasislabs.com
Judul
Dikutip oleh
Dikutip oleh
Tahun
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
3032008
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
1872008
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
1202016
Symbolic learning of component interfaces
D Giannakopoulou, Z Rakamarić, V Raman
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
672012
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
552007
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
552006
Algorithms for game metrics
K Chatterjee, L De Alfaro, R Majumdar, V Raman
Logical Methods in Computer Science 6, 2010
432010
Game refinement relations and metrics
L De Alfaro, R Majumdar, V Raman, M Stoelinga
Logical Methods in Computer Science 4, 2008
412008
Assume-guarantee synthesis for digital contract signing
K Chatterjee, V Raman
Formal Aspects of Computing 26, 825-859, 2014
262014
Code aware resource management
L de Alfaro, M Faella, R Majumdar, V Raman
Proceedings of the 5th ACM international conference on Embedded software …, 2005
262005
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
182014
Code aware resource management
K Chatterjee, L De Alfaro, M Faella, R Majumdar, V Raman
Formal Methods in System Design 42, 146-174, 2013
152013
Synthesizing protocols for digital contract signing
K Chatterjee, V Raman
International Workshop on Verification, Model Checking, and Abstract …, 2012
132012
Symbolic execution enhanced system testing
M Davies, CS Păsăreanu, V Raman
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
122012
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
Game relations, metrics and refinements
V Raman
University of California, Santa Cruz, 2010
72010
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
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
52015
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
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20