Luis Miguel Rosário da Silva Pinho
AuthID: R-000-9SC
21
TÃTULO: OpenMP Tasking Model for Ada: Safety and Correctness
AUTORES: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel;
PUBLICAÇÃO: 2017, FONTE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300
AUTORES: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel;
PUBLICAÇÃO: 2017, FONTE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300
NO MEU: 
ORCID | 
CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE22
TÃTULO: Reducing the complexity of dataflow graphs using slack-based merging Full Text
AUTORES: Hazem Ismail Ali; Sander Stuijk; Benny Akesson; Luís Miguel Pinho;
PUBLICAÇÃO: 2017, FONTE: ACM Transactions on Design Automation of Electronic Systems, VOLUME: 22, NÚMERO: 2
AUTORES: Hazem Ismail Ali; Sander Stuijk; Benny Akesson; Luís Miguel Pinho;
PUBLICAÇÃO: 2017, FONTE: ACM Transactions on Design Automation of Electronic Systems, VOLUME: 22, NÚMERO: 2
NO MEU: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE23
TÃTULO: The P-SOCRATES timing analysis methodology for parallel real-time applications deployed on many-core platforms
AUTORES: Vincent Nelis; Patrick Meumeu Yomsi; Luís Miguel Pinho;
PUBLICAÇÃO: 2017, FONTE: OpenAccess Series in Informatics, VOLUME: 57
AUTORES: Vincent Nelis; Patrick Meumeu Yomsi; Luís Miguel Pinho;
PUBLICAÇÃO: 2017, FONTE: OpenAccess Series in Informatics, VOLUME: 57
INDEXADO EM: 
Scopus 
Handle
Scopus Handle NO MEU: ORCID
ORCID24
TÃTULO: High-Performance Parallelisation of Real-Time Applications with the Upscale SDK
AUTORES: Luís M Pinho;
PUBLICAÇÃO: 2017
AUTORES: Luís M Pinho;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
Handle25
TÃTULO: Editorial
AUTORES: Luís Miguel Pinho;
PUBLICAÇÃO: 2017, FONTE: Ada User Journal, VOLUME: 38, NÚMERO: 2
AUTORES: Luís Miguel Pinho;
PUBLICAÇÃO: 2017, FONTE: Ada User Journal, VOLUME: 38, NÚMERO: 2
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID26
TÃTULO: Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada Full Text
AUTORES: Pinho, LM; Moore, B; Michell, S; Taft, ST;
PUBLICAÇÃO: 2016, FONTE: 36th IEEE Real-Time Systems Symposium, RTSS 2015 in Proceedings - Real-Time Systems Symposium, VOLUME: 2016-January
AUTORES: Pinho, LM; Moore, B; Michell, S; Taft, ST;
PUBLICAÇÃO: 2016, FONTE: 36th IEEE Real-Time Systems Symposium, RTSS 2015 in Proceedings - Real-Time Systems Symposium, VOLUME: 2016-January
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef NO MEU: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE28
TÃTULO: Preface
AUTORES: Bertogna, M; Pinho, LM; Quiñones, E;
PUBLICAÇÃO: 2016, FONTE: 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9695
AUTORES: Bertogna, M; Pinho, LM; Quiñones, E;
PUBLICAÇÃO: 2016, FONTE: 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9695
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID29
TÃTULO: Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks supported by the FTT-SE Protocol
AUTORES: Garibay Martínez, R; Nelissen, G; Ferreira, LL ; Pedreiras, P; Pinho, LM;
PUBLICAÇÃO: 2016, FONTE: IEEE Transactions on Industrial Informatics, VOLUME: PP, NÚMERO: 99
AUTORES: Garibay Martínez, R; Nelissen, G; Ferreira, LL ; Pedreiras, P; Pinho, LM;
PUBLICAÇÃO: 2016, FONTE: IEEE Transactions on Industrial Informatics, VOLUME: PP, NÚMERO: 99
30
TÃTULO: Towards certified compilation of RTFM-core applications
AUTORES: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
AUTORES: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
