Vishwanath Raman

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