Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Confirmed Publications: 37



11
TITLE: On probabilistic analysis of disagreement in synchronous consensus protocols
AUTHORS: Negin Fathollahnejad; Emilia Villani; Risat Pathan; Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2014, SOURCE: 10th European Dependable Computing Conference (EDCC) in 2014 TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
12
TITLE: Replica placement to mitigate attacks on clouds
AUTHORS: Araujo, F; Boychenko, S; Barbosa, R ; Casimiro, A;
PUBLISHED: 2014, SOURCE: Journal of Internet Services and Applications, VOLUME: 5, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: DBLP
13
TITLE: Taking an electronic ticketing system to the cloud: Design and discussion
AUTHORS: Filipe Araujo; Marília Curado ; Pedro Furtado ; Raul Barbosa ;
PUBLISHED: 2014, SOURCE: 2nd IEEE International Conference on Big Data, IEEE Big Data 2014 in 2014 IEEE International Conference on Big Data, Big Data 2014, Washington, DC, USA, October 27-30, 2014
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
14
TITLE: Evaluating Xilinx SEU Controller Macro for Fault Injection
AUTHORS: Jose Luis Nunes; Joao Carlos Cunha ; Raul Barbosa ; Mario Zenha Rela;
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: 2
IN MY: ORCID | DBLP
15
TITLE: On reliability analysis of leader election protocols for virtual traffic lights
AUTHORS: Fathollahnejad, N; Villani, E; Pathan, R; Barbosa, R ; Karlsson, J;
PUBLISHED: 2013, SOURCE: 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN-W 2013 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
16
TITLE: Probabilistic analysis of a 1-of-n selection algorithm using a moderately pessimistic decision criterion
AUTHORS: Negin Fathollahnejad; Emilia Villani; Risat Pathan; Raul Barbosa ; Johan Karlsson;
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
IN MY: DBLP
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: SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
INDEXED IN: DBLP
IN MY: DBLP
18
TITLE: Reliability Analysis of Software Architecture Evolution
AUTHORS: Joao M Franco; Raul Barbosa ; Mario Zenha Rela;
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: 4
IN MY: ORCID | DBLP
19
TITLE: A middleware for exactly-once semantics in request-response interactions
AUTHORS: Ivaki, N; Araujo, F ; Barbosa, R ;
PUBLISHED: 2012, SOURCE: 18th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2012 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
20
TITLE: Automated reliability prediction from formal architectural descriptions
AUTHORS: Franco, JM; Barbosa, R ; Zenha Rela, M;
PUBLISHED: 2012, SOURCE: Joint 10th Working IEEE/IFIP Conference on Software Architecture, WICSA 2012 and 6th European Conference on Software, ECSA 2012 in Proceedings of the 2012 Joint Working Conference on Software Architecture and 6th European Conference on Software Architecture, WICSA/ECSA 2012
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
Page 2 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