 | 2011 |
|---|
| 11 |       | Raul Barbosa,
Johan Karlsson,
Qiu Yu,
Xiaozhen Mao:
Toward dependability benchmarking of partitioning operating systems.
DSN 2011: 422-429 |
| 2010 |
|---|
| 10 | | Daniel Skarin,
Raul Barbosa,
Johan Karlsson:
GOOFI-2: A tool for experimental dependability assessment.
DSN 2010: 557-562 |
| 9 | | Daniel Skarin,
Raul Barbosa,
Johan Karlsson:
Comparing and Validating Measurements of Dependability Attributes.
EDCC 2010: 3-12 |
| 8 | | Raul Barbosa,
Johan Karlsson:
Opportunities from standardization in automotive safety assessment.
EDCC-CARS 2010: 61-63 |
| 7 | | Raul Barbosa,
Daniel Skarin,
Johan Karlsson:
Shared Data from a Study of Measurement Uncertainty in Fault Injection.
ICDCS Workshops 2010: 284-285 |
| 6 | | Raul Barbosa:
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties.
SRDS 2010: 131-140 |
| 2008 |
|---|
| 5 | | Raul Barbosa,
Johan Karlsson:
On the Integrity of Lightweight Checkpoints.
HASE 2008: 125-134 |
| 4 | | Raul Barbosa,
Johan Karlsson:
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems.
SIES 2008: 192-199 |
| 2007 |
|---|
| 3 | | Raul Barbosa,
António Ferreira,
Johan Karlsson:
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype.
PRDC 2007: 342-347 |
| 2006 |
|---|
| 2 | | Raul Barbosa,
Johan Karlsson:
Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems.
PRDC 2006: 105-113 |
| 2005 |
|---|
| 1 | | Raul Barbosa,
Jonny Vinter,
Peter Folkesson,
Johan Karlsson:
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency.
EDCC 2005: 246-262 |
Data released under the ODC-BY 1.0 license — See also our legal information page