Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 215



31
TITLE: Contract based verification of IEC 61499  Full Text
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXED IN: Scopus CrossRef: 2 Handle
IN MY: ORCID
32
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2017, SOURCE: Ada User Journal, VOLUME: 38, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
33
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2017, SOURCE: Ada User Journal, VOLUME: 38, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
34
TITLE: Editorial
AUTHORS: Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: Ada User Journal, VOLUME: 38, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
35
TITLE: End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D; Pinho, LM ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 13, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 10
IN MY: ORCID | CIÊNCIAVITAE
36
TITLE: Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
AUTHORS: Nikolić, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: Real-Time Systems, VOLUME: 53, ISSUE: 4
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
37
38
TITLE: OpenMP Tasking Model for Ada: Safety and Correctness
AUTHORS: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel ;
PUBLISHED: 2017, SOURCE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
39
TITLE: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTHORS: Nikolić, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: Real-Time Systems, VOLUME: 53, ISSUE: 4
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
40
TITLE: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTHORS: Nikolic, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: REAL-TIME SYSTEMS, VOLUME: 53, ISSUE: 4
INDEXED IN: WOS
Page 4 of 22. Total results: 215.

footer slogan

Useful Links

Get Help

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