BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Poland
1 × Sweden
2 × USA
Collaborated with:
K.Chatterjee L.d.Alfaro D.Giannakopoulou Z.Rakamaric C.Sánchez R.Majumdar M.Stoelinga F.Howar M.Isberner T.Lauderdale B.T.Adler L.D.d.Silva M.Faella A.Legay P.Roy
Talks about:
interfac (2) protocol (1) contract (1) composit (1) synthes (1) program (1) thread (1) symbol (1) metric (1) impact (1)

Person: Vishwanath Raman

DBLP DBLP: Raman:Vishwanath

Contributed to:

ASE 20142014
SAS 20122012
VMCAI 20122012
FASE 20102010
LICS 20072007
CAV 20062006

Wrote 6 papers:

ASE-2014-GiannakopoulouHILRR #assurance #testing
Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
SAS-2012-GiannakopoulouRR #component #interface #learning
Symbolic Learning of Component Interfaces (DG, ZR, VR), pp. 248–264.
VMCAI-2012-ChatterjeeR #contract #protocol
Synthesizing Protocols for Digital Contract Signing (KC, VR), pp. 152–168.
FASE-2010-ChatterjeeARS #concurrent #multi #source code #thread
Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.
LICS-2007-AlfaroMRS #game studies #metric
Game Relations and Metrics (LdA, RM, VR, MS), pp. 99–108.
CAV-2006-AdlerASFLRR #composition #interface #named
Ticc: A Tool for Interface Compatibility and Composition (BTA, LdA, LDdS, MF, AL, VR, PR), pp. 59–62.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.