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.

Personal identification

Full name
Raul André Brajczewski Barbosa

Citation names

  • Barbosa, Raul

Author identifiers

Ciência ID

Email addresses

  • rbarbosa@dei.uc.pt (Professional)


  • (+351) 239790024 (Professional)


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


Knowledge fields

  • Exact Sciences - Computer and Information Sciences
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture


Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Spanish; Castilian Advanced (C1) Upper intermediate (B2) Intermediate (B1) Advanced (C1) Upper intermediate (B2)
Swedish Intermediate (B1) Intermediate (B1) Elementary (A2) Intermediate (B1) Intermediate (B1)
French Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2)
Degree Classification
2004/10/15 - 2008/12/12
Computer Engineering (Doutoramento)
Major in Computer Science and Engineering
Chalmers tekniska högskola, Sweden
"Layered Fault Tolerance for Distributed Embedded Systems" (THESIS/DISSERTATION)
Approved (binary grading system)
1999/09/10 - 2004/09/20
Licenciatura em Engenharia Informática (Licenciatura)
Major in Computer Science and Engineering
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Fault Injection Optimization through Assembly-level Pre-injection Analysis" (THESIS/DISSERTATION)
17 (in the 20-point scale)


Host institution
2008/12/13 - 2010/08/31 Auxiliary Researcher (Research) Chalmers tekniska högskola, Sweden

Teaching in Higher Education

Host institution
2016/05 - Current Assistant Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2010/09/01 - 2016/05 Invited Assistant Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal


Host institution
2012/01/01 - 2013/07/01 Adjunct Associate Teaching Professor Carnegie Mellon University, United States
2004/10/01 - 2008/09/30 Ph.D. Student Fundação para a Ciência e a Tecnologia, Portugal
Chalmers tekniska högskola, Sweden
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


Designation Funders
2020/05/01 - 2023/04/30 VALU3S - Verification and Validation of Automated Systems’ Safety and Security
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
Electronic Components and Systems for European Leadership
2018/01/02 - 2021/12/31 AI4EU - A European AI On Demand Platform and Ecosystem
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
EU Framework Programme for Research and Innovation Euratom
2019/08/15 - 2021/10/15 AESOP - Autonomic Service Operation
Principal investigator
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Agência Nacional de Inovação SA
2018/07/26 - 2021/07/25 BASE - Biofeedback Augmented Software Engineering
Universidade de Coimbra, Portugal
Fundação para a Ciência e a Tecnologia
2014/04/01 - 2015/07/31 An Exploratory Study of Distributed Cloud Application Failures
Principal investigator
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
2010/09/01 - 2014/02/28 Affidavit - Automating the Proof of Quality Attributes for Large Scale Software Architectures
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


Book chapter
  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.
  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.
  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.
