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.
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops [[electronic resource] ] : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / / edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops [[electronic resource] ] : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / / edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
Autore Guiochet Jérémie
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (448 pages)
Disciplina 621.39
004.6
Altri autori (Persone) TonettaStefano
SchoitschErwin
RoyMatthieu
BitschFriedemann
Collana Lecture Notes in Computer Science
Soggetto topico Computer engineering
Computer networks
Image processing - Digital techniques
Computer vision
Application software
Software engineering
Computer science
Data protection
Computer Engineering and Networks
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer and Information Systems Applications
Software Engineering
Theory of Computation
Security Services
ISBN 3-031-40953-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities -- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases for Timing Properties of Automotive TSN Networks -- Toward Dependability Assurance Framework for Automated Driving Systems -- A Quantitative Approach for System of Systems’ Resilience Analyzing Based on Archimate -- Towards DO-178C Compliance of a Secure Product -- The Need for Threat Modelling in Unmanned Aerial Systems -- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach -- Safety and Robustness for Deep Neural Networks: An Automotive Use Case -- Towards Dependable Integration Concepts for AI-based Systems -- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices -- Computer-Aided Generation of Assurance Cases -- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence -- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases -- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model -- Utilising Redundancy to Enhance Security of Safety-Critical Systems -- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain -- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning -- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals -- Research on Brain Load prediction based on machine learning for High-speed Railway -- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution -- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling -- Rear-end Collision Risk Analysis for Autonomous Driving -- Improving road traffic safety and performance – barriers and directions towards cooperative automated vehicles -- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions -- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning -- AIMOS: Metamorphic Testing of AI - An Industrial Application -- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms -- A Reasonable Driver Standard for Automated Vehicle Safety -- Structuring Research Related to Dynamic Risk Management for Autonomous Systems -- Towards Safe Machine Learning Lifecycles with ESG Model Cards -- Towards Deep Anomaly Detection with Structured Knowledge Representations -- Evaluating and Increasing Segmentation Robustness in CARLA -- Safety Integrity Levels for Artificial Intelligence -- Can Large Language Models assist in Hazard Analysis -- Contextualised Out-of-Distribution Detection using Pattern Identification. .
Record Nr. UNISA-996550558103316
Guiochet Jérémie  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / / edited by 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 / / edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
Autore Guiochet Jérémie
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (448 pages)
Disciplina 621.39
004.6
Altri autori (Persone) TonettaStefano
SchoitschErwin
RoyMatthieu
BitschFriedemann
Collana Lecture Notes in Computer Science
Soggetto topico Computer engineering
Computer networks
Image processing - Digital techniques
Computer vision
Application software
Software engineering
Computer science
Data protection
Computer Engineering and Networks
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer and Information Systems Applications
Software Engineering
Theory of Computation
Security Services
ISBN 9783031409530
3031409531
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities -- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases for Timing Properties of Automotive TSN Networks -- Toward Dependability Assurance Framework for Automated Driving Systems -- A Quantitative Approach for System of Systems’ Resilience Analyzing Based on Archimate -- Towards DO-178C Compliance of a Secure Product -- The Need for Threat Modelling in Unmanned Aerial Systems -- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach -- Safety and Robustness for Deep Neural Networks: An Automotive Use Case -- Towards Dependable Integration Concepts for AI-based Systems -- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices -- Computer-Aided Generation of Assurance Cases -- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence -- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases -- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model -- Utilising Redundancy to Enhance Security of Safety-Critical Systems -- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain -- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning -- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals -- Research on Brain Load prediction based on machine learning for High-speed Railway -- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution -- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling -- Rear-end Collision Risk Analysis for Autonomous Driving -- Improving road traffic safety and performance – barriers and directions towards cooperative automated vehicles -- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions -- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning -- AIMOS: Metamorphic Testing of AI - An Industrial Application -- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms -- A Reasonable Driver Standard for Automated Vehicle Safety -- Structuring Research Related to Dynamic Risk Management for Autonomous Systems -- Towards Safe Machine Learning Lifecycles with ESG Model Cards -- Towards Deep Anomaly Detection with Structured Knowledge Representations -- Evaluating and Increasing Segmentation Robustness in CARLA -- Safety Integrity Levels for Artificial Intelligence -- Can Large Language Models assist in Hazard Analysis -- Contextualised Out-of-Distribution Detection using Pattern Identification. .
Record Nr. UNINA-9910744507403321
Guiochet Jérémie  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Maria Casarès à l’abri de l’oubli / / Entretien réalisé par Antonia Amo Sánchez Esther et Lázaro Sanz
Maria Casarès à l’abri de l’oubli / / Entretien réalisé par Antonia Amo Sánchez Esther et Lázaro Sanz
Autore Silberstein Johanna
Pubbl/distr/stampa Avignon : , : Éditions Universitaires d’Avignon, , 2023
Descrizione fisica 1 online resource (80 pages) : black and white photographs ; ; digital file (PDF)
Collana Entre-Vues
Soggetto topico Theatre studies
Film, TV & radio
Films, cinema
Social sciences
Humanities
Soggetto non controllato théâtre
cinéma
aménagement du territoire
centre
culturel; hommage
ISBN 2-35768-166-7
9782357681668
9782357681651
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNINA-9910743285803321
Silberstein Johanna  
Avignon : , : Éditions Universitaires d’Avignon, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Principles of Distributed Systems [[electronic resource] ] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011, Proceedings / / edited by Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy
Principles of Distributed Systems [[electronic resource] ] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011, Proceedings / / edited by Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XIII, 564 p.)
Disciplina QA76.9.D5
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Algorithms
Computer science—Mathematics
Discrete mathematics
Software engineering
Artificial intelligence
Computer Communication Networks
Discrete Mathematics in Computer Science
Software Engineering
Artificial Intelligence
Symbolic and Algebraic Manipulation
ISBN 3-642-25873-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465975303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui