Login / Signup
Manuel Valdiviezo
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Reachability Analysis
Dynamic Programming
Model Checking
Top Venues
IEEE Secur. Priv.
APLAS
</>
Publications
</>
Manuel Valdiviezo
,
Cristina Cifuentes
,
Padmanabhan Krishnan
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.
APLAS
(2014)
Cristina Cifuentes
,
Nathan Keynes
,
Lian Li
,
Nathan Hawes
,
Manuel Valdiviezo
Transitioning Parfait into a Development Tool.
IEEE Secur. Priv.
10 (3) (2012)
Cristina Cifuentes
,
Nathan Keynes
,
Lian Li
,
Nathan Hawes
,
Manuel Valdiviezo
,
Andrew Browne
,
Jacob Zimmermann
,
Andrew Craik
,
Douglas Teoh
,
Christian Hoermann
Static deep error checking in large system applications using parfait.
SIGSOFT FSE
(2011)