Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. - Raul Barbosa; Jonny Vinter; Peter Folkesson; Johan Karlsson (EDCC, 2005)

Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems. - Raul Barbosa; Johan Karlsson (PRDC, 2006)

Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype. - Raul Barbosa; António Ferreira; Johan Karlsson (PRDC, 2007)

On the Integrity of Lightweight Checkpoints. - Raul Barbosa; Johan Karlsson (HASE, 2008)

Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. - Raul Barbosa; Johan Karlsson (SIES, 2008)

Layered Fault Tolerance for Distributed Embedded Systems. - Raul Barbosa (2008)

GOOFI-2: A tool for experimental dependability assessment. - Daniel Skarin; Raul Barbosa; Johan Karlsson (DSN, 2010)

Opportunities from standardization in automotive safety assessment. - Raul Barbosa; Johan Karlsson (EDCC-CARS, 2010)

Comparing and Validating Measurements of Dependability Attributes. - Daniel Skarin; Raul Barbosa; Johan Karlsson (EDCC, 2010)

Shared Data from a Study of Measurement Uncertainty in Fault Injection. - Raul Barbosa; Daniel Skarin; Johan Karlsson (ICDCS Workshops, 2010)

Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. - Raul Barbosa (SRDS, 2010)

Toward dependability benchmarking of partitioning operating systems. - Raul Barbosa; Johan Karlsson; Qiu Yu; Xiaozhen Mao (DSN, 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 (EWDC, 2011)

Fault Injection. - Raul Barbosa; Johan Karlsson; Henrique Madeira; Marco Vieira (Resilience Assessment and Evaluation of Computing Systems, 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 (DSN Workshops, 2012)

Replication for dependability on virtualized cloud environments. - Filipe Araújo; Raul Barbosa; António Casimiro (MGC@Middleware, 2012)

A Middleware for Exactly-Once Semantics in Request-Response Interactions. - Naghmeh Ramezani Ivaki; Filipe Araújo; Raul Barbosa (PRDC, 2012)

Automated Reliability Prediction from Formal Architectural Descriptions. - João Miguel Franco; Raul Barbosa; Mário Zenha Rela (WICSA/ECSA, 2012)

On reliability analysis of leader election protocols for virtual traffic lights. - Negin Fathollahnejad; Emília Villani; Risat Pathan; Raul Barbosa; Johan Karlsson (DSN Workshops, 2013)

Evaluating Xilinx SEU Controller Macro for fault injection. - Jose Luis Nunes; João Carlos Cunha; Raul Barbosa; Mário Zenha Rela (DSN, 2013)

Reliability Analysis of Software Architecture Evolution. - João Miguel Franco; Raul Barbosa; Mário Zenha Rela (LADC, 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 (PRDC, 2013)

Reliability Analysis of Consensus in Cooperative Transport Systems. - Emília Villani; Negin Fathollahnejad; Risat Pathan; Raul Barbosa; Johan Karlsson (ASCoMS@SAFECOMP, 2013)

Taking an electronic ticketing system to the cloud: Design and discussion. - Filipe Araújo; Marília Curado; Pedro Furtado 001; Raul Barbosa (IEEE BigData, 2014)

On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. - Negin Fathollahnejad; Emília Villani; Risat Pathan; Raul Barbosa; Johan Karlsson (EDCC, 2014)

CloudBFT: Elastic Byzantine Fault Tolerance. - Rodrigo Nogueira; Filipe Araújo; Raul Barbosa (PRDC, 2014)

Availability Evaluation of Software Architectures through Formal Methods. - João Miguel Franco; Raul Barbosa; Mário Zenha Rela (QUATIC, 2014)

Replica placement to mitigate attacks on clouds. - Filipe Araújo; Serhiy Boychenko; Raul Barbosa; António Casimiro (J. Internet Serv. Appl., 2014)

Recovery for Virtualized Environments. - Frederico Cerveira; Raul Barbosa; Henrique Madeira; Filipe Araújo (EDCC, 2015)

Testing Snort with SQL Injection Attacks. - Rui Silva; Raul Barbosa; Jorge Bernardino (C3S2E, 2016)

Practical Emulation of Software Defects in Source Code. - Goncalo Pereira; Raul Barbosa; Henrique Madeira (EDCC, 2016)

Modeling the Failure Pathology of Software Components. - João Miguel Franco; Frederico Cerveira; Raul Barbosa; Mário Zenha Rela (QoSA, 2016)

MISO: An intermediate language to express parallel and dependable programs. - Alcides Fonseca; Raul Barbosa (CoRR, 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)

On the Emulation of Vulnerabilities through Software Fault Injection. - Frederico Cerveira; Raul Barbosa; Marta Mercier; Henrique Madeira (EDCC, 2017)

A neuro-symbolic approach to GPS trajectory classification. - Diego Carvalho 001; Felipe M. G. França; Raul Barbosa; Douglas de O. Cardoso (ESANN, 2017)

The Ability of Cloud Computing Performance Benchmarks to Measure Dependability. - Eduardo Carvalho; Raul Barbosa; Jorge Bernardino (ICSOFT, 2017)

Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. - Frederico Cerveira; Raul Barbosa; Henrique Madeira (ISSRE, 2017)

Soft Errors Susceptibility of Virtualization Servers. - Frederico Cerveira; Raul Barbosa; Henrique Madeira (PRDC, 2017)

A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. - Negin Fathollahnejad; Raul Barbosa; Johan Karlsson (PRDC, 2017)

Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. - Frederico Cerveira; Alcides Fonseca; Raul Barbosa; Henrique Madeira (EDCC, 2018)

Virtualization: Past and Present Challenges. - Bruno Rodrigues; Frederico Cerveira; Raul Barbosa; Jorge Bernardino (ICSOFT, 2018)

Exploratory Data Analysis of Fault Injection Campaigns. - Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira; András Pataricza (QRS, 2018)

Weightless neuro-symbolic GPS trajectory classification. - Raul Barbosa; Douglas de O. Cardoso; Diego Carvalho 001; Felipe M. G. França (Neurocomputing, 2018)

Language-Based Expression of Reliability and Parallelism for Low-Power Computing. - Alcides Fonseca; Frederico Cerveira; Bruno Cabral 001; Raul Barbosa (IEEE Trans. Sustain. Comput., 2018)

Fast Local VM Migration Against Hypervisor Corruption. - Frederico Cerveira; Raul Barbosa; Henrique Madeira (EDCC, 2019)

Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. - Ricardo Couceiro; Paulo Carvalho 001; Miguel Castelo Branco; Henrique Madeira; Raul Barbosa; João Durães; Gonçalo Duarte; João Castelhano; Isabel Catarina Duarte; César Alexandre Teixeira; Nuno Laranjeiro; Julio Medeiros (ISSRE, 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 001; Salvador Abreu (SAFECOMP Workshops, 2019)

Emulating representative software vulnerabilities using field data. - Raul Barbosa; Frederico Cerveira; Luís Gonçalo; Henrique Madeira (Computing, 2019)

The most frequent programming mistakes that cause software vulnerabilities. - Raul Barbosa; Frederico Cerveira; Luís Gonçalo; Henrique Madeira (CoRR, 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 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; et al. (DSD, 2020)

Online Verification through Model Checking of Medical Critical Intelligent Systems. - João Martins; Raul Barbosa; Nuno Lourenço 002; Jacques Robin; Henrique Madeira (DSN Workshops, 2020)

Evaluation of RESTful frameworks under soft errors. - Frederico Cerveira; Rui André Oliveira; Raul Barbosa; Henrique Madeira (ISSRE, 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)

Generation of Oracles using Natural Language Processing. - Iat Tou Leong; Raul Barbosa (APSEC Workshops, 2021)

Why is it so hard to predict computer systems failures? - Jomar Domingos; Raul Barbosa; Henrique Madeira (EDCC, 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 (EDCC Workshops, 2021)

A bag of nodes primer on weightless graph classification. - Raul Barbosa; Diego Carvalho 001; Priscila Lima 001; Felipe M. G. França (ESANN, 2021)

μ Viz: Visualization of Microservices. - Sara Silva; Jaime Correia; André Bento; Filipe Araújo; Raul Barbosa (IV, 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 (NCA, 2021)

Measuring lead times for failure prediction. - Frederico Cerveira; Jomar Domingos; Raul Barbosa; Henrique Madeira (PRDC, 2021)

Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor. - Frederico Cerveira; Raul Barbosa; Henrique Madeira (IEEE Access, 2021)

On some Foundational Aspects of Human-Centered Artificial Intelligence. - Luciano Serafini; Raul Barbosa; Jasmin Grosinger 001; Luca Iocchi; Christian Napoli 001; Salvatore Rinzivillo; Jacques Robin; Alessandro Saffiotti; Teresa Scantamburlo; Peter Schüller; Paolo Traverso; Javier Vázquez-Salceda (CoRR, 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)

Reductions and abstractions for formal verification of distributed round-based algorithms. - Raul Barbosa; Alcides Fonseca; Filipe Araújo (Softw. Qual. J., 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 002; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; et al. (Microprocess. Microsystems, 2021)

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 (EDCC, 2022)

AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access. - Raul Barbosa; Marco Araújo (INISTA, 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 (NCA, 2022)

ucXception: A Framework for Evaluating Dependability of Software Systems. - Pedro David Almeida; Frederico Cerveira; Raul Barbosa; Henrique Madeira (QRS, 2022)

Strategies for Improving the Error Robustness of Convolutional Neural Networks. - António Morais; Raul Barbosa; Nuno Lourenço 002; Frederico Cerveira; Michele Lombardi 001; Henrique Madeira (QRS, 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 001 (WorldCIST (3), 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 001; Marco Simões; João Durães; Raul Barbosa; Henrique Madeira; Paulo Carvalho 001 (Sensors, 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)

Predicting Cloud Applications Failures from Infrastructure Level Data. - Jomar Domingos; Frederico Cerveira; Raul Barbosa; Henrique Madeira (DSN-W, 2023)

Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP. - Iat Tou Leong; Raul Barbosa (DSN-W, 2023)

OREOS: Demonstrating E2E Orchestration in 5G Networks with Open-Source Components. - Noé Godinho; Paulo Duarte; Paulo Martins 006; David Perez Abreu; Raul Barbosa; Bruno Mendes; João Pedro Fonseca 001; Marco Silva; Marco Araújo; João Silva; Karima Velasquez; Bruno Sousa; et al. (INFOCOM Workshops, 2023)

O-RAN and RIC Compliant Solutions for Next Generation Networks. - Marco Silva; João Pedro Fonseca 001; 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; et al. (INFOCOM Workshops, 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 (SAC, 2023)

Demo: Object detection under 5G-edge mobility. - Marco Araújo; João Silva; Pedro M. Santos 002; Himanshu Singh; Deepak Gunjal; João Pedro Fonseca 001; Paulo Duarte; Bruno Mendes; Raul Barbosa; Peter Steenkiste; Saeid Sabamoniri; Luis Lam; et al. (WoWMoM, 2023)

Demo: Enhancing Network Performance based on 5G Network Function and Slice Load Analysis. - Rui Ferreira; João Pedro Fonseca 001; João Silva; Mayuri Tendulkar; Paulo Duarte; Marco Araújo; Raul Barbosa; Bruno Mendes; Adriano Almeida Góes (WoWMoM, 2023)

Petit programming language and compiler. - Raul Barbosa (CoRR, 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 001; Henrique Madeira (IEEE Trans. Software Eng., 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., 2023)

Cost-Availability Aware Scaling: Towards Optimal Scaling of Cloud Services. - André Bento; Filipe Araújo; Raul Barbosa (J. Grid Comput., 2023)

Vinia: Voice-enabled intent-based networking for industrial automation. - Raul Barbosa; João Pedro Fonseca 001; Marco Araújo; Daniel Corujo (Comput. Sci. Inf. Syst., 2024)

Translating meaning representations to behavioural interface specifications. - Iat Tou Leong; Raul Barbosa (J. Syst. Softw., 2024)

Resilient Virtualization. - Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa (Computer, 2024)

Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications. - Iat Tou Leong; Aleksandar Avdalovic; Raul Barbosa (DSN-W, 2025)

Demo: Mobility-Aware 5G Vehicles Handover via Location-Based RTT Prediction. - Raul Barbosa; Bruno Mendes; Afonso Teixeira; Marco Araújo; Daniel Corujo; Petia Georgieva; Susana Sargento (VNC, 2025)