Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 213



91
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
IN MY: ORCID | CIÊNCIAVITAE
92
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: 3 Handle
IN MY: ORCID | CIÊNCIAVITAE
93
TITLE: P-SOCRATES: A parallel software framework for time-critical many-core systems  Full Text
AUTHORS: Luis Miguel Pinho ; Vincent Nelis; Patrick Meumeu Yomsi; Eduardo Quinones; Marko Bertogna; Paolo Burgio; Andrea Marongiu; Claudio Scordino; Paolo Gai; Michele Ramponi; Michal Mardiak;
PUBLISHED: 2015, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef: 11
IN MY: ORCID | CIÊNCIAVITAE
94
TITLE: Poster Abstract: Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada
AUTHORS: Luis Miguel Pinho ; Brad Moore; Stephen Michell; Tucker T Taft;
PUBLISHED: 2015, SOURCE: IEEE 36th Real-Time Systems Symposium (RTSS) in 2015 IEEE 36TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2015)
INDEXED IN: WOS
95
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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
96
TITLE: Response time for IEC 61499 over Ethernet
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
97
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 in PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
98
TITLE: Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing
AUTHORS: Claudio Maia; Patrick Meumeu Yomsi; Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th International Conference on Embedded and Ubiquitous Computing (EUC 2015) in PROCEEDINGS IEEE/IFIP 13TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING 2015
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
99
TITLE: Task partitioning and priority assignment for distributed hard real-time systems  Full Text
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
100
TITLE: Well-formed control flow for critical sections in RTFM-core
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 10 of 22. Total results: 213.

footer slogan

Useful Links

Get Help

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