Abstract is missing.
- Improving Robustness-Aware Design Space Exploration for FPGA-Based SystemsIlya Tuzov, David de Andrés, Juan Carlos Ruiz. 1-8 [doi]
- Developing Complex Data Structures over Partitioned State Machine ReplicationMojtaba Eslahi-Kelorazi, Long Hoang Le, Fernando Pedone. 9-16 [doi]
- Improving Dependability of Neuromorphic Computing With Non-Volatile MemoryShihao Song, Anup Das 0001, Nagarajan Kandasamy. 17-24 [doi]
- FaultSee: Reproducible Fault Injection in Distributed SystemsMiguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos. 25-32 [doi]
- Data-Driven Cross-Layer Fault Management Architecture for Sensor NetworksLauri Vihman, Maarja Kruusmaa, Jaan Raik. 33-40 [doi]
- Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field DataXiaoming Du, Cong Li, Shen Zhou, Mao Ye, Jing Li. 41-46 [doi]
- SINADRA: Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous VehiclesJan Reich, Mario Trapp. 47-50 [doi]
- Towards Efficacy Hypotheses for Safety CasesMallory Suzanne Graydon. 51-58 [doi]
- Smart Building Risk Assessment Case Study: Challenges, Deficiencies and RecommendationsJohn C. Mace, Ricardo Melo Czekster, Charles Morisset, Carsten Maple. 59-64 [doi]
- SafeOps: A Concept of Continuous SafetyCamille Fayollas, Hugues Bonnin, Olivier Flébus. 65-68 [doi]
- Stateful Priorities for Precise Restriction of System BehaviorChristian Herrera. 69-76 [doi]
- Atomic Appends in Asynchronous Byzantine Distributed LedgersVicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal. 77-84 [doi]
- An Availability Model for DSS and OLTP Applications in Virtualized EnvironmentsMatheus Torquato 0001, Charles F. Gonçalves, Marco Vieira. 85-92 [doi]
- Developing Complex Safety Critical Systems in Complex Supply ChainsChristopher Temple. 93-96 [doi]
- On the Use of Open-Source C/C++ Static Analysis Tools in Large ProjectsJosé D'Abruzzo Pereira, Marco Vieira. 97-102 [doi]
- CINNAMON: A Module for AUTOSAR Secure Onboard CommunicationGiampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci. 103-110 [doi]
- Effect of Coding Styles in Detection of Web Application VulnerabilitiesIbéria Medeiros, Nuno Neves 0001. 111-118 [doi]
- Explaining Boolean-Logic Driven Markov Processes using GSPNsShahid Khan 0002, Joost-Pieter Katoen, Marc Bouissou. 119-126 [doi]
- Generation of Safety and Liveness Complaint Automata from Goal Model SpecificationsNovarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi. 127-134 [doi]
- An Approach to Support Variant Management on Safety Analysis using CHESS Error ModelsLucas Paiva Bressan, André Luíz de Oliveira, Fernanda Campos. 135-142 [doi]
- CrEStO: A Tool for Synthesizing Stateful PrioritiesChristian Herrera, Nancy Cruz, Ricardo Quintero. 143-146 [doi]