| 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 | 291 | 2008 |
| 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 | 175 | 2008 |
| 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 | 81 | 2016 |
| Symbolic learning of component interfaces D Giannakopoulou, Z Rakamarić, V Raman Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 63 | 2012 |
| 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 | 58 | 2006 |
| 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 | 52 | 2007 |
| Algorithms for game metrics K Chatterjee, L De Alfaro, R Majumdar, V Raman arXiv preprint arXiv:0809.4326, 2008 | 37 | 2008 |
| Game refinement relations and metrics L De Alfaro, R Majumdar, V Raman, M Stoelinga arXiv preprint arXiv:0806.4956, 2008 | 36 | 2008 |
| Code aware resource management L de Alfaro, M Faella, R Majumdar, V Raman Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 25 | 2005 |
| Assume-guarantee synthesis for digital contract signing K Chatterjee, V Raman Formal Aspects of Computing 26, 825-859, 2014 | 21 | 2014 |
| 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 | 17 | 2014 |
| Code aware resource management K Chatterjee, L De Alfaro, M Faella, R Majumdar, V Raman Formal Methods in System Design 42, 146-174, 2013 | 9 | 2013 |
| Synthesizing protocols for digital contract signing K Chatterjee, V Raman Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 9 | 2012 |
| Symbolic execution enhanced system testing M Davies, CS Păsăreanu, V Raman Verified Software: Theories, Tools, Experiments: 4th International …, 2012 | 9 | 2012 |
| Analyzing the impact of change in multi-threaded programs K Chatterjee, L De Alfaro, V Raman, C Sánchez Fundamental Approaches to Software Engineering: 13th International …, 2010 | 8 | 2010 |
| OBDD extraction from VHDL gate level descriptions at design elaboration V Raman, AN Zamfirescu 1999 Fall VIUF Workshop (Cat. No. PR00465), 30-39, 1999 | 6 | 1999 |
| Game relations, metrics and refinements V Raman University of California, Santa Cruz, 2010 | 5 | 2010 |
| Game refinement relations and metrics, Log L de Alfaro, R Majumdar, V Raman, M Stoelinga Methods Comput. Sci 4 (3), 2008 | 5 | 2008 |
| 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 | 4 | 2015 |
| Pointer analysis–a survey V Raman Technical Report, University of California, http://classes. soe. ucsc. edu …, 2004 | 4 | 2004 |
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
