Autor Schoitsch, Erwin
|
|
Documentos disponibles escritos por este autor (6)
Hacer una sugerencia Refinar búsquedaComputer Safety, Reliability, and Security / Tonetta, Stefano ; Schoitsch, Erwin ; Bitsch, Friedemann
TÃtulo : Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Tipo de documento: documento electrónico Autores: Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 344 p. 107 ilustraciones ISBN/ISSN/DL: 978-3-319-66266-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 22 artÃculos completos revisados ​​y dos resúmenes de ponencias magistrales presentados fueron cuidadosamente revisados ​​y seleccionados de 65 presentaciones. Los artÃculos están organizados en secciones temáticas sobre árboles de fallas dinámicas; caso de seguridad y argumentación; verificación formal; sistemas autónomos; análisis y pruebas estáticas; análisis y evaluación de la seguridad; seguridad y proteccion. Nota de contenido: Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [documento electrónico] / Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIX, 344 p. 107 ilustraciones.
ISBN : 978-3-319-66266-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 22 artÃculos completos revisados ​​y dos resúmenes de ponencias magistrales presentados fueron cuidadosamente revisados ​​y seleccionados de 65 presentaciones. Los artÃculos están organizados en secciones temáticas sobre árboles de fallas dinámicas; caso de seguridad y argumentación; verificación formal; sistemas autónomos; análisis y pruebas estáticas; análisis y evaluación de la seguridad; seguridad y proteccion. Nota de contenido: Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings Tipo de documento: documento electrónico Autores: Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 478 p. 138 ilustraciones ISBN/ISSN/DL: 978-3-319-66284-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de cinco talleres compartidos con SAFECOMP 2017, la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, celebrada en Trento, Italia, en septiembre de 2017. Los 38 artÃculos completos revisados ​​se presentan junto con 5 artÃculos introductorios a cada taller, y tres artÃculos invitados, fueron cuidadosamente revisados ​​y seleccionados entre 49 presentaciones. Los talleres de este año son: ASSURE 2017 – Casos de aseguramiento para sistemas intensivos en software; DECSoS 2017 – ERCIM/EWICS/ARTEMIS Sistemas y sistemas de sistemas integrados y ciberfÃsicos confiables; SASSUR 2017 – Próxima Generación de Enfoques de GarantÃa de Sistemas para Sistemas CrÃticos para la Seguridad; TIPS 2017 – Desempeño de Cronometraje en IngenierÃa de Seguridad; TELERISE 2017 Aspectos Técnicos y Legales de Privacidad y Seguridad de Datos. Nota de contenido: Assurance cases for Software-Intensive Systems.-  Dependable embedded and cyber-physical systems and systems-of-systems -- Next generation of system assurance  approaches for safety-critical systems -- Timing performance in safety engineering -- Technical and legal aspects of data privacy and security. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings [documento electrónico] / Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 478 p. 138 ilustraciones.
ISBN : 978-3-319-66284-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de cinco talleres compartidos con SAFECOMP 2017, la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, celebrada en Trento, Italia, en septiembre de 2017. Los 38 artÃculos completos revisados ​​se presentan junto con 5 artÃculos introductorios a cada taller, y tres artÃculos invitados, fueron cuidadosamente revisados ​​y seleccionados entre 49 presentaciones. Los talleres de este año son: ASSURE 2017 – Casos de aseguramiento para sistemas intensivos en software; DECSoS 2017 – ERCIM/EWICS/ARTEMIS Sistemas y sistemas de sistemas integrados y ciberfÃsicos confiables; SASSUR 2017 – Próxima Generación de Enfoques de GarantÃa de Sistemas para Sistemas CrÃticos para la Seguridad; TIPS 2017 – Desempeño de Cronometraje en IngenierÃa de Seguridad; TELERISE 2017 Aspectos Técnicos y Legales de Privacidad y Seguridad de Datos. Nota de contenido: Assurance cases for Software-Intensive Systems.-  Dependable embedded and cyber-physical systems and systems-of-systems -- Next generation of system assurance  approaches for safety-critical systems -- Timing performance in safety engineering -- Technical and legal aspects of data privacy and security. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings Tipo de documento: documento electrónico Autores: Romanovsky, Alexander, ; Troubitsyna, Elena, ; Gashi, Ilir, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 412 p. 163 ilustraciones, 90 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26250-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial Protección de datos CriptografÃa Cifrado de datos (Informática) IngenierÃa de software Visión por computador IngenierÃa Informática y Redes Seguridad de datos e información CriptologÃa Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2019, 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, en septiembre de 2019 en Turku, Finlandia. Los 32 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones; el libro también contiene dos artÃculos invitados. Los talleres incluidos en este volumen son: ASSURE 2019: 7° Taller Internacional sobre Casos de Aseguramiento para Sistemas Intensivos en Software DECSoS 2019: 14° Taller ERCIM/EWICS/ARTEMIS sobre Sistemas de Sistemas y Sistemas de Sistemas CiberfÃsicos, Inteligentes y Confiables SASSUR 2019: Octavo taller internacional sobre la próxima generación de enfoques de garantÃa de sistemas para sistemas crÃticos para la seguridad STRIVE 2019: Segundo taller internacional sobre seguridad y privacidad en sistemas automotrices WAISE 2019: Segundo taller internacional sobre ingenierÃa de seguridad con inteligencia artificial. Nota de contenido: 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena, ; Gashi, Ilir, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 412 p. 163 ilustraciones, 90 ilustraciones en color.
ISBN : 978-3-030-26250-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial Protección de datos CriptografÃa Cifrado de datos (Informática) IngenierÃa de software Visión por computador IngenierÃa Informática y Redes Seguridad de datos e información CriptologÃa Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2019, 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, en septiembre de 2019 en Turku, Finlandia. Los 32 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones; el libro también contiene dos artÃculos invitados. Los talleres incluidos en este volumen son: ASSURE 2019: 7° Taller Internacional sobre Casos de Aseguramiento para Sistemas Intensivos en Software DECSoS 2019: 14° Taller ERCIM/EWICS/ARTEMIS sobre Sistemas de Sistemas y Sistemas de Sistemas CiberfÃsicos, Inteligentes y Confiables SASSUR 2019: Octavo taller internacional sobre la próxima generación de enfoques de garantÃa de sistemas para sistemas crÃticos para la seguridad STRIVE 2019: Segundo taller internacional sobre seguridad y privacidad en sistemas automotrices WAISE 2019: Segundo taller internacional sobre ingenierÃa de seguridad con inteligencia artificial. Nota de contenido: 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings Tipo de documento: documento electrónico Autores: Casimiro, António, ; Ortmeier, Frank, ; Schoitsch, Erwin, ; Bitsch, Friedemann, ; Ferreira, Pedro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVI, 416 p. 46 ilustraciones ISBN/ISSN/DL: 978-3-030-55583-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial Software de la aplicacion CriptografÃa Cifrado de datos (Informática) Sistemas expertos (Informática) IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información CriptologÃa Sistemas basados ​​en el conocimiento Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados en conjunto con SAFECOMP 2020, 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, Lisboa, Portugal, septiembre de 2020. Los 26 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados de 45 presentaciones; el libro también contiene un artÃculo invitado. Los talleres incluidos en este volumen son: DECSoS 2020: 15.º Taller sobre sistemas inteligentes, integrados y ciberfÃsicos confiables y sistemas de sistemas. DepDevOps 2020: Primer Taller Internacional sobre Métodos Continuos de Desarrollo-Operación Confiables para Sistemas CiberfÃsicos Confiables. USDAI 2020: Primer Taller Internacional sobre Fundamentos de una IA Distribuida Segura. WAISE 2020: Tercer Taller Internacional sobre IngenierÃa de Seguridad de Inteligencia Artificial. Los talleres se llevaron a cabo de forma virtual debido a la pandemia de COVID-19. Nota de contenido: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings [documento electrónico] / Casimiro, António, ; Ortmeier, Frank, ; Schoitsch, Erwin, ; Bitsch, Friedemann, ; Ferreira, Pedro, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVI, 416 p. 46 ilustraciones.
ISBN : 978-3-030-55583-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial Software de la aplicacion CriptografÃa Cifrado de datos (Informática) Sistemas expertos (Informática) IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información CriptologÃa Sistemas basados ​​en el conocimiento Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados en conjunto con SAFECOMP 2020, 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, Lisboa, Portugal, septiembre de 2020. Los 26 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados de 45 presentaciones; el libro también contiene un artÃculo invitado. Los talleres incluidos en este volumen son: DECSoS 2020: 15.º Taller sobre sistemas inteligentes, integrados y ciberfÃsicos confiables y sistemas de sistemas. DepDevOps 2020: Primer Taller Internacional sobre Métodos Continuos de Desarrollo-Operación Confiables para Sistemas CiberfÃsicos Confiables. USDAI 2020: Primer Taller Internacional sobre Fundamentos de una IA Distribuida Segura. WAISE 2020: Tercer Taller Internacional sobre IngenierÃa de Seguridad de Inteligencia Artificial. Los talleres se llevaron a cabo de forma virtual debido a la pandemia de COVID-19. Nota de contenido: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings Tipo de documento: documento electrónico Autores: Habli, Ibrahim, ; Sujan, Mark, ; Gerasimou, Simos, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XV, 324 p. 119 ilustraciones, 98 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-83906-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa Informática Red de computadoras IngenierÃa de software Software de la aplicacion Robótica Protección de datos Microprogramación IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Seguridad de datos e información Estructuras de control y microprogramación Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2021, la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 26 artÃculos habituales incluidos en este volumen fueron revisados ​​cuidadosamente. y seleccionado entre 34 presentaciones. Los talleres incluidos en este volumen son: DECSoS 2021: 16.º taller sobre sistemas y sistemas de sistemas ciberfÃsicos e integrados inteligentes y confiables WAISE 2021: Cuarto taller internacional sobre ingenierÃa de seguridad de inteligencia artificial DepDevOps 2021: Segundo taller internacional sobre operaciones y desarrollo confiables Métodos continuos para sistemas ciberfÃsicos confiables USDAI 2021: Segundo taller internacional sobre los fundamentos de una IA distribuida segura MAPSOD 2021: Primer taller internacional sobre prácticas de aseguramiento de múltiples preocupaciones en el diseño de software. Nota de contenido: 16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) -- Dependable Integration Concepts for Human-Centric AI-based Systems -- Rule-Based Threat Analysis and Mitigation for the Automotive Domain -- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach -- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems -- Synchronisation of an Automotive Multi-Concern Development Process -- Offline Access to a Vehicle via PKI-based Authentication -- HEIFU - Hexa Exterior Intelligent Flying Unit -- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes -- Formal Modelling of the Impact of Cyber Attacks on Railway Safety -- LoRaWAN with HSM as a Security Improvement for Agriculture Applications – Evaluation -- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021) -- Towards Continuous Safety Assessment in Context of DevOps -- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution -- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021) -- An Accountability Approach to Resolve Multi-stakeholder Conflicts -- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance -- Towards Assurance-Driven Architectural Decomposition of Software Systems -- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021) -- Integration of a RTT Prediction into a Multi-path Communication Gateway -- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021) -- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty -- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds -- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors -- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review -- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving -- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600 -- Learning From AV Safety: Hope and Humility Shape Policy and Progress -- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems -- Certification Game for the Safety Analysis of AI-based CPS -- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems. I. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings [documento electrónico] / Habli, Ibrahim, ; Sujan, Mark, ; Gerasimou, Simos, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2021 . - XV, 324 p. 119 ilustraciones, 98 ilustraciones en color.
ISBN : 978-3-030-83906-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa Informática Red de computadoras IngenierÃa de software Software de la aplicacion Robótica Protección de datos Microprogramación IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Seguridad de datos e información Estructuras de control y microprogramación Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2021, la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 26 artÃculos habituales incluidos en este volumen fueron revisados ​​cuidadosamente. y seleccionado entre 34 presentaciones. Los talleres incluidos en este volumen son: DECSoS 2021: 16.º taller sobre sistemas y sistemas de sistemas ciberfÃsicos e integrados inteligentes y confiables WAISE 2021: Cuarto taller internacional sobre ingenierÃa de seguridad de inteligencia artificial DepDevOps 2021: Segundo taller internacional sobre operaciones y desarrollo confiables Métodos continuos para sistemas ciberfÃsicos confiables USDAI 2021: Segundo taller internacional sobre los fundamentos de una IA distribuida segura MAPSOD 2021: Primer taller internacional sobre prácticas de aseguramiento de múltiples preocupaciones en el diseño de software. Nota de contenido: 16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) -- Dependable Integration Concepts for Human-Centric AI-based Systems -- Rule-Based Threat Analysis and Mitigation for the Automotive Domain -- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach -- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems -- Synchronisation of an Automotive Multi-Concern Development Process -- Offline Access to a Vehicle via PKI-based Authentication -- HEIFU - Hexa Exterior Intelligent Flying Unit -- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes -- Formal Modelling of the Impact of Cyber Attacks on Railway Safety -- LoRaWAN with HSM as a Security Improvement for Agriculture Applications – Evaluation -- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021) -- Towards Continuous Safety Assessment in Context of DevOps -- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution -- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021) -- An Accountability Approach to Resolve Multi-stakeholder Conflicts -- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance -- Towards Assurance-Driven Architectural Decomposition of Software Systems -- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021) -- Integration of a RTT Prediction into a Multi-path Communication Gateway -- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021) -- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty -- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds -- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors -- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review -- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving -- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600 -- Learning From AV Safety: Hope and Humility Shape Policy and Progress -- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems -- Certification Game for the Safety Analysis of AI-based CPS -- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems. I. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Permalink
