Development of Security Software: A High Assurance Methodology. - David S. Hardin; T. Douglas Hiratzka; D. Randolph Johnson; Lucas G. Wagner; Michael W. Whalen (ICFEM, 2009)

Model Checking Information Flow. - Michael W. Whalen; David A. Greve; Lucas G. Wagner (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)

Study on the Barriers to the Industrial Adoption of Formal Methods. - Jennifer A. Davis; Matthew A. Clark 001; Darren D. Cofer; Aaron Fifarek; Jacob Hinchman; Jonathan A. Hoffman; Brian W. Hulbert; Steven P. Miller; Lucas G. Wagner (FMICS, 2013)

Proof-based coverage metrics for formal verification. - Elaheh Ghassabani; Andrew Gacek; Michael W. Whalen; Mats Per Erik Heimdahl; Lucas G. Wagner (ASE, 2017)

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. - Aaron W. Fifarek; Lucas G. Wagner; Jonathan A. Hoffman; Benjamin D. Rodes; M. Anthony Aiello; Jennifer A. Davis (NFM, 2017)

Qualification of a Model Checker for Avionics Software Verification. - Lucas G. Wagner; Alain Mebsout; Cesare Tinelli; Darren D. Cofer; Konrad Slind (NFM, 2017)

SIMPAL: a compositional reasoning framework for imperative programs. - Lucas G. Wagner; David A. Greve; Andrew Gacek (SPIN, 2017)

The JKind Model Checker. - Andrew Gacek; John Backes; Mike Whalen; Lucas G. Wagner; Elaheh Ghassabani (CAV (2), 2018)

A Toolkit for Automated Testing of Dafny. - Aleksandr Fedchin; Tyler Dean; Jeffrey S. Foster; Eric Mercer; Zvonimir Rakamaric; Giles Reger; Neha Rungta; Robin Salkeld; Lucas G. Wagner; Cassidy Waldrip (NFM, 2023)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)