Items where author is "Klemen, Maximiliano"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 15.

Article

López García, Pedro and Hermenegildo, Manuel V. and Klemen, Maximiliano and Liqat, Umer (2017). Energy consumption analysis and verification using CiaoPP. "The ALP Newsletter", v. 30 (n. 3); pp. 1-6.

López García, Pedro and Klemen, Maximiliano and Liqat, Umer and Hermenegildo, Manuel V. (2016). A general framework for static profiling of parametric resource usage. "Theory And Practice of Logic Programming", v. 16 (n. 5-6); pp. 849-865. ISSN 1471-0684. https://doi.org/10.1017/S1471068416000442.

Book Section

Pérez Carrasco, Víctor and Klemen, Maximiliano and López García, Pedro and Morales, José F. and Hermenegildo, Manuel V. (2020). Cost analysis of smart contracts via parametric resource analysis. In: "Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings". Lecture Notes in Computer Science (12389). Springer, Suiza, pp. 7-31. ISBN 978-3-030-65473-3.

Monograph

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to static performance guarantees for pograms with run-time checks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to static performance guarantees for programs with Run-time Checks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Presentation at Congress or Conference

Kafle, Bishoksan and Gallagher, John P. and Hermenegildo, Manuel V. and Klemen, Maximiliano and López García, Pedro and Morales, José F. (2021). Regular path clauses and their application in solving loops. In: "8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021)", 28 Mar 2021, Luxemburgo. pp. 22-35. https://doi.org/10.4204/EPTCS.344.3.

Gallagher, John P. and Hermenegildo, Manuel V. and Kafle, Bishoksan and Klemen, Maximiliano and López García, Pedro and Morales Caballero, José Francisco (2020). From big-step to small-step semantics and back with interpreter specialisation. In: "8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (VPT/HCVS@ETAPS 2020)", 25-26 Abr 2020, Dublín, Irlanda. pp. 50-64. https://doi.org/10.4204/EPTCS.320.4.

Klemen, Maximiliano and López García, Pedro and Gallagher, John P. and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2019). A general framework for static cost analysis of parallel logic programs. In: "29th International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2019)", 8-10 Oct 2019, Oporto, Portugal. ISBN 978-3-030-45259-9. pp. 19-35. https://doi.org/10.1007/978-3-030-45260-5_2.

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Static performance guarantees for programs with Run-time Checks. In: "20th International Symposium on Principles and Practice of Declarative Programming (PPDP '18)", 03-05 Sep 2018, Frankfurt. ISBN 978-1-4503-6441-6. pp. 1-13. https://doi.org/10.1145/3236950.3236970.

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Towards static performance guarantees for programs with run-time checks. In: "34th International Conference on Logic Programming", 14-17 Jul 2018, Oxford. pp. 1-2. https://doi.org/10.4230/OASIcs.ICLP.2018.10.

Hermenegildo, Manuel V. and Klemen, Maximiliano and Liqat, Umer and López García, Pedro (2017). Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation. In: "5th International Workshop on Verification and Program Transformation (VPT 2017)", 29 Abr 2017, Uppsala, Suecia. pp. 4-6. https://doi.org/10.4204/EPTCS.253.

Haemmerlé, Remy and López García, Pedro and Liqat, Umer and Klemen, Maximiliano and Gallagher, John and Hermenegildo, Manuel V. (2016). A transformational approach to parametric accumulated-cost static profiling. In: "13th International Symposium on Functional and Logic Programming, FLOPS 2016", 04-06 Mar 2016, Kochi, Japón. ISBN 978-3-319-29604-3. pp. 163-180. https://doi.org/10.1007/978-3-319-29604-3_11.

López García, Pedro and Haemmerlé, Remy and Klemen, Maximiliano and Liqat, Umer and Hermenegildo, Manuel V. (2016). Towards energy consumption verification via static analysis. In: "Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015", 21 Jan 2015, Amsterdam, Holanda.

Thesis

Klemen, Maximiliano (2020). A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM). https://doi.org/10.20868/UPM.thesis.66526.

Klemen, Maximiliano (2015). Improved static analysis and verification of energy consumption and other resources via abstract interpretation. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM