Raul Barbosa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
21
Active years
2005–2026
Best venue rank
A*
Where they publish
- UnrankedEDCC12 papers
- ADSN9 papers
- CPRDC8 papers
- A*INFOCOM3 papers
- CQRS3 papers
- AISSRE3 papers
- CWoWMoM2 papers
- BNCA2 papers
- BESANN2 papers
- BSAFECOMP2 papers
- CICSoft2 papers
- BNetSoft1 paper
- MulticonferenceSAC1 paper
- CINISTA1 paper
- CWorldCIST1 paper
- CAPSEC1 paper
- CIV1 paper
- CDSD1 paper
- NationalQUATIC1 paper
- AMiddleware1 paper
- BSRDS1 paper
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NetSoft | A GenAI-Driven Multi-Agent Framework for Explainable Intent-Based Slice Recommendation. | Rui Ferreira, Raul Barbosa, Marco Arajo, Petia Georgieva, Susana Sargento, Anabela Tereso, Paulo Novais, Pedro Rito, Bruno Mendes |
| 2025 | DSN | Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications. | Iat Tou Leong, Aleksandar Avdalovic, Raul Barbosa |
| 2025 | INFOCOM | A Graph Convolutional Network-Based Approach for Dynamic Connectivity Prediction in 5G Networks. | Raul Barbosa, Marco Arajo, Petia Georgieva, Susana Sargento, Pedro Rito |
| 2023 | DSN | Predicting Cloud Applications Failures from Infrastructure Level Data. | Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2023 | DSN | Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP. | Iat Tou Leong, Raul Barbosa |
| 2023 | INFOCOM | OREOS: Demonstrating E2E Orchestration in 5G Networks with Open-Source Components. | No Godinho, Paulo Duarte, Paulo Martins, David Perez Abreu, Raul Barbosa, Bruno Mendes, Joo Pedro Fonseca, Marco Silva, Marco Arajo, Joo Silva, Karima Velasquez, Bruno Sousa, Marlia Curado, Adriano Almeida Ges |
| 2023 | INFOCOM | O-RAN and RIC Compliant Solutions for Next Generation Networks. | Marco Silva, Joo Pedro Fonseca, David Perez Abreu, Paulo Romero Martins Maciel, Paulo Duarte, Raul Barbosa, Bruno Mendes, Joo Silva, Adriano Almeida Ges, Marco Arajo, Bruno Sousa, Marlia Curado, Jos Santos |
| 2023 | SAC | Defektor: An Extensible Tool for Fault Injection Campaign Management in Microservice Systems. | Goncalo Baptista, Jaime Correia, Andr Bento, Joo Soares, Antonio Ferreira, Joo Dures, Raul Barbosa, Filipe Arajo |
| 2023 | WoWMoM | Demo: Object detection under 5G-edge mobility. | Marco Arajo, Joo Silva, Pedro M. Santos, Himanshu Singh, Deepak Gunjal, Joo Pedro Fonseca, Paulo Duarte, Bruno Mendes, Raul Barbosa, Peter Steenkiste, Saeid Sabamoniri, Luis Lam, Joo Pereira, Harrison Kurunathan |
| 2023 | WoWMoM | Demo: Enhancing Network Performance based on 5G Network Function and Slice Load Analysis. | Rui Ferreira, Joo Pedro Fonseca, Joo Silva, Mayuri Tendulkar, Paulo Duarte, Marco Arajo, Raul Barbosa, Bruno Mendes, Adriano Almeida Ges |
| 2022 | EDCC | 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 |
| 2022 | INISTA | AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access. | Raul Barbosa, Marco Arajo |
| 2022 | NCA | Bi-objective optimization of availability and cost for cloud services. | Andr Bento, Joo Soares, Antnio Ferreira, Joo Dures, Jos Ferreira, Rita Carreira, Filipe Arajo, Raul Barbosa |
| 2022 | QRS | ucXception: A Framework for Evaluating Dependability of Software Systems. | Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2022 | QRS | Strategies for Improving the Error Robustness of Convolutional Neural Networks. | Antnio Morais, Raul Barbosa, Nuno Loureno, Frederico Cerveira, Michele Lombardi, Henrique Madeira |
| 2022 | WorldCIST | 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 |
| 2021 | APSEC | Generation of Oracles using Natural Language Processing. | Iat Tou Leong, Raul Barbosa |
| 2021 | EDCC | Why is it so hard to predict computer systems failures? | Jomar Domingos, Raul Barbosa, Henrique Madeira |
| 2021 | EDCC | Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management. | Joo Toms, Andr Bento, Joo Soares, Lus Ribeiro, Antnio Ferreira, Rita Carreira, Filipe Arajo, Raul Barbosa |
| 2021 | ESANN | A bag of nodes primer on weightless graph classification. | Raul Barbosa, Diego Carvalho, Priscila Lima, Felipe M. G. Frana |
| 2021 | IV | μ Viz: Visualization of Microservices. | Sara Silva, Jaime Correia, Andr Bento, Filipe Arajo, Raul Barbosa |
| 2021 | NCA | A layered framework for root cause diagnosis of microservices. | Andr Bento, Jaime Correia, Joo Dures, Joo Soares, Lus Ribeiro, Antnio Ferreira, Rita Carreira, Filipe Arajo, Raul Barbosa |
| 2021 | PRDC | Measuring lead times for failure prediction. | Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira |
| 2020 | DSD | 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, Alper Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie |
| 2020 | DSN | Online Verification through Model Checking of Medical Critical Intelligent Systems. | Joo Martins, Raul Barbosa, Nuno Loureno, Jacques Robin, Henrique Madeira |
| 2020 | ISSRE | Evaluation of RESTful frameworks under soft errors. | Frederico Cerveira, Rui Andr Oliveira, Raul Barbosa, Henrique Madeira |
| 2019 | EDCC | Fast Local VM Migration Against Hypervisor Corruption. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2019 | ISSRE | Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. | Ricardo Couceiro, Paulo Carvalho, Miguel Castelo Branco, Henrique Madeira, Raul Barbosa, Joo Dures, Gonalo Duarte, Joo Castelhano, Isabel Catarina Duarte, Csar Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros |
| 2019 | SAFECOMP | A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. | Jacques Robin, Ral Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu |
| 2018 | EDCC | Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. | Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira |
| 2018 | ICSoft | Virtualization: Past and Present Challenges. | Bruno Rodrigues, Frederico Cerveira, Raul Barbosa, Jorge Bernardino |
| 2018 | QRS | Exploratory Data Analysis of Fault Injection Campaigns. | Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, Andrs Pataricza |
| 2017 | EDCC | On the Emulation of Vulnerabilities through Software Fault Injection. | Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira |
| 2017 | ESANN | A neuro-symbolic approach to GPS trajectory classification. | Diego Carvalho, Felipe M. G. Frana, Raul Barbosa, Douglas de O. Cardoso |
| 2017 | ICSoft | The Ability of Cloud Computing Performance Benchmarks to Measure Dependability. | Eduardo Carvalho, Raul Barbosa, Jorge Bernardino |
| 2017 | ISSRE | Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2017 | PRDC | Soft Errors Susceptibility of Virtualization Servers. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2017 | PRDC | A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. | Negin Fathollahnejad, Raul Barbosa, Johan Karlsson |
| 2016 | EDCC | Practical Emulation of Software Defects in Source Code. | Goncalo Pereira, Raul Barbosa, Henrique Madeira |
| 2015 | EDCC | Recovery for Virtualized Environments. | Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Arajo |
| 2014 | EDCC | On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2014 | PRDC | CloudBFT: Elastic Byzantine Fault Tolerance. | Rodrigo Nogueira, Filipe Arajo, Raul Barbosa |
| 2014 | QUATIC | Availability Evaluation of Software Architectures through Formal Methods. | Joo Miguel Franco, Raul Barbosa, Mrio Zenha Rela |
| 2013 | DSN | On reliability analysis of leader election protocols for virtual traffic lights. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | DSN | Evaluating Xilinx SEU Controller Macro for fault injection. | Jose Luis Nunes, Joo Carlos Cunha, Raul Barbosa, Mrio Zenha Rela |
| 2013 | PRDC | Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | SAFECOMP | Reliability Analysis of Consensus in Cooperative Transport Systems. | Emlia Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2012 | DSN | TRONE: Trustworthy and Resilient Operations in a Network Environment. | Antnio Casimiro, Paulo Verssimo, Diego Kreutz, Filipe Arajo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marlia Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan |
| 2012 | Middleware | Replication for dependability on virtualized cloud environments. | Filipe Arajo, Raul Barbosa, Antnio Casimiro |
| 2012 | PRDC | A Middleware for Exactly-Once Semantics in Request-Response Interactions. | Naghmeh Ramezani Ivaki, Filipe Arajo, Raul Barbosa |
| 2011 | DSN | Toward dependability benchmarking of partitioning operating systems. | Raul Barbosa, Johan Karlsson, Qiu Yu, Xiaozhen Mao |
| 2010 | DSN | GOOFI-2: A tool for experimental dependability assessment. | Daniel Skarin, Raul Barbosa, Johan Karlsson |
| 2010 | EDCC | Opportunities from standardization in automotive safety assessment. | Raul Barbosa, Johan Karlsson |
| 2010 | EDCC | Comparing and Validating Measurements of Dependability Attributes. | Daniel Skarin, Raul Barbosa, Johan Karlsson |
| 2010 | SRDS | Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. | Raul Barbosa |
| 2007 | PRDC | Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype. | Raul Barbosa, Antnio Ferreira, Johan Karlsson |
| 2006 | PRDC | Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems. | Raul Barbosa, Johan Karlsson |
| 2005 | EDCC | Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. | Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson |