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