Items where author is "Pérez Carrasco, Víctor"

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

Article

Sánchez Ordaz, Miguel Ángel and García Contreras, Isabel and Pérez Carrasco, Víctor and Morales, José F. and López García, Pedro and Hermenegildo, Manuel V. (2021). VeriFly: On-the-fly assertion checking via incrementality. "Theory and Practice of Logic Programming", v. 21 (n. 6); pp. 768-784. ISSN 1475-3081. https://doi.org/10.1017/S1471068421000430.

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.

Thesis

Pérez Carrasco, Víctor (2021). Improvements to parametric cost analysis and its application to smart contracts. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Final Project

Pérez Carrasco, Víctor (2020). Análisis de contratos inteligentes usando Cláusulas de Horn. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

  • 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