Bishoksan Kafle
Bishoksan Kafle
Research Fellow, The University of Melbourne, Australia
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
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
292016
Constraint specialisation in Horn clause verification
B Kafle, JP Gallagher
Science of Computer Programming 137, 125-140, 2017
242017
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
B Kafle, JP Gallagher
Computer Languages, Systems & Structures 47, 2-18, 2017
182017
Tree automata-based refinement with application to Horn clause verification
B Kafle, JP Gallagher
International Workshop on Verification, Model Checking, and Abstract …, 2015
152015
Analysis and transformation tools for constrained Horn clause verification
JP Gallagher, B Kafle
arXiv preprint arXiv:1405.3883, 2014
122014
Analysis and transformation tools for constrained Horn clause verification
JP Gallagher, B Kafle
arXiv preprint arXiv:1405.3883, 2014
122014
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
102016
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
92018
Optimised determinisation and completion of finite tree automata
JP Gallagher, M Ajspur, B Kafle
arXiv preprint arXiv:1511.03595, 2015
82015
Solving non-linear Horn clauses using a linear Horn clause solver
B Kafle, JP Gallagher, P Ganty
arXiv preprint arXiv:1607.04459, 2016
72016
Tree dimension in verification of constrained Horn clauses
B Kafle, JP Gallagher, P Ganty
arXiv preprint arXiv:1803.01448, 2018
52018
Interpolant tree automata and their application in Horn clause verification
B Kafle, JP Gallagher
arXiv preprint arXiv:1601.06521, 2016
32016
Decomposition by tree dimension in Horn clause verification
B Kafle, JP Gallagher, P Ganty
arXiv preprint arXiv:1512.03862, 2015
32015
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
B Kafle, JP Gallagher
arXiv preprint arXiv:1412.1154, 2014
32014
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
22017
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
The system can't perform the operation now. Try again later.
Articles 1–20