Folgen
Matthew Hague
Matthew Hague
Bestätigte E-Mail-Adresse bei cs.rhul.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1712008
Decision procedures for path feasibility of string-manipulating programs with complex operations
T Chen, M Hague, AW Lin, P Rümmer, Z Wu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
822019
From separation logic to first-order logic
C Calcagno, P Gardner, M Hague
Foundations of Software Science and Computational Structures: 8th …, 2005
792005
Model checking recursive programs with numeric data types
M Hague, AW Lin
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
692011
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
572017
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
462012
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
442008
Symbolic backwards-reachability analysis for higher-order pushdown systems
M Hague, CHL Ong
Logical Methods in Computer Science 4, 2008
432008
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
392016
Solving string constraints with regex-dependent functions through transducers with priorities and variables
T Chen, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, AW Lin, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
382022
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
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters
M Hague, AW Lin
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
352012
Parameterised Pushdown Systems with Non-Atomic Writes
M Hague
Foundations of Software Technology and Theoretical Computer Science, 457-468, 2011
352011
Winning regions of pushdown parity games: A saturation method
M Hague, CHL Ong
International Conference on Concurrency Theory, 384-398, 2009
242009
A decision procedure for path feasibility of string manipulating programs with integer data type
T Chen, M Hague, J He, D Hu, AW Lin, P Rümmer, Z Wu
International Symposium on Automated Technology for Verification and …, 2020
232020
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
232015
Analysing mu-calculus properties of pushdown systems
M Hague, CHL Ong
Model Checking Software: 17th International SPIN Workshop, Enschede, The …, 2010
232010
Collapsible pushdown automata and recursion schemes
M Hague, AS Murawski, CHL Ong, O Serre
ACM Transactions on Computational Logic (TOCL) 18 (3), 1-42, 2017
222017
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
192010
Extended computation tree logic
R Axelsson, M Hague, S Kreutzer, M Lange, M Latte
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
192010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20