


default search action
6th LADC 2013: Rio de Janeiro, Brazil
- Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-5746-3

- Javier Cámara, Rogério de Lemos

, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Robustness Evaluation of Controllers in Self-Adaptive Software Systems. 1-10 - João Miguel Franco, Raul Barbosa

, Mário Zenha Rela
:
Reliability Analysis of Software Architecture Evolution. 11-20 - Dominik Sojer, Frank Reichenbach, Stein Erik Ellevseth, Christian Buckl

, Alois C. Knoll
:
A Model-Driven Approach for Runtime Reliability Analysis. 21-30 - João Figueiras, Jesper Grønbæk, Hans-Peter Schwefel, Andrea Bondavalli

:
Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites. 31-39 - Mona Qanadilo, Sufyan Samara

, Yuhong Zhao:
Accelerating Online Model Checking. 40-47 - Roverli Pereira Ziwich, Emanuel A. Schimidt, Elias P. Duarte Jr., Ingrid Jansch-Pôrto:

Diagnosis of Content Pollution in P2P Live Streaming Networks. 48-57 - Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno:

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. 58-67 - David C. van Moolenbroek, Raja Appuswamy

, Andrew S. Tanenbaum:
Battling Bad Bits with Checksums in the Loris Page Cache. 68-77 - Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Rim Akrout:

An Automated Approach to Generate Web Applications Attack Scenarios. 78-85 - Ivano Irrera, Carlos Pereira, Marco Vieira

:
The Time Dimension in Predicting Failures: A Case Study. 86-91 - Ivano Irrera, João Durães

, Henrique Madeira
, Marco Vieira
:
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. 92-97 - Joaquin Gracia-Moran

, Daniel Gil-Tomas, Luis J. Saiz-Adalid
, Juan-Carlos Baraza-Calvo
, Pedro J. Gil-Vicente
:
Defining a Representative and Low Cost Fault Model Set for Intermittent Faults in Microprocessor Buses. 98-103 - Ramon Marques Ramos, Magnos Martinello, Christian Esteve Rothenberg

:
Data Center Fault-Tolerant Routing and Forwarding: An Approach Based on Encoded Paths. 104-113 - Diogo Behrens, Stefan Weigert, Christof Fetzer:

Automatically Tolerating Arbitrary Faults in Non-malicious Settings. 114-123 - Francisco Maia

, Miguel Matos
, Rui Oliveira
, Etienne Rivière:
Slicing as a Distributed Systems Primitive. 124-133

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














