default search action
Raul Barbosa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j19]Frederico Cerveira
, António Howcroft Ferreira
Resilient Virtualization. Computer 57(2): 70-78 (2024) - [j18]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): 395-418 (2024) - [j17]Iat Tou Leong
Translating meaning representations to behavioural interface specifications. J. Syst. Softw. 211: 112009 (2024) - 2023
- [j16]Stanley Lima, Filipe Araújo
Efficient Causal Access in Geo-Replicated Storage Systems. J. Grid Comput. 21(1): 8 (2023) - [j15]André Bento
Cost-Availability Aware Scaling: Towards Optimal Scaling of Cloud Services. J. Grid Comput. 21(4): 80 (2023) - [j14]Haytham Hijazi
Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension. IEEE Trans. Software Eng. 49(2): 626-645 (2023) - [c64]Jomar Domingos, Frederico Cerveira
Predicting Cloud Applications Failures from Infrastructure Level Data. DSN-W 2023: 9-16 - [c63]Iat Tou Leong, Raul Barbosa:
Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP. DSN-W 2023: 259-262 - [c62]Noé Godinho
OREOS: Demonstrating E2E Orchestration in 5G Networks with Open-Source Components. INFOCOM Workshops 2023: 1-2 - [c61]Marco Silva
O-RAN and RIC Compliant Solutions for Next Generation Networks. INFOCOM Workshops 2023: 1-7 - [c60]Goncalo Baptista
Defektor: An Extensible Tool for Fault Injection Campaign Management in Microservice Systems. SAC 2023: 184-187 - [c59]Rui Ferreira, João Pedro Fonseca
Demo: Enhancing Network Performance based on 5G Network Function and Slice Load Analysis. WoWMoM 2023: 340-342 - [c58]Marco Araújo, João Silva, Pedro M. Santos
Demo: Object detection under 5G-edge mobility. WoWMoM 2023: 343-345 - [i4]Raul Barbosa:
Petit programming language and compiler. CoRR abs/2311.14443 (2023) - 2022
- [j13]André Bernardes
How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks? Sensors 22(17): 6528 (2022) - [j12]Frederico Cerveira
The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers. IEEE Trans. Cloud Comput. 10(2): 1065-1081 (2022) - [c57]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: 41-48 - [c56]Raul Barbosa, Marco Araújo
AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access. INISTA 2022: 1-6 - [c55]André Bento
Bi-objective optimization of availability and cost for cloud services. NCA 2022: 45-53 - [c54]Pedro David Almeida, Frederico Cerveira
ucXception: A Framework for Evaluating Dependability of Software Systems. QRS 2022: 561-570 - [c53]António Morais, Raul Barbosa, Nuno Lourenço, Frederico Cerveira
Strategies for Improving the Error Robustness of Convolutional Neural Networks. QRS 2022: 874-883 - [c52]Maria José Sousa
Public Policies Vectors for Urban Greening Technological Strategies. WorldCIST (3) 2022: 284-293 - 2021
- [j11]Frederico Cerveira
Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor. IEEE Access 9: 105255-105269 (2021) - [j10]André Lizardo, Raul Barbosa, Samuel Neves
End-to-end secure group communication for the Internet of Things. J. Inf. Secur. Appl. 58: 102772 (2021) - [j9]Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87: 104349 (2021) - [j8]Raul Barbosa
Reductions and abstractions for formal verification of distributed round-based algorithms. Softw. Qual. J. 29(3): 705-731 (2021) - [c51]Iat Tou Leong
Generation of Oracles using Natural Language Processing. APSEC Workshops 2021: 25-31 - [c50]João Tomás, André Bento
Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management. EDCC Workshops 2021: 39-46 - [c49]Jomar Domingos, Raul Barbosa, Henrique Madeira
Why is it so hard to predict computer systems failures? EDCC 2021: 41-44 - [c48]Raul Barbosa, Diego Carvalho
A bag of nodes primer on weightless graph classification. ESANN 2021 - [c47]Sara Silva, Jaime Correia, André Bento
μ Viz: Visualization of Microservices. IV 2021: 120-128 - [c46]André Bento
A layered framework for root cause diagnosis of microservices. NCA 2021: 1-8 - [c45]Frederico Cerveira
Measuring lead times for failure prediction. PRDC 2021: 1-5 - [i3]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 abs/2112.14480 (2021) - 2020
- [j7]Rui Silva, Raul Barbosa
Intrusion Detection Systems for Mitigating SQL Injection Attacks: Review and State-of-Practice. Int. J. Inf. Secur. Priv. 14(2): 20-40 (2020) - [c44]Raul Barbosa
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. DSD 2020: 352-359 - [c43]João Martins, Raul Barbosa
Online Verification through Model Checking of Medical Critical Intelligent Systems. DSN Workshops 2020: 32-37 - [c42]Frederico Cerveira
Evaluation of RESTful frameworks under soft errors. ISSRE 2020: 369-379
2010 – 2019
- 2019
- [j6]Raul Barbosa
Emulating representative software vulnerabilities using field data. Computing 101(2): 119-138 (2019) - [j5]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): 318-347 (2019) - [c41]Frederico Cerveira
Fast Local VM Migration Against Hypervisor Corruption. EDCC 2019: 97-102 - [c40]Ricardo Couceiro
Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. ISSRE 2019: 93-103 - [c39]Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops 2019: 391-397 - [i2]Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira:
The most frequent programming mistakes that cause software vulnerabilities. CoRR abs/1912.01948 (2019) - 2018
- [j4]Raul Barbosa, Douglas de O. Cardoso
Weightless neuro-symbolic GPS trajectory classification. Neurocomputing 298: 100-108 (2018) - [j3]Alcides Fonseca
Language-Based Expression of Reliability and Parallelism for Low-Power Computing. IEEE Trans. Sustain. Comput. 3(3): 153-166 (2018) - [c38]Frederico Cerveira
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC 2018: 65-72 - [c37]Bruno Rodrigues, Frederico Cerveira
Virtualization: Past and Present Challenges. ICSOFT 2018: 789-795 - [c36]Frederico Cerveira
Exploratory Data Analysis of Fault Injection Campaigns. QRS 2018: 191-202 - 2017
- [c35]Frederico Cerveira
On the Emulation of Vulnerabilities through Software Fault Injection. EDCC 2017: 73-78 - [c34]Diego Carvalho, Felipe M. G. França, Raul Barbosa, Douglas de O. Cardoso:
A neuro-symbolic approach to GPS trajectory classification. ESANN 2017 - [c33]Eduardo Carvalho, Raul Barbosa
The Ability of Cloud Computing Performance Benchmarks to Measure Dependability. ICSOFT 2017: 447-452 - [c32]Frederico Cerveira
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. ISSRE 2017: 136-145 - [c31]Frederico Cerveira
Soft Errors Susceptibility of Virtualization Servers. PRDC 2017: 125-134 - [c30]Negin Fathollahnejad, Raul Barbosa
A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. PRDC 2017: 311-320 - 2016
- [j2]João Miguel Franco, Francisco Correia, Raul Barbosa
Improving self-adaptation planning through software architecture-based stochastic modeling. J. Syst. Softw. 115: 42-60 (2016) - [c29]Rui Silva, Raul Barbosa
Testing Snort with SQL Injection Attacks. C3S2E 2016: 129-130 - [c28]Goncalo Pereira, Raul Barbosa
Practical Emulation of Software Defects in Source Code. EDCC 2016: 130-140 - [c27]João Miguel Franco, Frederico Cerveira
Modeling the Failure Pathology of Software Components. QoSA 2016: 41-49 - [i1]Alcides Fonseca, Raul Barbosa
MISO: An intermediate language to express parallel and dependable programs. CoRR abs/1608.06171 (2016) - 2015
- [c26]Frederico Cerveira
Recovery for Virtualized Environments. EDCC 2015: 25-36 - 2014
- [j1]Filipe Araújo
Replica placement to mitigate attacks on clouds. J. Internet Serv. Appl. 5(1): 7:1-7:13 (2014) - [c25]Filipe Araújo
Taking an electronic ticketing system to the cloud: Design and discussion. IEEE BigData 2014: 1-10 - [c24]Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson:
On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. EDCC 2014: 23-34 - [c23]Rodrigo Nogueira, Filipe Araújo
CloudBFT: Elastic Byzantine Fault Tolerance. PRDC 2014: 180-189 - [c22]João Miguel Franco, Raul Barbosa, Mário Zenha Rela
Availability Evaluation of Software Architectures through Formal Methods. QUATIC 2014: 282-287 - 2013
- [c21]Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa
On reliability analysis of leader election protocols for virtual traffic lights. DSN Workshops 2013: 1-12 - [c20]Jose Luis Nunes, João Carlos Cunha
Evaluating Xilinx SEU Controller Macro for fault injection. DSN 2013: 1-2 - [c19]João Miguel Franco, Raul Barbosa
Reliability Analysis of Software Architecture Evolution. LADC 2013: 11-20 - [c18]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: 68-77 - [c17]Emília Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson:
Reliability Analysis of Consensus in Cooperative Transport Systems. ASCoMS@SAFECOMP 2013 - 2012
- [c16]António Casimiro
TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops 2012: 1-6 - [c15]Filipe Araújo
Replication for dependability on virtualized cloud environments. MGC@Middleware 2012: 2 - [c14]Naghmeh Ramezani Ivaki
A Middleware for Exactly-Once Semantics in Request-Response Interactions. PRDC 2012: 31-40 - [c13]João Miguel Franco, Raul Barbosa
Automated Reliability Prediction from Formal Architectural Descriptions. WICSA/ECSA 2012: 302-309 - [p1]Raul Barbosa, Johan Karlsson, Henrique Madeira, Marco Vieira:
Fault Injection. Resilience Assessment and Evaluation of Computing Systems 2012: 263-281 - 2011
- [c12]Raul Barbosa
Toward dependability benchmarking of partitioning operating systems. DSN 2011: 422-429 - [c11]José Luís Nunes, João Carlos Cunha
Using partial dynamic FPGA reconfiguration to support real-time dependability. EWDC 2011: 107-108 - 2010
- [c10]Daniel Skarin, Raul Barbosa
GOOFI-2: A tool for experimental dependability assessment. DSN 2010: 557-562 - [c9]Daniel Skarin, Raul Barbosa
Comparing and Validating Measurements of Dependability Attributes. EDCC 2010: 3-12 - [c8]Raul Barbosa
Opportunities from standardization in automotive safety assessment. EDCC-CARS 2010: 61-63 - [c7]Raul Barbosa
Shared Data from a Study of Measurement Uncertainty in Fault Injection. ICDCS Workshops 2010: 284-285 - [c6]Raul Barbosa
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. SRDS 2010: 131-140
2000 – 2009
- 2008
- [b1]Raul Barbosa:
Layered Fault Tolerance for Distributed Embedded Systems. Chalmers University of Technology, Gothenburg, Sweden, 2008 - [c5]Raul Barbosa
On the Integrity of Lightweight Checkpoints. HASE 2008: 125-134 - [c4]Raul Barbosa
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. SIES 2008: 192-199 - 2007
- [c3]Raul Barbosa, António Ferreira, Johan Karlsson:
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype. PRDC 2007: 342-347 - 2006
- [c2]Raul Barbosa
Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems. PRDC 2006: 105-113 - 2005
- [c1]Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson:
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. EDCC 2005: 246-262
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: