Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Publicações Confirmadas: 36



1
TÍTULO: A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights  Full Text
AUTORES: Negin Fathollahnejad; Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2017, FONTE: PRDC
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
2
TÍTULO: Soft Errors Susceptibility of Virtualization Servers  Full Text
AUTORES: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ;
PUBLICAÇÃO: 2017, FONTE: PRDC
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
3
TÍTULO: Improving self-adaptation planning through software architecture-based stochastic modeling  Full Text
AUTORES: Franco, JM; Correia, F; Barbosa, R ; Zenha Rela, M; Schmerl, B; Garlan, D;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 115
INDEXADO EM: Scopus WOS DBLP CrossRef: 30
NO MEU: ORCID
4
TÍTULO: MISO: An intermediate language to express parallel and dependable programs
AUTORES: Alcides Fonseca ; Raul Barbosa ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1608.06171
INDEXADO EM: DBLP
5
TÍTULO: Modeling the Failure Pathology of Software Components
AUTORES: Franco, JM; Cerveira, F ; Barbosa, R ; Zenha Rela, M;
PUBLICAÇÃO: 2016, FONTE: 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) in 2016 12TH INTERNATIONAL ACM SIGSOFT CONFERENCE ON QUALITY OF SOFTWARE ARCHITECTURES (QOSA)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
6
TÍTULO: Practical Emulation of Software Defects in Source Code
AUTORES: Pereira, G; Barbosa, R ; Madeira, H ;
PUBLICAÇÃO: 2016, FONTE: 12th European Dependable Computing Conference (EDCC) in 2016 12TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2016)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
7
TÍTULO: Testing Snort with SQL Injection Attacks
AUTORES: Rui Silva; Raul Barbosa ; Jorge Bernardino ;
PUBLICAÇÃO: 2016, FONTE: C3S2E, VOLUME: 20-22-July-2016
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
8
TÍTULO: Recovery for Virtualized Environments
AUTORES: Cerveira, F ; Barbosa, R ; Madeira, H ; Araujo, F;
PUBLICAÇÃO: 2015, FONTE: 11th European Dependable Computing Conference in 2015 ELEVENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID
9
TÍTULO: Availability Evaluation of Software Architectures through Formal Methods
AUTORES: Franco, JM; Barbosa, R ; Zenha Rela, M;
PUBLICAÇÃO: 2014, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
10
TÍTULO: CloudBFT: Elastic Byzantine Fault Tolerance
AUTORES: Nogueira, R; Araujo, F; Barbosa, R ;
PUBLICAÇÃO: 2014, FONTE: 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014)
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
Página 1 de 4. Total de resultados: 36.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service