Travelled to:1 × USA
Collaborated with:M.Fredrikson R.Joiner S.Jha T.W.Reps H.Saïdi V.Yegneswaran
Talks about:counterexampl (1) abstract (1) runtim (1) polici (1) enforc (1) effici (1) refin (1) guid (1) use (1)
Person: Phillip A. Porras
DBLP: Porras:Phillip_A=
Contributed to:
2012Wrote 1 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.