Code aware resource management. - Luca de Alfaro; Vishwanath Raman; Marco Faella; Rupak Majumdar (EMSOFT, 2005)

Ticc: A Tool for Interface Compatibility and Composition. - B. Thomas Adler; Luca de Alfaro; Leandro Dias da Silva; Marco Faella; Axel Legay; Vishwanath Raman; Pritam Roy (CAV, 2006)

Game Relations and Metrics. - Luca de Alfaro; Rupak Majumdar; Vishwanath Raman; Mariëlle Stoelinga (LICS, 2007)

Algorithms for Game Metrics. - Krishnendu Chatterjee; Luca de Alfaro; Rupak Majumdar; Vishwanath Raman (FSTTCS, 2008)

Measuring author contributions to the Wikipedia. - B. Thomas Adler; Luca de Alfaro; Ian Pye; Vishwanath Raman (Int. Sym. Wikis, 2008)

Assigning trust to Wikipedia content. - B. Thomas Adler; Krishnendu Chatterjee; Luca de Alfaro; Marco Faella; Ian Pye; Vishwanath Raman (Int. Sym. Wikis, 2008)

Game Refinement Relations and Metrics. - Luca de Alfaro; Rupak Majumdar; Vishwanath Raman; Mariëlle Stoelinga (Log. Methods Comput. Sci., 2008)

Analyzing the Impact of Change in Multi-threaded Programs. - Krishnendu Chatterjee; Luca de Alfaro; Vishwanath Raman; César Sánchez 001 (FASE, 2010)

Algorithms for Game Metrics (Full Version) - Krishnendu Chatterjee; Luca de Alfaro; Rupak Majumdar; Vishwanath Raman (Log. Methods Comput. Sci., 2010)

Symbolic Learning of Component Interfaces. - Dimitra Giannakopoulou; Zvonimir Rakamaric; Vishwanath Raman (SAS, 2012)

Synthesizing Protocols for Digital Contract Signing. - Krishnendu Chatterjee; Vishwanath Raman (VMCAI, 2012)

Symbolic Execution Enhanced System Testing. - Misty D. Davies; Corina S. Pasareanu; Vishwanath Raman (VSTTE, 2012)

Code aware resource management. - Krishnendu Chatterjee; Luca de Alfaro; Marco Faella; Rupak Majumdar; Vishwanath Raman (Formal Methods Syst. Des., 2013)

Taming test inputs for separation assurance. - Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Todd Lauderdale; Zvonimir Rakamaric; Vishwanath Raman (ASE, 2014)

Assume-guarantee synthesis for digital contract signing. - Krishnendu Chatterjee; Vishwanath Raman (Formal Aspects Comput., 2014)

The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. - Marko Dimjasevic; Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Zvonimir Rakamaric; Vishwanath Raman (ACM SIGSOFT Softw. Eng. Notes, 2015)

JDart: A Dynamic Symbolic Analysis Framework. - Kasper Søe Luckow; Marko Dimjasevic; Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Temesghen Kahsai; Zvonimir Rakamaric; Vishwanath Raman (TACAS, 2016)