Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Confirmed Publications: 37



31
TITLE: Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems
AUTHORS: Barbosa, R ; Karlsson, J;
PUBLISHED: 2008, SOURCE: SIES'2008 - 3rd International Symposium on Industrial Embedded Systems in SIES'2008 - 3rd International Symposium on Industrial Embedded Systems
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
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: Barbosa, R ; Karlsson, J;
PUBLISHED: 2008, SOURCE: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008 in Proceedings of IEEE International Symposium on High Assurance Systems Engineering
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
34
TITLE: Implementation of a flexible membership protocol on a real-time ethernet prototype
AUTHORS: Barbosa, R ; Ferreira, A; Karlsson, J;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXED IN: Scopus
IN MY: ORCID
35
TITLE: Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype
AUTHORS: Raul Barbosa ; António Ferreira; Johan Karlsson;
PUBLISHED: 2007, SOURCE: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia
INDEXED IN: DBLP CrossRef
IN MY: DBLP
36
TITLE: Flexible, cost-effective membership agreement in synchronous systems
AUTHORS: Barbosa, R ; Karlsson, J;
PUBLISHED: 2006, SOURCE: 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006 in Proceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
37
TITLE: Assembly-level pre-injection analysis for improving fault injection efficiency
AUTHORS: Barbosa, R ; Vinter, J; Folkesson, P; Karlsson, J;
PUBLISHED: 2005, SOURCE: 5th European Dependable Computing Conference, EDCC-5 in Lecture Notes in Computer Science, VOLUME: 3463
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 4 of 4. Total results: 37.

A place for researchers and their institutions

Useful Links

Get Help

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