Maximiliano Klemen
Title
Cited by
Cited by
Year
A transformational approach to parametric accumulated-cost static profiling
R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ...
International Symposium on Functional and Logic Programming, 163-180, 2016
152016
A general framework for static profiling of parametric resource usage
P Lopez-Garcia, M Klemen, U Liqat, MV Hermenegildo
arXiv preprint arXiv:1608.02780, 2016
112016
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
102016
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, ...
arXiv preprint arXiv:1803.04451, 2018
92018
Towards energy consumption verification via static analysis
P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo
arXiv preprint arXiv:1512.09369, 2015
72015
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
32018
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
22018
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
12019
Improved static analysis and verification of energy consumption and other resources via abstract interpretation
M Klemen
ETS de Ingenieros Informáticos (UPM), 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–9