| 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 | 298 | 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 | 181 | 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 | 106 | 2016 |
| Symbolic learning of component interfaces D Giannakopoulou, Z Rakamarić, V Raman Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 66 | 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 | 56 | 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 | 53 | 2007 |
| Algorithms for game metrics K Chatterjee, L De Alfaro, R Majumdar, V Raman Logical Methods in Computer Science 6, 2010 | 41 | 2010 |
| Game refinement relations and metrics L De Alfaro, R Majumdar, V Raman, M Stoelinga Logical Methods in Computer Science 4, 2008 | 38 | 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 | 26 | 2005 |
| Assume-guarantee synthesis for digital contract signing K Chatterjee, V Raman Formal Aspects of Computing 26, 825-859, 2014 | 25 | 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 | 13 | 2013 |
| Synthesizing protocols for digital contract signing K Chatterjee, V Raman International Workshop on Verification, Model Checking, and Abstract …, 2012 | 12 | 2012 |
| Symbolic execution enhanced system testing M Davies, CS Păsăreanu, V Raman Verified Software: Theories, Tools, Experiments: 4th International …, 2012 | 11 | 2012 |
| 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 | 8 | 2010 |
| 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 | 6 | 2015 |
| Game relations, metrics and refinements V Raman University of California, Santa Cruz, 2010 | 6 | 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 |
| Pointer analysis–a survey V Raman Technical Report, University of California, http://classes. soe. ucsc. edu …, 2004 | 5 | 2004 |
| Game Equivalences and Metrics L de Alfaro, R Majumdar, V Raman, M Stoelinga | | |
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa Cruz在 alumni.stanford.edu 的电子邮件经过验证
