Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 213



21
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2018, SOURCE: Ada User Journal, VOLUME: 39, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
22
TITLE: Editorial
AUTHORS: Luis Miguel Pinho ;
PUBLISHED: 2018, SOURCE: Ada User Journal, VOLUME: 39, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
23
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2018, SOURCE: Ada User Journal, VOLUME: 39, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
24
TITLE: Editrorial
AUTHORS: Luís Miguel Pinho ;
PUBLISHED: 2018, SOURCE: Ada User Journal, VOLUME: 39, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
25
TITLE: Emulation-in-the-loop for simulation and testing of real-time critical CPS
AUTHORS: Oliveira, PR; Meireles, M; Maia, C; Pinho, LM ; Gouveia, G; Esteves, J;
PUBLISHED: 2018, SOURCE: 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018 in Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018
INDEXED IN: Scopus CrossRef: 3 Handle
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: Guest editorial: real-time networks and systems
AUTHORS: Faucou, S; Pinho, LM ;
PUBLISHED: 2018, SOURCE: REAL-TIME SYSTEMS, VOLUME: 54, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
27
TITLE: High-performance and time-predictable embedded computing
AUTHORS: Luís Miguel Pinho ; Eduardo Quiñones; Marko Bertogna; Andrea Marongiu; Vincent Nélis; Paolo Gai; Juan Sancho;
PUBLISHED: 2018, SOURCE: High-Performance and Time-Predictable Embedded Computing
INDEXED IN: Scopus CrossRef: 3 Openlibrary
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: Introduction
AUTHORS: Pinho, LM ; Quiñones, E; Bertogna, M; Marongiu, A; Nélis, V; Gai, P; Sancho, J;
PUBLISHED: 2018, SOURCE: High-Performance and Time-Predictable Embedded Computing
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Preface
AUTHORS: Pinho, LM ; Quiñones, E; Bertogna, M; Marongiu, A; Nélis, V; Gai, P; Sancho, J;
PUBLISHED: 2018, SOURCE: High-Performance and Time-Predictable Embedded Computing
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
30
TITLE: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 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, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 22. Total results: 213.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service