Abstract is missing.
- Dependable IoT Using Blockchain-Based TechnologyAvelino F. Zorzo, Henry C. Nunes, Roben C. Lunardi, Regio A. Michelin, Salil S. Kanhere. 1-9 [doi]
- Parametric Uncertainty Propagation through Dependability ModelsHiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi. 10-18 [doi]
- Avoiding Spurious Paths in Centralities Based on Shortest Paths in High Order NetworksKlaus Wehmuth, Artur Ziviani. 19-26 [doi]
- An Empirical Study of Docker Vulnerabilities and of Static Code Analysis ApplicabilityAna Duarte, Nuno Antunes. 27-36 [doi]
- QMapper: Dynamic Power and Performance Management in Virtualized Web Servers ClustersAndré Monteiro, Felipe da Rocha Henriques. 37-46 [doi]
- Offloading Cryptographic Services to the SIM CardDaniel Pedraja, Javier Baliosian, Gustavo Betarte. 47-56 [doi]
- Probabilistic Modeling of Failure Domino Effects in Chemical PlantsDiego Sierra, Juan Briceno, Hector Buitrago, Brian Rozo, Leonardo Montecchi, Ivan Mura. 57-66 [doi]
- Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value StoresDuong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas. 67-76 [doi]
- Boosting State Machine Replication with Concurrent ExecutionEduardo Alchieri, Fernando Luís Dotti, Parisa Jalili Marandi, Odorico Machado Mendizabal, Fernando Pedone. 77-86 [doi]
- Risk Assessment of Blockchain TechnologyGiacomo Morganti, Enrico Schiavone, Andrea Bondavalli. 87-96 [doi]
- Speeding-Up Robustness Assessment of HDL Models through Profiling and Multi-Level Fault InjectionIlya Tuzov, David de Andrés, Juan Carlos Ruiz. 97-106 [doi]
- Correction of Adjacent Errors with Low Redundant Matrix Error Correction CodesJoaquin Gracia-Moran, Luis J. Saiz-Adalid, Juan-Carlos Baraza-Calvo, Pedro J. Gil. 107-114 [doi]
- Bundling Messages to Reduce the Cost of Tree-Based Broadcast AlgorithmsLuiz A. Rodrigues, Elias P. Duarte, João Paulo de Araujo, Luciana Arantes, Pierre Sens. 115-124 [doi]
- Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design ModelsMarcus Kimura Lopes, Ricardo Bedin Franca, Celso Massaki Hirata, Luiz Alberto Vieira Dias. 125-134 [doi]
- A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-SystemsMohamad Gharib, Leandro Dias da Silva, Hanna Kavalionak, Andrea Ceccarelli. 135-144 [doi]
- WSN Data Confidence Attribution Using PredictorsRoberto M. Scheffel, Antnio A. Frhlich. 145-154 [doi]
- Multi-hop Byzantine Reliable Broadcast Made PracticalSilvia Bonomi, Giovanni Farina, Sébastien Tixeuil. 155-160 [doi]
- Evaluating the Applicability of Robustness Testing in Virtualized EnvironmentsCharles F. Goncalves, Nuno Antunes, Marco Vieira. 161-166 [doi]
- Improving Raft When There Are FailuresChristian Fluri, Darya Melnyk, Roger Wattenhofer. 167-170 [doi]
- Crane: A Tool for Reliability Analysis with Different Coverage ModelsJianwen Xiang, Lang Liu, Ming Yang, Siwei Zhou, Luyao Ye, Caisheng Weng, Dongdong Zhao, Jing Tian. 171-174 [doi]