???global.info.a_carregar???
Raul Barbosa is an Assistant Professor at the University of Coimbra. He received the PhD degree in computer engineering from Chalmers University of Technology. At Carnegie Mellon University he was an Adjunct Associate Teaching Professor in the Institute for Software Research. He collaborated and was the principal investigator at UC in diverse research projects. His research interests focus on reliable software and distributed systems, including principles for designing and evaluating computer systems that must ensure safety and availability. His research activity is currently centred on projects addressing cloud computing, dependable software architectures and reliable AI. These topics are systematically addressed using formal approaches such as model checking and experimental approaches such as fault injection. His teaching activities take place at the Department of Informatics Engineering of the University of Coimbra and include PhD advising at the Macao Polytechnic University.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Raul André Brajczewski Barbosa

Nomes de citação

  • Barbosa, Raul

Identificadores de autor

Ciência ID
FB15-54DC-51D7
ORCID iD
0000-0002-2916-7571

Endereços de correio eletrónico

  • rbarbosa@dei.uc.pt (Profissional)

Telefones

Telefone
  • (+351) 239790024 (Profissional)

Moradas

  • Department of Informatics Engineering, University of Coimbra, 3030-290, Coimbra, Coimbra, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Espanhol; Castelhano Utilizador proficiente (C1) Utilizador independente (B2) Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B2)
Sueco Utilizador independente (B1) Utilizador independente (B1) Utilizador elementar (A2) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Formação
Grau Classificação
2004/10/15 - 2008/12/12
Concluído
 Computer Engineering (Doutoramento)
Especialização em Computer Science and Engineering
Chalmers tekniska högskola, Suécia
"Layered Fault Tolerance for Distributed Embedded Systems" (TESE/DISSERTAÇÃO)
 Approved (binary grading system)
1999/09/10 - 2004/09/20
Concluído
 Licenciatura em Engenharia Informática (Licenciatura)
Especialização em Computer Science and Engineering
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Fault Injection Optimization through Assembly-level Pre-injection Analysis" (TESE/DISSERTAÇÃO)
 17 (in the 20-point scale)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2008/12/13 - 2010/08/31 Investigador Auxiliar (carreira) (Investigação) Chalmers tekniska högskola, Suécia

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016/05 - Atual Professor Auxiliar (Docente Universitário) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2010/09/01 - 2016/05 Professor Auxiliar Convidado (Docente Universitário) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2012/01/01 - 2013/07/01 Adjunct Associate Teaching Professor Carnegie Mellon University, Estados Unidos
2004/10/01 - 2008/09/30 Ph.D. Student Fundação para a Ciência e a Tecnologia, Portugal
Chalmers tekniska högskola, Suécia
2002/07/01 - 2003/08/31 Bolseiro Técnico de Investigacão Associação para a Inovação e Desenvolvimento em Ciência e Tecnologia, Portugal
Projetos

Projeto

Designação Financiadores
2020/05/01 - 2023/04/30 VALU3S - Verification and Validation of Automated Systems’ Safety and Security
Investigador
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
 Electronic Components and Systems for European Leadership
