Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Confirmed Publications: 36



11
TITLE: On probabilistic analysis of disagreement in synchronous consensus protocols
AUTHORS: Fathollahnejad, N; Villani, E; Pathan, R; Barbosa, R ; Karlsson, J;
PUBLISHED: 2014, SOURCE: 10th European Dependable Computing Conference (EDCC) in 2014 TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
12
TITLE: Replica placement to mitigate attacks on clouds
AUTHORS: Filipe Araújo; Serhiy Boychenko; Raul Barbosa ; António Casimiro ;
PUBLISHED: 2014, SOURCE: J. Internet Serv. Appl., VOLUME: 5, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
13
TITLE: Taking an Electronic Ticketing System to the Cloud: Design and Discussion
AUTHORS: Araujo, F; Curado, M ; Furtado, P ; Barbosa, R ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Big Data in 2014 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
14
TITLE: Evaluating Xilinx SEU Controller Macro for Fault Injection
AUTHORS: Nunes, JL ; Cunha, JC ; Barbosa, R ; Zenha Rela, M;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
15
TITLE: On reliability analysis of leader election protocols for virtual traffic lights
AUTHORS: Negin Fathollahnejad; Emília Villani; Risat Pathan; Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2013, SOURCE: DSN Workshops
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID
16
TITLE: Probabilistic analysis of a <i>1</i>-<i>of</i>-<i>n</i> selection algorithm using a moderately pessimistic decision criterion
AUTHORS: Fathollahnejad, N; Villani, E; Pathan, R; Barbosa, R ; Karlsson, J;
PUBLISHED: 2013, SOURCE: 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2013 IEEE 19TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2013)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
17
TITLE: Reliability Analysis of Consensus in Cooperative Transport Systems
AUTHORS: Emília Villani; Negin Fathollahnejad; Risat Pathan; Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2013, SOURCE: ASCoMS@SAFECOMP
INDEXED IN: DBLP
18
TITLE: Reliability Analysis of Software Architecture Evolution
AUTHORS: Franco, JM; Barbosa, R ; Zenha Rela, M;
PUBLISHED: 2013, SOURCE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
19
TITLE: A Middleware for Exactly-Once Semantics in Request-Response Interactions  Full Text
AUTHORS: Naghmeh Ramezani Ivaki; Filipe Araújo ; Raul Barbosa ;
PUBLISHED: 2012, SOURCE: PRDC
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
20
TITLE: Automated Reliability Prediction from Formal Architectural Descriptions
AUTHORS: João Miguel Franco; Raul Barbosa ; Mário Zenha Rela;
PUBLISHED: 2012, SOURCE: WICSA/ECSA
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
Page 2 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

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