Vishwanath Raman
Vishwanath Raman
Software Engineer, Oasis Labs
Geverifieerd e-mailadres voor oasislabs.com
Titel
Geciteerd door
Geciteerd door
Jaar
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
2552008
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
1602008
Symbolic learning of component interfaces
D Giannakopoulou, Z Rakamarić, V Raman
International Static Analysis Symposium, 248-264, 2012
562012
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
International Conference on Computer Aided Verification, 59-62, 2006
542006
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
472007
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
342016
Algorithms for game metrics
K Chatterjee, L De Alfaro, R Majumdar, V Raman
arXiv preprint arXiv:0809.4326, 2008
322008
Game refinement relations and metrics
L De Alfaro, R Majumdar, V Raman, M Stoelinga
arXiv preprint arXiv:0806.4956, 2008
292008
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
Assume-guarantee synthesis for digital contract signing
K Chatterjee, V Raman
Formal Aspects of Computing 26 (4), 825-859, 2014
172014
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
162014
Synthesizing protocols for digital contract signing
K Chatterjee, V Raman
International Workshop on Verification, Model Checking, and Abstract …, 2012
82012
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
Symbolic execution enhanced system testing
M Davies, CS Păsăreanu, V Raman
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
72012
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
Code aware resource management
K Chatterjee, L de Alfaro, M Faella, R Majumdar, V Raman
Formal Methods in System Design 42 (2), 146-174, 2013
52013
Game refinement relations and metrics, Log
L de Alfaro, R Majumdar, V Raman, M Stoelinga
Methods Comput. Sci 4 (3), 2008
52008
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
42015
Pointer analysis–a survey
V Raman
Technical Report, University of California, http://classes. soe. ucsc. edu …, 2004
42004
Game relations, metrics and refinements
V Raman
University of California, Santa Cruz, 2010
32010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20