Offchain Tezos Runtime Verification
Offchain runtime verification of high-level temporal properties on the Tezos blockchain.
A work during my time as a post-doc at the IMDEA Software Institute.
Software Engineer, graduated on June 2013, MSc in July 2014 and PhD in June 2019. Experienced in the research field and in software development. Author of several articles for conferences and journals. Interested in research and new technologies in general. Currently working as a Post-doctoral Researcher at IMDEA Software Institute in Madrid, Spain.
Offchain runtime verification of high-level temporal properties on the Tezos blockchain.
A work during my time as a post-doc at the IMDEA Software Institute.
Program analysis and automated test generation for the static and runtime verification of aerospace software.
A work during my time as a post-doc at the IMDEA Software Institute.
A formal framework and tool for multilevel modelling using Eclipse Modelling Framework.
A work during my time as a PhD in the ICT Engineering Department at the Western Norway University of Applied Sciences.
An automatic process for rearchitecting metamodels into multilevel models.
A joint work with miso group at Universidad Autónoma de Madrid during my time as a PhD in the ICT Engineering Department at the Western Norway University of Applied Sciences.
Integration of Runtime Verification into Metamodelling, oriented towards verification of behavioural Domain Specific Modelling Languages.
A joint work with ISP at Universität zu Lübeck during my time as a PhD in the ICT Engineering Department at the Western Norway University of Applied Sciences.
Model Transformation Testing based in contracts.
A joint work with Quercus Software Engineering Group at Universidad de Extremadura during my time as a PhD in the ICT Engineering Department at the Western Norway University of Applied Sciences and at the IMDEA Software Institute.
Model-Driven Modernisation of Legacy Web Applications.
A work during my time as a member of the Quercus Software Engineering Group at Universidad de Extremadura.