Journal Articles
2020(1 publication)
[publication]Cerveira, F. and Barbosa, R. and Madeira, H. and Araujo, F. , "The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers", IEEE Transactions on Cloud Computing, 2020

2018(1 publication)
[publication]Barbosa, R. and Cerveira, F. and Gonçalo, L. and Madeira, H. , "Emulating representative software vulnerabilities using field data", Springer Computing,  vol. 101,  pp. 119-138, 2018

2017(1 publication)
[publication]Alcides Fonseca and Cerveira, F. and Bruno Cabral and Barbosa, R. , "Language-based expression of reliability and parallelism for low-power computing",  IEEE Transactions on Sustainable Computing, 2017

2016(1 publication)
[publication]João M. Franco and Correia, F. and Barbosa, R. and Schmerl, B. and Mario Zenha-Rela and Garlan, D. , "Improving Self-Adaptation Planning through Software Architecture-based Stochastic Modeling", Journal of Systems and Software, 2016

2014(1 publication)
[publication]Araujo, F. and Boychenko, S. and Barbosa, R. and Costa, A.C. , "Replica Placement to Mitigate Attacks on Clouds", Journal of Internet Services and Applications,  vol. 5, 2014

Conference Articles
2020(1 publication)
[publication]Martins, J. and Barbosa, R. and Lourenço, Nuno and Robin, J. and Madeira, H. , "Online Verification through Model Checking of Medical Critical Intelligent Systems", in Dependable and Secure Machine Learning (DSML 2020) co-located with the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) , 2020

2019(3 publications)
[publication]Couceiro, R. and Barbosa, R. and Joao Duraes and Duarte, G. and Castelhano, J. and Duarte, C. and Teixeira, C. and Laranjeiro, N. and Medeiros, J. and Castelo-Branco, M. and P. Carvalho and Madeira, H. , "Spotting problematic code lines using nonintrusive programmers’ biofeedback", in 30th International Symposium on Software Reliability Engineering (ISSRE 2019), 2019

[publication]Cerveira, F. and Barbosa, R. and Madeira, H. , "Fast Local VM Migration Against Hypervisor Corruption", in 2019 15th European Dependable Computing Conference (EDCC), 2019

[publication]Robin, J. and Mazo, R. and Madeira, H. and Barbosa, R. and Diaz, D. and Abreu, S. , "A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence", in International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2019), 2019

2018(3 publications)
[publication]Cerveira, F. and Kocsis, I. and Barbosa, R. and Madeira, H. and Pataricza, A. , "Exploratory Data Analysis of Fault Injection Campaigns", in 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018

[publication]Cerveira, F. and Alcides Fonseca and Barbosa, R. and Madeira, H. , "Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors", in 2018 14th European Dependable Computing Conference (EDCC), 2018

[publication]Rodrigues, B. and Cerveira, F. and Barbosa, R. and Jorge Bernardino , "Virtualization: Past and Present Challenges", in 13th International Conference on Software Technologies , 2018

2017(5 publications)
[publication]Cerveira, F. and Barbosa, R. and Madeira, H. , "Soft Errors Susceptibility of Virtualization Servers", in 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), 2017

[publication]Nejad, N. and Karlsson, J. and Barbosa, R. , "A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights", in 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), 2017

[publication]Cerveira, F. and Barbosa, R. and Madeira, H. , "On the Emulation of Vulnerabilities through Software Fault Injection", in European Dependable Computing Conferece (EDCC), 2017

[publication]Cerveira, F. and Barbosa, R. and Madeira, H. , "Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine", in International Symposium on Software Reliability Engineering (ISSRE 2017), 2017

[publication]Carvalho, E. and Barbosa, R. and Jorge Bernardino , "The Ability of Cloud Computing Performance Benchmarks to Measure Dependability", in ICSOFT, 12th International Conference on Software Technologies, 2017

2016(4 publications)
[publication]Silva, R.R. and Barbosa, R. and Jorge Bernardino , "Testing Snort with SQL Injection attacks", in International C* Conference on Computer Science and Software Engineering, C3S2E 2016, 2016

[publication]João M. Franco and Cerveira, F. and Barbosa, R. and Mario Zenha-Rela , "Modeling the Failure Pathology of Software Components", in 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA 2016), 2016

