# Bishoksan Kafle

Orcid: 0000-0001-5191-1216
According to our database

Collaborative distances:

^{1}, Bishoksan Kafle authored at least 22 papers between 2014 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

A lightweight approach to nontermination inference using Constrained Horn Clauses.

Softw. Syst. Model., April, 2024

2021

Theory Pract. Log. Program., 2021

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

2018

Theory Pract. Log. Program., 2018

Theory Pract. Log. Program., 2018

J. Log. Algebraic Methods Program., 2018

CoRR, 2018

2017

Sci. Comput. Program., 2017

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement.

Comput. Lang. Syst. Struct., 2017

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016

Microprocess. Microsystems, 2016

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016

Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata.

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Proceedings of the Third International Workshop on Verification and Program Transformation, 2015

CoRR, 2015

An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata.

CoRR, 2015

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2014

Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification.

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

CoRR, 2014