Static deep error checking in large system applications using parfait. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo; Andrew Browne; Jacob Zimmermann; Andrew Craik; Douglas Teoh; Christian Hoermann (SIGSOFT FSE, 2011)

Transitioning Parfait into a Development Tool. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo (IEEE Secur. Priv., 2012)

A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. - Manuel Valdiviezo; Cristina Cifuentes; Padmanabhan Krishnan (APLAS, 2014)