Abstract is missing.
- Accurate Robustness Assessment of HDL Models Through Iterative Statistical Fault InjectionIlya Tuzov, David de Andrés, Juan Carlos Ruiz. 1-8 [doi]
- Exploratory Study of Machine Learning Techniques for Supporting Failure PredictionJoão R. Campos, Marco Vieira, Ernesto Costa. 9-16 [doi]
- Exploiting New CPU Extensions for Secure Exchange of eHealth Data at the EU LevelLuigi Coppolino, Salvatore D'Antonio, Giovanni Mazzeo, Luigi Romano, Luigi Sgaglione. 17-24 [doi]
- Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault InjectionDimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement. 25-32 [doi]
- Validation of Safety Necessities for a Safety-Bag Component in Experimental Autonomous VehiclesPaul Crubillé, Benjamin Lussier, Walter Schön, Brini Manel. 33-40 [doi]
- A Study of the Interplay Between Safety and Security Using Model-Implemented Fault InjectionBehrooz Sangchoolie, Peter Folkesson, Jonny Vinter. 41-48 [doi]
- A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable EvidenceAndré Luíz de Oliveira, Lucas Paiva Bressan, Leonardo Montecchi, Barbara Gallina. 49-56 [doi]
- Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis ToolsAreej Algaith, Paulo Jorge Costa Nunes, Fonseca Jose, Ilir Gashi, Marco Vieira. 57-64 [doi]
- Evaluating the Inherent Sensitivity of Programming Languages to Soft ErrorsFrederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira. 65-72 [doi]
- A Message-Passing Based Algorithm for k-Terminal ReliabilityMinh Lê, Josef Weidendorfer. 73-80 [doi]
- Fault-Tolerance Evaluation of a New SQL DatabaseAinhoa Azqueta-Alzúaz, Marta Patiño-Martínez, Valerio Vianello, Ricardo Jiménez-Peris. 81-86 [doi]
- Resource-Efficient State-Machine Replication with Multithreading and Vertical ScalingGerhard Habiger, Franz J. Hauck, Johannes Köstler, Hans P. Reiser. 87-94 [doi]
- Assessing Containerized REST Services Performance in the Presence of Operator FaultsMariana Cunha, Nuno Laranjeiro. 95-100 [doi]
- A Re-Identification Risk-Based Anonymization Framework for Data Analytics PlatformsHebert de Oliveira Silva, Tânia Basso, Regina Moraes, Donatello Elia, Sandro Fiore. 101-106 [doi]
- Towards Safety-Awareness and Dynamic Safety ManagementMario Trapp, Daniel Schneider 0001, Gereon Weiss. 107-111 [doi]
- An Exploratory Study on Zeroconf Monitoring of Microservices SystemsMarcello Cinque, Raffaele Della Corte, Raffaele Iorio, Antonio Pecchia. 112-115 [doi]
- An Efficient Strategy for Model Composition in the Möbius Modeling EnvironmentGiulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders. 116-119 [doi]
- Optimal Deployment of Security Policies: Application to Industrial Control SystemsZiad Ismail, Jean Leneutre, Alia Fourati. 120-127 [doi]
- Detecting Network Threats using OSINT Knowledge-Based IDSIvo Vacas, Iberia Medeiros, Nuno Neves 0002. 128-135 [doi]
- Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving GraphsSimona Bernardi, Raquel Trillo Lado, José Merseguer. 136-139 [doi]
- Contextual Anomaly Detection for a Critical Industrial System Based on Logs and MetricsMostafa Farshchi, Ingo Weber, Raffaele Della Corte, Antonio Pecchia, Marcello Cinque, Jean-Guy Schneider, John C. Grundy. 140-143 [doi]
- Performance Benchmarking of Smart Contracts to Assess Miner Incentives in EthereumAmjad Aldweesh, Maher Alharby, Ellis Solaiman, Aad van Moorsel. 144-149 [doi]
- Simulation of Stochastic Blockchain ModelsPierre-Yves Piriou, Jean-Francois Dumas. 150-157 [doi]
- Runtime Verification of Ethereum Smart ContractsJoshua Ellul, Gordon J. Pace. 158-163 [doi]
- How to Assess the Dependability of Applications on Top of the Blockchain: Novel Research ChallengesMarcello Cinque, Christian Esposito. 164-165 [doi]
- A Proactive Q-Learning Approach for Autoscaling Heterogeneous Cloud ServersFederico Lombardi. 166-172 [doi]
- Formal Verification for Feature-Based Composition of WorkflowsStephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer. 173-181 [doi]
- Towards a Formal Approach to Analysing Security of Safety-Critical SystemsInna Vistbakka, Elena Troubitsyna. 182-189 [doi]
- A Context-Aware, Confidence-Disclosing and Fail-Operational Dynamic Risk Assessment ArchitecturePatrik Feth, Rasmus Adler, Daniel Schneider 0001. 190-194 [doi]
- Analyzing the Shared Information in Social NetworksBogdan Aman, Gabriel Ciobanu. 195-202 [doi]