Información del autor
Autor Casimiro, António |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsquedaComputer Safety, Reliability, and Security / Casimiro, António ; Ortmeier, Frank ; Bitsch, Friedemann ; Ferreira, Pedro
TÃtulo : Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / Tipo de documento: documento electrónico Autores: Casimiro, António, ; Ortmeier, Frank, ; 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: XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54549-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Microprogramación CriptografÃa Cifrado de datos (Informática) Protección de datos IngenierÃa Informática y Redes Estructuras de control y microprogramación. CriptologÃa Seguridad de datos e información Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artÃculos completos y 2 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantÃa de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfÃsicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Elementos de argumentos de garantÃa para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter 'Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware' is available open access under an Open Government License 3.0 via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / [documento electrónico] / Casimiro, António, ; Ortmeier, Frank, ; Bitsch, Friedemann, ; Ferreira, Pedro, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color.
ISBN : 978-3-030-54549-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Microprogramación CriptografÃa Cifrado de datos (Informática) Protección de datos IngenierÃa Informática y Redes Estructuras de control y microprogramación. CriptologÃa Seguridad de datos e información Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artÃculos completos y 2 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantÃa de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfÃsicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Elementos de argumentos de garantÃa para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter 'Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware' is available open access under an Open Government License 3.0 via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020. The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are: 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. The workshops were held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020. The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are: 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. The workshops were held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Reliable Software Technologies – Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings Tipo de documento: documento electrónico Autores: Casimiro, António, ; Ferreira, Pedro M., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 175 p. 58 ilustraciones ISBN/ISSN/DL: 978-3-319-92432-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software IngenierÃa Informática Red de computadoras Ordenadores Ciencias de la Computación Estructuras de datos (Informática) TeorÃa de la información Comercio electrónico IngenierÃa Informática y Redes Hardware de la computadora Lógica informática y fundamentos de la programación. Estructuras de datos y teorÃa de la información comercio electrónico y negocios electrónicos Clasificación: 005.1 Resumen: Este libro constituye las actas de la 23.ª Conferencia Internacional Ada-Europe sobre TecnologÃas de Software Confiables, Ada-Europe 2018, celebrada en Lisboa, Portugal, en junio de 2018. Los 10 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Estaban organizados en secciones temáticas denominadas: seguridad y protección; Ada 202X; manejo de gastos generales implÃcitos; programación en tiempo real; y nuevos dominios de aplicación. . Nota de contenido: Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime -- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation -- Ada 202X -- Safe Dynamic Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit Overhead -- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks -- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling -- Real-Time Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems -- New Application Domains -- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP -- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reliable Software Technologies – Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings [documento electrónico] / Casimiro, António, ; Ferreira, Pedro M., . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 175 p. 58 ilustraciones.
ISBN : 978-3-319-92432-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software IngenierÃa Informática Red de computadoras Ordenadores Ciencias de la Computación Estructuras de datos (Informática) TeorÃa de la información Comercio electrónico IngenierÃa Informática y Redes Hardware de la computadora Lógica informática y fundamentos de la programación. Estructuras de datos y teorÃa de la información comercio electrónico y negocios electrónicos Clasificación: 005.1 Resumen: Este libro constituye las actas de la 23.ª Conferencia Internacional Ada-Europe sobre TecnologÃas de Software Confiables, Ada-Europe 2018, celebrada en Lisboa, Portugal, en junio de 2018. Los 10 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Estaban organizados en secciones temáticas denominadas: seguridad y protección; Ada 202X; manejo de gastos generales implÃcitos; programación en tiempo real; y nuevos dominios de aplicación. . Nota de contenido: Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime -- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation -- Ada 202X -- Safe Dynamic Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit Overhead -- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks -- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling -- Real-Time Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems -- New Application Domains -- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP -- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
