Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption P Lopez-Garcia, L Darmawan, M Klemen, U Liqat, F Bueno, ... Theory and Practice of Logic Programming 18 (2), 167-223, 2018 | 38 | 2018 |
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 | 27 | 2016 |
A general framework for static profiling of parametric resource usage P Lopez-Garcia, M Klemen, U Liqat, MV Hermenegildo Theory and Practice of Logic Programming 16 (5-6), 849-865, 2016 | 18 | 2016 |
A transformational approach to parametric accumulated-cost static profiling R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ... Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016 | 16 | 2016 |
Static performance guarantees for programs with runtime checks M Klemen, N Stulova, P López-García, J Morales, MV Hermenegildo Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 11 | 2018 |
Towards energy consumption verification via static analysis P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo arXiv preprint arXiv:1512.09369, 2015 | 9 | 2015 |
A general framework for static cost analysis of parallel logic programs M Klemen, P López-García, JP Gallagher, JF Morales, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 7 | 2019 |
Towards Static Performance Guarantees for Programs with Run-time Checks M Klemen, N Stulova, P Lopez-Garcia, JF Morales, MV Hermenegildo Technical Communications of the 34th International Conference on Logic …, 2018 | 2 | 2018 |
Improved static analysis and verification of energy consumption and other resources via abstract interpretation M Klemen ETSI_Informatica, 2015 | | 2015 |