Raul Barbosa

According to our database, Raul Barbosa authored at least 89 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Resilient Virtualization.

Frederico Cerveira, António Howcroft Ferreira, Raul Barbosa

Computer, February, 2024

Translating meaning representations to behavioural interface specifications.

Iat Tou Leong, Raul Barbosa

J. Syst. Softw., 2024

Vinia: Voice-enabled intent-based networking for industrial automation.

Raul Barbosa, João Pedro Fonseca, Marco Araújo, Daniel Corujo

Comput. Sci. Inf. Syst., 2024

2023

Cost-Availability Aware Scaling: Towards Optimal Scaling of Cloud Services.

André Bento, Filipe Araújo, Raul Barbosa

J. Grid Comput., December, 2023

Efficient Causal Access in Geo-Replicated Storage Systems.

Stanley Lima, Filipe Araújo, Miguel de Oliveira Guerreiro, Jaime Correia, André Bento, Raul Barbosa

J. Grid Comput., March, 2023

Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension.

Haytham Hijazi, João Durães, Ricardo Couceiro, João Castelhano, Raul Barbosa, Júlio Medeiros, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira

IEEE Trans. Software Eng., February, 2023

Petit programming language and compiler.

Raul Barbosa

CoRR, 2023

Demo: Enhancing Network Performance based on 5G Network Function and Slice Load Analysis.

Rui Ferreira, João Pedro Fonseca, João Silva, Mayuri Tendulkar, Paulo Duarte, Marco Araújo, Raul Barbosa, Bruno Mendes, Adriano Almeida Góes

Proceedings of the 24th IEEE International Symposium on a World of Wireless, 2023

Demo: Object detection under 5G-edge mobility.

Marco Araújo, João Silva, Pedro M. Santos, Himanshu Singh, Deepak Gunjal, João Pedro Fonseca, Paulo Duarte, Bruno Mendes, Raul Barbosa, Peter Steenkiste, Saeid Sabamoniri, Luis Lam, João Pereira, Harrison Kurunathan

Proceedings of the 24th IEEE International Symposium on a World of Wireless, 2023

Defektor: An Extensible Tool for Fault Injection Campaign Management in Microservice Systems.

Goncalo Baptista, Jaime Correia, André Bento, João Soares, Antonio Ferreira, João Durães, Raul Barbosa, Filipe Araújo

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

O-RAN and RIC Compliant Solutions for Next Generation Networks.

Marco Silva, João Pedro Fonseca, David Perez Abreu, Paulo Romero Martins Maciel, Paulo Duarte, Raul Barbosa, Bruno Mendes, João Silva, Adriano Almeida Góes, Marco Araújo, Bruno Sousa, Marília Curado, José Santos

Proceedings of the IEEE INFOCOM 2023, 2023

OREOS: Demonstrating E2E Orchestration in 5G Networks with Open-Source Components.

Noé Godinho, Paulo Duarte, Paulo Martins, David Perez Abreu, Raul Barbosa, Bruno Mendes, João Pedro Fonseca, Marco Silva, Marco Araújo, João Silva, Karima Velasquez, Bruno Sousa, Marília Curado, Adriano Almeida Góes

Proceedings of the IEEE INFOCOM 2023, 2023

Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP.

Iat Tou Leong, Raul Barbosa

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Predicting Cloud Applications Failures from Infrastructure Level Data.

Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers.

Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo

IEEE Trans. Cloud Comput., 2022

How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks?

André Bernardes, Ricardo Couceiro, Júlio Medeiros, Jorge Henriques, César Teixeira, Marco Simões, João Durães, Raul Barbosa, Henrique Madeira, Paulo Carvalho

Sensors, 2022

Public Policies Vectors for Urban Greening Technological Strategies.

Maria José Sousa, Waleska Campos, Luciana B. da Rosa, Raul Barbosa, M. Carolina Rodrigues, Miguel Sousa, Álvaro Rocha

Proceedings of the Information Systems and Technologies, 2022

Strategies for Improving the Error Robustness of Convolutional Neural Networks.

António Morais, Raul Barbosa, Nuno Lourenço, Frederico Cerveira, Michele Lombardi, Henrique Madeira

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

ucXception: A Framework for Evaluating Dependability of Software Systems.

Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Bi-objective optimization of availability and cost for cloud services.

André Bento, João Soares, António Ferreira, João Durães, José Ferreira, Rita Carreira, Filipe Araújo, Raul Barbosa

Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access.

Raul Barbosa, Marco Araújo

Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022

Multidimensional Framework for Characterizing Verification and Validation of Automated Systems.

Joseba Andoni Agirre, Ahmet Yazici, Katia Di Blasio, Jose Luis de la Vara, Behrooz Sangchoolie, Ugur Yayan, Raul Barbosa, Leire Etxeberria, Massimo Nazaria, Mustafa Karaca

