Abstract is missing.
- Reconfigurable Scalable State Machine ReplicationDavi da Silva Böger, Joni da Silva Fraga, Eduardo Alchieri. 1-8 [doi]
- A Methodology for Prevention of Biometric Presentation AttacksEmanuela Marasco, Mohamed Shehab, Bojan Cukic. 9-14 [doi]
- Running Resilient MPI Applications on a Dynamic Group of Recommended ProcessesEdson Tavares De Camargo, Elias Procópio Duarte Jr.. 15-24 [doi]
- Soundness Proof of EventB2JavaNéstor Cataño, Shigeo Nishi. 25-34 [doi]
- A Software Fault Injector to Validate Implementations of a Safety Communication ProtocolRodrigo J. Dobler, Sérgio Cechin, Taisy Weber, Joao Netto. 35-42 [doi]
- Usability Assessment in a Multi-Biometric Continuous Authentication SystemEnrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli, Ariadne M. B. R. Carvalho. 43-50 [doi]
- Speeding-Up Simulation-Based Fault Injection of Complex HDL ModelsIlya Tuzov, Juan Carlos Ruiz, David de Andrés, Pedro J. Gil. 51-60 [doi]
- Implementing a Flexible Failure Detector That Expresses the Confidence in the SystemAnubis Graciela de Moraes Rossetto, Cláudio Fernando Resin Geyer, Luciana Arantes, Pierre Sens. 61-70 [doi]
- BuzzPSS: A Dependable and Adaptive Peer Sampling ServiceNuno Machado, Francisco Maia, Miguel Matos, Rui Oliveira. 71-80 [doi]
- Two Convergence Problems for Robots on GraphsArmando Castañeda, Sergio Rajsbaum, Matthieu Roy. 81-90 [doi]
- An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure DetectorDenis Jeanneau, Luiz A. Rodrigues, Luciana Arantes, Elias Procópio Duarte Jr.. 91-98 [doi]
- Analyzing the Impact of Failures in the Electric Power Distribution GridSilvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti. 99-108 [doi]
- Towards Model-Driven Virtual Patching for Web ApplicationsGustavo Betarte, Rodrigo De La Fuente, Rodrigo Martinez, Juan Pirez, Felipe Zipitria. 109-118 [doi]
- Towards Understanding the Value of False Positives in Static Code AnalysisCarlo Dimastrogiovanni, Nuno Laranjeiro. 119-122 [doi]
- Semi-Automatic Checklist Quality Assessment of Natural Language Requirements for Space ApplicationsAnderson Rossanez, Ariadne M. B. R. Carvalho. 123-126 [doi]
- Evolving from Dependability to Resilience Benchmarks: Issues and PossibilitiesRaquel Almeida, Henrique Madeira. 127-130 [doi]
- Modeling Dependable Product-Families: From Use Cases to State Machine ModelsLeydi Erazo, Eliane Martins, Juliana Galvani Greghi. 131-134 [doi]
- Using Failure Prediction to Improve FPGA ScrubbingJose Luis Nunes, João Carlos Cunha, Mário Zenha Rela. 135-138 [doi]
- Testing Web Applications Using Poor Quality DataNuno Laranjeiro, Seyma Nur Soydemir, Jorge Bernardino. 139-144 [doi]
- Bypassing IOMMU Protection against I/O AttacksBenoit Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche. 145-150 [doi]
- Experimenting Machine Learning Techniques to Predict VulnerabilitiesHenrique Alves, Baldoino Fonseca, Nuno Antunes. 151-156 [doi]
- Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test SystemCarlos A. P. L. Conceicao, Fatima Mattiello-Francisco, Carlos L. G. Batista. 157-163 [doi]
- Challenges on Anonymity, Privacy, and Big DataTânia Basso, Roberta Mayumi Matsunaga, Regina Moraes, Nuno Antunes. 164-171 [doi]
- Benchmarking User-Defined Security Configuration of Mobile DevicesDaniel Vecchiato, Eliane Martins. 172-175 [doi]
- An Approach for Verification of a Satellite Simulator - An Evolving SystemPaulo Diego Barbosa Da Silva, Ana Maria Ambrosio, Emília Villani, Denise Rotondi Azevedo. 176-182 [doi]
- A Methodology for Proactive Maintenance of Uninterruptible Power SuppliesSlobodan Lukovic, Igor Kaitovic, Gerardo Lecuona, Miroslaw Malek. 183-186 [doi]