Research output per year
Research output per year
Personal profile
Personal profile
I am interested in theoretical and practical/implementational aspects of infinite-state verification, with a focus on higher-order recursion and counter systems.
Please see my personal homepage for up-to-date information and paper/software downloads.
Keywords
- Verification
- Higher-Order
- Automata
- Counters
- Model-Checking
- Software
- Infinite-State
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Parikh's Theorem Made Symbolic
Hague, M., Jeż, A. & Lin, A., 5 Jan 2024, Principles of Programming Languages. p. 1945-1977 33 p. 65Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile52 Downloads (Pure) -
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access8 Downloads (Pure) -
Collapsible Pushdown Parity Games
Hague, M., Serre, O., Carayol, A., Ong, C.-H. L., Murawski, A. & Broadbent, C., 22 Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1 51 p., 16.Research output: Contribution to journal › Article › peer-review
Open AccessFile52 Downloads (Pure) -
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile58 Downloads (Pure) -
Monadic Decomposition in Integer Linear Arithmetic
Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, (E-pub ahead of print) International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, p. 122-140 19 p. (Lecture Notes in Computer Science; vol. 12166).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile66 Downloads (Pure)
Projects
- 2 Finished
-
String Constraint Solving with Real-World Regular Expressions
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research
-
Verification of Concurrent and Higher-Order Recursive Programs
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research
-
ACM/IEEE Symposium on Logic in Computer Science
Hague, M. (Member of programme committee)
2 Aug 2023 → 5 Aug 2023Activity: Participating in or organising an event › Participation in conference
-
Principles of Programming Languages
Hague, M. (Member of programme committee)
16 Jan 2022 → 22 Jan 2022Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Member of programme committee)
25 Oct 2021 → 27 Oct 2021Activity: Participating in or organising an event › Participation in conference
-
The International Conference on Networked Systems
Hague, M. (Member of programme committee)
19 May 2021 → 21 May 2021Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Member of programme committee)
19 Oct 2020 → 21 Dec 2020Activity: Participating in or organising an event › Participation in conference
Datasets
-
OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset
-
Data and source code for SatCSS
Hague, M. (Creator), Lin, A. (Creator) & Hong, C.-D. (Creator), Royal Holloway, University of London, 5 Dec 2018
https://royalholloway.figshare.com/articles/Data_and_Source_Code_for_Sat_CSS/7277324
Dataset