|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Raul Barbosa, Johan Karlsson, Qiu Yu, Xiaozhen Mao |
Toward dependability benchmarking of partitioning operating systems.  |
DSN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Daniel Skarin, Johan Karlsson |
Shared Data from a Study of Measurement Uncertainty in Fault Injection. |
ICDCS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Skarin, Raul Barbosa, Johan Karlsson |
GOOFI-2: A tool for experimental dependability assessment. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa |
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
watchdogs, fault tolerance, distributed systems, model checking, intrusion tolerance, online monitoring |
| 1 | Daniel Skarin, Raul Barbosa, Johan Karlsson |
Comparing and Validating Measurements of Dependability Attributes. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Johan Karlsson |
Opportunities from standardization in automotive safety assessment. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Johan Karlsson |
On the Integrity of Lightweight Checkpoints. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Johan Karlsson |
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, António Ferreira, Johan Karlsson |
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Johan Karlsson |
Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson |
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")