1. 2016
  2. Udgivet

    Inferring Parametric Energy Consumption Functions at Different Software Levels : ISA vs. LLVM IR. / Liqat, Umer; Georgiou, Kyriakos; Kerrison, Steve; López-García, Pedro; Gallagher, John Patrick; Hermenegildo, Manuel V.; Eder, Kerstin.

    Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. red. / Marco C.J.D. van Eekelen; Ugo Dal Lago. Switzerland : Springer, 2016. s. 81-100 (Lecture Notes in Computer Science, Vol. 9964).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  3. 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

  4. 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

  5. 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

  6. 2015
  7. 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

  8. 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

  9. 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

  10. 2014
  11. 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

  12. 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

  13. 2012
  14. 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