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

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

2018

  1. Success stories on real pilots

    The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 311-496