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.
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]
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
-
[3]
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
-
[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 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)
-
[5]
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
-
[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.
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)
-
[7]
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)
-
[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.
Details about BOOM: Taking boolean program model checking one step further | BibTeX data for BOOM: Taking boolean program model checking one step further
-
[9]
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
-
[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).
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
-
[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.
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
-
[12]
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
-
[13]
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
-
[14]
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
In FoSSaCS. 2007.
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
-
[15]
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
-
[16]
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
-
[17]
Distributed Games
Matthew Hague
2005.
Unpublished Survey Paper.
Details about Distributed Games | BibTeX data for Distributed Games | Download (ps) of Distributed Games
-
[18]
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