Luis Miguel Rosário da Silva Pinho
AuthID: R-000-9SC
41
TÃTULO: Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
AUTORES: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2015, FONTE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
AUTORES: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2015, FONTE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID | 
CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE43
TÃTULO: RTFM-core: Language and implementation
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2015, FONTE: 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015 in Proceedings of the 2015 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2015, FONTE: 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015 in Proceedings of the 2015 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef NO MEU: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE45
TÃTULO: A Real-Time Semantics for the IEC 61499 standard
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2015, FONTE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2015, FONTE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
46
TÃTULO: Preface
AUTORES: Luís Miguel Pinho; Wolfgang Karl; Albert Cohen; Uwe Brinkschulte;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9017
AUTORES: Luís Miguel Pinho; Wolfgang Karl; Albert Cohen; Uwe Brinkschulte;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9017
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID47
TÃTULO: Editorial
AUTORES: Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: Ada User Journal, VOLUME: 36, NÚMERO: 2
AUTORES: Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: Ada User Journal, VOLUME: 36, NÚMERO: 2
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID48
TÃTULO: Parallelism in Ada: Status and prospects
AUTORES: Pinho, LM; Moore, B; Michell, S;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Reliable Software Technologies, Ada-Europe 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8454 LNCS
AUTORES: Pinho, LM; Moore, B; Michell, S;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Reliable Software Technologies, Ada-Europe 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8454 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE49
TÃTULO: RTFM-lang static semantics for systems with mixed criticality
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2014, FONTE: Ada User Journal, VOLUME: 35, NÚMERO: 2
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2014, FONTE: Ada User Journal, VOLUME: 35, NÚMERO: 2
INDEXADO EM: Scopus
Scopus NO MEU: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE50
TÃTULO: The challenge of time-predictability in modern many-core architectures
AUTORES: Nelis, V; Yomsi, PM; Pinho, LM; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLICAÇÃO: 2014, FONTE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39
AUTORES: Nelis, V; Yomsi, PM; Pinho, LM; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLICAÇÃO: 2014, FONTE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39
INDEXADO EM: Scopus
Scopus NO MEU: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE