Matthew Hague : Publications
|
[1] |
Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters Matthew Hague and Anthony Widjaja Lin In Computer Aided Verification (CAV), 2012. |
|
[2] |
Parameterised Pushdown Systems with Non−Atomic Writes M. Hague In FSTTCS. 2011. To appear. |
|
[3] |
Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin In Computer Aided Verification (CAV). 2011. |
|
[4] |
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. Details | BibTeX | Download (pdf) | DOI (10.1016/j.ic.2010.12.004) |
|
[5] |
The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems M. Hague and A. W. To In FSTTCS. 2010. |
|
[6] |
Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation) M. Hague and C.−H. L. Ong In SPIN. 2010. Submitted tool webpage available here. Latest version available here. Additional material available here. |
|
[7] |
Extended Comptation Tree Logic (Extended Abstract) M. Latte R. Alexsson M. Hague S. Kreutzer M. Lange In LPAR. 2010. |
|
[8] |
BOOM: Taking boolean program model checking one step further G. Basler M. Hague D. Kroening L. Ong T. Wahl and H. Zhao In TACAS. 2010. |
|
[9] |
Winning Regions of Pushdown Parity Games: A Saturation Method M. Hague and C.−H. L. Ong In CONCUR. 2009. |
|
[10] |
Saturation Methods for Global Model−Checking Pushdown Systems M. Hague PhD Thesis 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). |
|
[11] |
Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems M. Hague and C.−H. L. Ong In Logical Methods in Computer Science. Vol. 4. 2008. |
|
[12] |
Winning Regions of Higher−Order Pushdown Games C.−H. L. Ong A. Carayol M. Hague A. Meyer and O. Serre In LICS. 2008. |
|
[13] |
Collapsible Pushdown Automata and Recursion Schemes C.−H. L. Ong M. Hague A. S. Murawski and O. Serre In LICS. 2008. |
|
[14] |
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems M. Hague and C.−H. L. Ong In FoSSaCS. 2007. |
|
[15] |
Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics Matthew Hague 2006. DPhil. Transfer Thesis |
|
[16] |
From Separation Logic to First−Order Logic P. Gardner C. Calcagno and M. Hague In FoSSaCS. 2005. |
|
[17] |
Distributed Games Matthew Hague 2005. Unpublished Survey Paper. |
|
[18] |
Static Checkers for Tree Structures and Heaps M. Hague Master's Thesis Imperial College London. 2004. |