???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.
Read full resume ↓
Identification

Personal identification

Full name
Raul André Brajczewski Barbosa

Citation names

  • Barbosa, Raul

Author identifiers

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

Email addresses

  • rbarbosa@dei.uc.pt (Professional)

Telephones

Telephone
  • (+351) 239790024 (Professional)

Addresses

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

Websites

Knowledge fields

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

Languages

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)
Education
Degree Classification
2004/10/15 - 2008/12/12
Concluded
 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
Concluded
 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)
Affiliation

Science

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

Teaching in Higher Education

Category
Host institution 		Employer
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

Others

Category
Host institution 		Employer
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
Projects

Contract

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

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

Publications

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.
    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.
    Published
  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.
    Published
Conference paper
  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". Paper presented in 9th Portuguese Meeting on Reconfigurable Systems (REC 2013), n/a, 2013.
    Published
  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". Paper presented in 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), n/a, 2012.
    Published
  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.
    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". Paper presented in EWDC 2011 - 13th European Workshop on Dependable Computing, n/a, 2011.
    Published
  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.
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.
    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
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/.
    10.1109/TSUSC.2017.2771376
Distinctions

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