Proceedings of the 18th European Dependable Computing Conference, 2022

2021

The VALU3S ECSEL project: Verification and validation of automated systems safety and security.

Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie

Microprocess. Microsystems, November, 2021

Reductions and abstractions for formal verification of distributed round-based algorithms.

Raul Barbosa, Alcides Fonseca, Filipe Araújo

Softw. Qual. J., 2021

End-to-end secure group communication for the Internet of Things.

André Lizardo, Raul Barbosa, Samuel Neves, Jaime Correia, Filipe Araújo

J. Inf. Secur. Appl., 2021

On some Foundational Aspects of Human-Centered Artificial Intelligence.

Luciano Serafini, Raul Barbosa, Jasmin Grosinger, Luca Iocchi, Christian Napoli, Salvatore Rinzivillo, Jacques Robin, Alessandro Saffiotti, Teresa Scantamburlo, Peter Schüller, Paolo Traverso, Javier Vázquez-Salceda

CoRR, 2021

Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor.

Frederico Cerveira, Raul Barbosa, Henrique Madeira

IEEE Access, 2021

Measuring lead times for failure prediction.

Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

A layered framework for root cause diagnosis of microservices.

André Bento, Jaime Correia, João Durães, João Soares, Luís Ribeiro, António Ferreira, Rita Carreira, Filipe Araújo, Raul Barbosa

Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021

μ Viz: Visualization of Microservices.

Sara Silva, Jaime Correia, André Bento, Filipe Araújo, Raul Barbosa

Proceedings of the 25th International Conference Information Visualisation, 2021

A bag of nodes primer on weightless graph classification.

Raul Barbosa, Diego Carvalho, Priscila Lima, Felipe M. G. França

Proceedings of the 29th European Symposium on Artificial Neural Networks, 2021

Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management.

João Tomás, André Bento, João Soares, Luís Ribeiro, António Ferreira, Rita Carreira, Filipe Araújo, Raul Barbosa

Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021

Why is it so hard to predict computer systems failures?

Jomar Domingos, Raul Barbosa, Henrique Madeira

Proceedings of the 17th European Dependable Computing Conference, 2021

Generation of Oracles using Natural Language Processing.

Iat Tou Leong, Raul Barbosa

Proceedings of the 28th Asia-Pacific Software Engineering Conference Workshops, 2021

2020

Intrusion Detection Systems for Mitigating SQL Injection Attacks: Review and State-of-Practice.

Rui Silva, Raul Barbosa, Jorge Bernardino

Int. J. Inf. Secur. Priv., 2020

Evaluation of RESTful frameworks under soft errors.

Frederico Cerveira, Rui André Oliveira, Raul Barbosa, Henrique Madeira

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Online Verification through Model Checking of Medical Critical Intelligent Systems.

João Martins, Raul Barbosa, Nuno Lourenço, Jacques Robin, Henrique Madeira

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security.

Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

Soft error sensitivity and vulnerability of languages and their implementations.

Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira

Int. J. Crit. Comput. Based Syst., 2019

The most frequent programming mistakes that cause software vulnerabilities.

Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira

CoRR, 2019

Emulating representative software vulnerabilities using field data.

Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira

Computing, 2019

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.

Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu

Proceedings of the Computer Safety, Reliability, and Security, 2019

Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback.

Ricardo Couceiro, Paulo Carvalho, Miguel Castelo Branco, Henrique Madeira, Raul Barbosa, João Durães, Gonçalo Duarte, João Castelhano, Catarina Duarte, César Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Fast Local VM Migration Against Hypervisor Corruption.

Frederico Cerveira, Raul Barbosa, Henrique Madeira

Proceedings of the 15th European Dependable Computing Conference, 2019

2018

Language-Based Expression of Reliability and Parallelism for Low-Power Computing.

Alcides Fonseca, Frederico Cerveira, Bruno Cabral, Raul Barbosa

IEEE Trans. Sustain. Comput., 2018

Weightless neuro-symbolic GPS trajectory classification.

Raul Barbosa, Douglas de O. Cardoso, Diego Carvalho, Felipe M. G. França

Neurocomputing, 2018

Exploratory Data Analysis of Fault Injection Campaigns.

Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Virtualization: Past and Present Challenges.

Bruno Rodrigues, Frederico Cerveira, Raul Barbosa, Jorge Bernardino

Proceedings of the 13th International Conference on Software Technologies, 2018

Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors.

Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira

Proceedings of the 14th European Dependable Computing Conference, 2018

2017

A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights.

Negin Fathollahnejad, Raul Barbosa, Johan Karlsson

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Soft Errors Susceptibility of Virtualization Servers.

Frederico Cerveira, Raul Barbosa, Henrique Madeira

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine.

Frederico Cerveira, Raul Barbosa, Henrique Madeira

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

