Travelled to:1 × Korea
1 × USA
Collaborated with:L.Chen R.Ramakrishnan P.Barford B.Chen M.Fredrikson R.Joiner S.Jha T.W.Reps P.A.Porras H.Saïdi
Talks about:counterexampl (1) composit (1) abstract (1) subset (1) runtim (1) polici (1) measur (1) enforc (1) effici (1) refin (1)
Person: Vinod Yegneswaran
DBLP: Yegneswaran:Vinod
Contributed to:
2012
2006Wrote 2 papers:
- CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #runtime #using
- Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.
- VLDB-2006-0003RBCY #metric #set
- Composite Subset Measures (LC, RR, PB, BCC, VY), pp. 403–414.