Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Confirmed Publications: 36



1
TITLE: A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights  Full Text
AUTHORS: Negin Fathollahnejad; Raul Barbosa ; Johan Karlsson;
PUBLISHED: 2017, SOURCE: PRDC
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
2
TITLE: Soft Errors Susceptibility of Virtualization Servers  Full Text
AUTHORS: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ;
PUBLISHED: 2017, SOURCE: PRDC
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
3
TITLE: Improving self-adaptation planning through software architecture-based stochastic modeling  Full Text
AUTHORS: Franco, JM; Correia, F; Barbosa, R ; Zenha Rela, M; Schmerl, B; Garlan, D;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 115
INDEXED IN: Scopus WOS DBLP CrossRef: 30
IN MY: ORCID
4
TITLE: MISO: An intermediate language to express parallel and dependable programs
AUTHORS: Alcides Fonseca ; Raul Barbosa ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1608.06171
INDEXED IN: DBLP
5
TITLE: Modeling the Failure Pathology of Software Components
AUTHORS: Franco, JM; Cerveira, F ; Barbosa, R ; Zenha Rela, M;
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
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: 5
IN MY: ORCID
7
TITLE: Testing Snort with SQL Injection Attacks
AUTHORS: Rui Silva; Raul Barbosa ; Jorge Bernardino ;
PUBLISHED: 2016, SOURCE: C3S2E, VOLUME: 20-22-July-2016
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
8
TITLE: Recovery for Virtualized Environments
AUTHORS: Cerveira, F ; Barbosa, R ; Madeira, H ; Araujo, F;
PUBLISHED: 2015, SOURCE: 11th European Dependable Computing Conference in 2015 ELEVENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC)
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID
9
TITLE: Availability Evaluation of Software Architectures through Formal Methods
AUTHORS: Franco, JM; Barbosa, R ; Zenha Rela, M;
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
10
TITLE: CloudBFT: Elastic Byzantine Fault Tolerance
AUTHORS: Nogueira, R; Araujo, F; Barbosa, R ;
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: 8
Page 1 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

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