Follow
Maximiliano Klemen
Title
Cited by
Cited by
Year
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
322018
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
242016
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
182016
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
172016
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
112018
Towards energy consumption verification via static analysis
P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo
arXiv preprint arXiv:1512.09369, 2015
92015
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
72019
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
22018
Improved static analysis and verification of energy consumption and other resources via abstract interpretation
M Klemen
ETSI_Informatica, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–9