Em curso
2018/01/02 - 2021/12/31 AI4EU - A European AI On Demand Platform and Ecosystem
825619
Investigador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 EU Framework Programme for Research and Innovation Euratom
Em curso
2019/08/15 - 2021/10/15 AESOP - Autonomic Service Operation
No. 040004
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 Agência Nacional de Inovação SA
Em curso
2018/07/26 - 2021/07/25 BASE - Biofeedback Augmented Software Engineering
PTDC/CCI-INF/31581/2017
Investigador
Universidade de Coimbra, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2014/04/01 - 2015/07/31 An Exploratory Study of Distributed Cloud Application Failures
EXPL/EEI-ESS/2542/2013
Investigador responsável
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/09/01 - 2014/02/28 Affidavit - Automating the Proof of Quality Attributes for Large Scale Software Architectures
CMU-PT/ELE/0035/2009
Investigador
Universidade de Coimbra, Portugal

Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Universidade da Madeira Madeira Interactive Technologies Institute, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Martins, Joao; Barbosa, Raul; Lourenco, Nuno; Robin, Jacques; Madeira, Henrique. "Online Verification through Model Checking of Medical Critical Intelligent Systems". 2020.
    10.1109/dsn-w50199.2020.00015
  2. Cerveira, Frederico; Oliveira, Rui Andre; Barbosa, Raul; Madeira, Henrique. "Evaluation of RESTful frameworks under soft errors". 2020.
    10.1109/issre5003.2020.00042
  3. Barbosa, R.; Basagiannis, S.; Giantamidis, G.; Becker, H.; Ferrari, E.; Jahic, J.; Kanak, A.; et al. "The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security". 2020.
    10.1109/dsd51259.2020.00064
  4. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Fast Local VM Migration Against Hypervisor Corruption". 2019.
    10.1109/edcc.2019.00028
  5. Couceiro, Ricardo; Carvalho, Paulo; Castelo Branco, Miguel; Madeira, Henrique; Barbosa, Raul; Duraes, Joao; Duarte, Goncalo; et al. "Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback". 2019.
    10.1109/issre.2019.00019
  6. Cerveira, Frederico; Kocsis, Imre; Barbosa, Raul; Madeira, Henrique; Pataricza, Andras. "Exploratory Data Analysis of Fault Injection Campaigns". 2018.
    10.1109/qrs.2018.00033
  7. Cerveira, Frederico; Fonseca, Alcides; Barbosa, Raul; Madeira, Henrique. "Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors". 2018.
    10.1109/edcc.2018.00021
  8. Rodrigues, Bruno; Cerveira, Frederico; Barbosa, Raul; Bernardino, Jorge. "Virtualization: Past and Present Challenges". 2018.
    10.5220/0006910707890795
  9. Barbosa, Raul. "The Ability of Cloud Computing Performance Benchmarks to Measure Dependability". 2017.
    10.5220/0006472404470452
  10. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine". 2017.
    10.1109/issre.2017.39
  11. Cerveira, Frederico; Barbosa, Raul; Mercier, Marta; Madeira, Henrique. "On the Emulation of Vulnerabilities through Software Fault Injection". 2017.
    10.1109/edcc.2017.28
  12. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Soft Errors Susceptibility of Virtualization Servers". 2017.
    10.1109/prdc.2017.26
  13. Fathollahnejad, Negin; Barbosa, Raul; Karlsson, Johan. "A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights". 2017.
    10.1109/prdc.2017.56
  14. Barbosa, Raul. "Practical Emulation of Software Defects in Source Code". 2016.
    10.1109/EDCC.2016.19
  15. Barbosa, Raul. "Testing Snort with SQL Injection attacks". 2016.
    10.1145/2948992.2949001
  16. Barbosa, Raul. "Modeling the Failure Pathology of Software Components". 2016.
    10.1109/QoSA.2016.15
  17. Barbosa, Raul. "Recovery for virtualized cloud environments". 2015.
    10.1109/EDCC.2015.26
  18. José Luís Nunes; Cunha, J.; Barbosa, R.A.B.; Rela, M.A.Z.. "Reconfiguração Dinâmica Parcial de FPGA em Sistemas de Controlo". Trabalho apresentado em 9th Portuguese Meeting on Reconfigurable Systems (REC 2013), n/a, 2013.
    Publicado
  19. Franco, J.M.; Barbosa, R.; Zenha-Rela, M.. "Reliability analysis of software architecture evolution". 2013.
    10.1109/LADC.2013.16
  20. Nunes, J.L.; Cunha, J.C.; Barbosa, R.; Zenha-Rela, M.. "Evaluating Xilinx SEU Controller Macro for fault injection". 2013.
    10.1109/DSN.2013.6575336
  21. Fathollahnejad, N.; Villani, E.; Pathan, R.; Barbosa, R.; Karlsson, J.. "On reliability analysis of leader election protocols for virtual traffic lights". 2013.
    10.1109/DSNW.2013.6615529
  22. Ivaki, N.R.; Barbosa, R.A.B.; Araujo, F.. "A Middleware for Exactly-Once Semantics in Request-Response Interactions". Trabalho apresentado em 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), n/a, 2012.
    Publicado
  23. Araujo, F.; Barbosa, R.A.B.; Costa, A.C.; Barbosa, R.; Casimiro, A.. "Replication for Dependability on Virtualized Cloud Environments". Trabalho apresentado em The 10th International Workshop on Middleware for Grids, Clouds and e-Science - MGC 2012, n/a, 2012.
    Publicado • 10.1145/2405136.2405138
  24. João M. Franco; Barbosa, R.A.B.; Rela, M.A.Z.; Franco, J.M.; Barbosa, R.; Zenha-Rela, M.. "Automated reliability prediction from formal architec- tural descriptions". Trabalho apresentado em Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on, n/a, 2012.
    Publicado • 10.1109/WICSA-ECSA.212.50
  25. Casimiro, A.; Verissimo, P.; Kreutz, D.; Araujo, F.; Barbosa, R.; Neves, S.; Sousa, B.; et al. "TRONE: Trustworthy and resilient operations in a network environment". Trabalho apresentado em 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), n/a, 2012.
    Publicado • 10.1109/DSNW.2012.6264694
  26. Ivaki, N.; Araujo, F.; Barbosa, R.. "A middleware for exactly-once semantics in request-response interactions". 2012.
    10.1109/PRDC.2012.23
  27. Rela, M.A.Z.; José Luís Nunes; Cunha, J.; Barbosa, R.A.B.. "Using Partial Dynamic FPGA Reconfiguration to Support Real-Time Dependability". Trabalho apresentado em EWDC 2011 - 13th European Workshop on Dependable Computing, n/a, 2011.
    Publicado
  28. Nunes, J.L.; Cunha, J.C.; Barbosa, R.; Zenha-Rela, M.. "Using partial dynamic FPGA reconfiguration to support real-time dependability". 2011.
    10.1145/1978582.1978605
  29. Barbosa, R.; Karlsson, J.; Yu, Q.; Mao, X.. "Toward dependability benchmarking of partitioning operating systems". 2011.
    10.1109/DSN.2011.5958255
  30. Barbosa, R.. "Monitoring local progress with watchdog timers deduced from global properties". 2010.
    10.1109/SRDS.2010.23
  31. Skarin, D.; Barbosa, R.; Karlsson, J.. "Comparing and validating measurements of dependability attributes". 2010.
    10.1109/EDCC.2010.11
  32. Barbosa, R.; Karlsson, J.. "Opportunities from standardization in automotive safety assessment". 2010.
    10.1145/1772643.1772661
  33. Skarin, D.; Barbosa, R.; Karlsson, J.. "GOOFI-2: A tool for experimental dependability assessment". 2010.
    10.1109/DSN.2010.5544265
  34. Barbosa, R.; Skarin, D.; Karlsson, J.. "Shared data from a study of measurement uncertainty in fault injection". 2010.
    10.1109/ICDCSW.2010.68
  35. Barbosa, R.; Karlsson, J.. "Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems". 2008.
    10.1109/SIES.2008.4577699
  36. Barbosa, R.; Karlsson, J.. "On the integrity of lightweight checkpoints". 2008.
    10.1109/HASE.2008.25
  37. Barbosa, R.; Ferreira, A.; Karlsson, J.. "Implementation of a flexible membership protocol on a real-time ethernet prototype". 2007.
    10.1109/PRDC.2007.41
  38. Barbosa, R.; Karlsson, J.. "Flexible, cost-effective membership agreement in synchronous systems". 2006.
    10.1109/PRDC.2006.36
  39. Barbosa, R.; Vinter, J.; Folkesson, P.; Karlsson, J.. "Assembly-level pre-injection analysis for improving fault injection efficiency". 2005.
