Raul Barbosa
Showing 22 publications
A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights
On probabilistic analysis of disagreement in synchronous consensus protocols
Benchmarking the Hardware Error Sensitivity of Machine Instructions
On reliability analysis of leader election protocols for virtual traffic lights
Reliability Analysis of Consensus in Cooperative Transport Systems (invited paper)
Toward dependability benchmarking of partitioning operating systems
Shared data from a study of measurement uncertainty in fault injection
Monitoring local progress with watchdog timers deduced from global properties
Comparing and validating measurements of dependability attributes
GOOFI-2: A tool for experimental dependability assessment
Opportunities from standardization in automotive safety assessment
Experiences from Verifying a Partitioning Kernel Using Fault Injection
Operating System Services for Recovering Errant Applications
On the Integrity of Lightweight Checkpoints
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype
Flexible, Cost-Effective Membership Agreement in Synchronous Systems
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency
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.