Our research Our people Site map About us Contact us

Follow us on twitter

Flickr

Delicious

Stumble Upon

Matthew Hague : Publications

By dateBy titleBy type Bibtex

[1]	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)

[2]	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. Details \| BibTeX \| Download (pdf)

[3]	Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics Matthew Hague 2006. DPhil. Transfer Thesis Details \| BibTeX \| Download (pdf)

[4]	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. Details \| BibTeX

[5]	Collapsible Pushdown Automata and Recursion Schemes C.−H. L. Ong M. Hague A. S. Murawski and O. Serre In LICS. 2008. Details \| BibTeX

[6]	Distributed Games Matthew Hague 2005. Unpublished Survey Paper. Details \| BibTeX \| Download (ps)

[7]	Extended Comptation Tree Logic (Extended Abstract) M. Latte R. Alexsson M. Hague S. Kreutzer M. Lange In LPAR. 2010. Details \| BibTeX \| Download (pdf)

[8]	From Separation Logic to First−Order Logic P. Gardner C. Calcagno and M. Hague In FoSSaCS. 2005. Details \| BibTeX \| Download (pdf)

[9]	Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin In Computer Aided Verification (CAV). 2011. Prototypical implementation: [tgz] [txz]. Details \| BibTeX \| Download (pdf)

[10]	Parameterised Pushdown Systems with Non−Atomic Writes M. Hague In FSTTCS. 2011. To appear. Details \| BibTeX \| Download (pdf)

[11]	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). Details \| BibTeX \| Download (pdf)

[12]	Static Checkers for Tree Structures and Heaps M. Hague Master's Thesis Imperial College London. 2004. Details \| BibTeX \| Download (pdf)

[13]	Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems M. Hague and C.−H. L. Ong In FoSSaCS. 2007. Long Version (pdf) Details \| BibTeX \| Download (pdf)

[14]	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. Details \| BibTeX \| DOI (10.2168/LMCS-4(4:14)2008)

[15]	The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems M. Hague and A. W. To In FSTTCS. 2010. Details \| BibTeX \| Download (pdf)

[16]	Winning Regions of Higher−Order Pushdown Games C.−H. L. Ong A. Carayol M. Hague A. Meyer and O. Serre In LICS. 2008. Details \| BibTeX

[17]	Winning Regions of Pushdown Parity Games: A Saturation Method M. Hague and C.−H. L. Ong In CONCUR. 2009. Details \| BibTeX \| Download (pdf)