Abstract is missing.
- Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability IdentitiesJan Reich, Daniel Schneider 0001, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz. 3-17 [doi]
- Systematic Evaluation of (Safety) Assurance CasesThomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford. 18-33 [doi]
- Just Enough Formality in Assurance Argument StructuresTorin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik. 34-49 [doi]
- Towards Recertification of Modular Updates in Integrated Maritime Systems of SystemsGeorg Hake, Sebastian Feuerstack, Axel Hahn. 50-63 [doi]
- A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)Katharina Ceesay-Seitz, Hamza Boukabache, Daniel Perrin. 67-81 [doi]
- A Compositional Semantics for Repairable BDMPsShahid Khan 0002, Joost-Pieter Katoen, Marc Bouissou. 82-98 [doi]
- Model-Based Safety Analysis of Mode TransitionsMarco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová. 99-114 [doi]
- Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive InferenceGeorgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis. 115-129 [doi]
- Automated Attacker Synthesis for Distributed ProtocolsMax von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru. 133-149 [doi]
- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems SecurityChristopher J. Deloglos, Carl R. Elks, Ashraf Tantawy. 150-163 [doi]
- Predicting Railway Signalling Commands Using Neural Networks for Anomaly DetectionMarkus Heinrich, Dominik Renkel, Tolga Arul, Stefan Katzenbeisser 0001. 164-178 [doi]
- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering ApproachTabea Schmidt, Florian Hauer, Alexander Pretschner. 179-194 [doi]
- Assuring the Safety of Machine Learning for Pedestrian Detection at CrossingsLydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli. 197-212 [doi]
- Safety-Aware Hardening of 3D Object Detection Neural Network SystemsChih-Hong Cheng. 213-227 [doi]
- Model-Centered Assurance for Autonomous SystemsSusmit Jha, John Rushby, Natarajan Shankar. 228-243 [doi]
- A Safety Framework for Critical Systems Utilising Deep Neural NetworksXingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher 0001, Xiaowei Huang 0001. 244-259 [doi]
- Assurance Argument Elements for Off-the-Shelf, Complex Computational HardwareRob Ashmore, James Sharp. 260-269 [doi]
- Quantifying Assurance in Learning-Enabled SystemsErfan Asaadi, Ewen Denney, Ganesh Pai. 270-286 [doi]
- Cyber-Security of Neural Networks in Medical DevicesUwe Becker. 289-297 [doi]
- FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance CasesCarmen Cârlan, Daniel Ratiu. 298-306 [doi]
- On Validating Attack Trees with Attack EffectsHideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida. 309-324 [doi]
- Safety Meets Security: Using IEC 62443 for a Highly Automated Road VehicleDominik Püllen, Nikolaos A. Anagnostopoulos, Tolga Arul, Stefan Katzenbeisser 0001. 325-340 [doi]
- Threat Analysis Framework for Safety Architectures in SCDLKenji Taguchi 0001, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita. 341-354 [doi]
- Efficient Load-Time Diversity for an Embedded Real-Time Operating SystemJoachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner. 357-371 [doi]
- Towards an Automated Exploration of Secure IoT/CPS Design-VariantsLukas Gressl, Michael Krisper, Christian Steger, Ulrich Neffe. 372-386 [doi]
- Securing Electric Vehicle Charging Systems Through Component BindingAndreas Fuchs, Dustin Kern, Christoph Krauß, Maria Zhdanova. 387-401 [doi]
- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control ProgramsJens Vankeirsbilck, Hans Hallez, Jeroen Boydens. 405-418 [doi]
- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case StudyJoão R. Campos, Ernesto Costa, Marco Vieira. 419-433 [doi]
- A Classification of Faults Covering the Human-Computer Interaction LoopPhilippe A. Palanque, Andy Cockburn, Carl Gutwin. 434-448 [doi]