Publications in collaboration with researchers from Instituto Politécnico do Porto (2)

2022

  1. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S: Invited Paper

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. The VALU3S ECSEL project: Verification and validation of automated systems safety and security

    Microprocessors and Microsystems, Vol. 87