Conference paper
  1. Martins, Joao; Barbosa, Raul; Lourenco, Nuno; Robin, Jacques; Madeira, Henrique. "Online Verification through Model Checking of Medical Critical Intelligent Systems". 2020.
  2. Cerveira, Frederico; Oliveira, Rui Andre; Barbosa, Raul; Madeira, Henrique. "Evaluation of RESTful frameworks under soft errors". 2020.
  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.
  4. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Fast Local VM Migration Against Hypervisor Corruption". 2019.
  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.
  6. Cerveira, Frederico; Kocsis, Imre; Barbosa, Raul; Madeira, Henrique; Pataricza, Andras. "Exploratory Data Analysis of Fault Injection Campaigns". 2018.
  7. Cerveira, Frederico; Fonseca, Alcides; Barbosa, Raul; Madeira, Henrique. "Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors". 2018.
  8. Rodrigues, Bruno; Cerveira, Frederico; Barbosa, Raul; Bernardino, Jorge. "Virtualization: Past and Present Challenges". 2018.
  9. Barbosa, Raul. "The Ability of Cloud Computing Performance Benchmarks to Measure Dependability". 2017.
  10. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine". 2017.
  11. Cerveira, Frederico; Barbosa, Raul; Mercier, Marta; Madeira, Henrique. "On the Emulation of Vulnerabilities through Software Fault Injection". 2017.
  12. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Soft Errors Susceptibility of Virtualization Servers". 2017.
  13. Fathollahnejad, Negin; Barbosa, Raul; Karlsson, Johan. "A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights". 2017.
  14. Barbosa, Raul. "Practical Emulation of Software Defects in Source Code". 2016.
  15. Barbosa, Raul. "Testing Snort with SQL Injection attacks". 2016.
  16. Barbosa, Raul. "Modeling the Failure Pathology of Software Components". 2016.
  17. Barbosa, Raul. "Recovery for virtualized cloud environments". 2015.
  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". Paper presented in 9th Portuguese Meeting on Reconfigurable Systems (REC 2013), n/a, 2013.
  19. Franco, J.M.; Barbosa, R.; Zenha-Rela, M.. "Reliability analysis of software architecture evolution". 2013.
  20. Nunes, J.L.; Cunha, J.C.; Barbosa, R.; Zenha-Rela, M.. "Evaluating Xilinx SEU Controller Macro for fault injection". 2013.
  21. Fathollahnejad, N.; Villani, E.; Pathan, R.; Barbosa, R.; Karlsson, J.. "On reliability analysis of leader election protocols for virtual traffic lights". 2013.
  22. Ivaki, N.R.; Barbosa, R.A.B.; Araujo, F.. "A Middleware for Exactly-Once Semantics in Request-Response Interactions". Paper presented in 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), n/a, 2012.
  23. Araujo, F.; Barbosa, R.A.B.; Costa, A.C.; Barbosa, R.; Casimiro, A.. "Replication for Dependability on Virtualized Cloud Environments". Paper presented in The 10th International Workshop on Middleware for Grids, Clouds and e-Science - MGC 2012, n/a, 2012.
    Published • 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". Paper presented in Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on, n/a, 2012.
    Published • 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". Paper presented 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), n/a, 2012.
    Published • 10.1109/DSNW.2012.6264694
  26. Ivaki, N.; Araujo, F.; Barbosa, R.. "A middleware for exactly-once semantics in request-response interactions". 2012.
  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". Paper presented in EWDC 2011 - 13th European Workshop on Dependable Computing, n/a, 2011.
  28. Nunes, J.L.; Cunha, J.C.; Barbosa, R.; Zenha-Rela, M.. "Using partial dynamic FPGA reconfiguration to support real-time dependability". 2011.
  29. Barbosa, R.; Karlsson, J.; Yu, Q.; Mao, X.. "Toward dependability benchmarking of partitioning operating systems". 2011.
  30. Barbosa, R.. "Monitoring local progress with watchdog timers deduced from global properties". 2010.
  31. Skarin, D.; Barbosa, R.; Karlsson, J.. "Comparing and validating measurements of dependability attributes". 2010.
  32. Barbosa, R.; Karlsson, J.. "Opportunities from standardization in automotive safety assessment". 2010.
  33. Skarin, D.; Barbosa, R.; Karlsson, J.. "GOOFI-2: A tool for experimental dependability assessment". 2010.
  34. Barbosa, R.; Skarin, D.; Karlsson, J.. "Shared data from a study of measurement uncertainty in fault injection". 2010.
  35. Barbosa, R.; Karlsson, J.. "Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems". 2008.
  36. Barbosa, R.; Karlsson, J.. "On the integrity of lightweight checkpoints". 2008.
  37. Barbosa, R.; Ferreira, A.; Karlsson, J.. "Implementation of a flexible membership protocol on a real-time ethernet prototype". 2007.
  38. Barbosa, R.; Karlsson, J.. "Flexible, cost-effective membership agreement in synchronous systems". 2006.
  39. Barbosa, R.; Vinter, J.; Folkesson, P.; Karlsson, J.. "Assembly-level pre-injection analysis for improving fault injection efficiency". 2005.
Conference poster
  1. Barbosa, Raul. "MISO: An intermediate language to express parallel and dependable programs". 2016.
Journal article
  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.
  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.
  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.
  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.
  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.
  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.
Journal issue
  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/.

Other distinction

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