Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Confirmed Publications: 36



31
TITLE: Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems
AUTHORS: Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2008, SOURCE: SIES
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
32
TITLE: Layered Fault Tolerance for Distributed Embedded Systems
AUTHORS: Raul Barbosa ;
PUBLISHED: 2008, SOURCE: base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:77860)
INDEXED IN: DBLP
IN MY: DBLP
33
TITLE: On the Integrity of Lightweight Checkpoints  Full Text
AUTHORS: Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2008, SOURCE: HASE
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
34
TITLE: Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype  Full Text
AUTHORS: Raul Barbosa ; António Ferreira; Johan Karlsson;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in PRDC
INDEXED IN: Scopus DBLP CrossRef: 4
35
TITLE: Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems  Full Text
AUTHORS: Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2006, SOURCE: PRDC
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
36
TITLE: Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency
AUTHORS: Raul Barbosa ; Jonny Vinter; Peter Folkesson; Johan Karlsson;
PUBLISHED: 2005, SOURCE: EDCC, VOLUME: 3463
INDEXED IN: Scopus DBLP CrossRef: 31
IN MY: ORCID
Page 4 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

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