Vishwanath Raman

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 2

Top Topics

Resource Management

Digital Topology

Symbolic Execution

Simulated Annealing Algorithm

Top Venues

Formal Aspects Comput.

Publications

Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
JDart: A Dynamic Symbolic Analysis Framework. TACAS (2016)
Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Krishnendu Chatterjee, Vishwanath Raman
Assume-guarantee synthesis for digital contract signing. Formal Aspects Comput. 26 (4) (2014)
Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
Taming test inputs for separation assurance. ASE (2014)
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
Code aware resource management. Formal Methods Syst. Des. 42 (2) (2013)
Krishnendu Chatterjee, Vishwanath Raman
Synthesizing Protocols for Digital Contract Signing. VMCAI (2012)
Misty Davies, Corina S. Pasareanu, Vishwanath Raman
Symbolic Execution Enhanced System Testing. VSTTE (2012)
Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman
Symbolic Learning of Component Interfaces. SAS (2012)
Krishnendu Chatterjee, Vishwanath Raman
Assume-Guarantee Synthesis for Digital Contract Signing CoRR (2010)
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
Analyzing the Impact of Change in Multi-threaded Programs. FASE (2010)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
Algorithms for Game Metrics (Full Version) Log. Methods Comput. Sci. 6 (3) (2010)
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Game Refinement Relations and Metrics CoRR (2008)
B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman
Assigning trust to Wikipedia content. Int. Sym. Wikis (2008)
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Game Refinement Relations and Metrics. Log. Methods Comput. Sci. 4 (3) (2008)
B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman
Measuring author contributions to the Wikipedia. Int. Sym. Wikis (2008)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
Algorithms for Game Metrics. FSTTCS (2008)
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Game Relations and Metrics. LICS (2007)
B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
Ticc: A Tool for Interface Compatibility and Composition. CAV (2006)
Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
Code aware resource management. EMSOFT (2005)