Raul Barbosa

Publications (22)
Projects (0)

Showing 22 publications

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 in 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 in 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 in proceeding

Show project

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 in 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. .-

Other conference contribution

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 in 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 in 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

Other conference contribution

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

Other conference contribution

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

Other conference contribution

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 in 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 in proceeding

2009

Experiences from Verifying a Partitioning Kernel Using Fault Injection

Raul Barbosa, Johan Karlsson

Report

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

Other conference contribution

2008

Layered Fault Tolerance for Distributed Embedded Systems

Raul Barbosa

Doctoral thesis

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 in 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 in proceeding

2007

Multi-Layer Fault Tolerance for Distributed Real-Time Systems

Raul Barbosa

Licentiate thesis

2007

Analysis of Robust Partitioning Mechanisms

Raul Barbosa, Johan Karlsson

Report

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 in 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 in 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

Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Raul Barbosa participates, but you have to be logged in as a Chalmers employee to see them.