Autor Chen, Yu-Fang
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / Ben Hedia, Belgacem ; Chen, Yu-Fang ; Liu, Gaiyun ; Yu, Zhenhua
Título : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings Tipo de documento: documento electrónico Autores: Ben Hedia, Belgacem, ; Chen, Yu-Fang, ; Liu, Gaiyun, ; Yu, Zhenhua, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 281 p. 107 ilustraciones, 66 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-65955-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: Ingeniería Informática Red de computadoras Algoritmos Informática Ingeniería de software Teoría de las máquinas Estructuras de datos (Informática) Teoría de la información Ingeniería Informática y Redes Diseño y Análisis de Algoritmos Matemáticas de la Computación Lenguajes formales y teoría de los autómatas Estructuras de datos y teoría de la información Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Verificación y Evaluación de Sistemas Informáticos y de Comunicación, VECoS 2020, que se suponía iba a celebrarse en Xi''an, China, en octubre de 2020, pero que en su lugar se celebró virtualmente. Los 19 artículos completos y 1 artículo breve presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 60 presentaciones. El objetivo de la conferencia VECoS es reunir a investigadores y profesionales en las áreas de verificación, control, desempeño y evaluación de confiabilidad para discutir el estado del arte y los desafíos en los sistemas informáticos y de comunicación modernos en los que las propiedades funcionales y extrafuncionales están fuertemente interrelacionados. Por lo tanto, la principal motivación para VECoS es fomentar la fertilización cruzada entre varios enfoques, métodos y técnicas formales de verificación y evaluación, y especialmente aquellos desarrollados para sistemas de hardware/software concurrentes y distribuidos. Los artículos están organizados en las siguientes secciones temáticas: petri-net, simulación y programación; modelado y verificación formal, pruebas; e inteligencia artificial y aprendizaje automático. Nota de contenido: Petri-Net, Simulation, and Scheduling -- An Approach for Supervisor Reduction of Discrete-event Systems -- Multi-robot path planning using Petri nets -- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity -- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator -- Vehicle Scheduling Problem in Terminals: a Review -- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models -- ON/OFF control trajectory computation for steady state reaching in batches Petri nets -- Towards efficient partial order techniques for time Petri nets -- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification -- Formal Verification of a Certified Policy Language -- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design -- Artificial Intelligence and Machine Learning -- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection -- Deep Reinforcement Learning for Solving AGVs Routing Problem -- Research on Vehicle Detection based on Visual Convolution Network Optimization -- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems -- Multi-Scale Risk Assessment Model of Network Security Based on LSTM -- Weighted lightweight image retrieval method based on linear regression. 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 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings [documento electrónico] / Ben Hedia, Belgacem, ; Chen, Yu-Fang, ; Liu, Gaiyun, ; Yu, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 281 p. 107 ilustraciones, 66 ilustraciones en color.
ISBN : 978-3-030-65955-4
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 Algoritmos Informática Ingeniería de software Teoría de las máquinas Estructuras de datos (Informática) Teoría de la información Ingeniería Informática y Redes Diseño y Análisis de Algoritmos Matemáticas de la Computación Lenguajes formales y teoría de los autómatas Estructuras de datos y teoría de la información Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Verificación y Evaluación de Sistemas Informáticos y de Comunicación, VECoS 2020, que se suponía iba a celebrarse en Xi''an, China, en octubre de 2020, pero que en su lugar se celebró virtualmente. Los 19 artículos completos y 1 artículo breve presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 60 presentaciones. El objetivo de la conferencia VECoS es reunir a investigadores y profesionales en las áreas de verificación, control, desempeño y evaluación de confiabilidad para discutir el estado del arte y los desafíos en los sistemas informáticos y de comunicación modernos en los que las propiedades funcionales y extrafuncionales están fuertemente interrelacionados. Por lo tanto, la principal motivación para VECoS es fomentar la fertilización cruzada entre varios enfoques, métodos y técnicas formales de verificación y evaluación, y especialmente aquellos desarrollados para sistemas de hardware/software concurrentes y distribuidos. Los artículos están organizados en las siguientes secciones temáticas: petri-net, simulación y programación; modelado y verificación formal, pruebas; e inteligencia artificial y aprendizaje automático. Nota de contenido: Petri-Net, Simulation, and Scheduling -- An Approach for Supervisor Reduction of Discrete-event Systems -- Multi-robot path planning using Petri nets -- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity -- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator -- Vehicle Scheduling Problem in Terminals: a Review -- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models -- ON/OFF control trajectory computation for steady state reaching in batches Petri nets -- Towards efficient partial order techniques for time Petri nets -- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification -- Formal Verification of a Certified Policy Language -- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design -- Artificial Intelligence and Machine Learning -- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection -- Deep Reinforcement Learning for Solving AGVs Routing Problem -- Research on Vehicle Detection based on Visual Convolution Network Optimization -- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems -- Multi-Scale Risk Assessment Model of Network Security Based on LSTM -- Weighted lightweight image retrieval method based on linear regression. 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 : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings Tipo de documento: documento electrónico Autores: Chen, Yu-Fang, ; Cheng, Chih-Hong, ; Esparza, Javier, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XI, 552 p. 754 ilustraciones, 60 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-31784-3 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 Compiladores (programas informáticos) Ciencias de la Computación Teoría de las máquinas Inteligencia artificial Algoritmos Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 17.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2019, celebrado en Taipei, Taiwán, en octubre de 2019. Los 24 artículos regulares presentados junto con 3 artículos sobre herramientas fueron cuidadosamente revisados y seleccionados entre 65 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo. Los artículos se centran en sistemas ciberfísicos; técnicas de tiempo de ejecución; pruebas; autómatas; síntesis; Sistemas estocásticos y verificación de modelos. Nota de contenido: A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth Assignments as Conditional Autarkies -- Can We Trust Autonomous Systems? Boundaries and Risks -- Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs -- Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking for Guaranteeing Timed Opacity -- Adaptive Online First-Order Monitoring -- Multi-Head Monitoring of Metric Temporal Logic -- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking -- Conditional Testing: O -the-Shelf Combination of Test-Case Generators -- Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation -- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment -- KLUZZER: Whitebox Fuzzing on top of LLVM -- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops -- Chain Free String Constraints -- Synthesizing Efficient Low-Precision Kernels -- New Optimizations and Heuristics for Determinization of Büchi Automata -- Approximate Automata for Omega-regular Languages -- DEQ : Equivalence Checker for Deterministic Register Automata -- LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL -- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems -- Reactive Synthesis of Graphical User Interface Glue Code -- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis -- Program Repair for Hyperproperties -- Generic Emptiness Check for Fun and Profit -- Deciding Fast Termination for Probabilistic VASS with Nondeterminism -- Are Parametric Markov Chains Monotonic -- Efficient Information-Flow Verification under Speculative Execution -- Model Checking Data Flows in Concurrent Network Updates.-Performance Evaluation of NDN Data Plane Using Statistical Model Checking. 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 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings [documento electrónico] / Chen, Yu-Fang, ; Cheng, Chih-Hong, ; Esparza, Javier, . - 1 ed. . - [s.l.] : Springer, 2019 . - XI, 552 p. 754 ilustraciones, 60 ilustraciones en color.
ISBN : 978-3-030-31784-3
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 Compiladores (programas informáticos) Ciencias de la Computación Teoría de las máquinas Inteligencia artificial Algoritmos Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 17.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2019, celebrado en Taipei, Taiwán, en octubre de 2019. Los 24 artículos regulares presentados junto con 3 artículos sobre herramientas fueron cuidadosamente revisados y seleccionados entre 65 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo. Los artículos se centran en sistemas ciberfísicos; técnicas de tiempo de ejecución; pruebas; autómatas; síntesis; Sistemas estocásticos y verificación de modelos. Nota de contenido: A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth Assignments as Conditional Autarkies -- Can We Trust Autonomous Systems? Boundaries and Risks -- Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs -- Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking for Guaranteeing Timed Opacity -- Adaptive Online First-Order Monitoring -- Multi-Head Monitoring of Metric Temporal Logic -- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking -- Conditional Testing: O -the-Shelf Combination of Test-Case Generators -- Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation -- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment -- KLUZZER: Whitebox Fuzzing on top of LLVM -- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops -- Chain Free String Constraints -- Synthesizing Efficient Low-Precision Kernels -- New Optimizations and Heuristics for Determinization of Büchi Automata -- Approximate Automata for Omega-regular Languages -- DEQ : Equivalence Checker for Deterministic Register Automata -- LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL -- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems -- Reactive Synthesis of Graphical User Interface Glue Code -- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis -- Program Repair for Hyperproperties -- Generic Emptiness Check for Fun and Profit -- Deciding Fast Termination for Probabilistic VASS with Nondeterminism -- Are Parametric Markov Chains Monotonic -- Efficient Information-Flow Verification under Speculative Execution -- Model Checking Data Flows in Concurrent Network Updates.-Performance Evaluation of NDN Data Plane Using Statistical Model Checking. 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
