Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 211



61
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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: Reliable Software Technologies – Ada-Europe 2016
AUTORES: Marko Bertogna; Luis Miguel Pinho ; Eduardo Quiñones;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
63
TÍTULO: Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling
AUTORES: Barros, A ; Yomsi, PM; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 11th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Handle
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: Response Time Analysis of Sporadic DAG Tasks under Partitioned Scheduling
AUTORES: Fonseca, J; Nelissen, G; Nelis, V; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 11th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXADO EM: Scopus WOS CrossRef: 53
NO MEU: ORCID | CIÊNCIAVITAE
65
TÍTULO: Session summary: Fine-grained parallelism
AUTORES: Luis Miguel Pinho ; Stephen Michell;
PUBLICAÇÃO: 2016, FONTE: Ada User Journal, VOLUME: 37, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
66
TÍTULO: Session summary: Parallel and multicore systems
AUTORES: Luis Miguel Pinho ; Stephen Michell;
PUBLICAÇÃO: 2016, FONTE: Ada User Journal, VOLUME: 37, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
67
TÍTULO: The variability of application execution times on a multi-core platform
AUTORES: Nélis, V; Yomsi, PM; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016 in OpenAccess Series in Informatics, VOLUME: 55
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
68
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) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXADO EM: WOS
69
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
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTORES: Per Lindgren; Marcus Lindner; David Pereira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 de 22. Total de resultados: 211.

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

Links Úteis

Ajuda

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