Raul Barbosa
Raul Barbosa
University of Coimbra
Bestätigte E-Mail-Adresse bei dei.uc.pt
Titel
Zitiert von
Zitiert von
Jahr
GOOFI-2: A tool for experimental dependability assessment
D Skarin, R Barbosa, J Karlsson
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
942010
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
482005
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
262016
Recovery for virtualized environments
F Cerveira, R Barbosa, H Madeira, F Araujo
2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015
192015
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
192013
An overview of goofi-a generic object-oriented fault injection framework
J Vinter
182005
CloudBFT: elastic byzantine fault tolerance
R Nogueira, F Araujo, R Barbosa
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
172014
Automated reliability prediction from formal architectural descriptions
JM Franco, R Barbosa
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
142012
Comparing and validating measurements of dependability attributes
D Skarin, R Barbosa, J Karlsson
2010 European Dependable Computing Conference, 3-12, 2010
142010
Fault injection
R Barbosa, J Karlsson, H Madeira, M Vieira
Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012
122012
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
122008
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
On the integrity of lightweight checkpoints
R Barbosa, J Karlsson
2008 11th IEEE High Assurance Systems Engineering Symposium, 125-134, 2008
102008
Experiences from verifying a partitioning kernel using fault injection
R Barbosa, J Karlsson
12th European Workshop on Dependable Computing, EWDC 2009, 4 pages, 2009
92009
Fault injection optimization through assembly-level pre-injection analysis
R Barbosa, J Vinter, P Folkesson, J Karlsson
Chalmers tekniska högskola, 2004
92004
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
82013
Trone: Trustworthy and resilient operations in a network environment
A Casimiro, P Verissimo, D Kreutz, F Araujo, R Barbosa, S Neves, ...
IEEE/IFIP International Conference on Dependable Systems and Networks …, 2012
82012
Layered fault tolerance for distributed embedded systems
R Barbosa
Chalmers University of Technology, 2008
82008
Practical emulation of software defects in source code
G Pereira, R Barbosa, H Madeira
2016 12th European dependable computing conference (EDCC), 130-140, 2016
72016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20