default search action
8th LADC 2018: Foz do Iguaçu, Brazil
- 8th Latin-American Symposium on Dependable Computing, LADC 2018, Foz do Iguaçu, Brazil, October 8-10, 2018. IEEE 2018, ISBN 978-1-5386-8489-4
Invited Papers
- Avelino F. Zorzo, Henry C. Nunes, Roben Castagna Lunardi, Regio A. Michelin, Salil S. Kanhere:
Dependable IoT Using Blockchain-Based Technology. 1-9 - Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
Parametric Uncertainty Propagation through Dependability Models. 10-18 - Klaus Wehmuth, Artur Ziviani:
Avoiding Spurious Paths in Centralities Based on Shortest Paths in High Order Networks. 19-26
Regular Papers
- Ana Duarte, Nuno Antunes:
An Empirical Study of Docker Vulnerabilities and of Static Code Analysis Applicability. 27-36 - André Monteiro, Felipe da Rocha Henriques:
QMapper: Dynamic Power and Performance Management in Virtualized Web Servers Clusters. 37-46 - Daniel Pedraja, Javier Baliosian, Gustavo Betarte:
Offloading Cryptographic Services to the SIM Card. 47-56 - Diego Sierra, Juan Briceno, Hector Buitrago, Brian Rozo, Leonardo Montecchi, Ivan Mura:
Probabilistic Modeling of Failure Domino Effects in Chemical Plants. 57-66 - Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. 67-76 - Eduardo Alchieri, Fernando Luís Dotti, Parisa Jalili Marandi, Odorico Machado Mendizabal, Fernando Pedone:
Boosting State Machine Replication with Concurrent Execution. 77-86 - Giacomo Morganti, Enrico Schiavone, Andrea Bondavalli:
Risk Assessment of Blockchain Technology. 87-96 - Ilya Tuzov, David de Andrés, Juan Carlos Ruiz:
Speeding-Up Robustness Assessment of HDL Models through Profiling and Multi-Level Fault Injection. 97-106 - Joaquin Gracia-Moran, Luis J. Saiz-Adalid, Juan-Carlos Baraza-Calvo, Pedro J. Gil:
Correction of Adjacent Errors with Low Redundant Matrix Error Correction Codes. 107-114 - Luiz A. Rodrigues, Elias P. Duarte Jr., João Paulo de Araujo, Luciana Arantes, Pierre Sens:
Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms. 115-124 - Marcus Kimura Lopes, Ricardo Bedin França, Celso Massaki Hirata, Luiz Alberto Vieira Dias:
Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. 125-134 - Mohamad Gharib, Leandro Dias da Silva, Hanna Kavalionak, Andrea Ceccarelli:
A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems. 135-144 - Roberto Milton Scheffel, Antônio Augusto Fröhlich:
WSN Data Confidence Attribution Using Predictors. 145-154
Practical Experience Reports
- Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Multi-hop Byzantine Reliable Broadcast Made Practical. 155-160 - Charles F. Gonçalves, Nuno Antunes, Marco Vieira:
Evaluating the Applicability of Robustness Testing in Virtualized Environments. 161-166
Short Papers
- Christian Fluri, Darya Melnyk, Roger Wattenhofer:
Improving Raft When There Are Failures. 167-170 - Jianwen Xiang, Lang Liu, Ming Yang, Siwei Zhou, Luyao Ye, Caisheng Weng, Dongdong Zhao, Jing Tian:
Crane: A Tool for Reliability Analysis with Different Coverage Models. 171-174
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.