Abstract is missing.
- Automatic Deduction of the Impact of Context Variability on System Safety GoalsAndreas Kreutz, Gereon Weiss, Mario Trapp. 1-8 [doi]
- BugHub: A Large Scale Issue Report DatasetRenato Andrade, Nuno Laranjeiro, Marco Vieira. 9-16 [doi]
- Oblivious Turing MachineSofiane Azogagh, Victor Delfour, Marc-Olivier Killijian. 17-24 [doi]
- TICAL: Trusted and Integrity-protected Compilation of AppLicationsRobert Krahn, Nikson Kanti Paul, Franz Gregor, Do Le Quoc, Andrey Brito, André Martin, Christof Fetzer. 25-32 [doi]
- One Flag to Rule Them All? On the Quest for Compiler Optimizations to Improve Fault ToleranceRobin Thunig, Marcel Johannfunke, Tianhao Wang, Horst Schirmeier. 33-40 [doi]
- Supports for Testing Memory Error Handling Code of In-memory Key Value StoresNaoya Nezu, Hiroshi Yamada. 41-48 [doi]
- Doing more with less? A Study on Models for Intrusion Detection in MicroservicesJosé Flora, Nuno Antunes. 49-56 [doi]
- Automated Fault Tree Generation for Rust ProgramsDominic Zimmer, Andreas Schmidt. 57-60 [doi]
- Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular GridArya Tanmay Gupta, Sandeep S. Kulkarni. 61-68 [doi]
- Enabling Remote Software and Firmware Updates for Bogie Control and Safety SystemsJens Vankeirsbilck, Steven Lauwereins, Jeroen Boydens. 69-74 [doi]
- Securing an Application Layer Gateway: An Industrial Case StudyCarmine Cesarano, Roberto Natella. 75-80 [doi]
- Failover Timing Analysis in Orchestrating Container-based Critical ApplicationsMarco Barletta, Luigi De Simone, Raffaele Della Corte, Catello Di Martino. 81-84 [doi]
- Lessons from railway accidents for autonomous road vehiclesTom Anderson, Roger Rivett. 85-88 [doi]
- Zero-Space In-Weight and In-Bias Protection for Floating-Point-based CNNsJuan Carlos Ruiz, David de Andrés, Luis J. Saiz-Adalid, Joaquin Gracia-Moran. 89-96 [doi]
- Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learning : (Practical Experience Report)Isabelly Rocha, Pascal Felber, Xavier Martorell, Marcelo Pasin, Valerio Schiavoni, Osman S. Unsal. 97-102 [doi]
- Towards Log-driven Testing through Transformers: A Preliminary StudyRaffaele Della Corte, Roberto Pietrantuono. 103-106 [doi]
- NeuralGAP: Deep Learning Evaluation of Networked Avionic ArchitecturesRodrigo S. de Moraes, Simin Nadjm-Tehrani. 107-110 [doi]
- Machine Learning for Performance Prediction of Data Distribution Service (DDS)Kaleem Peeroo, Peter Popov, Vladimir Stankovic 0002, Tillman Weyde. 111-114 [doi]
- An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systemsAléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. 115-122 [doi]
- Improving the Performance Predictability of Faulty Data CachesMichail Mavropoulos, Georgios Keramidas, Dimitris Nikolos. 123-130 [doi]
- Parallel Transaction Execution in Blockchain and the Ambiguous State Representation ProblemVittorio Capocasale, Fernando Pedone, Guido Perboli. 131-138 [doi]
- An Optimal Byzantine SCD-Broadcast ProtocolVincent Kowalski, Achour Mostéfaoui, Matthieu Perrin. 139-146 [doi]
- Fuzzy-based Severity Evaluation in Privacy Problems: an Application to HealthcareAtrin Barzegar, Lelio Campanile, Stefano Marrone 0001, Fiammetta Marulli, Laura Verde, Michele Mastroianni. 147-154 [doi]
- Fault injection acceleration using failure models on a virtualized fault-tolerant systemBernardo Graça, Frederico Cerveira, Henrique Madeira. 155-160 [doi]
- Towards a Metric for Reuse of Microservice Intrusion Detection ModelsJosé Flora, Nuno Antunes. 161-164 [doi]
- Software architecture based inter-feature analysis of safety and security interactionsPriyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf. 165-168 [doi]
- An observation metamodel for dependability toolsLaura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario. 169-172 [doi]