Autor Ait-Ameur, Yamine
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / Ait-Ameur, Yamine ; Qin, Shengchao
Título : 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. 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 Índice Dewey: 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. 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 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.
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 Índice Dewey: 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. 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 : 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 [Malasya] : 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. Palabras clave: Ingeniería de software Lógica matemática Lógica Matemática y Fundamentos Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 [Malasya] : 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.
Palabras clave: Ingeniería de software Lógica matemática Lógica Matemática y Fundamentos Índice Dewey: 005.1 Programación (Computadoras) 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. 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
