Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 213



21
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Ada User Journal, VOLUME: 39, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
22
TÍTULO: Editorial
AUTORES: Luis Miguel Pinho ;
PUBLICAÇÃO: 2018, FONTE: Ada User Journal, VOLUME: 39, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
23
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Ada User Journal, VOLUME: 39, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID
24
TÍTULO: Editrorial
AUTORES: Luís Miguel Pinho ;
PUBLICAÇÃO: 2018, FONTE: Ada User Journal, VOLUME: 39, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
25
TÍTULO: Emulation-in-the-loop for simulation and testing of real-time critical CPS
AUTORES: Oliveira, PR; Meireles, M; Maia, C; Pinho, LM ; Gouveia, G; Esteves, J;
PUBLICAÇÃO: 2018, FONTE: 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018 in Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018
INDEXADO EM: Scopus CrossRef: 3 Handle
NO MEU: ORCID | CIÊNCIAVITAE
26
TÍTULO: Guest editorial: real-time networks and systems
AUTORES: Faucou, S; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: REAL-TIME SYSTEMS, VOLUME: 54, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
27
TÍTULO: High-performance and time-predictable embedded computing
AUTORES: Luís Miguel Pinho ; Eduardo Quiñones; Marko Bertogna; Andrea Marongiu; Vincent Nélis; Paolo Gai; Juan Sancho;
PUBLICAÇÃO: 2018, FONTE: High-Performance and Time-Predictable Embedded Computing
INDEXADO EM: Scopus CrossRef: 3 Openlibrary
NO MEU: ORCID | CIÊNCIAVITAE
28
TÍTULO: Introduction
AUTORES: Pinho, LM ; Quiñones, E; Bertogna, M; Marongiu, A; Nélis, V; Gai, P; Sancho, J;
PUBLICAÇÃO: 2018, FONTE: High-Performance and Time-Predictable Embedded Computing
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
29
TÍTULO: Preface
AUTORES: Pinho, LM ; Quiñones, E; Bertogna, M; Marongiu, A; Nélis, V; Gai, P; Sancho, J;
PUBLICAÇÃO: 2018, FONTE: High-Performance and Time-Predictable Embedded Computing
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
30
TÍTULO: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 de 22. Total de resultados: 213.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service