Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 213



71
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
72
TITLE: A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution
AUTHORS: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXED IN: Scopus WOS CrossRef: 28
IN MY: ORCID | CIÊNCIAVITAE
73
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: 5 Handle
IN MY: ORCID | CIÊNCIAVITAE
74
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: 12
IN MY: ORCID | CIÊNCIAVITAE
75
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
76
TITLE: Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network
AUTHORS: Ricardo Garibay Martínez; Geoffrey Nelissen; Luis Lino Ferreira ; Luís Miguel Pinho ;
PUBLISHED: 2015, SOURCE: Architecture of Computing Systems - ARCS 2015 - 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings, VOLUME: 9017
INDEXED IN: DBLP Handle
77
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: 2
IN MY: ORCID | CIÊNCIAVITAE
78
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: 4
IN MY: ORCID | CIÊNCIAVITAE
79
TITLE: Convergence of Smart Grid ICT Architectures for the Last Mile
AUTHORS: Albano, M; Ferreira, LL ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
80
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2015, SOURCE: Ada User Journal, VOLUME: 36, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
Page 8 of 22. Total results: 213.

footer slogan

Useful Links

Get Help

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