Artigo em revista
  1. Raul Barbosa; Alcides Fonseca; Filipe Araujo. "Reductions and abstractions for formal verification of distributed round-based algorithms". Software Quality Journal (2021): https://doi.org/10.1007/s11219-020-09539-6.
    10.1007/s11219-020-09539-6
  2. Silva, Rui Filipe; Barbosa, Raul; Bernardino, Jorge. "Intrusion Detection Systems for Mitigating SQL Injection Attacks". International Journal of Information Security and Privacy 14 2 (2020): 20-40. http://dx.doi.org/10.4018/ijisp.2020040102.
    10.4018/ijisp.2020040102
  3. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique; Araujo, Filipe. "The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers". IEEE Transactions on Cloud Computing (2020): 1-1. http://dx.doi.org/10.1109/tcc.2020.2973146.
    10.1109/tcc.2020.2973146
  4. Raul Barbosa; Frederico Cerveira; Luís Gonçalo; Henrique Madeira. "Emulating representative software vulnerabilities using field data". Computing 101 2 (2019): 119-138. https://doi.org/10.1007/s00607-018-0657-y.
    10.1007/s00607-018-0657-y
  5. Franco, João M.; Correia, Francisco; Barbosa, Raul; Zenha-Rela, Mário; Schmerl, Bradley; Garlan, David. "Improving self-adaptation planning through software architecture-based stochastic modeling". Journal of Systems and Software 115 (2016): 42-60. http://dx.doi.org/10.1016/j.jss.2016.01.026.
    10.1016/j.jss.2016.01.026
  6. Araujo, Filipe; Boychenko, Serhiy; Barbosa, Raul; Casimiro, António. "Replica placement to mitigate attacks on clouds". Journal of Internet Services and Applications 5 1 (2014): http://dx.doi.org/10.1186/s13174-014-0007-z.
    10.1186/s13174-014-0007-z
