Vishwanath Raman

According to our database, Vishwanath Raman authored at least 17 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

JDart: A Dynamic Symbolic Analysis Framework.

Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

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

2014

Assume-guarantee synthesis for digital contract signing.

Krishnendu Chatterjee, Vishwanath Raman

Formal Aspects Comput., 2014

Taming test inputs for separation assurance.

Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Code aware resource management.

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman

Formal Methods Syst. Des., 2013

2012

Symbolic Execution Enhanced System Testing.

Misty D. Davies, Corina S. Pasareanu, Vishwanath Raman

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Synthesizing Protocols for Digital Contract Signing.

Krishnendu Chatterjee, Vishwanath Raman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Symbolic Learning of Component Interfaces.

Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the Static Analysis - 19th International Symposium, 2012

2010

Algorithms for Game Metrics (Full Version)

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman

Log. Methods Comput. Sci., 2010

Analyzing the Impact of Change in Multi-threaded Programs.

Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2008

Game Refinement Relations and Metrics.

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga

Log. Methods Comput. Sci., 2008

Assigning trust to Wikipedia content.

B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman

Proceedings of the 2008 International Symposium on Wikis, 2008

Measuring author contributions to the Wikipedia.

B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman

Proceedings of the 2008 International Symposium on Wikis, 2008

Algorithms for Game Metrics.

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

2007

Game Relations and Metrics.

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006

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

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Code aware resource management.

Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar

Proceedings of the EMSOFT 2005, 2005