


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.