Automating the verification of smart contracts in blockchain networks for improving security. - Alejandro M. Chirivella-Ciruelos; Marisol García-Valls (SEAA, 2023)

CoTwin: Collaborative improvement of digital twins enabled by blockchain. - Marisol García-Valls; Alejandro M. Chirivella-Ciruelos (Future Gener. Comput. Syst., 2024)

Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks. - Marisol García-Valls; Alejandro M. Chirivella-Ciruelos (Inf., 2024)

VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers. - Marisol García-Valls; Alejandro M. Chirivella-Ciruelos (J. Syst. Archit., 2024)