Vishwanath Raman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2005–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
| 2012 | SAS | Symbolic Learning of Component Interfaces. | Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman |
| 2012 | VMCAI | Synthesizing Protocols for Digital Contract Signing. | Krishnendu Chatterjee, Vishwanath Raman |
| 2010 | FASE | Analyzing the Impact of Change in Multi-threaded Programs. | Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, Csar Snchez |
| 2007 | LICS | Game Relations and Metrics. | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Marille Stoelinga |
| 2006 | CAV | 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 |
| 2005 | EMSOFT | Code aware resource management. | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |