Journal Publications

A Saturation Method for the Modal Mu‐Calculus over Pushdown Systems
M. Hague and C.‐H. L. Ong
In Information and Computation, 2010.
CONCUR special issue.
Symbolic Backwards‐Reachability Analysis for Higher‐Order Pushdown Systems
M. Hague and C.‐H. L. Ong
In Logical Methods in Computer Science (LMCS), Vol. 4, 2008.
FoSSaCS 2007, special issue.

Conference Publications

C-SHORe: A Collapsible Approach to Higher-Order Verification
C. Broadbent, A. Carayol, M. Hague and O. Serre
Submitted to Computer Aided Verification (CAV), 2013.
A Saturation Method for Collapsible Pushdown Systems
C. Broadbent, A. Carayol, M. Hague, and O. Serre
In the International Colloquium on Automata, Languages and Programming (ICALP), 2012.
Also in the Algorithms on Infinite State Systems (AISS) workshop, 2012.
Synchronisation‐ and Reversal‐Bounded Analysis of Multithreaded Programs with Counters
M. Hague and A. W. Lin
In Computer Aided Verification (CAV), 2012.
Parameterised Pushdown Systems with Non‐Atomic Writes
M. Hague
In Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2011.
Model Checking Recursive Programs with Numeric Data Types
M. Hague and A. W. Lin
In Computer Aided Verification (CAV), 2011.
The Complexity of Model Checking (Collapsible) Higher‐Order Pushdown Systems
M. Hague and A. W. To
In Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2010.
Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)
M. Hague and C.‐H. L. Ong
In SPIN, 2010.
Extended Computation Tree Logic (Extended Abstract)
M. Latte, R. Alexsson, M. Hague, S. Kreutzer and M. Lange
In the International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2010.
BOOM: Taking boolean program model checking one step further
G. Basler, M. Hague, D. Kroening, L. Ong, T. Wahl and H. Zhao
In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2010.
Winning Regions of Pushdown Parity Games: A Saturation Method
M. Hague and C.‐H. L. Ong
In the International Conference on Concurrency Theory (CONCUR), 2009.
Winning Regions of Higher‐Order Pushdown Games
A. Carayol, M. Hague, A. Meyer, C.‐H. L. Ong and O. Serre
In Logic in Computer Science (LICS), 2008.
Collapsible Pushdown Automata and Recursion Schemes
M. Hague, A. S. Murawski, C.‐H. L. Ong and O. Serre
In Logic in Computer Science (LICS), 2008.
Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems
M. Hague and C.‐H. L. Ong
In Foundations of Software Science and Computation Structures (FoSSaCS), 2007.
From Separation Logic to First‐Order Logic
P. Gardner, C. Calcagno and M. Hague
In Foundations of Software Science and Computation Structures (FoSSaCS), 2005.

Theses

Saturation Methods for Global Model‐Checking Pushdown Systems
M. Hague
PhD Thesis, Oxford University, 2009.
Submitted Jan 2009, minor corrections May 2009, Clarification on page 164, Dec 2009. Error noted in Section 6.1, Jan 2011 (Corrected in FSTTCS 2010).
Static Checkers for Tree Structures and Heaps
M. Hague
Master's Thesis, Imperial College London, 2004.