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: Raman:Vishwanath
Contributed to:
2014
2012
2012
2010
2007
2006Wrote 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.