GOOFI-2: A tool for experimental dependability assessment D Skarin, R Barbosa, J Karlsson 2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010 | 84 | 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 | 45 | 2005 |
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 | 23 | 2016 |
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 | 19 | 2013 |
An overview of goofi-a generic object-oriented fault injection framework J Vinter | 18 | 2005 |
CloudBFT: elastic byzantine fault tolerance R Nogueira, F Araújo, R Barbosa 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014 | 16 | 2014 |
Recovery for virtualized environments F Cerveira, R Barbosa, H Madeira, F Araujo 2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015 | 15 | 2015 |
Automated reliability prediction from formal architectural descriptions JM Franco, R Barbosa 2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012 | 14 | 2012 |
Comparing and validating measurements of dependability attributes D Skarin, R Barbosa, J Karlsson 2010 European Dependable Computing Conference, 3-12, 2010 | 13 | 2010 |
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 |
Fault injection R Barbosa, J Karlsson, H Madeira, M Vieira Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012 | 11 | 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 | 11 | 2011 |
On the integrity of lightweight checkpoints R Barbosa, J Karlsson 2008 11th IEEE High Assurance Systems Engineering Symposium, 125-134, 2008 | 10 | 2008 |
Experiences from verifying a partitioning kernel using fault injection R Barbosa, J Karlsson | 9 | 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 | 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 |
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 | 8 | 2013 |
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 |
Layered fault tolerance for distributed embedded systems R Barbosa Chalmers University of Technology, 2008 | 8 | 2008 |
Practical emulation of software defects in source code G Pereira, R Barbosa, H Madeira 2016 12th European dependable computing conference (EDCC), 130-140, 2016 | 6 | 2016 |