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
1092010
Assembly-level pre-injection analysis for improving fault injection efficiency
R Barbosa, J Vinter, P Folkesson, J Karlsson
European Dependable Computing Conference, 246-262, 2005
542005
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
412016
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
272013
Recovery for virtualized environments
F Cerveira, R Barbosa, H Madeira, F Araujo
2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015
202015
Cloudbft: elastic byzantine fault tolerance
R Nogueira, F Araujo, R Barbosa
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
182014
Comparing and validating measurements of dependability attributes
D Skarin, R Barbosa, J Karlsson
2010 European Dependable Computing Conference, 3-12, 2010
162010
An overview of GOOFI-a generic object-oriented fault injection framework
J Vinter
162005
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
152019
Automated reliability prediction from formal architectural descriptions
JM Franco, R Barbosa
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
132012
Fault injection
R Barbosa, J Karlsson, H Madeira, M Vieira
Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012
132012
Reliability analysis of software architecture evolution
JM Franco, R Barbosa, M Zenha-Rela
2013 Sixth Latin-American Symposium on Dependable Computing, 11-20, 2013
112013
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
112011
Experiences from verifying a partitioning kernel using fault injection
R Barbosa, J Karlsson
12th European Workshop on Dependable Computing, EWDC 2009, 4 pages, 2009
112009
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems
R Barbosa, J Karlsson
2008 International Symposium on Industrial Embedded Systems, 192-199, 2008
112008
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
On the integrity of lightweight checkpoints
R Barbosa, J Karlsson
2008 11th IEEE High Assurance Systems Engineering Symposium, 125-134, 2008
102008
Layered fault tolerance for distributed embedded systems
R Barbosa
Chalmers University of Technology, 2008
102008
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
92017
Fault injection optimization through assembly-level pre-injection analysis
R Barbosa, J Vinter, P Folkesson, J Karlsson
Chalmers tekniska högskola, 2004
92004
The system can't perform the operation now. Try again later.
Articles 1–20