Luís Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 103



1
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
2
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
3
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
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
5
TITLE: Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Paulo Pedreiras; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2015 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2015-July
INDEXED IN: Scopus WOS CrossRef: 2
6
7
TITLE: Message-oriented middleware for smart grids  Full Text
AUTHORS: Albano, M; Ferreira, LL ; Pinho, LM ; Alkhawaja, AR;
PUBLISHED: 2015, SOURCE: COMPUTER STANDARDS & INTERFACES, VOLUME: 38
INDEXED IN: Scopus WOS CrossRef: 33
8
TITLE: Methodologies for the WCET Analysis of Parallel Applications on Many-core Architectures
AUTHORS: Vincent Nelis; Patrick Meumeu Yomsi; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 18th Euromicro Conference on Digital System Design (DSD) in 2015 EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD)
INDEXED IN: Scopus WOS CrossRef
9
TITLE: Monitoring for a Decidable Fragment of MTL-integral
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2015, VOLUME: 9333
INDEXED IN: Scopus WOS DBLP CrossRef: 1
10
TITLE: Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory  Full Text
AUTHORS: Barros, A ; Pinho, LM ; Yomsi, PM;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 61, ISSUE: 10
INDEXED IN: Scopus WOS DBLP CrossRef
Page 1 of 11. Total results: 103.

A place for researchers and their institutions

Useful Links

Get Help

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