1ENG Electronics and computing
Department
Instituto Politécnico do Porto
Oporto, PortugalPublications in collaboration with researchers from Instituto Politécnico do Porto (8)
2022
-
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
-
The VALU3S ECSEL project: Verification and validation of automated systems safety and security
Microprocessors and Microsystems, Vol. 87
2018
-
From kpi dashboards to advanced visualization
The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 239-310
-
Introduction
The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 1-6
-
Monitoring of critical assets
The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 93-144
-
Success stories on real pilots
The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 311-496
-
The MANTIS book: Cyber physical system based proactive collaborative maintenance
River Publishers, pp. 1-624
2016
-
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