The Community for Technology Leaders
2013 Sixth Latin-American Symposium on Dependable Computing (LADC) (2013)
Rio de Janeiro
April 1, 2013 to April 5, 2013
ISBN: 978-1-4673-5746-3
TABLE OF CONTENTS

Robustness Evaluation of Controllers in Self-Adaptive Software Systems (Abstract)

J. Camara , Univ. of Coimbra, Coimbra, Portugal
Rogerio de Lemos , Univ. of Kent, Canterburt, UK
N. Laranjeiro , Univ. of Coimbra, Coimbra, Portugal
R. Ventura , Univ. of Coimbra, Coimbra, Portugal
M. Vieira , Univ. of Coimbra, Coimbra, Portugal
pp. 1-10

Reliability Analysis of Software Architecture Evolution (Abstract)

J. M. Franco , Univ. of Coimbra, Coimbra, Portugal
R. Barbosa , Univ. of Coimbra, Coimbra, Portugal
M. Zenha-Rela , Univ. of Coimbra, Coimbra, Portugal
pp. 11-20

A Model-Driven Approach for Runtime Reliability Analysis (Abstract)

D. Sojer , Cyber-Phys. Syst., fortiss GmbH, Munich, Germany
F. Reichenbach , ABB Corp. Res., Billingstad, Norway
S-E Ellevseth , ABB Corp. Res., Billingstad, Norway
C. Buckl , Cyber-Phys. Syst., fortiss GmbH, Munich, Germany
A. Knoll , Dept. of Inf., Tech. Univ. Munchen, Garching, Germany
pp. 21-30

Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites (Abstract)

J. Figueiras , Telecommun. Res. Center Vienna (FTW), Vienna, Austria
J. Gronbaek , Telecommun. Res. Center Vienna (FTW), Vienna, Austria
H. Schwefel , Inst. of Electron. Syst., Aalborg Univ., Aalborg, Denmark
A. Bondavalli , Univ. of Firenze, Florence, Italy
pp. 31-39

Accelerating Online Model Checking (Abstract)

M. Qanadilo , Comput. Eng. Dept., An Najah Nat. Univ., Nablus, Palestinian Authority
S. Samara , Comput. Eng. Dept., An Najah Nat. Univ., Nablus, Palestinian Authority
Yuhong Zhao , Heinz Nixdorf Inst., Paderborn Univ., Paderborn, Germany
pp. 40-47

Diagnosis of Content Pollution in P2P Live Streaming Networks (Abstract)

R. P. Ziwich , Dept. Inf., Fed. Univ. of Parana (UFPR), Curitiba, Brazil
E. A. Schimidt , Dept. Inf., Fed. Univ. of Parana (UFPR), Curitiba, Brazil
E. P. Duarte , Dept. Inf., Fed. Univ. of Parana (UFPR), Curitiba, Brazil
I. Jansch-Porto , Inf. Inst., Fed. Univ. of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil
pp. 48-57

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates (Abstract)

Jianwen Xiang , Central Res. Labs., NEC Corp., Kawasaki, Japan
F. Machida , Central Res. Labs., NEC Corp., Kawasaki, Japan
K. Tadano , Central Res. Labs., NEC Corp., Kawasaki, Japan
K. Yanoo , Central Res. Labs., NEC Corp., Kawasaki, Japan
Wei Sun , Central Res. Labs., NEC Corp., Kawasaki, Japan
Y. Maeno , Central Res. Labs., NEC Corp., Kawasaki, Japan
pp. 58-67

Battling Bad Bits with Checksums in the Loris Page Cache (Abstract)

D. C. van Moolenbroek , Dept. of Comput. Sci., Vrije Univ., Amsterdam, Netherlands
R. Appuswamy , Dept. of Comput. Sci., Vrije Univ., Amsterdam, Netherlands
A. S. Tanenbaum , Dept. of Comput. Sci., Vrije Univ., Amsterdam, Netherlands
pp. 68-77

An Automated Approach to Generate Web Applications Attack Scenarios (Abstract)

E. Alata , LAAS, Toulouse, France
M. Kaaniche , LAAS, Toulouse, France
V. Nicomette , LAAS, Toulouse, France
R. Akrout , LAAS, Toulouse, France
pp. 78-85

Assessing the Impact of Virtualization on the Generation of Failure Prediction Data (Abstract)

I. Irrera , CISUC, Univ. of Coimbra, Coimbra, Portugal
J. Duraes , CISUC, Univ. of Coimbra, Coimbra, Portugal
H. Madeira , CISUC, Univ. of Coimbra, Coimbra, Portugal
M. Vieira , CISUC, Univ. of Coimbra, Coimbra, Portugal
pp. 92-97

Defining a Representative and Low Cost Fault Model Set for Intermittent Faults in Microprocessor Buses (Abstract)

J. Gracia-Moran , Sist. Tolerantes a Fallos (STF) - Inst. ITACA, Univ. Politec. de Valencia (UPV), Valencia, Spain
D. Gil-Tomas , Sist. Tolerantes a Fallos (STF) - Inst. ITACA, Univ. Politec. de Valencia (UPV), Valencia, Spain
L. Saiz-Adalid , Sist. Tolerantes a Fallos (STF) - Inst. ITACA, Univ. Politec. de Valencia (UPV), Valencia, Spain
J. Baraza-Calvo , Sist. Tolerantes a Fallos (STF) - Inst. ITACA, Univ. Politec. de Valencia (UPV), Valencia, Spain
P. Gil-Vicente , Sist. Tolerantes a Fallos (STF) - Inst. ITACA, Univ. Politec. de Valencia (UPV), Valencia, Spain
pp. 98-103

Data Center Fault-Tolerant Routing and Forwarding: An Approach Based on Encoded Paths (Abstract)

R. M. Ramos , Fed. Univ. of Espirito Santo (UFES), Vitoria, Brazil
M. Martinello , Fed. Univ. of Espirito Santo (UFES), Vitoria, Brazil
C. E. Rothenberg , Telecom R&D Center (CPqD), Campinas, Brazil
pp. 104-113

Automatically Tolerating Arbitrary Faults in Non-malicious Settings (Abstract)

D. Behrens , Syst. Eng. Group, Tech. Univ. Dresden, Dresden, Germany
S. Weigert , Syst. Eng. Group, Tech. Univ. Dresden, Dresden, Germany
C. Fetzer , Syst. Eng. Group, Tech. Univ. Dresden, Dresden, Germany
pp. 114-123

Slicing as a Distributed Systems Primitive (Abstract)

F. Maia , High-Assurance Software Lab., INESC TEC & Univ. of Minho, Braga, Portugal
M. Matos , High-Assurance Software Lab., INESC TEC & Univ. of Minho, Braga, Portugal
R. Oliveira , High-Assurance Software Lab., INESC TEC & Univ. of Minho, Braga, Portugal
E. Riviere , Univ. de Neuchatel, Neuchatel, Switzerland
pp. 124-133
222 ms
(Ver 3.3 (11022016))