Raul Barbosa - RankMe

94 papers A 6B 5C 18Misc 12Journal 24Unranked 27

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