Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 211



71
TITLE: A novel run-time monitoring architecture for safe and efficient inline monitoring
AUTHORS: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID
72
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
INDEXED IN: Scopus WOS CrossRef: 10
IN MY: ORCID
73
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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
74
TITLE: Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 28th International Conference on Architecture of Computing Systems (ARCS) in ARCHITECTURE OF COMPUTING SYSTEMS - ARCS 2015, VOLUME: 9017
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
75
76
TITLE: An execution model for fine-grained parallelism in Ada
AUTHORS: Pinho, LM ; Moore, B; Michell, S; Taft, ST;
PUBLISHED: 2015, SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
77
TITLE: Convergence of Smart Grid ICT Architectures for the Last Mile
AUTHORS: Michele Albano; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
78
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2015, SOURCE: Ada User Journal, VOLUME: 36, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
79
TITLE: Editorial
AUTHORS: Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: Ada User Journal, VOLUME: 36, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
80
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2015, SOURCE: Ada User Journal, VOLUME: 36, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
Page 8 of 22. Total results: 211.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service