1. 2016
  2. Udgivet

    Interpolant tree automata and their application in Horn clause verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 216, 2016, s. 104-117.

    Publikation: Forskning - peer reviewKonferenceartikel

  3. Udgivet

    Rahft : A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. / Kafle, Bishoksan; Gallagher, John Patrick; Morales, José F.

    Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. red. / Swarat Chaudhuri; Azadeh Farzan. Vol. Part 1 Springer, 2016. s. 261-268 (Lecture Notes in Computer Science; Nr. 9779).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  4. Udgivet

    Solving non-linear Horn clauses using a linear Horn clause solver. / Kafle, Bishoksan; Gallagher, John Patrick; Ganty, Pierre.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 219, 2016, s. 33-48.

    Publikation: Forskning - peer reviewKonferenceartikel

  5. 2015
  6. Udgivet

    Decomposition by tree dimension in Horn clause verification. / Kafle, Bishoksan; Gallagher, John Patrick; Ganty, Pierre.

    Proceedings of the Third International Workshop on Verification and Program Transformation. red. / Alexei Lisitsa; Andrei P. Nemytykh; Alberto Pettorossi. London : EPTCS, 2015. s. 1-14 (Electronic Proceedings in Theoretical Computer Science, Vol. 199).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  7. Udgivet

    Constraint Specialisation in Horn Clause Verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. red. / Kenichi Asai; Kostis Sagonas. New York : Association for Computing Machinery, 2015. s. 85-90.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  8. Udgivet

    Tree automata-based refinement with application to Horn clause verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    Verification, Model Checking, and Abstract Interpretation. red. / Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen. Vol. 8931 Springer, 2015. s. 209-226 (Lecture Notes in Computer Science; Nr. 8931).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  9. 2014
  10. Udgivet

    Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    Proceedings First Workshop on Horn Clauses for Verification and Synthesis. red. / Nikolaj Bjørner; Fabio Fioravanti; Andrey Rybalchenko; Valerio Senni. Vol. 169 EPTCS, 2014. s. 53-67 7.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  11. Udgivet

    Analysis and Transformation Tools for Constrained Horn Clause Verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    I: Theory and Practice of Logic Programming, Vol. 14, Nr. 4-5, 4-5, 21.07.2014, s. 90-101.

    Publikation: Forskning - peer reviewTidsskriftartikel

  12. 2012
  13. Udgivet

    Towards Abstract Interpretation of Epistemic Logic. / Ajspur, Mai; Gallagher, John Patrick.

    2012. Abstract from 8th Scandinavian Logic Symposium, Roskilde, Danmark.

    Publikation: Forskning - peer reviewKonferenceabstrakt til konference

  14. Udgivet

    Analysis of Logic Programs Using Regular Tree Languages : Extended Abstract. / Gallagher, John Patrick.

    I: Lecture Notes in Computer Science, Vol. 7225, 2012, s. 1-3.

    Publikation: Forskning - peer reviewKonferenceartikel