Raul Barbosa

Visar 22 publikationer

2017

A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights

Negin Fathollah Nejad Asl, Raul Barbosa, Johan Karlsson
Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, p. 311-320
Paper i proceeding
2014

On probabilistic analysis of disagreement in synchronous consensus protocols

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al
10th European Dependable Computing Conference, EDCC 2014; Newcastle upon Tyne; United Kingdom; 13 May 2014 through 16 May 2014, p. 23-34
Paper i proceeding
2013

On reliability analysis of leader election protocols for virtual traffic lights

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al
Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on
Paper i proceeding
2013

Benchmarking the Hardware Error Sensitivity of Machine Instructions

Behrooz Sangchoolie, Fatemeh Ayatolahi, Raul Barbosa et al
Proceedings of the 2013 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 9)
Paper i proceeding
2013

Reliability Analysis of Consensus in Cooperative Transport Systems (invited paper)

Emilia Villani, Negin Fathollah Nejad Asl, Risat Pathan et al
Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Toulouse : France (2013)SAFECOMP), Toulouse : France, 2013, p. .-
Övrigt konferensbidrag
2013

Probabilistic Analysis of a 1-of-n Selection Algorithm using a Moderately Pessimistic Decision Criterion

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al
Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, p. 68-77
Paper i proceeding
2011

Toward dependability benchmarking of partitioning operating systems

Raul Barbosa, Johan Karlsson, Qiu Yu et al
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks, DSN 2011; Hong Kong; 27 June 2011 through 30 June 2011, p. 422-429
Paper i proceeding
2010

Monitoring local progress with watchdog timers deduced from global properties

Raul Barbosa
29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010; New Delhi; India; 31 October 2010 through 3 November 2010, p. 131-140
Övrigt konferensbidrag
2010

Shared data from a study of measurement uncertainty in fault injection

Raul Barbosa, Daniel Skarin, Johan Karlsson
Proceedings - International Conference on Distributed Computing Systems, p. 284-285
Övrigt konferensbidrag
2010

Comparing and validating measurements of dependability attributes

Daniel Skarin, Raul Barbosa, Johan Karlsson
EDCC-8 - Proceedings of the 8th European Dependable Computing Conference, p. 3-12
Övrigt konferensbidrag
2010

Opportunities from standardization in automotive safety assessment

Raul Barbosa, Johan Karlsson
CARS '10 Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, p. 61-63
Paper i proceeding
2010

GOOFI-2: A tool for experimental dependability assessment

Daniel Skarin, Johan Karlsson, Raul Barbosa
Proceedings of the International Conference on Dependable Systems and Networks; 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010; Chicago, IL; 28 June 2010 through 1 July 2010, p. 557-562
Paper i proceeding
2008

Operating System Services for Recovering Errant Applications

Raul Barbosa
Proceedings Supplemental Volume of the 7th European Dependable Computing Conference (EDCC-7), p. 91-96
Övrigt konferensbidrag
2008

Layered Fault Tolerance for Distributed Embedded Systems

Raul Barbosa
Doktorsavhandling
2008

On the Integrity of Lightweight Checkpoints

Raul Barbosa, Johan Karlsson
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), p. 125-134
Paper i proceeding
2008

Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems

Raul Barbosa, Johan Karlsson
Proceedings of the 3rd IEEE International Symposium on Industrial Embedded Systems (SIES'2008), p. 216-223
Paper i proceeding
2007

Analysis of Robust Partitioning Mechanisms

Raul Barbosa, Johan Karlsson
Rapport
2007

Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype

Raul Barbosa, Antonio Ferreira, Johan Karlsson
Procceding of PRDC 2007 IEEE 13th Pacific Rim International Symposium on Dependable Computing, Dec. 17-19, 2007, Melbourne, Australia, p. 342-347
Paper i proceeding
2006

Flexible, Cost-Effective Membership Agreement in Synchronous Systems

Raul Barbosa, Johan Karlsson
12th Pacific Rim International Symposium on Dependable Computing, 18-20 December 2006, Riverside, California, USA, p. 105-112
Paper i proceeding
2005

Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency

Raul Barbosa, Jonny Vinter, Peter Folkesson et al
Proceedings 5th European Dependable Computing Conference (EDCC-5), 2005, Budapest., p. 246-262
Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Raul Barbosa medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.