People
Raul Barbosa
Address
Departamento de Engenharia InformáticaUniversidade de Coimbra
Home Page
http://eden.dei.uc.pt/~rbarbosa/Member
Software and Systems EngineeringResearch interests
His main research interests focus on reliable software and 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 experimental approaches such as fault injection.Short Bio
Raul Barbosa is an Assistant Professor at the University of Coimbra, Portugal. He holds a PhD degree in Computer Engineering since 2008 from Chalmers University of Technology, Sweden. He graduated in Computer Engineering in 2004 at the University of Coimbra. At Carnegie Mellon University, US, he was an Adjunct Associate Teaching Professor in the Institute for Software Research. He collaborated in diverse research projects, including AI4EU, ADVANCE, BASE, iCIS, AMBER, Affidavit, DFEA-2020, and TRONE, and was the Principal Investigator at UC in projects DECAF and AESOP. His teaching activities take place at the Department of Informatics Engineering of the University of Coimbra.National Projects
AESOP - Autonomic Service Operation
International Projects
BASE - Biofeedback Augmented Software Engineering
AI4EU - A European AI On Demand Platform and Ecosystem
ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Past Projects
iCIS - Intelligent Computing in the Internet of Services
DECAF - An Exploratory Study of Distributed Cloud Application Failures
AFFIDAVIT - Automating the Proof of Quality Attributes for Large Scale Software Architectures
Journal Articles
2020
(1 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 [ DOI ]
2018
(1 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 [ DOI ]
2017
(1 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 [ DOI ]
2016
(1 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 [ DOI ]
2014
(1 publication)Conference Articles
2020
(1 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 [ DOI ]
2019
(3 publications)- 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
- Cerveira, F. and Barbosa, R. and Madeira, H. , "Fast Local VM Migration Against Hypervisor Corruption", in 2019 15th European Dependable Computing Conference (EDCC), 2019 [ DOI ]
- 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 [ DOI ]
2018
(3 publications)- 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 [ DOI ]
- 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 [ DOI ]
- Rodrigues, B. and Cerveira, F. and Barbosa, R. and Jorge Bernardino , "Virtualization: Past and Present Challenges", in 13th International Conference on Software Technologies , 2018 [ DOI ]
2017
(5 publications)- 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 [ DOI ]
- 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
- Cerveira, F. and Barbosa, R. and Madeira, H. , "On the Emulation of Vulnerabilities through Software Fault Injection", in European Dependable Computing Conferece (EDCC), 2017
- 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
- 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)- 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 [ DOI ]
- 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 [ DOI ]
- 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
- Alcides Fonseca and Barbosa, R. , "MISO: An intermediate language to express parallel and dependable programs", in 12th European Dependable Computing Conference (EDCC 2016), 2016 [ DOI ]
2015
(1 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 [ DOI ]
2014
(5 publications)- 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
- 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
- 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
- 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
- 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 [ DOI ]
2013
(6 publications)- 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 [ DOI ]
- 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
- 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
- Mario Zenha-Rela and Barbosa, R. and Correia, F. , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in INForum, 2013
- 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
- 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)- 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
- 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 [ DOI ]
- 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
- 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 [ DOI ]
2011
(2 publications)- 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
- 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