Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 207



191
TÍTULO: Verifying, validating and monitoring the open Ravenscar real time kernel  Full Text
AUTORES: Ricardo Maia; Flávio Moreira; Barbosa, R; Diamantino Costa; Kjeld Hjortaes; Patricia Rodríguez; Luís Miguel Pinho ;
PUBLICAÇÃO: 2003, FONTE: 12th International Workshop on Real-Time Ada, IRTAW '03 in IRTAW
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
192
TÍTULO: Session summary: safety improvements for consideration. safety improvements for consideration  Full Text
AUTORES: Juan Antonio de la Puente; Luís Miguel Pinho ;
PUBLICAÇÃO: 2002, FONTE: IRTAW
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
193
TÍTULO: Transparent environment for replicated Ravenscar applications
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2002, FONTE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361
INDEXADO EM: Scopus WOS DBLP CrossRef
194
TÍTULO: Using Ravenscar to support fault-tolerant real-time applications  Full Text
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 2002, FONTE: IRTAW, VOLUME: XXII, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
195
TÍTULO: An architecture for reliable Distributed Computer-Controlled Systems
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2001, FONTE: IFIP WG10 3/WG10 4/WG10 5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) in ARCHITECTURE AND DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS, VOLUME: 61
INDEXADO EM: Scopus WOS DBLP Handle
196
TÍTULO: Improved fault tolerant broadcasts in CAN
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2001, FONTE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
197
TÍTULO: Reliable Communication in Distributed Computer-Controlled Systems
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 2001, FONTE: Ada-Europe, VOLUME: 2043
INDEXADO EM: Scopus DBLP CrossRef: 1
198
TÍTULO: The DEAR-COTS replication framework
AUTORES: Pinho, LM ; Vasques, F ; Wellings, A;
PUBLICAÇÃO: 2001, FONTE: 13th Euromicro Conference on Real-Time Systems in 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS
INDEXADO EM: WOS
199
TÍTULO: Timing analysis of reliable real-time communication in CAN networks
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2001, FONTE: 13th Euromicro Conference on Real-Time Systems in 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
200
TÍTULO: Engineering Real-Time Applications with WorldFIP: Analysis and Tools
AUTORES: Eduardo Tovar ; Francisco Vasques ; Luís M Pinho ;
PUBLICAÇÃO: 2000, FONTE: IFAC Proceedings Volumes, VOLUME: 33, NÚMERO: 25
INDEXADO EM: CrossRef: 2 Handle
Página 20 de 21. Total de resultados: 207.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service