George Hagen

According to our database, George Hagen authored at least 4 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Formalizing Probabilistic Safety Claims.

Heber Herencia-Zapana, George Hagen, Anthony Narkawicz

Proceedings of the NASA Formal Methods, 2011

2010

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

Proceedings of the Second NASA Formal Methods Symposium, 2010

2008

Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques.

George Hagen, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2004

DPLL( T): Fast Decision Procedures.

Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli

Proceedings of the Computer Aided Verification, 16th International Conference, 2004