Abstract is missing.
- Combining GSN and STPA for Safety ArgumentsCelso M. Hirata, Simin Nadjm-Tehrani. 5-15 [doi]
- A Modelling Approach for System Life Cycles AssuranceShuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama. 16-27 [doi]
- Modular Safety Cases for Product Lines Based on Assume-Guarantee ContractsDamir Nesic, Mattias Nyberg. 28-40 [doi]
- Comparative Evaluation of Security Fuzzing ApproachesLoui Al Sardy, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich. 49-61 [doi]
- Assuring Compliance with Protection Profiles with ThreatGetMagdy El Sadany, Christoph Schmittner, Wolfgang Kastner. 62-73 [doi]
- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable SystemsLijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux. 74-86 [doi]
- Combined Approach for Safety and SecuritySiddhartha Verma, Thomas Gruber, Christoph Schmittner, Peter P. Puschner. 87-101 [doi]
- Towards Integrated Quantitative Security and Safety Risk AssessmentJürgen Dobaj, Christoph Schmittner, Michael Krisper, Georg Macher. 102-116 [doi]
- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network ApplicationsTorge Hinrichs, Bettina Buth. 117-126 [doi]
- Increasing Safety of Neural Networks in Medical DevicesUwe Becker. 127-136 [doi]
- Smart Wristband for VotingMartin Pfatrisch, Linda Grefen, Hans Ehm. 137-147 [doi]
- Automotive Cybersecurity Standards - Relation and OverviewChristoph Schmittner, Georg Macher. 153-165 [doi]
- A Runtime Safety Monitoring Approach for Adaptable Autonomous SystemsNikita Bhardwaj Haupt, Peter Liggesmeyer. 166-177 [doi]
- Structured Reasoning for Socio-Technical Factors of Safety-Security AssuranceNikita Johnson, Tim Kelly. 178-184 [doi]
- The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable ResultsAndrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher. 185-197 [doi]
- Demo: CANDY CREAMGianpiero Costantino, Ilaria Matteucci. 203-209 [doi]
- CarINA - Car Sharing with IdeNtity Based Access Control Re-enforced by TPMBogdan Groza, Lucian Popa 0003, Pal-Stefan Murvay. 210-222 [doi]
- Combining Safety and Security in Autonomous Cars Using Blockchain TechnologiesLucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz. 223-234 [doi]
- Enhancing CAN Security by Means of Lightweight Stream-Ciphers and ProtocolsAymen Boudguiga, Jerome Letailleur, Renaud Sirdey, Witold Klaudel. 235-250 [doi]
- Analysis of Security Overhead in Broadcast V2V CommunicationsMujahid Muhammad, Paul Kearney, Adel Aneiba, Andreas Kunz. 251-263 [doi]
- You Overtrust Your PrinterGiampaolo Bella, Pietro Biondi. 264-274 [doi]
- Three Reasons Why: Framing the Challenges of Assuring AIXinwei Fang, Nikita Johnson. 281-287 [doi]
- Improving ML Safety with Partial SpecificationsRick Salay, Krzysztof Czarnecki. 288-300 [doi]
- An Abstraction-Refinement Approach to Formal Verification of Tree EnsemblesJohn Törnblom, Simin Nadjm-Tehrani. 301-313 [doi]
- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning PoliciesVahid Behzadan, William Hsu. 314-325 [doi]
- A Safety Standard Approach for Fully Autonomous VehiclesPhilip Koopman, Uma Ferrell, Frank Fratrik, Michael D. Wagner. 326-332 [doi]
- Open Questions in Testing of Learned Computer Vision Functions for Automated DrivingMatthias Woehrle, Christoph Gladisch, Christian Heinzemann. 333-345 [doi]
- Adaptive Deployment of Safety Monitors for Autonomous SystemsNico Hochgeschwender. 346-357 [doi]
- Uncertainty Wrappers for Data-Driven Models - Increase the Transparency of AI/ML-Based Models Through Enrichment with Dependable Situation-Aware Uncertainty EstimatesMichael Kläs, Lena Sembach. 358-364 [doi]
- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving FunctionsSimon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins. 365-377 [doi]
- Bayesian Uncertainty Quantification with Synthetic DataBuu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki. 378-390 [doi]
- A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial IntelligenceJacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu. 391-397 [doi]
- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed TestsYutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto. 398-404 [doi]
- The Moral Machine: Is It Moral?Alexandre M. Nascimento, Lucio Flavio Vismari, Anna Carolina Muller Queiroz, Paulo Sérgio Cugnasca, João Batista Camargo Jr., Jorge Rady de Almeida Jr.. 405-410 [doi]