Raul Barbosa

Publikationer (22)
Projekt (0)

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

Visa projekt

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

2009

Experiences from Verifying a Partitioning Kernel Using Fault Injection

Raul Barbosa, Johan Karlsson

Rapport

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

Multi-Layer Fault Tolerance for Distributed Real-Time Systems

Raul Barbosa

Licentiatavhandling

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.