Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 36 von 7566497
|
|
| Link zu diesem Datensatz | https://d-nb.info/1374506524 |
| Titel | Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops : CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings / edited by Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch |
| Person(en) |
Törngren, Martin (Herausgeber) Gallina, Barbara (Herausgeber) Schoitsch, Erwin (Herausgeber) Troubitsyna, Elena (Herausgeber) Bitsch, Friedemann (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2026 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource, XIX, 595 p. 220 illus., 187 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-032-02017-8 Printed edition:: ISBN: 978-3-032-02019-2 |
| Inhalt | -- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). -- An end-to-end testbed for communication, compute, and control co-design: the Kista Innovation Park. -- Real-Time Control Selection over the Computing Continuum. -- Temporal Intent-Aware Multi-Agent Learning for Network Optimization. -- 20th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2025). -- Dependable AI Inference - A work-in-progress on CPU, Co-Processor and FPGA Approaches. -- Methodology for Test Case Allocation based on a Formalized ODD. -- Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL. -- From Bouncing Break-ins to Frictional Firewalls: Interacting Requirements for Vehicle Safety and Security. -- A ThreatGet-Based Framework for Aligning System Security with the Cyber Resilience Act. -- i7Fuzzer: Neural-Guided Fuzzing for Enhancing Security Testing of Stateful Protocols. -- HyLLM-IDS: A Conceptual Hybrid LLM-Assisted Intrusion Detection Framework for Cyber-Physical Systems. -- PROTECTION: Provably Robust Intrusion Detection system for IoT through recursive Delegation. -- Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual Testing. -- Cybersecurity in Partitioned Space Embedded Systems. -- 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2025). -- A GSN-Based Requirement Analysis of the EU AI Regulation. -- A Safety Argument Fragment Towards Safe Deployment of Performant Automated Driving Systems. -- Certus: A domain specific language for confidence assessment in assurance cases. -- Doubt in Safety Claims is Inevitable: What is its Impact, and How to Deal with it?. -- Ensuring Information Security in Inclusive Digital Environments. -- Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A. -- High-Performance AI Inference for Agile Deployment on Space-Qualified Processors: A Performance Benchmarking Study. -- SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine. -- 4th International Workshop on Safety-Security Interaction (SENSEI 2025). -- Trick or Treat: A Study of Human Detection of Manipulative Tactics in Phishing Emails. -- Rational Verification in Repeated Security Games. -- Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data. -- Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks. -- 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025). -- Scenario Hazard Prevention for Autonomous Driving Based on Improved STPA. -- Alexandru Forrai. Systematic test scenario generation and risk assessment for automated driving system. -- AV-SLAF: A Scenario-Layered Framework for Safety Analysis of Autonomous Vehicles Based on STPA and CTA. -- Applying Machine Learning towards the Recognition of Driving Behavior. -- External Human-Machine Interaction Design Principles and Supporting Technologies for Autonomous Vehicles. -- Formal Analysis of Resilience in Transport Systems with Bigraphs. -- Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value Analysis. -- 8th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2025). -- A Modular AI Testing Framework for Trustworthy AI: Proof-of-Concept Implementation. -- Architectural Mitigation of Control AI Risk Factors for Safe Human-Robot-Collaboration. -- Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins. -- AURORA Networks: Auto-associative Universal Real-time Outlier Risk Assessment Networks. -- Does not impute! Performance and ethical implications of missing data for an AI-based diabetes co-morbidity predictor. -- Facilitating Fault Tree Analysis with Generative AI. -- Efficient Safety Retrofitting Against Jailbreaking for LLMs. -- Risk Analysis of One-Pixel Image Defects in Safety-Critical Deep Neural Networks. -- Safe Adversarial Control Through Interaction |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2508220413369.446318645656 DOI: 10.1007/978-3-032-02018-5 |
| URL | https://doi.org/10.1007/978-3-032-02018-5 |
| ISBN/Einband/Preis | 978-3-032-02018-5 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 15955 |
| DDC-Notation | 004.2 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 36 von 7566497
Administration
