Maximiliano Klemen

Identifiers

• name variant Maximiliano Klemen 0.60 · backfill

Papers (5)

1. An Approach to Static Performance Guarantees for Programs with Run-time Checks cs.PL · 2018 · author #1
2. Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption cs.PL · 2018 · author #3
3. A General Framework for Static Profiling of Parametric Resource Usage cs.PL · 2016 · author #2
4. Towards Energy Consumption Verification via Static Analysis cs.PL · 2015 · author #3
5. Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015 cs.DC · 2015 · author #16

Mentions

• 1501.03064 #16 · backfill · confidence 0.70 Maximiliano Klemen

Frequent Coauthors

• Manuel V. Hermenegildo 5 shared papers
• Pedro Lopez-Garcia 5 shared papers
• Umer Liqat 4 shared papers
• Alberto Garcia-Ortiz 1 shared papers
• Albert Sa\`a-Garriga 1 shared papers
• Andr\'es Rodr\'iguez 1 shared papers
• Angeles Navarro 1 shared papers
• Antonio Vilches 1 shared papers
• Daniel Gregorek 1 shared papers
• David Castells-Rufas 1 shared papers
• Francisco Bueno 1 shared papers
• Francisco Corbera 1 shared papers
• Ismat Chaib Draa 1 shared papers
• Jamel Tayeb 1 shared papers
• Jordi Carrabina 1 shared papers
• Jos\'e F. Morales 1 shared papers
• Luthfi Darmawan 1 shared papers
• Maria Garzaran 1 shared papers
• Mikael Desertot 1 shared papers
• Nataliia Stulova 1 shared papers