Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Publicações Confirmadas: 36



31
TÍTULO: Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems
AUTORES: Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2008, FONTE: SIES
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
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: Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2008, FONTE: HASE
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
34
TÍTULO: Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype  Full Text
AUTORES: Raul Barbosa ; António Ferreira; Johan Karlsson;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in PRDC
INDEXADO EM: Scopus DBLP CrossRef: 4
35
TÍTULO: Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems  Full Text
AUTORES: Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2006, FONTE: PRDC
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
36
TÍTULO: Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency
AUTORES: Raul Barbosa ; Jonny Vinter; Peter Folkesson; Johan Karlsson;
PUBLICAÇÃO: 2005, FONTE: EDCC, VOLUME: 3463
INDEXADO EM: Scopus DBLP CrossRef: 31
NO MEU: ORCID
Página 4 de 4. Total de resultados: 36.

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