Follow
Raul Barbosa
Raul Barbosa
Verified email at dei.uc.pt
Title
Cited by
Cited by
Year
GOOFI-2: A tool for experimental dependability assessment
D Skarin, R Barbosa, J Karlsson
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
1152010
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
582005
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
472016
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
292013
Recovery for virtualized environments
F Cerveira, R Barbosa, H Madeira, F Araujo
2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015
242015
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
212019
CloudBFT: elastic byzantine fault tolerance
R Nogueira, F Araújo, R Barbosa
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
192014
Fault injection
R Barbosa, J Karlsson, H Madeira, M Vieira
Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012
192012
An overview of GOOFI-a generic object-oriented fault injection framework
J Vinter
192005
Comparing and validating measurements of dependability attributes
D Skarin, R Barbosa, J Karlsson
2010 European Dependable Computing Conference, 3-12, 2010
162010
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
142022
Reliability analysis of software architecture evolution
JM Franco, R Barbosa, M Zenha-Rela
2013 Sixth Latin-American Symposium on Dependable Computing, 11-20, 2013
142013
Automated reliability prediction from formal architectural descriptions
JM Franco, R Barbosa
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
132012
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
112020
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
112017
Practical emulation of software defects in source code
G Pereira, R Barbosa, H Madeira
2016 12th European dependable computing conference (EDCC), 130-140, 2016
112016
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
102021
Experience report: On the impact of software faults in the privileged virtual machine
F Cerveira, R Barbosa, H Madeira
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
102017
Toward dependability benchmarking of partitioning operating systems
R Barbosa, J Karlsson, Q Yu, X Mao
2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011
102011
Experiences from verifying a partitioning kernel using fault injection
R Barbosa, J Karlsson
12th European Workshop on Dependable Computing, EWDC 2009, 4 pages, 2009
102009
The system can't perform the operation now. Try again later.
Articles 1–20