| Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata B Kafle, JP Gallagher, JF Morales Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 42 | 2016 |
| Constraint specialisation in Horn clause verification B Kafle, JP Gallagher Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 29 | 2015 |
| ENTRA: Whole-systems energy transparency K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, ... Microprocessors and Microsystems 47, 278-286, 2016 | 23 | 2016 |
| An iterative approach to precondition inference using constrained Horn clauses B Kafle, JP Gallagher, G Gange, P Schachte, H Søndergaard, PJ Stuckey Theory and Practice of Logic Programming 18 (3-4), 553-570, 2018 | 18 | 2018 |
| Horn clause verification with convex polyhedral abstraction and tree automata-based refinement B Kafle, JP Gallagher Computer Languages, Systems & Structures 47, 2-18, 2017 | 18 | 2017 |
| Tree automata-based refinement with application to Horn clause verification B Kafle, JP Gallagher Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 17 | 2015 |
| Analysis and transformation tools for constrained Horn clause verification JP Gallagher, B Kafle arXiv preprint arXiv:1405.3883, 2014 | 12 | 2014 |
| Analysis and transformation tools for constrained Horn clause verification JP Gallagher, B Kafle arXiv preprint arXiv:1405.3883, 2014 | 12 | 2014 |
| From big-step to small-step semantics and back with interpreter specialisation JP Gallagher, M Hermenegildo, B Kafle, M Klemen, PL García, J Morales arXiv preprint arXiv:2008.02931, 2020 | 11 | 2020 |
| Solving non-linear Horn clauses using a linear Horn clause solver B Kafle, JP Gallagher, P Ganty arXiv preprint arXiv:1607.04459, 2016 | 10 | 2016 |
| An optimised algorithm for determinisation and completion of finite tree automata JP Gallagher, M Ajspur, B Kafle Technical Report 145, Roskilde University, Denmark,(September 2014), http …, 2014 | 9* | 2014 |
| Tree dimension in verification of constrained Horn clauses B Kafle, JP Gallagher, P Ganty Theory and Practice of Logic Programming 18 (2), 224-251, 2018 | 7 | 2018 |
| A benders decomposition approach to deciding modular linear integer arithmetic B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 3 | 2017 |
| Interpolant tree automata and their application in Horn clause verification B Kafle, JP Gallagher arXiv preprint arXiv:1601.06521, 2016 | 3 | 2016 |
| Decomposition by tree dimension in Horn clause verification B Kafle, JP Gallagher, P Ganty arXiv preprint arXiv:1512.03862, 2015 | 3 | 2015 |
| Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification B Kafle, JP Gallagher arXiv preprint arXiv:1412.1154, 2014 | 3 | 2014 |
| Transformation-enabled precondition inference B Kafle, G Gange, PJ Stuckey, P Schachte, H Søndergaard Theory and Practice of Logic Programming 21 (6), 700-716, 2021 | 1 | 2021 |
| Regular path clauses and their application in solving loops B Kafle, JP Gallagher, MV Hermenegildo, M Klemen, P López-García, ... arXiv preprint arXiv:2109.04631, 2021 | | 2021 |
| Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis H Hojjat, B Kafle arXiv preprint arXiv:2109.03988, 2021 | | 2021 |
| Lightweight Nontermination Inference with CHCs B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | | 2021 |
John P GallagherRoskilde UniversityVerified email at ruc.dk
