Información del autor
Autor Mavridou, Anastasia |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / Lee, Ritchie ; Jha, Susmit ; Mavridou, Anastasia ; Giannakopoulou, Dimitra
TÃtulo : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings Tipo de documento: documento electrónico Autores: Lee, Ritchie, ; Jha, Susmit, ; Mavridou, Anastasia, ; Giannakopoulou, Dimitra, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXI, 442 p. 120 ilustraciones, 76 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-55754-6 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 Ciencias de la Computación Inteligencia artificial Simulación por ordenador IngenierÃa Informática y Redes TeorÃa de la Computación Modelado por computadora Clasificación: 005.1 Resumen: Este libro constituye las actas del 12.º Simposio Internacional sobre Métodos Formales de la NASA, NFM 2020, celebrado en Moffett Field, CA, EE. UU., en mayo de 2020.* Los 20 artÃculos completos y 5 breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 62 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: aprendizaje y sÃntesis formal; métodos formales para DNN; sistemas de alta seguridad; especificación de requisitos y pruebas; validación y solucionadores; solucionadores y análisis de programas; sistemas de verificación y tiempos; autonomÃa y otras aplicaciones; y sistemas hÃbridos y ciberfÃsicos. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo "Verificación de un solucionador para aritmética lineal de enteros mixtos en Isabelle/HOL" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic. The chapter "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings [documento electrónico] / Lee, Ritchie, ; Jha, Susmit, ; Mavridou, Anastasia, ; Giannakopoulou, Dimitra, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXI, 442 p. 120 ilustraciones, 76 ilustraciones en color.
ISBN : 978-3-030-55754-6
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 Ciencias de la Computación Inteligencia artificial Simulación por ordenador IngenierÃa Informática y Redes TeorÃa de la Computación Modelado por computadora Clasificación: 005.1 Resumen: Este libro constituye las actas del 12.º Simposio Internacional sobre Métodos Formales de la NASA, NFM 2020, celebrado en Moffett Field, CA, EE. UU., en mayo de 2020.* Los 20 artÃculos completos y 5 breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 62 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: aprendizaje y sÃntesis formal; métodos formales para DNN; sistemas de alta seguridad; especificación de requisitos y pruebas; validación y solucionadores; solucionadores y análisis de programas; sistemas de verificación y tiempos; autonomÃa y otras aplicaciones; y sistemas hÃbridos y ciberfÃsicos. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo "Verificación de un solucionador para aritmética lineal de enteros mixtos en Isabelle/HOL" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic. The chapter "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings Tipo de documento: documento electrónico Autores: Lluch Lafuente, Alberto, ; Mavridou, Anastasia, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 249 p. 23 ilustraciones ISBN/ISSN/DL: 978-3-030-85248-1 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: Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: 005.45 Resumen: Este libro constituye las actas del 26.º Taller internacional sobre métodos formales para sistemas crÃticos industriales, FMICS 2021, que se celebró del 24 al 26 de agosto de 2021. Estaba previsto que la conferencia se llevara a cabo en Pairs, Francia. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 10 artÃculos completos y los 6 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Verificación, Seguridad y educación del programa, Modelado y validación (Evento-)B, Análisis formal, Herramientas, Generación de pruebas y Verificación probabilÃstica. Nota de contenido: Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings [documento electrónico] / Lluch Lafuente, Alberto, ; Mavridou, Anastasia, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 249 p. 23 ilustraciones.
ISBN : 978-3-030-85248-1
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: Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: 005.45 Resumen: Este libro constituye las actas del 26.º Taller internacional sobre métodos formales para sistemas crÃticos industriales, FMICS 2021, que se celebró del 24 al 26 de agosto de 2021. Estaba previsto que la conferencia se llevara a cabo en Pairs, Francia. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 10 artÃculos completos y los 6 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Verificación, Seguridad y educación del programa, Modelado y validación (Evento-)B, Análisis formal, Herramientas, Generación de pruebas y Verificación probabilÃstica. Nota de contenido: Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
