Autor Casimiro, António
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / Casimiro, António ; Ortmeier, Frank ; Bitsch, Friedemann ; Ferreira, Pedro
TÃtulo : 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. 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 Ãndice Dewey: 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. 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 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.
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 Ãndice Dewey: 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. 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 : 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. 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 Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
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 Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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
