Información del autor
Autor Ait-Ameur, Yamine |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
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 [...] Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems / Ait-Ameur, Yamine ; Nakajima, Shin ; Méry, Dominique
TÃtulo : Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings Tipo de documento: documento electrónico Autores: Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, Mención de edición: 1 ed. Editorial: Singapore [Malasia] : Springer Fecha de publicación: 2021 Número de páginas: XII, 346 p. 138 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-981-1550546-- 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 Lógica matemática Lógica Matemática y Fundamentos Clasificación: 005.1 Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explÃcita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implÃcita como explÃcita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implÃcita y explÃcita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingenierÃa de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explÃcita e implÃcita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. Tipo de medio : Computadora Summary : This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings [documento electrónico] / Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, . - 1 ed. . - Singapore [Malasia] : Springer, 2021 . - XII, 346 p. 138 ilustraciones, 29 ilustraciones en color.
ISBN : 978-981-1550546--
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 Lógica matemática Lógica Matemática y Fundamentos Clasificación: 005.1 Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explÃcita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implÃcita como explÃcita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implÃcita y explÃcita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingenierÃa de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explÃcita e implÃcita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. Tipo de medio : Computadora Summary : This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
