- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c14 |      | Antonio Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araujo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marilia Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan: TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops 2012: 1-6 |
| c13 | | Naghmeh Ivaki, Filipe Araujo, Raul Barbosa: A Middleware for Exactly-Once Semantics in Request-Response Interactions. PRDC 2012: 31-40 |
| c12 | | João M. Franco, Raul Barbosa, Mário Zenha Rela: Automated Reliability Prediction from Formal Architectural Descriptions. WICSA/ECSA 2012: 302-309 |
| 2011 | ||
| c11 | | Raul Barbosa, Johan Karlsson, Qiu Yu, Xiaozhen Mao: Toward dependability benchmarking of partitioning operating systems. DSN 2011: 422-429 |
| 2010 | ||
| c10 | | Daniel Skarin, Raul Barbosa, Johan Karlsson: GOOFI-2: A tool for experimental dependability assessment. DSN 2010: 557-562 |
| c9 | | Daniel Skarin, Raul Barbosa, Johan Karlsson: Comparing and Validating Measurements of Dependability Attributes. EDCC 2010: 3-12 |
| c8 | | Raul Barbosa, Johan Karlsson: Opportunities from standardization in automotive safety assessment. EDCC-CARS 2010: 61-63 |
| c7 | | Raul Barbosa, Daniel Skarin, Johan Karlsson: Shared Data from a Study of Measurement Uncertainty in Fault Injection. ICDCS Workshops 2010: 284-285 |
| c6 | | Raul Barbosa: Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. SRDS 2010: 131-140 |
| 2008 | ||
| c5 | | |
| c4 | | Raul Barbosa, Johan Karlsson: Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. SIES 2008: 192-199 |
| 2007 | ||
| c3 | | Raul Barbosa, António Ferreira, Johan Karlsson: Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype. PRDC 2007: 342-347 |
| 2006 | ||
| c2 | | Raul Barbosa, Johan Karlsson: Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems. PRDC 2006: 105-113 |
| 2005 | ||
| c1 | | Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson: Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. EDCC 2005: 246-262 |
Colors in the list of coauthors
Last update Sun May 19 19:07:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page