[publication]Pereira, G. and Barbosa, R. and Madeira, H. , "Practical Emulation of Software Defects in Source Code", in 12th European Dependable Computing Conference (EDCC 2016), 2016

[publication]Alcides Fonseca and Barbosa, R. , "MISO: An intermediate language to express parallel and dependable programs", in 12th European Dependable Computing Conference (EDCC 2016), 2016

2015(1 publication)
[publication]Cerveira, F. and Barbosa, R. and Madeira, H. and Araujo, F. , "Recovery for Virtualized Environments", in 11th European Dependable Computing Conference (EDCC 2015), 2015

2014(5 publications)
[publication]Silva, V. and João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela , "Assessing the Performance Overhead of a Self-Adaptive System", in INForum 2014, 2014

[publication]João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Availability Evaluation of Software Architectures through Formal Methods", in Conference on the Quality of Information and Communications Technology (QUATIC), 2014

[publication]Nogueira, R. and Araujo, F. and Barbosa, R. , "CloudBFT: Elastic Byzantine Fault Tolerance", in 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), 2014

[publication]Araujo, F. and Marilia Curado and Furtado, P. and Barbosa, R. , "Taking an Electronic Ticketing System to the Cloud: Design and Discussion", in 2nd Workshop on Scalable Cloud Data Management. Co-located with the IEEE BigData Conference., 2014

[publication]Nejad, N. and Villani, E. and Pathan, R. and Barbosa, R. and Karlsson, J. , "On probabilistic analysis of disagreement in synchronous consensus protocols", in Tenth European Dependable Computing Conference (EDCC 2014), 2014

2013(6 publications)
[publication]João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Reliability analysis of software architecture evolution", in Latin-American Symposium on Dependable Computing (LADC 2013), 2013
[citation][year=2014]Ravichandra, M., and A. V. Ramani. "Measuring Software Reliability using Fuzzy Logic." International Journal of Soft Computing 9.5 (2014): 314-317.

[publication]José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Reconfiguração Dinâmica Parcial de FPGA em Sistemas de Controlo", in 9th Portuguese Meeting on Reconfigurable Systems (REC 2013), 2013

[publication]José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Evaluating Xilinx SEU Controller Macro for Fault Injection", in The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 2013
[citation][year=2019]Xue Xiaoliang, Su Haibing, Shu Huailiang, et al. Research on fault injection system of FPGA in irradiation environment[J]. Opto-Electronic Engineering, 2019, 46(12): 180549.
[citation][year=2018]B. Shen, L. Peng and Y. Xie, "Reliability enhanced data processing system capable of runtime fault recovery," 2018 IEEE 3rd International Conference on Big Data Analysis (ICBDA), Shanghai, 2018, pp. 122-127.
doi: 10.1109/ICBDA.2018.8367662
[citation][year=2018]M. Darvishi, Y. Audet and Y. Blaquière, "Delay Monitor Circuit and Delay Change Measurement Due to SEU in SRAM-Based FPGA," in IEEE Transactions on Nuclear Science, vol. 65, no. 5, pp. 1153-1160, May 2018.
doi: 10.1109/TNS.2018.2828785
[citation][year=2016]Souari, Anis, et al. "Towards an efficient SEU effects emulation on SRAM-based FPGAs." Microelectronics Reliability 66 (2016): 173-182.
[citation][year=2015]H Quinn, M Wirthlin, “Validation Techniques for Fault Emulation of SRAM-based FPGAs”, IEEE Transactions on Nuclear Science, 2015
[citation][year=2015]Hiari, Omar Mohammad. "System-on-chip based diverse redundancy for automotive reliability." PhD diss., Oakland University, 2015.

[publication]Mario Zenha-Rela and Barbosa, R. and Correia, F. , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in INForum, 2013

[publication]João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in INForum, 2013

[publication]Villani, E. and Nejad, N. and Pathan, R. and Barbosa, R. and Karlsson, J. , "Reliability Analysis of Consensus in Cooperative Transport Systems", in SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, 2013

