Alejandro M. Chirivella-Ciruelos

According to our database¹, Alejandro M. Chirivella-Ciruelos authored at least 4 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers.

[BibT_eX]

[DOI]

J. Syst. Archit., 2024

Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks.

[BibT_eX]

[DOI]

Inf., 2024

CoTwin: Collaborative improvement of digital twins enabled by blockchain.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2024

2023

Automating the verification of smart contracts in blockchain networks for improving security.

[BibT_eX]

[DOI]

Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023