| GOOFI-2: A tool for experimental dependability assessment D Skarin, R Barbosa, J Karlsson 2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010 | 71 | 2010 |
| 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 | 40 | 2005 |
| 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 | 27 | 2009 |
| An overview of goofi-a generic object-oriented fault injection framework J Vinter | 16 | 2005 |
| 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 | 14 | 2013 |
| Comparing and validating measurements of dependability attributes D Skarin, R Barbosa, J Karlsson 2010 European Dependable Computing Conference, 3-12, 2010 | 14 | 2010 |
| 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 | 12 | 2016 |
| Recovery for virtualized environments F Cerveira, R Barbosa, H Madeira, F Araujo 2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015 | 12 | 2015 |
| CloudBFT: elastic byzantine fault tolerance R Nogueira, F Araújo, R Barbosa 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014 | 12 | 2014 |
| Reliability analysis of software architecture evolution JM Franco, R Barbosa, M Zenha-Rela 2013 Sixth Latin-American Symposium on Dependable Computing, 11-20, 2013 | 12 | 2013 |
| Automated reliability prediction from formal architectural descriptions JM Franco, R Barbosa 2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012 | 12 | 2012 |
| 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 | 10 | 2011 |
| Fault injection R Barbosa, J Karlsson, H Madeira, M Vieira Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012 | 9 | 2012 |
| On the integrity of lightweight checkpoints R Barbosa, J Karlsson 2008 11th IEEE High Assurance Systems Engineering Symposium, 125-134, 2008 | 9 | 2008 |
| Layered fault tolerance for distributed embedded systems R Barbosa Chalmers University of Technology, 2008 | 9 | 2008 |
| Fault injection optimization through assembly-level pre-injection analysis R Barbosa, J Vinter, P Folkesson, J Karlsson Chalmers tekniska högskola, 2004 | 9 | 2004 |
| 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 | 8 | 2012 |
| Experiences from verifying a partitioning kernel using fault injection R Barbosa, J Karlsson | 8 | 2009 |
| 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 | 8 | 2008 |
| 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 | 6 | 2013 |
