Matthew Hague
Matthew Hague
Dirección de correo verificada de cs.rhul.ac.uk - Página principal
Título
Citado por
Citado por
Año
Collapsible pushdown automata and recursion schemes
M Hague, AS Murawski, CHL Ong, O Serre
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 452-461, 2008
1412008
From separation logic to first-order logic
C Calcagno, P Gardner, M Hague
International Conference on Foundations of Software Science and Computation …, 2005
592005
Model checking recursive programs with numeric data types
M Hague, AW Lin
International Conference on Computer Aided Verification, 743-759, 2011
492011
A saturation method for collapsible pushdown systems
C Broadbent, A Carayol, M Hague, O Serre
International Colloquium on Automata, Languages, and Programming, 165-176, 2012
402012
Winning regions of higher-order pushdown games
A Carayol, M Hague, A Meyer, CHL Ong, O Serre
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 193-204, 2008
382008
C-shore: a collapsible approach to higher-order verification
C Broadbent, A Carayol, M Hague, O Serre
ACM SIGPLAN Notices 48 (9), 13-24, 2013
362013
Symbolic backwards-reachability analysis for higher-order pushdown systems
M Hague, CHL Ong
International Conference on Foundations of Software Science and …, 2007
362007
Parameterised pushdown systems with non-atomic writes
M Hague
arXiv preprint arXiv:1109.6264, 2011
232011
Parameterised Pushdown Systems with Non-Atomic Writes
M Hague
Foundations of Software Technology and Theoretical Computer Science, 457-468, 2011
232011
Unboundedness and downward closures of higher-order pushdown automata
M Hague, J Kochems, CHL Ong
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
212016
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters
M Hague, AW Lin
International Conference on Computer Aided Verification, 260-276, 2012
212012
Winning regions of pushdown parity games: A saturation method
M Hague, CHL Ong
International Conference on Concurrency Theory, 384-398, 2009
212009
Analysing mu-calculus properties of pushdown systems
M Hague, CHL Ong
International SPIN Workshop on Model Checking of Software, 187-192, 2010
202010
Analysing mu-calculus properties of pushdown systems
M Hague, CHL Ong
International SPIN Workshop on Model Checking of Software, 187-192, 2010
202010
Boom: Taking Boolean Program Model Checking One Step Further
G Basler, M Hague, D Kroening, CHL Ong, T Wahl, H Zhao
International Conference on Tools and Algorithms for the Construction and …, 2010
172010
Extended computation tree logic
R Axelsson, M Hague, S Kreutzer, M Lange, M Latte
International Conference on Logic for Programming Artificial Intelligence …, 2010
162010
Extended computation tree logic
R Axelsson, M Hague, S Kreutzer, M Lange, M Latte
International Conference on Logic for Programming Artificial Intelligence …, 2010
162010
What is decidable about string constraints with the ReplaceAll function
T Chen, Y Chen, M Hague, AW Lin, Z Wu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
142017
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach
M Hague, AW Lin, CHL Ong
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
142015
Saturation algorithms for model-checking pushdown systems
A Carayol, M Hague
arXiv preprint arXiv:1405.5593, 2014
132014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20