Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Confirmed Publications: 37



1
TITLE: A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights
AUTHORS: Negin Fathollahnejad; Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2017, SOURCE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017 in 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
2
TITLE: Soft Errors Susceptibility of Virtualization Servers
AUTHORS: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ;
PUBLISHED: 2017, SOURCE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017 in 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Improving self-adaptation planning through software architecture-based stochastic modeling  Full Text
AUTHORS: Joao M Franco; Francisco Correia; Raul Barbosa ; Mario Zenha Rela; Bradley Schmerl; David Garlan;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 115
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
4
TITLE: MISO: An intermediate language to express parallel and dependable programs PDF
AUTHORS: Alcides Fonseca ; Raul Barbosa ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1608.06171
INDEXED IN: DBLP arXiv
IN MY: DBLP
5
TITLE: Modeling the Failure Pathology of Software Components
AUTHORS: Joao M Franco; Frederico Cerveira ; Raul Barbosa ; Mario Zenha Rela;
PUBLISHED: 2016, SOURCE: 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) in 2016 12TH INTERNATIONAL ACM SIGSOFT CONFERENCE ON QUALITY OF SOFTWARE ARCHITECTURES (QOSA)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: Practical Emulation of Software Defects in Source Code
AUTHORS: Pereira, G; Barbosa, R ; Madeira, H ;
PUBLISHED: 2016, SOURCE: 12th European Dependable Computing Conference (EDCC) in 2016 12TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2016)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
7
TITLE: Testing Snort with SQL Injection Attacks
AUTHORS: Rui Silva; Raul Barbosa ; Jorge Bernardino ;
PUBLISHED: 2016, SOURCE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
8
TITLE: Recovery for Virtualized Environments
AUTHORS: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ; Filipe Araujo;
PUBLISHED: 2015, SOURCE: 11th European Dependable Computing Conference in 2015 Eleventh European Dependable Computing Conference (EDCC)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
9
TITLE: Availability Evaluation of Software Architectures through Formal Methods
AUTHORS: Joao M Franco; Raul Barbosa ; Mario Zenha Rela;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9th International Conference on the Quality of Information and Communications Technology (QUATIC)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
10
TITLE: CloudBFT: Elastic Byzantine Fault Tolerance
AUTHORS: Rodrigo Nogueira; Filipe Araujo; Raul Barbosa ;
PUBLISHED: 2014, SOURCE: 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
Page 1 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