DPLL( T): Fast Decision Procedures. - Harald Ganzinger; George Hagen; Robert Nieuwenhuis; Albert Oliveras; Cesare Tinelli (CAV, 2004)

Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. - George Hagen; Cesare Tinelli (FMCAD, 2008)

How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. - Ricky W. Butler; George Hagen; Jeffrey Maddalon; César A. Muñoz; Anthony Narkawicz; Gilles Dowek (NASA Formal Methods, 2010)

Formalizing Probabilistic Safety Claims. - Heber Herencia-Zapana; George Hagen; Anthony Narkawicz (NASA Formal Methods, 2011)