Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 207



31
TITLE: Runtime verification of autopilot systems using a fragment of MTL-
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Handle
32
TITLE: Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
AUTHORS: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
IN MY: DBLP
33
TITLE: Timing analysis methodology
AUTHORS: Nélis, V; Yomsi, PM; Pinho, LM ;
PUBLISHED: 2018, SOURCE: High-Performance and Time-Predictable Embedded Computing
INDEXED IN: Scopus Handle
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: A serious game enhancing social tenants' behavioral change towards energy efficiency
AUTHORS: Miquel Casals; Marta Gangolells; Marcel Macarulla; Alba Fuertes; Vimont, V; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: 2017 Global Internet of Things Summit, GIoTS 2017 in GIoTS
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: DBLP
35
TITLE: Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms
AUTHORS: Hazem Ismail Ali; Benny Akesson; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 in SCOPES
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: DBLP
36
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2017, SOURCE: Ada User Journal, VOLUME: 38, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
37
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2017, SOURCE: Ada User Journal, VOLUME: 38, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
38
TITLE: Editorial
AUTHORS: Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: Ada User Journal, VOLUME: 38, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
39
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 DBLP CrossRef: 11
IN MY: DBLP
40
Page 4 of 21. Total results: 207.

footer slogan

Useful Links

Get Help

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