George Hagen

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Heber Herencia-Zapana, George Hagen, Anthony Narkawicz
Formalizing Probabilistic Safety Claims. NASA Formal Methods (2011)
Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. NASA Formal Methods (2010)
George Hagen, Cesare Tinelli
Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. FMCAD (2008)
Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
DPLL( T): Fast Decision Procedures. CAV (2004)