Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Publicações Confirmadas: 37



31
TÍTULO: Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems
AUTORES: Barbosa, R ; Karlsson, J;
PUBLICAÇÃO: 2008, FONTE: SIES'2008 - 3rd International Symposium on Industrial Embedded Systems in SIES'2008 - 3rd International Symposium on Industrial Embedded Systems
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
32
TÍTULO: Layered Fault Tolerance for Distributed Embedded Systems
AUTORES: Raul Barbosa ;
PUBLICAÇÃO: 2008, FONTE: base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:77860)
INDEXADO EM: DBLP
NO MEU: DBLP
33
TÍTULO: On the integrity of lightweight checkpoints  Full Text
AUTORES: Barbosa, R ; Karlsson, J;
PUBLICAÇÃO: 2008, FONTE: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008 in Proceedings of IEEE International Symposium on High Assurance Systems Engineering
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
34
TÍTULO: Implementation of a flexible membership protocol on a real-time ethernet prototype
AUTORES: Barbosa, R ; Ferreira, A; Karlsson, J;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXADO EM: Scopus
35
TÍTULO: Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype
AUTORES: Raul Barbosa ; António Ferreira; Johan Karlsson;
PUBLICAÇÃO: 2007, FONTE: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
36
TÍTULO: Flexible, cost-effective membership agreement in synchronous systems
AUTORES: Barbosa, R ; Karlsson, J;
PUBLICAÇÃO: 2006, FONTE: 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006 in Proceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
37
TÍTULO: Assembly-level pre-injection analysis for improving fault injection efficiency
AUTORES: Barbosa, R ; Vinter, J; Folkesson, P; Karlsson, J;
PUBLICAÇÃO: 2005, FONTE: 5th European Dependable Computing Conference, EDCC-5 in Lecture Notes in Computer Science, VOLUME: 3463
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 4 de 4. Total de resultados: 37.

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

Links Úteis

Ajuda

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