Información del autor
Autor Troubitsyna, Elena |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / Dongol, Brijesh ; Troubitsyna, Elena
TÃtulo : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Tipo de documento: documento electrónico Autores: Dongol, Brijesh, ; Troubitsyna, Elena, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 461 p. 1045 ilustraciones, 64 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-63461-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: Ordenador Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación Procesamiento del lenguaje natural (PNL) Lógica en IA Sistema informático Microprogramación Proc Clasificación: Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Lugano (Suiza) en noviembre de 2020. Los 24 artÃculos completos y los 2 artÃculos breves se revisaron cuidadosamente y se seleccionaron de 63 presentaciones. Los artÃculos cubren un amplio espectro de temas: integración del aprendizaje automático y el modelado formal; modelado y verificación en B y Event-B; análisis y pruebas de programas; verificación del comportamiento interactivo; verificación formal; análisis estático; enfoques especÃficos del dominio; y técnicas algebraicas. Nota de contenido: Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings [documento electrónico] / Dongol, Brijesh, ; Troubitsyna, Elena, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 461 p. 1045 ilustraciones, 64 ilustraciones en color.
ISBN : 978-3-030-63461-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ordenador Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación Procesamiento del lenguaje natural (PNL) Lógica en IA Sistema informático Microprogramación Proc Clasificación: Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Lugano (Suiza) en noviembre de 2020. Los 24 artÃculos completos y los 2 artÃculos breves se revisaron cuidadosamente y se seleccionaron de 63 presentaciones. Los artÃculos cubren un amplio espectro de temas: integración del aprendizaje automático y el modelado formal; modelado y verificación en B y Event-B; análisis y pruebas de programas; verificación del comportamiento interactivo; verificación formal; análisis estático; enfoques especÃficos del dominio; y técnicas algebraicas. Nota de contenido: Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings Tipo de documento: documento electrónico Autores: Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26601-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 IngenierÃa de software Visión por computador Microprogramación IngenierÃa Informática y Redes Estructuras de control y microprogramación Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artÃculos completos y 5 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingenierÃa de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. . Nota de contenido: Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil's in the detail:Through-life safety and security co-assurance using SSAF. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color.
ISBN : 978-3-030-26601-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 IngenierÃa de software Visión por computador Microprogramación IngenierÃa Informática y Redes Estructuras de control y microprogramación Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artÃculos completos y 5 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingenierÃa de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. . Nota de contenido: Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil's in the detail:Through-life safety and security co-assurance using SSAF. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
