Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 149



11
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
12
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
13
TITLE: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTHORS: Andre de Matos Pedro; Jorge Sousa Pinto ; David Pereira; Luis Miguel Pinho ;
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: 1
14
TITLE: Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
AUTHORS: Sara Royuela; Xavier Martorell; Eduardo Quinones; Luis Miguel Pinho ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873
INDEXED IN: WOS
15
TITLE: Timing analysis methodology
AUTHORS: Nélis, V; Yomsi, PM; Pinho, LM ;
PUBLISHED: 2018, SOURCE: High-Performance and Time-Predictable Embedded Computing
INDEXED IN: Scopus
16
TITLE: Combining dataflow applications and real-time task sets on multi-core platforms
AUTHORS: Ali, HI; Akesson, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 in Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017
INDEXED IN: Scopus
17
TITLE: Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
AUTHORS: Nikolić, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: Real-Time Systems
INDEXED IN: Scopus
18
TITLE: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
AUTHORS: Nikolić, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: Real-Time Systems
INDEXED IN: Scopus
19
TITLE: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTHORS: Borislav Nikolic; Luis Miguel Pinho ;
PUBLISHED: 2017, SOURCE: REAL-TIME SYSTEMS, VOLUME: 53, ISSUE: 4
INDEXED IN: WOS
20
Page 2 of 15. Total results: 149.

A place for researchers and their institutions

Useful Links

Get Help

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