Research output per year
Research output per year
Project Details
Description
Rammebevilling fra Forskningsråd for Natur og Univers.
| Acronym | NUSA |
|---|---|
| Status | Finished |
| Effective start/end date | 01/01/2011 → 31/12/2013 |
Collaborative partners
- Roskilde University (lead)
- IMDEA Software Institute (Project partner)
-
Constraint specialisation in Horn clause verification
Kafle, B. & Gallagher, J. P., 1 Apr 2017, In: Science of Computer Programming. 137, p. 125-140 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
9 Citations (Scopus) -
Constraint Specialisation in Horn Clause Verification
Kafle, B. & Gallagher, J. P., 4 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile13 Citations (Scopus)876 Downloads (Pure) -
Tree automata-based refinement with application to Horn clause verification
Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer, Vol. 8931. p. 209-226 18 p. (Lecture Notes in Computer Science; No. 8931).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile11 Citations (Scopus)607 Downloads (Pure) -
Analysis and Transformation Tools for Constrained Horn Clause Verification
Kafle, B. & Gallagher, J. P., 21 Jul 2014, In: Theory and Practice of Logic Programming. 14, 4-5, p. 90-101 12 p., 4-5.Research output: Contribution to journal › Journal article › Research › peer-review
File269 Downloads (Pure)