Raul Barbosa
Raul Barbosa
E-mail confirmado em
Citado por
Citado por
GOOFI-2: A tool for experimental dependability assessment
D Skarin, R Barbosa, J Karlsson
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
Assembly-level pre-injection analysis for improving fault injection efficiency
R Barbosa, J Vinter, P Folkesson, J Karlsson
Dependable Computing-EDCC 5: 5th European Dependable Computing Conference …, 2005
Improving self-adaptation planning through software architecture-based stochastic modeling
JM Franco, F Correia, R Barbosa, M Zenha-Rela, B Schmerl, D Garlan
Journal of Systems and software 115, 42-60, 2016
On reliability analysis of leader election protocols for virtual traffic lights
N Fathollahnejad, E Villani, R Pathan, R Barbosa, J Karlsson
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013
Recovery for virtualized environments
F Cerveira, R Barbosa, H Madeira, F Araujo
2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015
Spotting problematic code lines using nonintrusive programmers' biofeedback
R Couceiro, R Barbosa, J Duráes, G Duarte, J Castelhano, C Duarte, ...
2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019
Fault injection
R Barbosa, J Karlsson, H Madeira, M Vieira
Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012
CloudBFT: elastic byzantine fault tolerance
R Nogueira, F Araújo, R Barbosa
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
An overview of GOOFI-a generic object-oriented fault injection framework
J Vinter
Quality evaluation of modern code reviews through intelligent biometric program comprehension
H Hijazi, J Duraes, R Couceiro, J Castelhano, R Barbosa, J Medeiros, ...
IEEE Transactions on Software Engineering 49 (2), 626-645, 2022
Comparing and validating measurements of dependability attributes
D Skarin, R Barbosa, J Karlsson
2010 European Dependable Computing Conference, 3-12, 2010
Reliability analysis of software architecture evolution
JM Franco, R Barbosa, M Zenha-Rela
2013 Sixth Latin-American Symposium on Dependable Computing, 11-20, 2013
The effects of soft errors and mitigation strategies for virtualization servers
F Cerveira, R Barbosa, H Madeira, F Araujo
IEEE Transactions on Cloud Computing 10 (2), 1065-1081, 2020
Automated reliability prediction from formal architectural descriptions
JM Franco, R Barbosa
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
lohan Karlsson,” GOOFI–2: A Tool for Experimental Dependability Assessment
D Skarin, R Barbosa
IEEEIIFIP International Conference on Dependable Systems & Networks DSN, USA …, 2010
A “dirty” footprint: Macroinvertebrate diversity in Amazonian anthropic soils
WC Demetrio, AC Conrado, ANS Acioli, AC Ferreira, MLC Bartz, ...
Global Change Biology 27 (19), 4575-4591, 2021
A probabilistic analysis of a leader election protocol for virtual traffic lights
N Fathollahnejad, R Barbosa, J Karlsson
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017
Practical emulation of software defects in source code
G Pereira, R Barbosa, H Madeira
2016 12th European dependable computing conference (EDCC), 130-140, 2016
Experiences from verifying a partitioning kernel using fault injection
R Barbosa, J Karlsson
12th European Workshop on Dependable Computing, EWDC 2009, 4 pages, 2009
How reliable are ultra-short-term HRV measurements during cognitively demanding tasks?
A Bernardes, R Couceiro, J Medeiros, J Henriques, C Teixeira, M Simões, ...
Sensors 22 (17), 6528, 2022
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20