Ikuti
Raul Barbosa
Raul Barbosa
University of Coimbra
Email yang diverifikasi di dei.uc.pt
Judul
Dikutip oleh
Dikutip oleh
Tahun
GOOFI-2: A tool for experimental dependability assessment
D Skarin, R Barbosa, J Karlsson
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
1162010
Assembly-level pre-injection analysis for improving fault injection efficiency
R Barbosa, J Vinter, P Folkesson, J Karlsson
Dependable Computing-EDCC 5: 5th European Dependable Computing Conference …, 2005
592005
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
512016
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
322013
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
262019
Recovery for virtualized environments
F Cerveira, R Barbosa, H Madeira, F Araujo
2015 11th European Dependable Computing Conference (EDCC), 25-36, 2015
242015
Fault injection
R Barbosa, J Karlsson, H Madeira, M Vieira
Resilience Assessment and Evaluation of Computing Systems, 263-281, 2012
222012
Quality evaluation of modern code reviews through intelligent biometric program comprehension
H Hijazi, J Duraes, R Couceiro, J Castelhano, R Barbosa, J Medeiros, ...
IEEE Transactions on Software Engineering 49 (2), 626-645, 2022
212022
CloudBFT: elastic byzantine fault tolerance
R Nogueira, F Araújo, R Barbosa
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
212014
An overview of goofi-a generic object-oriented fault injection framework
J Vinter
192005
How reliable are ultra-short-term HRV measurements during cognitively demanding tasks?
A Bernardes, R Couceiro, J Medeiros, J Henriques, C Teixeira, M Simões, ...
Sensors 22 (17), 6528, 2022
162022
The effects of soft errors and mitigation strategies for virtualization servers
F Cerveira, R Barbosa, H Madeira, F Araujo
IEEE Transactions on Cloud Computing 10 (2), 1065-1081, 2020
162020
Comparing and validating measurements of dependability attributes
D Skarin, R Barbosa, J Karlsson
2010 European Dependable Computing Conference, 3-12, 2010
162010
Reliability analysis of software architecture evolution
JM Franco, R Barbosa, M Zenha-Rela
2013 Sixth Latin-American Symposium on Dependable Computing, 11-20, 2013
152013
lohan Karlsson,” GOOFI–2: A Tool for Experimental Dependability Assessment
D Skarin, R Barbosa
IEEEIIFIP International Conference on Dependable Systems & Networks DSN, USA …, 2010
152010
A “dirty” footprint: Macroinvertebrate diversity in Amazonian anthropic soils
WC Demetrio, AC Conrado, ANS Acioli, AC Ferreira, MLC Bartz, ...
Global Change Biology 27 (19), 4575-4591, 2021
142021
Automated reliability prediction from formal architectural descriptions
JM Franco, R Barbosa
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
132012
Practical emulation of software defects in source code
G Pereira, R Barbosa, H Madeira
2016 12th European dependable computing conference (EDCC), 130-140, 2016
122016
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
The VALU3S ECSEL project: Verification and validation of automated systems safety and security
JA Agirre, L Etxeberria, R Barbosa, S Basagiannis, G Giantamidis, ...
Microprocessors and microsystems 87, 104349, 2021
112021
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20