Detecting Traditional Packers, Decisively. - Denis Bueno; Kevin J. Compton; Karem A. Sakallah; Michael D. Bailey (RAID, 2013)

Improving performance of CDCL SAT solvers by automated design of variable selection heuristics. - Marketa Illetskova; Alex R. Bertels; Joshua M. Tuggle; Adam Harter; Samuel Richter; Daniel R. Tauritz; Samuel A. Mulder; Denis Bueno; Michelle Leger; William M. Siever (SSCI, 2017)

Creating a User-Centric Data Flow Visualization: A Case Study. - Karin M. Butler; Michelle Leger; Denis Bueno; Christopher Cuellar; Michael J. Haass; Timothy Loffredo; Geoffrey Reedy; Julian Tuminaro (HCI (4), 2019)

euforia: Complete Software Model Checking with Uninterpreted Functions. - Denis Bueno; Karem A. Sakallah (VMCAI, 2019)

EUFicient Reachability in Software with Arrays. - Denis Bueno; Arlen Cox; Karem A. Sakallah (FMCAD, 2020)

Software Model Checking with Uninterpreted Functions. - Denis Bueno (2021)