Raul Barbosa

Visar 21 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

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
The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Vancouver, British Columbia, Canada December 2-4, 2013., p. 68-77
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)

Negin Fathollah Nejad Asl, Risat Pathan, Emilia Villani 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. .-
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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

Layered Fault Tolerance for Distributed Embedded Systems

Raul Barbosa
Doktorsavhandling
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
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
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
2007

Analysis of Robust Partitioning Mechanisms

Raul Barbosa, Johan Karlsson
Rapport
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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.