The Ability of Cloud Computing Performance Benchmarks to Measure Dependability.

Eduardo Carvalho, Raul Barbosa, Jorge Bernardino

Proceedings of the 12th International Conference on Software Technologies, 2017

A neuro-symbolic approach to GPS trajectory classification.

Diego Carvalho, Felipe M. G. França, Raul Barbosa, Douglas de O. Cardoso

Proceedings of the 25th European Symposium on Artificial Neural Networks, 2017

On the Emulation of Vulnerabilities through Software Fault Injection.

Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

Improving self-adaptation planning through software architecture-based stochastic modeling.

João Miguel Franco, Francisco Correia, Raul Barbosa, Mário Zenha Rela, Bradley R. Schmerl, David Garlan

J. Syst. Softw., 2016

MISO: An intermediate language to express parallel and dependable programs.

Alcides Fonseca, Raul Barbosa

CoRR, 2016

Modeling the Failure Pathology of Software Components.

João Miguel Franco, Frederico Cerveira, Raul Barbosa, Mário Zenha Rela

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Practical Emulation of Software Defects in Source Code.

Goncalo Pereira, Raul Barbosa, Henrique Madeira

Proceedings of the 12th European Dependable Computing Conference, 2016

Testing Snort with SQL Injection Attacks.

Rui Silva, Raul Barbosa, Jorge Bernardino

Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, 2016

2015

Recovery for Virtualized Environments.

Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Replica placement to mitigate attacks on clouds.

Filipe Araújo, Serhiy Boychenko, Raul Barbosa, António Casimiro

J. Internet Serv. Appl., 2014

Availability Evaluation of Software Architectures through Formal Methods.

João Miguel Franco, Raul Barbosa, Mário Zenha Rela

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

CloudBFT: Elastic Byzantine Fault Tolerance.

Rodrigo Nogueira, Filipe Araújo, Raul Barbosa

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols.

Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Taking an electronic ticketing system to the cloud: Design and discussion.

Filipe Araújo, Marília Curado, Pedro Furtado, Raul Barbosa

Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014

2013

Reliability Analysis of Consensus in Cooperative Transport Systems.

Emília Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the SAFECOMP 2013, 2013

Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion.

Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Reliability Analysis of Software Architecture Evolution.

João Miguel Franco, Raul Barbosa, Mário Zenha Rela

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Evaluating Xilinx SEU Controller Macro for fault injection.

Jose Luis Nunes, João Carlos Cunha, Raul Barbosa, Mário Zenha Rela

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

On reliability analysis of leader election protocols for virtual traffic lights.

Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Automated Reliability Prediction from Formal Architectural Descriptions.

João Miguel Franco, Raul Barbosa, Mário Zenha Rela

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

A Middleware for Exactly-Once Semantics in Request-Response Interactions.

Naghmeh Ramezani Ivaki, Filipe Araújo, Raul Barbosa

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Replication for dependability on virtualized cloud environments.

Filipe Araújo, Raul Barbosa, António Casimiro

Proceedings of the 10th International Workshop on Middleware for Grids, 2012

TRONE: Trustworthy and Resilient Operations in a Network Environment.

António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

Fault Injection.

Raul Barbosa, Johan Karlsson, Henrique Madeira, Marco Vieira

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

Using partial dynamic FPGA reconfiguration to support real-time dependability.

José Luís Nunes, João Carlos Cunha, Raul Barbosa, Mário Zenha Rela

Proceedings of the 13th European Workshop on Dependable Computing, 2011

Toward dependability benchmarking of partitioning operating systems.

Raul Barbosa, Johan Karlsson, Qiu Yu, Xiaozhen Mao

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

Monitoring Local Progress with Watchdog Timers Deduced from Global Properties.

Raul Barbosa

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Shared Data from a Study of Measurement Uncertainty in Fault Injection.

Raul Barbosa, Daniel Skarin, Johan Karlsson

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

Comparing and Validating Measurements of Dependability Attributes.

Daniel Skarin, Raul Barbosa, Johan Karlsson

Proceedings of the Eighth European Dependable Computing Conference, 2010

Opportunities from standardization in automotive safety assessment.

Raul Barbosa, Johan Karlsson

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

GOOFI-2: A tool for experimental dependability assessment.

Daniel Skarin, Raul Barbosa, Johan Karlsson

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2008

Layered Fault Tolerance for Distributed Embedded Systems.

Raul Barbosa

PhD thesis, 2008

Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems.

Raul Barbosa, Johan Karlsson

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

On the Integrity of Lightweight Checkpoints.

Raul Barbosa, Johan Karlsson

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype.

Raul Barbosa, António Ferreira, Johan Karlsson

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

2006

Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems.

Raul Barbosa, Johan Karlsson

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

2005

Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency.

Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson

Proceedings of the Dependable Computing, 2005