Documents for the masters: "Métodos Formales en Ingeniería Informática"

Group by: Date | Name | No Grouping
Number of items: 9.

18 July 2023

García de la Rosa Jiménez, Saray (2023). EVMInspector:an interactive debugger for smart contracts. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

July 2023

Andrade Guanoquiza, Fernanda Lucía (2023). Detecting noninterference violations with property-based testing. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

June 2023

Munuera Mazarro, David (2023). Specification and verification of WebAssembly programs. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

February 2023

Ferreiro de Aguiar, Daniela (2023). A System for generating interactive tutorials for CiaoPP. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

July 2022

Mata Aguilar, Luis (2022). Building software modelling assistants using Deep Learning. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

16 July 2021

Ballesteros González, Ignacio (2021). SAT solving via Algebraic Normal Form and GPU. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

6 July 2021

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).

July 2021

Conde de la Mata, Pablo (2021). Analysis of neural networks. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

30 October 2020

Bueso de Barrio, Luis Eduardo ORCID: https://orcid.org/0000-0003-4040-2111 (2020). Model checking of smart contracts using logic programs. 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