Capítulo de livro
  1. Robin, Jacques; Mazo, Raul; Madeira, Henrique; Barbosa, Raul; Diaz, Daniel; Abreu, Salvador. "A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence". In Computer Safety, Reliability, and Security, 391-397. Springer International Publishing, 2019.
    10.1007/978-3-030-26250-1_32
  2. Nuno Laranjeiro; Gonçalo Pereira; Seyma Soydemir; Barbosa, Raul; Jorge Bernardino; Cristiana Areias; Nuno Antunes; et al. "Robustness and Fault Injection for the Validation of Critical Systems". In Certifications of Critical Systems – The CECRIS Experience, 247-274. River Publishers, 2017.
    Publicado
  3. Barbosa, R.A.B.; Karlsson, J.; Marco Vieira; Madeira, H.. "Fault Injection". In Resilience Assessment and Evaluation, 263-282. n/a: Springer Berlin Heidelberg, 2012.
    Publicado
Edição de número de revista
  1. Barbosa, Raul. "Language-based expression of reliability and parallelism for low-power computing". IEEE Transactions on Sustainable Computing (2017): http://ieeexplore.ieee.org/document/8100981/.
    10.1109/TSUSC.2017.2771376
Poster em conferência
  1. Barbosa, Raul. "MISO: An intermediate language to express parallel and dependable programs". 2016.
Distinções

Outra distinção

2015 Distinguished Paper Award
2004 Best Young Graduate (prize for the highest final GPA in the 5-year Computer Engineering programme)
Universidade de Coimbra, Portugal
2003 Merit Award (awarded to the students with the best yearly point average)
Universidade de Coimbra, Portugal
2000 Merit Award (awarded to the students with the best yearly point average)
Universidade de Coimbra, Portugal