Autor Zufferey, Damien
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda12th International Workshop, NSV 2019, New York City, NY, USA, July 13À“14, 2019, Proceedings / Zamani, Majid ; Zufferey, Damien
TÃtulo : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13À“14, 2019, Proceedings Tipo de documento: documento electrónico Autores: Zamani, Majid, ; Zufferey, Damien, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 145 p. 68 ilustraciones, 42 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-28423-7 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 IngenierÃa de software Inteligencia artificial Ordenadores Profesiones Lógica informática y fundamentos de la programación La profesión informática Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas del 12.º Taller Internacional sobre Verificación de Software Numérico, NSV 2019, celebrado en la ciudad de Nueva York, NY, EE. UU., en julio de 2019, coincidiendo con la Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2019. Los 5 artÃculos completos presentados Junto con 2 artÃculos breves, 3 resúmenes de charlas invitadas y 2 artÃculos tutoriales, se revisaron y seleccionaron cuidadosamente entre numerosas presentaciones. El taller NSV 2017 está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. Nota de contenido: Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification of an Automated Transport System -- Formal Methods for Highly Automated Driving Applications -- Trust, Resilience and Interpretability of AI Models -- Reinforcement Learning and Formal Requirements -- Contributed Papers -- An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws -- Rigorous Continuous Evolution of Uncertain Systems -- Stochastic Local Search for Solving Floating-Point Constraints -- Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability -- Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems -- Polytopic Trees for Verification of Learning-Based Controllers -- Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. 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 12th International Workshop, NSV 2019, New York City, NY, USA, July 13À“14, 2019, Proceedings [documento electrónico] / Zamani, Majid, ; Zufferey, Damien, . - 1 ed. . - [s.l.] : Springer, 2019 . - XV, 145 p. 68 ilustraciones, 42 ilustraciones en color.
ISBN : 978-3-030-28423-7
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 IngenierÃa de software Inteligencia artificial Ordenadores Profesiones Lógica informática y fundamentos de la programación La profesión informática Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas del 12.º Taller Internacional sobre Verificación de Software Numérico, NSV 2019, celebrado en la ciudad de Nueva York, NY, EE. UU., en julio de 2019, coincidiendo con la Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2019. Los 5 artÃculos completos presentados Junto con 2 artÃculos breves, 3 resúmenes de charlas invitadas y 2 artÃculos tutoriales, se revisaron y seleccionaron cuidadosamente entre numerosas presentaciones. El taller NSV 2017 está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. Nota de contenido: Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification of an Automated Transport System -- Formal Methods for Highly Automated Driving Applications -- Trust, Resilience and Interpretability of AI Models -- Reinforcement Learning and Formal Requirements -- Contributed Papers -- An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws -- Rigorous Continuous Evolution of Uncertain Systems -- Stochastic Local Search for Solving Floating-Point Constraints -- Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability -- Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems -- Polytopic Trees for Verification of Learning-Based Controllers -- Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. 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 : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings Tipo de documento: documento electrónico Autores: Beyer, Dirk, ; Zufferey, Damien, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIV, 471 p. 109 ilustraciones ISBN/ISSN/DL: 978-3-030-39322-9 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 IngenierÃa Informática Red de computadoras Programación lógica Inteligencia artificial IngenierÃa de software Lógica informática y fundamentos de la programación IngenierÃa Informática y Redes Lógica en IA Ciencia de los datos Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2020. Los 21 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​a partir de 44 presentaciones. VMCAI proporciona un foro para investigadores de las comunidades de verificación, verificación de modelos e interpretación abstracta, facilitando la interacción, la fertilización cruzada y el avance de métodos hÃbridos que combinan estas y áreas relacionadas. . Nota de contenido: Witnessing Secure Compilation -- BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results -- Fixing Code That Explodes Under Symbolic Evaluation -- The Correctness of a Code Generator for a Functional Language -- Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification -- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction -- A Systematic Approach to Abstract Interpretation of Program Transformations -- Sharing ghost variables in a collection of abstract domains -- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation -- Synthesizing Environment Invariants for Modular Hardware Verification -- Systematic Classi cation of Attackers via Bounded Model Checking -- Cheap CTL Compassion in NuSMV -- A Cooperative Parallelization Approach for Property-Directed k-Induction -- Generalized Property-Directed Reachability for Hybrid Systems -- Language Inclusion for Finite Prime Event Structures -- Promptness and Bounded Fairness in Concurrent and Parameterized Systems -- Solving LIA* Using Approximations -- Formalizing and checking Multilevel Consistency -- Practical Abstractions for Automated Veri cation of Shared-Memory Concurrency -- How to Win First-Order Safety Games -- Improving Parity Game Solvers with Justifications. 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, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings [documento electrónico] / Beyer, Dirk, ; Zufferey, Damien, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIV, 471 p. 109 ilustraciones.
ISBN : 978-3-030-39322-9
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 IngenierÃa Informática Red de computadoras Programación lógica Inteligencia artificial IngenierÃa de software Lógica informática y fundamentos de la programación IngenierÃa Informática y Redes Lógica en IA Ciencia de los datos Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2020. Los 21 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​a partir de 44 presentaciones. VMCAI proporciona un foro para investigadores de las comunidades de verificación, verificación de modelos e interpretación abstracta, facilitando la interacción, la fertilización cruzada y el avance de métodos hÃbridos que combinan estas y áreas relacionadas. . Nota de contenido: Witnessing Secure Compilation -- BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results -- Fixing Code That Explodes Under Symbolic Evaluation -- The Correctness of a Code Generator for a Functional Language -- Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification -- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction -- A Systematic Approach to Abstract Interpretation of Program Transformations -- Sharing ghost variables in a collection of abstract domains -- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation -- Synthesizing Environment Invariants for Modular Hardware Verification -- Systematic Classi cation of Attackers via Bounded Model Checking -- Cheap CTL Compassion in NuSMV -- A Cooperative Parallelization Approach for Property-Directed k-Induction -- Generalized Property-Directed Reachability for Hybrid Systems -- Language Inclusion for Finite Prime Event Structures -- Promptness and Bounded Fairness in Concurrent and Parameterized Systems -- Solving LIA* Using Approximations -- Formalizing and checking Multilevel Consistency -- Practical Abstractions for Automated Veri cation of Shared-Memory Concurrency -- How to Win First-Order Safety Games -- Improving Parity Game Solvers with Justifications. 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
