Author of the publication

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.

, , , , , and . Theory Pract. Log. Program., 18 (2): 167-223 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015., , , , , , , , , and 12 other author(s). CoRR, (2015)Cost Analysis of Smart Contracts Via Parametric Resource Analysis., , , , and . SAS, volume 12389 of Lecture Notes in Computer Science, page 7-31. Springer, (2020)Static Performance Guarantees for Programs with Runtime Checks., , , , and . PPDP, page 13:1-13:13. ACM, (2018)Towards Energy Consumption Verification via Static Analysis., , , , and . CoRR, (2015)A general framework for static profiling of parametric resource usage - CORRIGENDUM., , , and . Theory Pract. Log. Program., 21 (2): 291 (2021)Towards a General Framework for Static Cost Analysis of Parallel Logic Programs., , , , and . CoRR, (2019)A General Framework for Static Cost Analysis of Parallel Logic Programs., , , , and . LOPSTR, volume 12042 of Lecture Notes in Computer Science, page 19-35. Springer, (2019)Regular Path Clauses and Their Application in Solving Loops., , , , , and . HCVS@ETAPS, volume 344 of EPTCS, page 22-35. (2021)Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption., , , , , and . Theory Pract. Log. Program., 18 (2): 167-223 (2018)Towards Static Performance Guarantees for Programs with Run-Time Checks., , , , and . ICLP (Technical Communications), volume 64 of OASIcs, page 10:1-10:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)