Abstract is missing.
- Supervisory Control Theory in System Safety AnalysisYuvaraj Selvaraj, Zhennan Fei, Martin Fabian. 9-22 [doi]
- A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based DesignNobuaki Tanaka, Hisashi Yomiya, Kiyoshi Ogawa. 23-35 [doi]
- Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS ApproachNadja Marko, Alexandr Vasenev, Christoph Striecks. 36-53 [doi]
- Safety and Security Interference Analysis in the Design StageJabier Martinez, Jean Godot, Alejandra Ruiz, Abel Balbis, Ricardo Ruiz Nolasco. 54-68 [doi]
- Formalising the Impact of Security Attacks on IoT SafetyEhsan Poorhadi, Elena Troubitysna, György Dán. 69-81 [doi]
- Assurance Case Patterns for Cyber-Physical Systems with Deep Neural NetworksRamneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee. 82-97 [doi]
- Safety-Critical Software Development in C++Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn 0001, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand. 98-110 [doi]
- An Instruction Filter for Time-Predictable Code Execution on Standard ProcessorsMichael Platzer, Peter P. Puschner. 111-122 [doi]
- ISO/SAE DIS 21434 Automotive Cybersecurity Standard - In a NutshellGeorg Macher, Christoph Schmittner, Omar Veledar, Eugen Brenner. 123-135 [doi]
- WiCAR - Simulating Towards the Wireless CarHarrison Kurunathan, Ricardo Severino, Enio Vasconcelos Filho, Eduardo Tovar. 136-147 [doi]
- Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security RisksLucie Langer, Arndt Bonitz, Christoph Schmittner, Stefan Ruehrup. 148-160 [doi]
- Integrity Checking of Railway Interlocking FirmwareRonny Bäckman, Ian Oliver, Gabriela Limonta. 161-175 [doi]
- LoRaWAN with HSM as a Security Improvement for Agriculture ApplicationsReinhard Kloibhofer, Erwin Kristen, Luca Davoli. 176-188 [doi]
- Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based EngineeringSmitha Gautham, Athira V. Jayakumar, Carl R. Elks. 193-204 [doi]
- Towards a DevOps Approach in Cyber Physical Production Systems Using Digital TwinsMiriam Ugarte Querejeta, Leire Etxeberria, Goiuria Sagardui. 205-216 [doi]
- Leveraging Semi-formal Approaches for DepDevOpsWanja Zaeske, Umut Durak. 217-222 [doi]
- Towards Building Data Trust and Transparency in Data-Driven Business ApplicationsAnnanda Rath, Wim Codenie, Anna Hristoskova. 229-242 [doi]
- Distributed AI for Special-Purpose VehiclesKevin Van Vaerenbergh, Henrique Cabral, Pierre Dagnely, Tom Tourwé. 243-254 [doi]
- Cynefin Framework, DevOps and Secure IoT - Understanding the Nature of IoT Systems and Exploring Where in the DevOps Cycle Easy Gains Can Be Made to Increase Their SecurityFranklin Selgert. 255-265 [doi]
- Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development EnvironmentSimon D. Duque Antón, Daniel Fraunholz, Daniel Krohmer, Daniel Reti, Hans D. Schotten, Franklin Selgert, Marcell Marosvölgyi, Morten Larsen, Krishna Sudhakar, Tobias Koch, Till Witt, Cédric Bassem. 266-281 [doi]
- Revisiting Neuron Coverage and Its Application to Test GenerationStephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle. 289-301 [doi]
- A Principal Component Analysis Approach for Embedding Local Symmetries into Deep Learning AlgorithmsPierre-Yves Lagrave. 302-314 [doi]
- A Framework for Building Uncertainty Wrappers for AI/ML-Based Data-Driven ComponentsMichael Kläs, Lisa Jöckel. 315-327 [doi]
- Rule-Based Safety Evidence for Neural NetworksTewodros A. Beyene, Amit Sahu. 328-335 [doi]
- Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception TasksOliver Willers, Sebastian Sudholt, Shervin Raafatnia, Stephanie Abrecht. 336-350 [doi]
- Positive Trust Balance for Self-driving Car DeploymentPhilip Koopman, Michael D. Wagner. 351-357 [doi]
- Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving SimulatorBernd Gaßmann, Frederik Pasch, Fabian Oboril, Kay-Ulrich Scholl. 358-369 [doi]
- A Safety Case Pattern for Systems with Machine Learning ComponentsErnest Wozniak, Carmen Cârlan, Esra Acar-Celik, Henrik J. Putzer. 370-382 [doi]
- Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive ApplicationsGesina Schwalbe, Bernhard Knie, Timo Sämann, Timo Dobberphul, Lydia Gauerhof, Shervin Raafatnia, Vittorio Rocco. 383-394 [doi]
- An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical SystemsFrancis Rhys Ward, Ibrahim Habli. 395-407 [doi]
- A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)John Birch, David Blackburn, John Botham, Ibrahim Habli, David Higham, Helen Monkhouse, Gareth Price, Norina Ratiu, Roger Rivett. 408-414 [doi]