SAFECOMP Workshops

Keyphrases

Publications

2023

Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya
Toward Dependability Assurance Framework for Automated Driving Systems. SAFECOMP Workshops (2023)
Marc Elliott, Deepak P
A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions. SAFECOMP Workshops (2023)
Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops (2023)
Rasmus Adler, Jan Reich, Richard Hawkins
Structuring Research Related to Dynamic Risk Management for Autonomous Systems. SAFECOMP Workshops (2023)
Satoshi Otsuka, Natsumi Watanabe, Takehito Ogata, Donato Di Paola, Daniel Hillen, Joshua Frey, Nishanth Laxman, Jan Reich
Paired Safety Rule Structure for Human-Machine Cooperation with Feature Update and Evolution. SAFECOMP Workshops (2023)
Konstantin Kirchheim
Towards Deep Anomaly Detection with Structured Knowledge Representations. SAFECOMP Workshops (2023)
Liuxing Hu, Wei Zheng
Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals. SAFECOMP Workshops (2023)
Torin Viger, Simon Diemert, Olivia Foster
Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases. SAFECOMP Workshops (2023)
Dandan Bi, Wei Zheng, Xiaorong Meng
Research on Brain Load Prediction Based on Machine Learning for High-Speed Railway Dispatching. SAFECOMP Workshops (2023)
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
Contextualised Out-of-Distribution Detection Using Pattern Identification. SAFECOMP Workshops (2023)
Rui Wang, Mengying Wang, Ci Liang, Zhouxian Jiang
Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning. SAFECOMP Workshops (2023)
Megha Quamara, Christina Kolb, Brahim Hamid
Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. SAFECOMP Workshops (2023)
Gianfilippo Fornaro, Martin Törngren
Improving Road Traffic Safety and Performance-Barriers and Directions Towards Cooperative Automated Vehicles. SAFECOMP Workshops (2023)
Philip Koopman, William H. Widen
A Reasonable Driver Standard for Automated Vehicle Safety. SAFECOMP Workshops (2023)
Thomas Bonnier, Benjamin Bosch
Towards Safe Machine Learning Lifecycles with ESG Model Cards. SAFECOMP Workshops (2023)
Elena Troubitsyna
Utilising Redundancy to Enhance Security of Safety-Critical Systems. SAFECOMP Workshops (2023)
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. SAFECOMP Workshops (2023)
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. SAFECOMP Workshops (2023)
Georg Macher, Romana Blazevic, Omar Veledar, Eugen Brenner
Towards Dependable Integration Concepts for AI-Based Systems. SAFECOMP Workshops (2023)
Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada
A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMate. SAFECOMP Workshops (2023)
Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber
Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning? SAFECOMP Workshops (2023)
Jorge Da Silva, Miren Illarramendi, Asier Iriarte
Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach. SAFECOMP Workshops (2023)
Abdelkader Magdy Shaaban, Oliver Jung, Christoph Schmittner
The Need for Threat Modelling in Unmanned Aerial Systems. SAFECOMP Workshops (2023)
Davide Bacciu, Antonio Carta, Claudio Gallicchio, Christoph Schmittner
Safety and Robustness for Deep Neural Networks: An Automotive Use Case. SAFECOMP Workshops (2023)
Bingyv Shen, Guangyun Liu, Shaowu Cheng, Xiantong Li, Kui Li, Chen Liang
Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain. SAFECOMP Workshops (2023)
Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier
Evaluating and Increasing Segmentation Robustness in CARLA. SAFECOMP Workshops (2023)
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. SAFECOMP Workshops (2023)
Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, Wei Zheng
Rear-End Collision Risk Analysis for Autonomous Driving. SAFECOMP Workshops (2023)
Hugues Blache, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi
Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling. SAFECOMP Workshops (2023)
Lijun Shan
Towards DO-178C Compliance of a Secure Product. SAFECOMP Workshops (2023)
Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai
A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices. SAFECOMP Workshops (2023)
Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops (2023)
Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford
Assurance Cases for Timing Properties of Automotive TSN Networks. SAFECOMP Workshops (2023)
Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet
AIMOS: Metamorphic Testing of AI - An Industrial Application. SAFECOMP Workshops (2023)
Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce
Safety Integrity Levels for Artificial Intelligence. SAFECOMP Workshops (2023)
Simon Diemert, Jens H. Weber
Can Large Language Models Assist in Hazard Analysis? SAFECOMP Workshops (2023)

volume 14182, 2023

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings SAFECOMP Workshops 14182 (2023)

2022

volume 13415, 2022

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings SAFECOMP Workshops 13415 (2022)