Raul Andre Brajczewski Barbosa


AuthID: R-000-JRS

Publicações Confirmadas: 37



1
TÍTULO: A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights
AUTORES: Negin Fathollahnejad; Raul Barbosa ; Johan Karlsson;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
2
TÍTULO: Soft Errors Susceptibility of Virtualization Servers
AUTORES: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: Improving self-adaptation planning through software architecture-based stochastic modeling  Full Text
AUTORES: Joao M Franco; Francisco Correia; Raul Barbosa ; Mario Zenha Rela; Bradley Schmerl; David Garlan;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 115
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
4
TÍTULO: MISO: An intermediate language to express parallel and dependable programs PDF
AUTORES: Alcides Fonseca ; Raul Barbosa ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1608.06171
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
5
TÍTULO: Modeling the Failure Pathology of Software Components
AUTORES: Joao M Franco; Frederico Cerveira ; Raul Barbosa ; Mario Zenha Rela;
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 | DBLP
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: 4
NO MEU: ORCID | DBLP
7
TÍTULO: Testing Snort with SQL Injection Attacks
AUTORES: Rui Silva; Raul Barbosa ; Jorge Bernardino ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
8
TÍTULO: Recovery for Virtualized Environments
AUTORES: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ; Filipe Araujo;
PUBLICAÇÃO: 2015, FONTE: 11th European Dependable Computing Conference in 2015 Eleventh European Dependable Computing Conference (EDCC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
9
TÍTULO: Availability Evaluation of Software Architectures through Formal Methods
AUTORES: Joao M Franco; Raul Barbosa ; Mario Zenha Rela;
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
NO MEU: DBLP
10
TÍTULO: CloudBFT: Elastic Byzantine Fault Tolerance
AUTORES: Rodrigo Nogueira; Filipe Araujo; Raul Barbosa ;
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: 4
NO MEU: DBLP
Página 1 de 4. Total de resultados: 37.

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

Links Úteis

Ajuda

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