Artykuły udostępnione publicznie: - Bishoksan KafleWięcej informacji
Niedostępny w żadnym miejscu: 1
Lightweight nontermination inference with CHCs
B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey
International Conference on Software Engineering and Formal Methods, 383-402, 2021
Upoważnienia: Government of Spain
Dostępne w jakimś miejscu: 10
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
Upoważnienia: Government of Spain
Constraint specialisation in Horn clause verification
B Kafle, JP Gallagher
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
Upoważnienia: Danish Council for Technology and Innovation, Danish Council for Independent …
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
Upoważnienia: Government of Spain
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
Upoważnienia: Australian Research Council
Tree automata-based refinement with application to Horn clause verification
B Kafle, JP Gallagher
International Workshop on Verification, Model Checking, and Abstract …, 2015
Upoważnienia: Danish Council for Independent Research
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
B Kafle, JP Gallagher
Computer Languages, Systems & Structures 47, 2-18, 2017
Upoważnienia: Danish Council for Independent Research
An Otimised Algorithm for Determinisation and Completion of Finite Tree Automata
JP Gallagher, M Ajspur, B Kafle
Computer Science Research Report, 1-28, 2014
Upoważnienia: Danish Council for Independent Research
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
Upoważnienia: Australian Research Council, Government of Spain
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
Upoważnienia: Government of Spain
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
Upoważnienia: Australian Research Council
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy