Raul Barbosa
Raul Barbosa
Bestätigte E-Mail-Adresse bei dei.uc.pt
TitelZitiert vonJahr
GOOFI-2: A tool for experimental dependability assessment
D Skarin, R Barbosa, J Karlsson
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
712010
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
402005
Conhecimentos e percepção de professores sobre maus-tratos em crianças e adolescentes
AF Granville-Garcia, MGC Souza, VA Menezes, RG Barbosa, ...
Saúde e Sociedade 18, 131-140, 2009
272009
An overview of goofi-a generic object-oriented fault injection framework
J Vinter
162005
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
142013
Comparing and validating measurements of dependability attributes
D Skarin, R Barbosa, J Karlsson
2010 European Dependable Computing Conference, 3-12, 2010
142010
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
122016
Recovery for virtualized environments
F Cerveira, R Barbosa, H Madeira, F Araujo
2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015
122015
CloudBFT: elastic byzantine fault tolerance
R Nogueira, F Araújo, R Barbosa
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
122014
Reliability analysis of software architecture evolution
JM Franco, R Barbosa, M Zenha-Rela
2013 Sixth Latin-American Symposium on Dependable Computing, 11-20, 2013
122013
Automated reliability prediction from formal architectural descriptions
JM Franco, R Barbosa
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
122012
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
Fault injection
R Barbosa, J Karlsson, H Madeira, M Vieira
Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012
92012
On the integrity of lightweight checkpoints
R Barbosa, J Karlsson
2008 11th IEEE High Assurance Systems Engineering Symposium, 125-134, 2008
92008
Layered fault tolerance for distributed embedded systems
R Barbosa
Chalmers University of Technology, 2008
92008
Fault injection optimization through assembly-level pre-injection analysis
R Barbosa, J Vinter, P Folkesson, J Karlsson
Chalmers tekniska högskola, 2004
92004
Trone: Trustworthy and resilient operations in a network environment
A Casimiro, P Veríssimo, D Kreutz, F Araujo, R Barbosa, S Neves, ...
IEEE/IFIP International Conference on Dependable Systems and Networks …, 2012
82012
Experiences from verifying a partitioning kernel using fault injection
R Barbosa, J Karlsson
82009
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
82008
Evaluating xilinx SEU controller macro for fault injection
JL Nunes, JC Cunha, R Barbosa, M Zenha-Rela
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
62013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20