top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Computer Safety, Reliability, and Security [[electronic resource] ] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Computer Safety, Reliability, and Security [[electronic resource] ] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XXI, 312 p. 92 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer logic
Special purpose computers
Computer communication systems
Software engineering
Computer security
Microprogramming 
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
Software Engineering
Systems and Data Security
Control Structures and Microprogramming
ISBN 3-319-99130-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.
Record Nr. UNISA-996466360103316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 564 p. 190 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer logic
Computer organization
Software engineering
Artificial intelligence
Computer hardware
Logics and Meanings of Programs
Computer Systems Organization and Communication Networks
Software Engineering
Artificial Intelligence
Computer Hardware
ISBN 3-319-99229-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).
Record Nr. UNISA-996466361503316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XXI, 312 p. 92 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer science
Computers, Special purpose
Computer networks
Software engineering
Data protection
Microprogramming
Computer Science Logic and Foundations of Programming
Special Purpose and Application-Based Systems
Computer Communication Networks
Software Engineering
Data and Information Security
Control Structures and Microprogramming
ISBN 9783319991306
3319991302
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.
Record Nr. UNINA-9910349411003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 564 p. 190 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer science
Computer engineering
Computer networks
Software engineering
Artificial intelligence
Computers
Computer Science Logic and Foundations of Programming
Computer Engineering and Networks
Software Engineering
Artificial Intelligence
Computer Hardware
ISBN 9783319992297
3319992295
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).
Record Nr. UNINA-9910349410903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops : DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings / / edited by Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops : DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings / / edited by Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch
Autore Ceccarelli Andrea
Edizione [1st ed. 2024.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Descrizione fisica 1 online resource (474 pages)
Disciplina 004.6
Altri autori (Persone) TrappMario
BondavalliAndrea
SchoitschErwin
GallinaBarbara
BitschFriedemann
Collana Lecture Notes in Computer Science
Soggetto topico Computer networks
Image processing - Digital techniques
Computer vision
Information technology - Management
Software engineering
Computer science
Data protection
Computer Communication Networks
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer Application in Administrative Data Processing
Software Engineering
Theory of Computation
Security Services
ISBN 9783031687389
3031687388
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Organization -- Contents -- 19th International ERCIM/EWICS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of Systems (DECSoS 2024) -- 19th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2024) -- 1 Introduction -- 2 This Year's Workshop -- Organization -- International Program Committee 2024 -- A Systems Viewpoint on the Integration of Subsystems Developed with Heterogeneous Safety Standards -- 1 The Need for Integration -- 2 Why Existing Standards Don't Play Nicely Together -- 2.1 How Existing Standards Differ -- 2.2 Current Approaches to Importance Metrics -- 2.3 Summary of Integration Challenges -- 3 Addressing the Integration Issue -- 3.1 Existing Approaches -- 3.2 The IEC 63187 Approach -- 4 Conclusion -- References -- Intelligent Decision-Making in Lane Detection Systems Featuring Dynamic Framework for Autonomous Vehicles -- 1 Introduction -- 2 Background -- 2.1 AI-Based Approaches -- 2.2 Non AI-Based Approaches -- 2.3 Hybrid Approaches -- 3 Proposed Dynamic Framework -- 3.1 Experimental Setup - Vehicle Demonstrator -- 3.2 Conventional Algorithm -- 3.3 PilotNetC Architecture -- 4 Results -- 4.1 Results for Conventional Algorithms -- 4.2 Results for PilotNetC -- 4.3 The Dynamic Framework -- 5 Conclusion -- References -- Security and Safety in Urban Environments: Evaluating Threats and Risks of Autonomous Last-Mile Delivery Robots -- 1 Introduction -- 2 The Last-Mile Robot in Our Case Study -- 3 Case Study Modeling and Analysis -- 3.1 Extended Multi-level Model -- 3.2 Attack Types -- 4 Analysis of Attack Types and Human-Safety Levels -- 5 Ideas for a Theoretical Approach -- 6 Summary and Outlook -- References -- Safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its Evaluation -- 1 Introduction -- 2 Related Works.
3 Reference Scenario for Safe Road-Crossing -- 4 Design of the Danger Function -- 5 Dataset Generation -- 5.1 Lab Environment -- 5.2 Data Collection and Preprocessing -- 5.3 Data Elaboration and Sensor Fusion -- 6 Experimental Evaluation -- 7 Threats to Validity -- 8 Conclusions -- References -- Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety -- 1 Introduction -- 2 Safety-Critical Networked Control Systems -- 3 Security-Explicit SysML Modelling of NCSs -- 3.1 SysML Modeling of NCSs -- 3.2 Modelling Cyberattacks in SysML -- 4 Modelling and Refinement in Event-B -- 5 Generation of Event-B Specification from SysML Model -- 5.1 Architecture of SysMLToEventB -- 5.2 The Tool-Chain -- 5.3 Tool Validation -- 6 Related Work and Conclusions -- References -- Securing Web Access: PUF-Driven Two-Factor Authentication for Enhanced Protection -- 1 Introduction -- 1.1 Contributions -- 2 Related Work -- 3 Preliminaries -- 3.1 Physically Unclonable Function -- 3.2 Network Model -- 3.3 Threat Assumptions -- 4 Two-Factor User Authentication Using PUF -- 4.1 Enrollment Phase -- 4.2 Authentication Phase -- 5 Security Analysis -- 5.1 Formal Security Analysis -- 5.2 Informal Analysis -- 6 Experimental Validation and Performance Analysis -- References -- Enhancing Tunnel Safety with Artery V2X Simulation for Real-Time Risk Assessment -- 1 Introduction -- 2 Related Work -- 3 Artery-Based Risk Assessment Framework -- 3.1 Artery Simulation Framework (Upper Part) -- 3.2 Data Manipulation and Risk Assessment (Lower Part) -- 4 Case Study: Simulation-Based Risk Assessment in Zederhaus Tunnel -- 4.1 Breakdown Scenario: Artery and SUMO Model -- 4.2 Breakdown Scenario: Risk Assessment -- 5 Conclusion and Future Work -- References -- Detecting and Mitigating Errors in Neural Networks -- 1 Introduction -- 2 State of the Art.
2.1 Error Correcting Memory (ECC Memory) -- 2.2 Memory Tagging -- 2.3 Storage Reduction -- 2.4 2-D ECC/2-D Cyclic Redundancy Check (CRC) -- 3 Layer Properties -- 4 The Proposed Framework -- 4.1 Preparation Step -- 4.2 Error Detection Phase -- 4.3 Error Correction Phase -- 5 Practical Examples -- 5.1 Deviation in the Weight -- 5.2 Deviation in the Architecture or the Activation Function -- 6 Conclusion -- References -- 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2024) -- 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2024) -- 1 Introduction -- 2 This Year's Workshop -- Organization -- Workshop Committees -- Organization Committee -- Programme Committee -- Additional Reviewers -- Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications -- 1 Introduction -- 2 Railway Signaling System -- 3 EN 50129:2018: Hardware Requirements and Guidelines to Achieve SIL 4 -- 4 Architecture of State-of-the-Art Object Controller -- 5 Analysis of Using the Latest Logic Elements in Railway Signaling Systems -- 6 Conclusion -- 7 Future Work -- References -- Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis -- 1 Introduction -- 2 Related Work -- 3 Identifying Triggering Conditions with SHFA -- 3.1 Step One: Scenario Modelling -- 3.2 Step Two: Hazardous Maneuver Identification -- 3.3 Step Three: Triggering Condition Identification -- 4 Illustrative Example -- 4.1 Scenario Modelling -- 4.2 Hazardous Maneuver Identification -- 4.3 Triggering Condition Identification -- 5 Result Analysis and Discussion -- 5.1 Triggering Condition Formalization -- 5.2 Findings -- 5.3 Capabilities and Limitations -- 6 Conclusion and Outlook -- References.
Using GPT-4 to Generate Failure Logic -- 1 Introduction -- 2 FLAGPT: Developing a Failure Logic Analysis GPT -- 3 Task and System Descriptions -- 4 Results and Working Experience -- 4.1 Tank Overfill Failure Event -- 4.2 Air Bleed Cabin Supply System -- 4.3 Aircraft Wheel Brake and Gas Leak Systems -- 4.4 Alignment and Consistency -- 5 Conclusions -- References -- Towards an Argument Pattern for the Use of Safety Performance Indicators -- 1 Introduction -- 2 Background -- 3 A High-Level Argument Structure for Using SPIs -- 3.1 Systematic Definition of SPIs -- 3.2 Collection and Analysis of SPIs -- 3.3 Response to SPI Violations -- 4 Critical Analysis of the Argument About SPIs -- 5 Meta-SPIs to Validate the Argument About SPIs -- 6 Related Work -- 7 Summary and Future Work -- References -- Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis -- 1 Introduction -- 2 Methodological Foundations for Continuous Assurance -- 2.1 Composing Assurance Cases with Theories and Defeater Patterns -- 2.2 Assessing Assurance Case for Soundness and Validity -- 3 Tools Support for Continuous Assurance -- 3.1 Property-Driven Semantics with LLM Support and Synthesized Prolog Logic-Based Analysis -- 3.2 Synthesis Assistant for Generating Assurance Cases -- 3.3 Continuous Assurance for CI/CD Software Designs Using ETB -- 4 Conclusion -- References -- Managing Changing Product Liability Obligations Emerging from New Proposed EU Directive -- 1 Introduction -- 1.1 Background -- 1.2 Recent and Ongoing Changes to the Legal Framework -- 1.3 Scope and Structure -- 2 How Automation Impacts Risk and Liability Obligations -- 3 The Socio-technical System Perspective -- 4 Impact of New EU Product Liability Directive -- 4.1 Overview of Changes -- 4.2 Overall Impact on Product Liability Obligations.
4.3 Impact on Liability Obligations Due to the Presumption of Defectiveness -- 4.4 Impact on Liability Obligations Due to the Presumption of Causality -- 5 Thoughts on Transparent and Efficient Management of Product Liability Obligations -- 5.1 Manufacturers' Defense Strategies -- 5.2 Liability Obligations Expressed in Modular Assurance Cases and Contracts -- 5.3 Integration of Present Assurance Cases Required by Standards -- 5.4 Capture Confidence in the Strength of Defense Through Independent and Continuous Assessments of the Modular Assurance Cases -- 5.5 Using Assurance Cases for Rebutting Other Presumptions in New PLD -- 6 Discussion, Conclusions and Further Work -- References -- Reaching Consensus on System-of-Systems Resilience Assurance: A Case of Mobility as a Service -- 1 Introduction -- 2 Concepts and Related Works -- 2.1 System Theoretic Process Analysis -- 2.2 Consensus Process Model -- 2.3 Mobility as a Service -- 3 Resilience Argumentation -- 3.1 Step 1: Identify Loss Scenarios -- 3.2 Step 2: Identify Resilience Requirement -- 4 Conflict and Consensus -- 4.1 Assumption -- 4.2 Conflict -- 4.3 Consensus Process Model -- 4.4 Example -- 5 Conclusion and Further Work -- References -- A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic -- 1 Introduction -- 2 Background -- 2.1 Safety Assurance -- 2.2 Subjective Logic -- 3 A Formally Grounded Assurance Argument Structure -- 4 Constructing the Argument and Computing Confidence -- 5 Related Work -- 6 Discussion and Conclusions -- References -- A New Approach to Creating Clear Operational Safety Arguments -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 4 Illustrative Examples -- 5 Conclusions and Future Work -- References -- Including Defeaters in Quantitative Confidence Assessments for Assurance Cases -- 1 Introduction.
2 Adding Defeaters to Confidence Assessment.
Record Nr. UNINA-9910886992003321
Ceccarelli Andrea  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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
Autore Törngren Martin
Edizione [1st ed. 2026.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026
Descrizione fisica 1 online resource (808 pages)
Disciplina 004.6
Altri autori (Persone) GallinaBarbara
SchoitschErwin
TroubitsynaElena
BitschFriedemann
Collana Lecture Notes in Computer Science
Soggetto topico Computer networks
Image processing - Digital techniques
Computer vision
Information technology - Management
Software engineering
Computer science
Data protection
Computer Communication Networks
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer Application in Administrative Data Processing
Software Engineering
Theory of Computation
Security Services
ISBN 3-032-02018-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto -- 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.
Record Nr. UNINA-9911114322003321
Törngren Martin  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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
Autore Törngren Martin
Edizione [1st ed. 2026.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026
Descrizione fisica 1 online resource (808 pages)
Disciplina 004.6
Altri autori (Persone) GallinaBarbara
SchoitschErwin
TroubitsynaElena
BitschFriedemann
Collana Lecture Notes in Computer Science
Soggetto topico Computer networks
Image processing - Digital techniques
Computer vision
Information technology - Management
Software engineering
Computer science
Data protection
Computer Communication Networks
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer Application in Administrative Data Processing
Software Engineering
Theory of Computation
Security Services
ISBN 3-032-02018-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto -- 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.
Record Nr. UNISA-996673179203316
Törngren Martin  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
New Opportunities for Software Reuse [[electronic resource] ] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
New Opportunities for Software Reuse [[electronic resource] ] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVIII, 181 p. 55 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Computer programming
Programming languages (Electronic computers)
Computer system failures
Computers
Artificial intelligence
Programming Techniques
Programming Languages, Compilers, Interpreters
System Performance and Evaluation
The Computing Profession
Artificial Intelligence
ISBN 3-319-90421-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465826303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVIII, 181 p. 55 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Computer programming
Compilers (Computer programs)
Electronic digital computers - Evaluation
Computers
Professions
Artificial intelligence
Programming Techniques
Compilers and Interpreters
System Performance and Evaluation
The Computing Profession
Artificial Intelligence
ISBN 9783319904214
3319904213
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910349430003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Security and Safety Interplay of Intelligent Software Systems [[electronic resource] ] : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro
Security and Safety Interplay of Intelligent Software Systems [[electronic resource] ] : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XII, 173 p. 76 illus., 53 illus. in color.)
Disciplina 005.8
Collana Security and Cryptology
Soggetto topico Computer security
Data encryption (Computer science)
Computer communication systems
Computers
Software engineering
Systems and Data Security
Security Services
Cryptology
Computer Communication Networks
Computing Milieux
Software Engineering
ISBN 3-030-16874-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus.
Record Nr. UNISA-996466075603316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui