Información del autor
Autor Qin, Shengchao |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsquedaDependable Software Engineering. Theories, Tools, and Applications / Qin, Shengchao ; Woodcock, Jim ; Zhang, Wenhui
TÃtulo : Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Qin, Shengchao, ; Woodcock, Jim, ; Zhang, Wenhui, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 321 p. 108 ilustraciones, 79 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-91265-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 de software IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa Informática y Redes Clasificación: 005.1 Resumen: Este libro constituye las actas del Séptimo Simposio Internacional sobre IngenierÃa de Software Confiable, SETTA 2021, celebrado en Beijing, China, en noviembre de 2021. Los 16 artÃculos completos de este volumen fueron cuidadosamente revisados ​​y seleccionados entre 39 presentaciones, y se presentan con 3 resúmenes. de discursos de apertura. Se ocupan de los resultados de las investigaciones más recientes y de ideas sobre cómo cerrar la brecha entre los métodos formales y la ingenierÃa de software. Nota de contenido: Systems Development -- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization -- DeepGlobal: a Global Robustness Verifiable FNN Framework -- Leveraging Event-B Theories for handling domain knowledge in design models -- Program Analysis and Verification -- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics -- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP -- Formal Analysis of 5G AKMA -- Verifying the Correctness of Distributed Systems via Mergeable Parallelism -- Testing and Fault Detection -- Mutation Testing of Reinforcement Learning Systems -- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism -- MC/DC Test Cases Generation based on BDDs -- Software Quality -- Predicting and Monitoring Bug-proneness at The Feature Level -- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum -- A Distributed Simplex Architecture for Multi-Agent Systems -- Satisfiability, Reachability and Model Checking -- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations -- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas -- API Usage Pattern Search Based on Model Checking. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / [documento electrónico] / Qin, Shengchao, ; Woodcock, Jim, ; Zhang, Wenhui, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIII, 321 p. 108 ilustraciones, 79 ilustraciones en color.
ISBN : 978-3-030-91265-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 de software IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa Informática y Redes Clasificación: 005.1 Resumen: Este libro constituye las actas del Séptimo Simposio Internacional sobre IngenierÃa de Software Confiable, SETTA 2021, celebrado en Beijing, China, en noviembre de 2021. Los 16 artÃculos completos de este volumen fueron cuidadosamente revisados ​​y seleccionados entre 39 presentaciones, y se presentan con 3 resúmenes. de discursos de apertura. Se ocupan de los resultados de las investigaciones más recientes y de ideas sobre cómo cerrar la brecha entre los métodos formales y la ingenierÃa de software. Nota de contenido: Systems Development -- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization -- DeepGlobal: a Global Robustness Verifiable FNN Framework -- Leveraging Event-B Theories for handling domain knowledge in design models -- Program Analysis and Verification -- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics -- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP -- Formal Analysis of 5G AKMA -- Verifying the Correctness of Distributed Systems via Mergeable Parallelism -- Testing and Fault Detection -- Mutation Testing of Reinforcement Learning Systems -- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism -- MC/DC Test Cases Generation based on BDDs -- Software Quality -- Predicting and Monitoring Bug-proneness at The Feature Level -- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum -- A Distributed Simplex Architecture for Multi-Agent Systems -- Satisfiability, Reachability and Model Checking -- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations -- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas -- API Usage Pattern Search Based on Model Checking. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Ait-Ameur, Yamine, ; Qin, Shengchao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 528 p. 491 ilustraciones, 73 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-32409-4 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: Ciencias de la Computación Inteligencia artificial IngenierÃa de software IngenierÃa Informática Red de computadoras Simulación por ordenador TeorÃa de la Computación IngenierÃa Informática y Redes Modelado por computadora Clasificación: 40.151 Resumen: Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Métodos de IngenierÃa Formal, ICFEM 2019, celebrada en Shenzhen, China, en noviembre de 2019. Los 28 artÃculos completos y 8 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 94 presentaciones. Se ocupan de los avances recientes en el uso y desarrollo de métodos de ingenierÃa formal para el diseño de software y sistemas y registran los últimos avances en métodos de ingenierÃa formal. . Nota de contenido: Secure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems -- Using DimSpec for Bounded and Unbounded Software Model Checking -- SMTBCF: Efficient Backbone Computing for SMT Formulas -- Automatic verification for node-based visual script notation using model checking -- A Reo Model of Software Defined Networks -- Design of point-and-click user interfaces for proof assistants -- SqlSol: An accurate SQL Query Synthesizer -- Towards Verifying Ethereum Smart Contracts at Intermediate Language Level -- Simulations for ATL with imperfect information -- On the generation of equational dynamic logics for weighted imperative programs -- A Security Calculus for Wireless Networks of Named Data Networking -- Automatic Modularization of Large Programs for Bounded Model Checking -- PDNet: A Programming Language for Software-Defined Networks with VLAN -- Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines -- Probably Approximate Safety Verification of Hybrid Dynamical Systems -- A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams -- Reasoning about Universal Cubes in MCMT -- sCompile: Critical Path Identification and Analysis for Smart Contracts -- A Mechanized Theory of Program Refinement -- A Relational Static Semantics for Call Graph Construction -- Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method -- Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks -- Combining Parallel Emptiness Checks with Partial Order Reductions -- A Coalgebraic Semantics Framework for Quantum Systems -- Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation -- An Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM -- A First Step in the Translation of Alloy to Coq -- Assessment of a Formal Requirements Modeling Approach on a Transportation System -- Design Model Repair with Formal Verification -- A Performance-Sensitive Malware Detection System on Mobile Platform -- Certifying Hardware Model Checking Results -- A Note on Failure Mode Reasoning -- Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches -- Formal Specification and Verification of Smart Contracts -- Spatio-Temporal Specification Language for Cyber-Physical Systems -- A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification based on Machine Learning. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / [documento electrónico] / Ait-Ameur, Yamine, ; Qin, Shengchao, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXI, 528 p. 491 ilustraciones, 73 ilustraciones en color.
ISBN : 978-3-030-32409-4
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: Ciencias de la Computación Inteligencia artificial IngenierÃa de software IngenierÃa Informática Red de computadoras Simulación por ordenador TeorÃa de la Computación IngenierÃa Informática y Redes Modelado por computadora Clasificación: 40.151 Resumen: Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Métodos de IngenierÃa Formal, ICFEM 2019, celebrada en Shenzhen, China, en noviembre de 2019. Los 28 artÃculos completos y 8 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 94 presentaciones. Se ocupan de los avances recientes en el uso y desarrollo de métodos de ingenierÃa formal para el diseño de software y sistemas y registran los últimos avances en métodos de ingenierÃa formal. . Nota de contenido: Secure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems -- Using DimSpec for Bounded and Unbounded Software Model Checking -- SMTBCF: Efficient Backbone Computing for SMT Formulas -- Automatic verification for node-based visual script notation using model checking -- A Reo Model of Software Defined Networks -- Design of point-and-click user interfaces for proof assistants -- SqlSol: An accurate SQL Query Synthesizer -- Towards Verifying Ethereum Smart Contracts at Intermediate Language Level -- Simulations for ATL with imperfect information -- On the generation of equational dynamic logics for weighted imperative programs -- A Security Calculus for Wireless Networks of Named Data Networking -- Automatic Modularization of Large Programs for Bounded Model Checking -- PDNet: A Programming Language for Software-Defined Networks with VLAN -- Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines -- Probably Approximate Safety Verification of Hybrid Dynamical Systems -- A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams -- Reasoning about Universal Cubes in MCMT -- sCompile: Critical Path Identification and Analysis for Smart Contracts -- A Mechanized Theory of Program Refinement -- A Relational Static Semantics for Call Graph Construction -- Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method -- Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks -- Combining Parallel Emptiness Checks with Partial Order Reductions -- A Coalgebraic Semantics Framework for Quantum Systems -- Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation -- An Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM -- A First Step in the Translation of Alloy to Coq -- Assessment of a Formal Requirements Modeling Approach on a Transportation System -- Design Model Repair with Formal Verification -- A Performance-Sensitive Malware Detection System on Mobile Platform -- Certifying Hardware Model Checking Results -- A Note on Failure Mode Reasoning -- Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches -- Formal Specification and Verification of Smart Contracts -- Spatio-Temporal Specification Language for Cyber-Physical Systems -- A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification based on Machine Learning. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