2012(4 publications)
[publication]Costa, A.C. and Verissimo, P. and Kreutz, D. and Araujo, F. and Barbosa, R. and Samuel Neves and Sousa, B. and Marilia Curado and Silva, C. and Gandhi, R. and Narasimhan, P. , "TRONE: Trustworthy and Resilient Operations in a Network Environment", in The Second International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV 2012). Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DCDV 2012), 2012
[citation][year=2014]J Jang-Jaccard, S Nepal, A survey of emerging threats in cybersecurity, Journal of Computer and System Sciences, 2014
[citation][year=2014]B Sousa, K Pentikousis, M Curado, MeTHODICAL: Towards the next generation of multihomed applications, Computer Networks, 2014
[citation][year=2013]B Sousa, R Santos, M Curado, S Pertet, Expedient reconfiguration in the cloud, Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), 2013 IEEE 18th International Workshop on.

[publication]Naghmeh Ivaki and Barbosa, R. and Araujo, F. , "A Middleware for Exactly-Once Semantics in Request-Response Interactions", in 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), 2012
[citation][year=2014]Zohora, Fatema Tuz, Md Yusuf Sarwar Uddin, and Johra Muhammad Moosa. "Not So Synchronous RPC: RPC with Silent Synchrony Switch for Avoiding Repeated Marshalling of Data." Distributed Computing and Networking. Springer Berlin Heidelberg, 2014. 544-549.

[publication]Araujo, F. and Barbosa, R. and Costa, A.C. , "Replication for Dependability on Virtualized Cloud Environments", in The 10th International Workshop on Middleware for Grids, Clouds and e-Science - MGC 2012, 2012
[citation][year=2014]Security for Future Networks (SecFuNet), Heiko Niedermayer and Feitosa, Eduardo and da Silva Fraga, Joni and Malichevskyy, Oleksandr and Barreto, Luciano, 2014.
[citation][year=2013]16181355158423902086 Security for Future Networks (SecFuNet) https://www.secfunet.eu/repo/Public Deliverables/Secfunet_D5_1.pdf HN TUM, E Feitosa, J da Silva Fraga, O Malichevskyy… Publication/NA Year/NA secfunet.eu
[citation][year=2013]Diego Kreutz, Heiko Niedermayer, Eduardo Feitosa, Joni da Silva Fraga, Oleksandr Malichevskyy, "Security for Future Networks", D5.1 - Architecture Components for Resilient Networks, 2013.

[publication]João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Automated reliability prediction from formal architectural descriptions", in Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on, 2012
[citation][year=2013]Hussain, Sajjad. "Investigating Architecture Description Languages (ADLs) A Systematic Literature Review." (2013).

2011(2 publications)
[publication]José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Using Partial Dynamic FPGA Reconfiguration to Support Real-Time Dependability", in 13th European Workshop on Dependable Computing (EWDC 2011), 2011
[citation][year=2011]1. Zhou Chun-jie, Huang Xiong-feng, Qin Yuan-qing, Yang Ming-yue, “Survey of the transient faults recovery and safety control methods in networked control systems”, Control and iDecision1001-0920, 2011 Issue 10, pp. 1441-1446,1451

[publication]Barbosa, R. and Karlsson, J. and Yu, Q. and Mao, X. , "Toward dependability benchmarking of partitioning operating systems", in Proceedings of the 41st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011), 2011
[citation][year=2014]CMON: a Predictable Monitoring Infrastructure for System-Level Latent Fault Detection and Recovery, Song, Jiguo and Parmer, Gabriel.
[citation][year=2014]Prediction, Detection and Classification Techniques of Faults, Errors and Failures, Eishi H. Ibe, Terrestrial Radiation Effects in ULSI Devices and Electronic Systems, Ch. 7, DOI: 10.1002/9781118479308.ch7, 2014.
[citation][year=2013]L. Xiang, Z. Zhang, D. Zuo, X. Yang, "Multi-layered System Robustness Testing Strategy Based on Abnormal Parameter", Journal of Computers, 2013.

Book Chapters
2017(1 publication)
[publication]Laranjeiro, N. and Pereira, G. and Soydemir, S.N. and Barbosa, R. and Jorge Bernardino and Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira and Madeira, H. , "Robustness and Fault Injection for the Validation of Critical Systems", in Certifications of Critical Systems – The CECRIS Experience,  pp. 247-274, 2017

2012(1 publication)
[publication]Barbosa, R. and Karlsson, J. and Marco Vieira and Madeira, H. , "Fault Injection", in Resilience Assessment and Evaluation,  vol. 1,  pp. 263-282, 2012