Folgen
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
1152010
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
502016
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
252019
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
232012
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
192014
An overview of GOOFI-a generic object-oriented fault injection framework
J Vinter
192005
Comparing and validating measurements of dependability attributes
D Skarin, R Barbosa, J Karlsson
2010 European Dependable Computing Conference, 3-12, 2010
162010
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
152020
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
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
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
132022
Automated reliability prediction from formal architectural descriptions
JM Franco, R Barbosa
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
132012
lohan Karlsson,” GOOFI–2: A Tool for Experimental Dependability Assessment
D Skarin, R Barbosa
IEEEIIFIP International Conference on Dependable Systems & Networks DSN, USA …, 2010
132010
End-to-end secure group communication for the Internet of Things
A Lizardo, R Barbosa, S Neves, J Correia, F Araujo
Journal of Information Security and Applications 58, 102772, 2021
112021
Experience report: On the impact of software faults in the privileged virtual machine
F Cerveira, R Barbosa, H Madeira
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
112017
A probabilistic analysis of a leader election protocol for virtual traffic lights
N Fathollahnejad, R Barbosa, J Karlsson
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017
112017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20