Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID42nd SAFECOMP Workshops 2023: Toulouse, France
- Jérémie Guiochet
, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch:
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. Lecture Notes in Computer Science 14182, Springer 2023, ISBN 978-3-031-40952-3
8th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 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. 5-14 - Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka:
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. 15-25 - Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford:
Assurance Cases for Timing Properties of Automotive TSN Networks. 26-31 - Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya:
Toward Dependability Assurance Framework for Automated Driving Systems. 32-37
18th International ERCIM/EWICS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems
- Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada:
A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMate. 47-60 - Lijun Shan:
Towards DO-178C Compliance of a Secure Product. 61-72 - Abdelkader Magdy Shaaban, Oliver Jung, Christoph Schmittner:
The Need for Threat Modelling in Unmanned Aerial Systems. 73-84 - Jorge Da Silva, Miren Illarramendi, Asier Iriarte:
Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach. 85-94 - Davide Bacciu, Antonio Carta, Claudio Gallicchio, Christoph Schmittner:
Safety and Robustness for Deep Neural Networks: An Automotive Use Case. 95-107 - Georg Macher, Romana Blazevic, Omar Veledar, Eugen Brenner:
Towards Dependable Integration Concepts for AI-Based Systems. 108-117
10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 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. 123-134 - 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. 135-148 - 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. 149-160
2nd International Workshop on Security and Safety Interaction (SENSEI 2023)
- Torin Viger, Simon Diemert, Olivia Foster:
Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases. 165-175 - Megha Quamara, Christina Kolb, Brahim Hamid:
Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. 176-187 - Elena Troubitsyna:
Utilising Redundancy to Enhance Security of Safety-Critical Systems. 188-196
1st International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2023)
- Bingyv Shen, Guangyun Liu, Shaowu Cheng, Xiantong Li, Kui Li, Chen Liang:
Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain. 205-217 - Rui Wang, Mengying Wang, Ci Liang, Zhouxian Jiang:
Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning. 218-229 - Liuxing Hu, Wei Zheng:
Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals. 230-238 - Dandan Bi, Wei Zheng, Xiaorong Meng:
Research on Brain Load Prediction Based on Machine Learning for High-Speed Railway Dispatching. 239-246 - 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. 247-259 - Hugues Blache, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi:
Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling. 260-270 - Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, Wei Zheng:
Rear-End Collision Risk Analysis for Autonomous Driving. 271-282 - Gianfilippo Fornaro, Martin Törngren:
Improving Road Traffic Safety and Performance-Barriers and Directions Towards Cooperative Automated Vehicles. 283-294
6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)
- Marc Elliott, Deepak P:
A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions. 301-313 - 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? 314-327 - Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet:
AIMOS: Metamorphic Testing of AI - An Industrial Application. 328-340 - 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. 341-354 - Philip Koopman, William H. Widen:
A Reasonable Driver Standard for Automated Vehicle Safety. 355-361 - Rasmus Adler, Jan Reich, Richard Hawkins:
Structuring Research Related to Dynamic Risk Management for Autonomous Systems. 362-368 - Thomas Bonnier, Benjamin Bosch:
Towards Safe Machine Learning Lifecycles with ESG Model Cards. 369-381 - Konstantin Kirchheim:
Towards Deep Anomaly Detection with Structured Knowledge Representations. 382-389 - Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier:
Evaluating and Increasing Segmentation Robustness in CARLA. 390-396 - Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce:
Safety Integrity Levels for Artificial Intelligence. 397-409 - Simon Diemert, Jens H. Weber:
Can Large Language Models Assist in Hazard Analysis? 410-422 - Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani:
Contextualised Out-of-Distribution Detection Using Pattern Identification. 423-435
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
