Matthew Hague : Publications

Journal papers

• [1]

  Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters

  Matthew Hague and Anthony Widjaja Lin

  In Computer Aided Verification (CAV), 2012.

  Details about Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | BibTeX data for Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | Download  (pdf) of Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters

• [2]

  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 about A Saturation Method for the Modal Mu−Calculus over Pushdown Systems | BibTeX data for A Saturation Method for the Modal Mu−Calculus over Pushdown Systems | Download  (pdf) of A Saturation Method for the Modal Mu−Calculus over Pushdown Systems | DOI (10.1016/j.ic.2010.12.004)

• [3]

  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 about Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems | BibTeX data for Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems | DOI (10.2168/LMCS-4(4:14)2008) | Link to Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Conference papers

• [1]

  Parameterised Pushdown Systems with Non−Atomic Writes

  M. Hague

  In FSTTCS. 2011.

  To appear.

  Details about Parameterised Pushdown Systems with Non−Atomic Writes | BibTeX data for Parameterised Pushdown Systems with Non−Atomic Writes | Download  (pdf) of Parameterised Pushdown Systems with Non−Atomic Writes

• [2]

  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 about Model Checking Recursive Programs with Numeric Data Types | BibTeX data for Model Checking Recursive Programs with Numeric Data Types | Download  (pdf) of Model Checking Recursive Programs with Numeric Data Types

• [3]

  The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems

  M. Hague and A. W. To

  In FSTTCS. 2010.

  Details about The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems | BibTeX data for The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems | Download  (pdf) of The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems

• [4]

  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 about Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation) | BibTeX data for Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation) | Download  (pdf) of Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation)

• [5]

  Extended Comptation Tree Logic (Extended Abstract)

  M. Latte R. Alexsson M. Hague S. Kreutzer M. Lange

  In LPAR. 2010.

  Details about Extended Comptation Tree Logic (Extended Abstract) | BibTeX data for Extended Comptation Tree Logic (Extended Abstract) | Download  (pdf) of Extended Comptation Tree Logic (Extended Abstract)

• [6]

  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 about BOOM: Taking boolean program model checking one step further | BibTeX data for BOOM: Taking boolean program model checking one step further

• [7]

  Winning Regions of Pushdown Parity Games: A Saturation Method

  M. Hague and C.−H. L. Ong

  In CONCUR. 2009.

  Details about Winning Regions of Pushdown Parity Games: A Saturation Method | BibTeX data for Winning Regions of Pushdown Parity Games: A Saturation Method | Download  (pdf) of Winning Regions of Pushdown Parity Games: A Saturation Method

• [8]

  Winning Regions of Higher−Order Pushdown Games

  C.−H. L. Ong A. Carayol M. Hague A. Meyer and O. Serre

  In LICS. 2008.

  Details about Winning Regions of Higher−Order Pushdown Games | BibTeX data for Winning Regions of Higher−Order Pushdown Games

• [9]

  Collapsible Pushdown Automata and Recursion Schemes

  C.−H. L. Ong M. Hague A. S. Murawski and O. Serre

  In LICS. 2008.

  Details about Collapsible Pushdown Automata and Recursion Schemes | BibTeX data for Collapsible Pushdown Automata and Recursion Schemes

• [10]

  Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

  M. Hague and C.−H. L. Ong

  In FoSSaCS. 2007.

  Long Version (pdf)

  Details about Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | BibTeX data for Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | Download  (pdf) of Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

• [11]

  From Separation Logic to First−Order Logic

  P. Gardner C. Calcagno and M. Hague

  In FoSSaCS. 2005.

  Details about From Separation Logic to First−Order Logic | BibTeX data for From Separation Logic to First−Order Logic | Download  (pdf) of From Separation Logic to First−Order Logic

Theses

• [1]

  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 about Saturation Methods for Global Model−Checking Pushdown Systems | BibTeX data for Saturation Methods for Global Model−Checking Pushdown Systems | Download  (pdf) of Saturation Methods for Global Model−Checking Pushdown Systems

• [2]

  Static Checkers for Tree Structures and Heaps

  M. Hague

  Master's Thesis Imperial College London. 2004.

  Details about Static Checkers for Tree Structures and Heaps | BibTeX data for Static Checkers for Tree Structures and Heaps | Download  (pdf) of Static Checkers for Tree Structures and Heaps

Miscellaneous

• [1]

  Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics

  Matthew Hague

  2006.

  DPhil. Transfer Thesis

  Details about Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics | BibTeX data for Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics | Download  (pdf) of Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics

• [2]

  Distributed Games

  Matthew Hague

  2005.

  Unpublished Survey Paper.

  Details about Distributed Games | BibTeX data for Distributed Games | Download  (ps) of Distributed Games