Matthew Hague : Publications

Click here to download all publications in a single bibtex file

@article{CAV'12,
  title = "Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters",
  author = "Matthew Hague and Anthony Widjaja Lin",
  year = "In Computer Aided Verification (CAV), 2012",
}

@inproceedings{H11,
  title = "Parameterised Pushdown Systems with Non-Atomic Writes",
  author = "M. Hague",
  year = "2011",
  booktitle = "FSTTCS",
  note = "To appear.",
}

@inproceedings{HL11-cav,
  title = "Model Checking Recursive Programs with Numeric Data Types",
  author = "Matthew Hague and Anthony Widjaja Lin",
  year = "2011",
  booktitle = "Computer Aided Verification (CAV)",
  note = "Prototypical implementation: <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.tgz">[tgz]</a>  <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.txz">[txz]</a>.",
}

@article{HO2010,
  title = "A Saturation Method for the Modal Mu-Calculus over Pushdown Systems",
  author = "M. Hague and C.-H. L. Ong",
  year = "2010",
  journal = "Information and Computation",
  note = "CONCUR special issue.",
  doi = "10.1016/j.ic.2010.12.004",
}

@conference{HT10,
  title = "The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems",
  author = "M. Hague and A. W. To",
  year = "2010",
  booktitle = "FSTTCS",
}

@conference{HO10spin,
  title = "Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation)",
  author = "M. Hague and C.-H. L. Ong",
  year = "2010",
  booktitle = "SPIN",
  note = "Submitted tool webpage available <a href="pdsolver_spin.html">here</a>.  Latest version available <a href="pdsolver.html">here</a>.  Additional material available <a href="SpinBackwardsMu.pdf">here</a>.",
}

@conference{ALLHK2010,
  title = "Extended Comptation Tree Logic (Extended Abstract)",
  author = "R. Alexsson, M. Hague, S. Kreutzer, M. Lange, M. Latte",
  year = "2010",
  booktitle = "LPAR",
}

@conference{BHKOWZ2010,
  title = "BOOM: Taking boolean program model checking one step further",
  author = "G. Basler, M. Hague, D. Kroening, L. Ong, T. Wahl, and H. Zhao",
  year = "2010",
  booktitle = "TACAS",
}

@inproceedings{HagueOng2009,
  title = "Winning Regions of Pushdown Parity Games: A Saturation Method",
  author = "M. Hague and C.-H. L. Ong",
  year = "2009",
  booktitle = "CONCUR",
}

@phdthesis{HaguePhd2009,
  title = "Saturation Methods for Global Model-Checking Pushdown Systems",
  author = "M. Hague",
  year = "2009",
  note = "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).",
}

@article{HagueOng2008,
  title = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems",
  author = "M. Hague and C.-H. L. Ong",
  year = "2008",
  journal = "Logical Methods in Computer Science",
  url = "http://www.lmcs-online.org/ojs/viewarticle.php?id=363&layout=abstract",
  volume = "4",
  doi = "10.2168/LMCS-4(4:14)2008",
}

@inproceedings{CarHagMeyOngSer08,
  title = "Winning Regions of Higher-Order Pushdown Games",
  author = "A. Carayol, M. Hague, A. Meyer, C.-H. L. Ong and O. Serre",
  year = "2008",
  booktitle = "LICS",
}

@inproceedings{HagMurOngSer08,
  title = "Collapsible Pushdown Automata and Recursion Schemes",
  author = "M. Hague, A. S. Murawski, C.-H. L. Ong and O. Serre",
  year = "2008",
  booktitle = "LICS",
}

@inproceedings{HagueOng2007,
  title = "Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems",
  author = "M. Hague and C.-H. L. Ong",
  year = "2007",
  booktitle = "FoSSaCS",
  note = "<a href="http://www.comlab.ox.ac.uk/people/matthew.hague/FoSSaCS07-long.pdf">Long Version (pdf)</a>",
}

@unpublished{Hague2006,
  title = "Automata, Model Checking and Synthesis for Linear Time Temporal Logics",
  author = "Matthew Hague",
  year = "2006",
  note = "DPhil. Transfer Thesis",
}

@inproceedings{CalcagnoGardnerHague2005,
  title = "From Separation Logic to First-Order Logic",
  author = "C. Calcagno, P. Gardner and M. Hague",
  year = "2005",
  booktitle = "FoSSaCS",
}

@unpublished{Hague2005,
  title = "Distributed Games",
  author = "Matthew Hague",
  year = "2005",
  note = "Unpublished Survey Paper.",
}

@mastersthesis{Hague2004,
  title = "Static Checkers for Tree Structures and Heaps",
  author = "M. Hague",
  year = "2004",
  booktitle = "Static Checkers for Tree Structures and Heaps.",
  school = "Imperial College London",
}