RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata B Kafle, JP Gallagher, JF Morales International Conference on Computer Aided Verification, 261-268, 2016 | 30 | 2016 |
Constraint specialisation in Horn clause verification B Kafle, JP Gallagher Science of Computer Programming 137, 125-140, 2017 | 23 | 2017 |
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement B Kafle, JP Gallagher Computer Languages, Systems & Structures 47, 2-18, 2017 | 17 | 2017 |
Tree automata-based refinement with application to Horn clause verification B Kafle, JP Gallagher International Workshop on Verification, Model Checking, and Abstract …, 2015 | 15 | 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 |
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 | 10 | 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 | 9 | 2018 |
Optimised determinisation and completion of finite tree automata JP Gallagher, M Ajspur, B Kafle arXiv preprint arXiv:1511.03595, 2015 | 8 | 2015 |
Solving non-linear Horn clauses using a linear Horn clause solver B Kafle, JP Gallagher, P Ganty arXiv preprint arXiv:1607.04459, 2016 | 7 | 2016 |
Tree dimension in verification of constrained Horn clauses B Kafle, JP Gallagher, P Ganty arXiv preprint arXiv:1803.01448, 2018 | 5 | 2018 |
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 |
A Benders decomposition approach to deciding modular linear integer arithmetic B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey International Conference on Theory and Applications of Satisfiability …, 2017 | 2 | 2017 |
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 | | 2020 |
Precondition Inference via Partitioning of Initial States B Kafle, G Gange, P Schachte, H Sondergaard, PJ Stuckey arXiv preprint arXiv:1811.06771, 2018 | | 2018 |
Components for Automatic Horn Clause Verification: A Dissertation Presented to Roskilde University in Partial Fulfillment of the Requirement for the PhD Degree in Computer Science B Kafle Computer Science, Roskilde University, 2016 | | 2016 |
Components for automatic horn clause verification B Kafle Roskilde Universitet, 2016 | | 2016 |
Solving non-linear Horn clauses using a linear solver B Kafle arXiv preprint arXiv:1511.06668, 2015 | | 2015 |