2016 Seventh Latin-American Symposium on Dependable Computing (LADC)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509051205

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.4 ◽

2016 ◽

Download Full-text

An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.22 ◽

2016 ◽

Cited By ~ 2

Author(s):

Denis Jeanneau ◽

Luiz A. Rodrigues ◽

Luciana Arantes ◽

Elias P. Duarte

Keyword(s):

Distributed Systems ◽

Failure Detector ◽

Reliable Broadcast ◽

Broadcast Protocol

Download Full-text

Towards Understanding the Value of False Positives in Static Code Analysis

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.25 ◽

2016 ◽

Author(s):

Carlo Dimastrogiovanni ◽

Nuno Laranjeiro

Keyword(s):

False Positives ◽

Code Analysis ◽

Static Code Analysis

Download Full-text

Message from the LADC 2016 General Chairs

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.5 ◽

2016 ◽

Download Full-text

Cover Art

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.41 ◽

2016 ◽

Keyword(s):

Cover Art

Download Full-text

Message from the WDES 2016 Workshop Chairs

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.7 ◽

2016 ◽

Download Full-text

Speeding-Up Simulation-Based Fault Injection of Complex HDL Models

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.18 ◽

2016 ◽

Cited By ~ 3

Author(s):

Ilya Tuzov ◽

Juan-Carlos Ruiz ◽

David De Andres ◽

Pedro Gil

Keyword(s):

Fault Injection ◽

Simulation Based

Download Full-text

Modeling Dependable Product-Families: From Use Cases to State Machine Models

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.28 ◽

2016 ◽

Cited By ~ 1

Author(s):

Leydi Erazo ◽

Eliane Martins ◽

Juliana Galvani Greghi

Keyword(s):

State Machine ◽

Use Cases ◽

Product Families

Download Full-text

LADC 2016 Organizing Committee

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.8 ◽

2016 ◽

Download Full-text

Two Convergence Problems for Robots on Graphs

2016 Seventh Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc.2016.21 ◽

2016 ◽

Cited By ~ 1

Author(s):

Armando Castaneda ◽

Sergio Rajsbaum ◽

Matthieu Roy

Keyword(s):

Convergence Problems

Download Full-text

2016 Seventh Latin-American Symposium on Dependable Computing (LADC)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Table of Contents

An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector

Towards Understanding the Value of False Positives in Static Code Analysis

Message from the LADC 2016 General Chairs

Cover Art

Message from the WDES 2016 Workshop Chairs

Speeding-Up Simulation-Based Fault Injection of Complex HDL Models

Modeling Dependable Product-Families: From Use Cases to State Machine Models

LADC 2016 Organizing Committee

Two Convergence Problems for Robots on Graphs

Export Citation Format

2016 Seventh Latin-American Symposium on Dependable Computing (LADC)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Table of Contents

An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector

Towards Understanding the Value of False Positives in Static Code Analysis

Message from the LADC 2016 General Chairs

Cover Art

Message from the WDES 2016 Workshop Chairs

Speeding-Up Simulation-Based Fault Injection of Complex HDL Models

Modeling Dependable Product-Families: From Use Cases to State Machine Models

LADC 2016 Organizing Committee

Two Convergence Problems for Robots on Graphs

2016 Seventh Latin-American Symposium on Dependable Computing (LADC)
Latest Publications