Publicaciones en colaboración con investigadores/as de Instituto Politécnico do Porto (8)

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. From kpi dashboards to advanced visualization

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

  2. Introduction

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

  3. Monitoring of critical assets

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

  4. Success stories on real pilots

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

  5. The MANTIS book: Cyber physical system based proactive collaborative maintenance

    River Publishers, pp. 1-624

2016

  1. Optimising maintenance: What are the expectations for Cyber Physical Systems

    2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC 2016