Abstract is missing.
- Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical StudyJosé D'Abruzzo Pereira, João R. Campos, Marco Vieira. 1-8 [doi]
- Dynamic Risk Management for Safely Automating Connected Driving ManeuversMarta Grobelna, Joao-Vitor Zacchi, Philipp Schleiß, Simon Burton. 9-16 [doi]
- Preventing timing failures in mixed-criticality clouds with dynamic real-time containersMarcello Cinque, Raffaele Della Corte, Roberto Ruggiero. 17-24 [doi]
- FaultFlow: a tool supporting an MDE approach for Timed Failure Logic AnalysisJacopo Parri, Samuele Sampietro, Enrico Vicario. 25-32 [doi]
- Tensor-based reliability analysis of complex static fault trees: Regular paperDániel Szekeres, Kristóf Marussy, István Majzik. 33-40 [doi]
- Why is it so hard to predict computer systems failures?Jomar Domingos, Raul Barbosa, Henrique Madeira. 41-44 [doi]
- SUFI: A Simulation-based Fault Injection Tool for Safety Evaluation of Advanced Driver Assistance Systems Modelled in SUMOMehdi Maleki, Behrooz Sangchoolie. 45-52 [doi]
- Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality SystemsDaniel Loche, Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. 53-60 [doi]
- Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud Practical Experience ReportAndreas Schmidt, Jan Reich, Ioannis Sorokos. 61-66 [doi]
- ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL DatabasesDavid Ferreira, João Paulo 0001, Miguel Matos. 67-74 [doi]
- Detectors of Smart Grid Integrity Attacks: an Experimental AssessmentSimona Bernardi 0001, Raúl Javierre, José Merseguer, José Ignacio Requeno. 75-82 [doi]
- BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov ProcessesRicardo M. Czekster, Charles Morisset. 83-86 [doi]
- An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy CodeNadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa 0002, Marco Vieira. 87-94 [doi]
- Handling Uncertainties of Data-Driven Models in Compliance with Safety Constraints for Autonomous BehaviourMichael Kläs, Rasmus Adler, Ioannis Sorokos, Lisa Jöckel, Jan Reich. 95-102 [doi]
- Systematic Modeling Approach for Environmental Perception Limitations in Automated DrivingAhmad Adee, Roman Gansch, Peter Liggesmeyer. 103-110 [doi]
- Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone SystemsOskar Lundström, Michel Raynal, Elad Michael Schiller. 111-118 [doi]
- Stream-based State-Machine ReplicationLaura Lawniczak, Tobias Distler. 119-126 [doi]
- A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT DevicesMichael Conard, Ali Ebnenasir. 127-134 [doi]