Luis Miguel Rosário da Silva Pinho
AuthID: R-000-9SC
41
TITLE: Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
AUTHORS: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
AUTHORS: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID | 
CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE43
TITLE: RTFM-core: Language and implementation
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE45
TITLE: A Real-Time Semantics for the IEC 61499 standard
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 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
TITLE: Preface
AUTHORS: Luís Miguel Pinho; Wolfgang Karl; Albert Cohen; Uwe Brinkschulte;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9017
AUTHORS: Luís Miguel Pinho; Wolfgang Karl; Albert Cohen; Uwe Brinkschulte;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9017
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID47
TITLE: Editorial
AUTHORS: Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: Ada User Journal, VOLUME: 36, ISSUE: 2
AUTHORS: Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: Ada User Journal, VOLUME: 36, ISSUE: 2
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID48
TITLE: Parallelism in Ada: Status and prospects
AUTHORS: Pinho, LM; Moore, B; Michell, S;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Pinho, LM; Moore, B; Michell, S;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE49
TITLE: RTFM-lang static semantics for systems with mixed criticality
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D; Pinho, LM;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D; Pinho, LM;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
INDEXED IN: Scopus
Scopus IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE50
TITLE: The challenge of time-predictability in modern many-core architectures
AUTHORS: Nelis, V; Yomsi, PM; Pinho, LM; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLISHED: 2014, SOURCE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39
AUTHORS: Nelis, V; Yomsi, PM; Pinho, LM; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLISHED: 2014, SOURCE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39
INDEXED IN: Scopus
Scopus IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE