Raul Barbosa

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 60

Top Venues

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Frederico Cerveira, António Howcroft Ferreira, Raul Barbosa
Resilient Virtualization. Computer 57 (2) (2024)
Iat Tou Leong, Raul Barbosa
Translating meaning representations to behavioural interface specifications. J. Syst. Softw. 211 (2024)
Raul Barbosa, João Pedro Fonseca, Marco Araújo, Daniel Corujo
Vinia: Voice-enabled intent-based networking for industrial automation. Comput. Sci. Inf. Syst. 21 (1) (2024)
Haytham Hijazi, João Durães, Ricardo Couceiro, João Castelhano, Raul Barbosa, Júlio Medeiros, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension. IEEE Trans. Software Eng. 49 (2) (2023)
Marco Araújo, João Silva, Pedro M. Santos, Himanshu Singh, Deepak Gunjal, João Fonseca, Paulo Duarte, Bruno Mendes, Raul Barbosa, Peter Steenkiste, Saeid Sabamoniri, Luis Lam, João Pereira, Harrison Kurunathan
Demo: Object detection under 5G-edge mobility. WoWMoM (2023)
Rui Ferreira, João Pedro Fonseca, João Silva, Mayuri Tendulkar, Paulo Duarte, Marco Araújo, Raul Barbosa, Bruno Mendes, Adriano Almeida Góes
Demo: Enhancing Network Performance based on 5G Network Function and Slice Load Analysis. WoWMoM (2023)
Iat Tou Leong, Raul Barbosa
Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP. DSN-W (2023)
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
O-RAN and RIC Compliant Solutions for Next Generation Networks. INFOCOM Workshops (2023)
André Bento, Filipe Araújo, Raul Barbosa
Cost-Availability Aware Scaling: Towards Optimal Scaling of Cloud Services. J. Grid Comput. 21 (4) (2023)
Stanley Lima, Filipe Araújo, Miguel de Oliveira Guerreiro, Jaime Correia, André Bento, Raul Barbosa
Efficient Causal Access in Geo-Replicated Storage Systems. J. Grid Comput. 21 (1) (2023)
Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira
Predicting Cloud Applications Failures from Infrastructure Level Data. DSN-W (2023)
Raul Barbosa
Petit programming language and compiler. CoRR (2023)
Goncalo Baptista, Jaime Correia, André Bento, João Soares, Antonio Ferreira, João Durães, Raul Barbosa, Filipe Araújo
Defektor: An Extensible Tool for Fault Injection Campaign Management in Microservice Systems. SAC (2023)
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
OREOS: Demonstrating E2E Orchestration in 5G Networks with Open-Source Components. INFOCOM Workshops (2023)
André Bento, João Soares, António Ferreira, João Durães, José Ferreira, Rita Carreira, Filipe Araújo, Raul Barbosa
Bi-objective optimization of availability and cost for cloud services. NCA (2022)
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
How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks? Sensors 22 (17) (2022)
Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira
ucXception: A Framework for Evaluating Dependability of Software Systems. QRS (2022)
Raul Barbosa, Marco Araujo
AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access. INISTA (2022)
Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo
The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers. IEEE Trans. Cloud Comput. 10 (2) (2022)
Maria José Sousa, Waleska Campos, Luciana B. da Rosa, Raul Barbosa, M. Carolina Rodrigues, Miguel Sousa, Álvaro Rocha
Public Policies Vectors for Urban Greening Technological Strategies. WorldCIST (3) (2022)
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
Multidimensional Framework for Characterizing Verification and Validation of Automated Systems. EDCC (2022)
António Morais, Raul Barbosa, Nuno Lourenço, Frederico Cerveira, Michele Lombardi, Henrique Madeira
Strategies for Improving the Error Robustness of Convolutional Neural Networks. QRS (2022)
André Lizardo, Raul Barbosa, Samuel Neves, Jaime Correia, Filipe Araújo
End-to-end secure group communication for the Internet of Things. J. Inf. Secur. Appl. 58 (2021)
André Bento, Jaime Correia, João Durães, João Soares, Luís Ribeiro, António Ferreira, Rita Carreira, Filipe Araújo, Raul Barbosa
A layered framework for root cause diagnosis of microservices. NCA (2021)
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
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87 (2021)
João Tomás, André Bento, João Soares, Luís Ribeiro, António Ferreira, Rita Carreira, Filipe Araújo, Raul Barbosa
Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management. EDCC Workshops (2021)
Raul Barbosa, Diego Carvalho, Priscila Lima, Felipe M. G. França
A bag of nodes primer on weightless graph classification. ESANN (2021)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor. IEEE Access 9 (2021)
Iat Tou Leong, Raul Barbosa
Generation of Oracles using Natural Language Processing. APSEC Workshops (2021)
Jomar Domingos, Raul Barbosa, Henrique Madeira
Why is it so hard to predict computer systems failures? EDCC (2021)
Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira
Measuring lead times for failure prediction. PRDC (2021)
Sara Silva, Jaime Correia, André Bento, Filipe Araújo, Raul Barbosa
μ Viz: Visualization of Microservices. IV (2021)
Raul Barbosa, Alcides Fonseca, Filipe Araújo
Reductions and abstractions for formal verification of distributed round-based algorithms. Softw. Qual. J. 29 (3) (2021)
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
On some Foundational Aspects of Human-Centered Artificial Intelligence. CoRR (2021)
Rui Silva, Raul Barbosa, Jorge Bernardino
Intrusion Detection Systems for Mitigating SQL Injection Attacks: Review and State-of-Practice. Int. J. Inf. Secur. Priv. 14 (2) (2020)
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, A. Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. DSD (2020)
Frederico Cerveira, Rui André Oliveira, Raul Barbosa, Henrique Madeira
Evaluation of RESTful frameworks under soft errors. ISSRE (2020)
João Martins, Raul Barbosa, Nuno Lourenço, Jacques Robin, Henrique Madeira
Online Verification through Model Checking of Medical Critical Intelligent Systems. DSN Workshops (2020)
Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops (2019)
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
Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. ISSRE (2019)
Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira
Emulating representative software vulnerabilities using field data. Computing 101 (2) (2019)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Fast Local VM Migration Against Hypervisor Corruption. EDCC (2019)
Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
Soft error sensitivity and vulnerability of languages and their implementations. Int. J. Crit. Comput. Based Syst. 9 (4) (2019)
Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira
The most frequent programming mistakes that cause software vulnerabilities. CoRR (2019)
Bruno Rodrigues, Frederico Cerveira, Raul Barbosa, Jorge Bernardino
Virtualization: Past and Present Challenges. ICSOFT (2018)
Alcides Fonseca, Frederico Cerveira, Bruno Cabral, Raul Barbosa
Language-Based Expression of Reliability and Parallelism for Low-Power Computing. IEEE Trans. Sustain. Comput. 3 (3) (2018)
Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza
Exploratory Data Analysis of Fault Injection Campaigns. QRS (2018)
Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC (2018)
Raul Barbosa, Douglas de O. Cardoso, Diego Carvalho, Felipe M. G. França
Weightless neuro-symbolic GPS trajectory classification. Neurocomputing 298 (2018)
Negin Fathollahnejad, Raul Barbosa, Johan Karlsson
A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. PRDC (2017)
Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira
On the Emulation of Vulnerabilities through Software Fault Injection. EDCC (2017)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Soft Errors Susceptibility of Virtualization Servers. PRDC (2017)
Diego Carvalho, Felipe M. G. França, Raul Barbosa, Douglas de O. Cardoso
A neuro-symbolic approach to GPS trajectory classification. ESANN (2017)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. ISSRE (2017)
Eduardo Carvalho, Raul Barbosa, Jorge Bernardino
The Ability of Cloud Computing Performance Benchmarks to Measure Dependability. ICSOFT (2017)
Alcides Fonseca, Raul Barbosa
MISO: An intermediate language to express parallel and dependable programs. CoRR (2016)
Goncalo Pereira, Raul Barbosa, Henrique Madeira
Practical Emulation of Software Defects in Source Code. EDCC (2016)
Rui Silva, Raul Barbosa, Jorge Bernardino
Testing Snort with SQL Injection Attacks. C3S2E (2016)
João Miguel Franco, Francisco Correia, Raul Barbosa, Mário Zenha Rela, Bradley R. Schmerl, David Garlan
Improving self-adaptation planning through software architecture-based stochastic modeling. J. Syst. Softw. 115 (2016)
João Miguel Franco, Frederico Cerveira, Raul Barbosa, Mário Zenha Rela
Modeling the Failure Pathology of Software Components. QoSA (2016)
Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo
Recovery for Virtualized Environments. EDCC (2015)
Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson
On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. EDCC (2014)
João Miguel Franco, Raul Barbosa, Mário Zenha Rela
Availability Evaluation of Software Architectures through Formal Methods. QUATIC (2014)
Filipe Araújo, Marília Curado, Pedro Furtado, Raul Barbosa
Taking an electronic ticketing system to the cloud: Design and discussion. IEEE BigData (2014)
Rodrigo Nogueira, Filipe Araújo, Raul Barbosa
CloudBFT: Elastic Byzantine Fault Tolerance. PRDC (2014)
Filipe Araújo, Serhiy Boychenko, Raul Barbosa, António Casimiro
Replica placement to mitigate attacks on clouds. J. Internet Serv. Appl. 5 (1) (2014)
João Miguel Franco, Raul Barbosa, Mário Zenha Rela
Reliability Analysis of Software Architecture Evolution. LADC (2013)
Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson
On reliability analysis of leader election protocols for virtual traffic lights. DSN Workshops (2013)
Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson
Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. PRDC (2013)
Emília Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson
Reliability Analysis of Consensus in Cooperative Transport Systems. ASCoMS@SAFECOMP (2013)
Jose Luis Nunes, João Carlos Cunha, Raul Barbosa, Mário Zenha Rela
Evaluating Xilinx SEU Controller Macro for fault injection. DSN (2013)
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
TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops (2012)
João Miguel Franco, Raul Barbosa, Mário Zenha Rela
Automated Reliability Prediction from Formal Architectural Descriptions. WICSA/ECSA (2012)
Naghmeh Ramezani Ivaki, Filipe Araújo, Raul Barbosa
A Middleware for Exactly-Once Semantics in Request-Response Interactions. PRDC (2012)
Filipe Araújo, Raul Barbosa, António Casimiro
Replication for dependability on virtualized cloud environments. MGC@Middleware (2012)
José Luís Nunes, João Carlos Cunha, Raul Barbosa, Mário Zenha Rela
Using partial dynamic FPGA reconfiguration to support real-time dependability. EWDC (2011)
Raul Barbosa, Johan Karlsson, Qiu Yu, Xiaozhen Mao
Toward dependability benchmarking of partitioning operating systems. DSN (2011)
Daniel Skarin, Raul Barbosa, Johan Karlsson
Comparing and Validating Measurements of Dependability Attributes. EDCC (2010)
Raul Barbosa, Daniel Skarin, Johan Karlsson
Shared Data from a Study of Measurement Uncertainty in Fault Injection. ICDCS Workshops (2010)
Daniel Skarin, Raul Barbosa, Johan Karlsson
GOOFI-2: A tool for experimental dependability assessment. DSN (2010)
Raul Barbosa, Johan Karlsson
Opportunities from standardization in automotive safety assessment. EDCC-CARS (2010)
Raul Barbosa
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. SRDS (2010)
Raul Barbosa, Johan Karlsson
On the Integrity of Lightweight Checkpoints. HASE (2008)
Raul Barbosa, Johan Karlsson
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. SIES (2008)
Raul Barbosa, António Ferreira, Johan Karlsson
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype. PRDC (2007)
Raul Barbosa, Johan Karlsson
Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems. PRDC (2006)
Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. EDCC (2005)

Raul Barbosa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Raul Barbosa