Información del autor
Autor Lahiri, Shuvendu K. |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 560 p. 133 ilustraciones ISBN/ISSN/DL: 978-3-030-01090-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: IngenierÃa de software Compiladores (programas informáticos) Protección de datos Simulación por ordenador Ciencias de la Computación TeorÃa de las máquinas Compiladores e intérpretes Seguridad de datos e información Modelado por computadora Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre TecnologÃa Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ãngeles, CA, EE. UU. en octubre de 2018. Los 27 artÃculos completos presentados junto con 5 artÃculos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 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. Nota de contenido: Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 560 p. 133 ilustraciones.
ISBN : 978-3-030-01090-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: IngenierÃa de software Compiladores (programas informáticos) Protección de datos Simulación por ordenador Ciencias de la Computación TeorÃa de las máquinas Compiladores e intérpretes Seguridad de datos e información Modelado por computadora Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre TecnologÃa Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ãngeles, CA, EE. UU. en octubre de 2018. Los 27 artÃculos completos presentados junto con 5 artÃculos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 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. Nota de contenido: Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53288-8 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 Ciencias de la Computación IngenierÃa Informática Red de computadoras Inteligencia artificial Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Redes de comunicación informática Hardware de la computadora Clasificación: 005.1 Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color.
ISBN : 978-3-030-53288-8
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 Ciencias de la Computación IngenierÃa Informática Red de computadoras Inteligencia artificial Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Redes de comunicación informática Hardware de la computadora Clasificación: 005.1 Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 683 p. 719 ilustraciones, 94 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53291-8 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 Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: 005.1 Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 683 p. 719 ilustraciones, 94 ilustraciones en color.
ISBN : 978-3-030-53291-8
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 Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: 005.1 Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
