Autor Bartocci, Ezio
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda
TÃtulo : Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Tipo de documento: documento electrónico Autores: Bartocci, Ezio, ; Falcone, Yliès, ; Leucker, Martin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 193 p. 40 ilustraciones ISBN/ISSN/DL: 978-3-030-87348-6 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 IngenierÃa Informática Red de computadoras TeorÃa de la Computación IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este Festschrift, dedicado a Klaus Havelund con motivo de su 65 cumpleaños, celebrado en 2021 debido a la pandemia de COVID-19, contiene artÃculos escritos por muchos de sus amigos y colaboradores más cercanos. Después de trabajar como programador de software en varias empresas danesas, Klaus ocupó puestos de investigación en varios institutos, incluido el Centro Danés de Datamática, la Escuela Politécnica, el laboratorio LIP 6 en ParÃs, la Universidad de Aalborg y la NASA Ames. Desde 2006 trabaja en el Jet Propulsion Laboratory (JPL) de la NASA, el centro financiado con fondos federales y gestionado por Caltech cuya función principal es construir y operar naves espaciales robóticas planetarias. Sus premios profesionales incluyen el premio a la innovación en ingenierÃa Turning Goals Into Reality, el premio al Desarrollo Tecnológico Sobresaliente y los premios JPL Mariner, Ranger, Voyager y Magellan. Klaus ha brindado un servicio constante y generoso a la comunidad de métodos formales organizando, participando y presidiendo numerosos comités. Sus premios académicos incluyen el premio SIGSOFT Impact Paper 2020, el premio RV 2018 Test of Time y los premios ASE 2014 y ASE 2016 Most Influential Paper. Sus actividades de investigación han generado más de 100 publicaciones con más de 100 colaboradores, citados más de 12.000 veces. El tÃtulo del libro refleja el principal enfoque de investigación e ingenierÃa de Klaus a lo largo de su carrera: métodos formales, a menudo aplicados en la NASA. Las contribuciones, que pasaron por un proceso de revisión por pares, cubren un amplio espectro de temas relacionados con sus intereses cientÃficos, incluido el diseño de lenguajes de programación, análisis estático, verificación del tiempo de ejecución, garantÃa dinámica y aprendizaje de autómatas. Nota de contenido: The K Vision for the Future of Programming Language Design and Analysis -- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability -- Domain Analysis & Description – Sorts, Types, Intents -- Dynamic interval analysis by abstract interpretation -- Runtime Verification: Passing on the Baton -- Hardware-Assisted Online Data Race Detection -- Comparing two methods for checking runtime properties -- Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems -- Collision-Free 3D Flocking Using the Distributed Simplex Architecture -- A Context-Free Symbiosis of Runtime Verification & Automata Learning -- Reverse Engineering through Automata 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 Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday [documento electrónico] / Bartocci, Ezio, ; Falcone, Yliès, ; Leucker, Martin, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 193 p. 40 ilustraciones.
ISBN : 978-3-030-87348-6
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 IngenierÃa Informática Red de computadoras TeorÃa de la Computación IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este Festschrift, dedicado a Klaus Havelund con motivo de su 65 cumpleaños, celebrado en 2021 debido a la pandemia de COVID-19, contiene artÃculos escritos por muchos de sus amigos y colaboradores más cercanos. Después de trabajar como programador de software en varias empresas danesas, Klaus ocupó puestos de investigación en varios institutos, incluido el Centro Danés de Datamática, la Escuela Politécnica, el laboratorio LIP 6 en ParÃs, la Universidad de Aalborg y la NASA Ames. Desde 2006 trabaja en el Jet Propulsion Laboratory (JPL) de la NASA, el centro financiado con fondos federales y gestionado por Caltech cuya función principal es construir y operar naves espaciales robóticas planetarias. Sus premios profesionales incluyen el premio a la innovación en ingenierÃa Turning Goals Into Reality, el premio al Desarrollo Tecnológico Sobresaliente y los premios JPL Mariner, Ranger, Voyager y Magellan. Klaus ha brindado un servicio constante y generoso a la comunidad de métodos formales organizando, participando y presidiendo numerosos comités. Sus premios académicos incluyen el premio SIGSOFT Impact Paper 2020, el premio RV 2018 Test of Time y los premios ASE 2014 y ASE 2016 Most Influential Paper. Sus actividades de investigación han generado más de 100 publicaciones con más de 100 colaboradores, citados más de 12.000 veces. El tÃtulo del libro refleja el principal enfoque de investigación e ingenierÃa de Klaus a lo largo de su carrera: métodos formales, a menudo aplicados en la NASA. Las contribuciones, que pasaron por un proceso de revisión por pares, cubren un amplio espectro de temas relacionados con sus intereses cientÃficos, incluido el diseño de lenguajes de programación, análisis estático, verificación del tiempo de ejecución, garantÃa dinámica y aprendizaje de autómatas. Nota de contenido: The K Vision for the Future of Programming Language Design and Analysis -- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability -- Domain Analysis & Description – Sorts, Types, Intents -- Dynamic interval analysis by abstract interpretation -- Runtime Verification: Passing on the Baton -- Hardware-Assisted Online Data Race Detection -- Comparing two methods for checking runtime properties -- Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems -- Collision-Free 3D Flocking Using the Distributed Simplex Architecture -- A Context-Free Symbiosis of Runtime Verification & Automata Learning -- Reverse Engineering through Automata 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 From Reactive Systems to Cyber-Physical Systems / Bartocci, Ezio ; Cleaveland, Rance ; Grosu, Radu ; Sokolsky, Oleg
TÃtulo : From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday Tipo de documento: documento electrónico Autores: Bartocci, Ezio, ; Cleaveland, Rance, ; Grosu, Radu, ; Sokolsky, Oleg, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 301 p. 125 ilustraciones, 44 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-31514-6 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 TeorÃa de las máquinas IngenierÃa de software Inteligencia artificial Computadoras digitales electrónicas Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Rendimiento y evaluación del sistema Ãndice Dewey: 40.151 Resumen: Este Festschrift es en honor a Scott A. Smolka, profesor de la Universidad Stony Brook, EE. UU., con motivo de su 65 cumpleaños. Scott A. Smolka hizo contribuciones fundamentales a la investigación en varias áreas, incluida el álgebra de procesos, la verificación de modelos, los procesos probabilÃsticos, la verificación del tiempo de ejecución y el modelado y análisis de células cardÃacas, circuitos neuronales y comportamientos de bandada. Quizás sea mejor conocido por el algoritmo que él y Paris Kanellakis inventaron para verificar la bisimulación. El tÃtulo de este volumen De sistemas reactivos a sistemas ciberfÃsicos refleja el principal enfoque de investigación de Scott a lo largo de su carrera. Contiene los artÃculos escritos por sus amigos y colaboradores más cercanos. Las contribuciones cubren un amplio espectro de temas relacionados con los intereses cientÃficos de investigación de Scott, incluida la reparación de modelos para sistemas probabilÃsticos, la verificación del tiempo de ejecución, la verificación de modelos, la simulación de dinámica cardÃaca y el aprendizaje automático. Nota de contenido: Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. 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 From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday [documento electrónico] / Bartocci, Ezio, ; Cleaveland, Rance, ; Grosu, Radu, ; Sokolsky, Oleg, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 301 p. 125 ilustraciones, 44 ilustraciones en color.
ISBN : 978-3-030-31514-6
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 TeorÃa de las máquinas IngenierÃa de software Inteligencia artificial Computadoras digitales electrónicas Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Rendimiento y evaluación del sistema Ãndice Dewey: 40.151 Resumen: Este Festschrift es en honor a Scott A. Smolka, profesor de la Universidad Stony Brook, EE. UU., con motivo de su 65 cumpleaños. Scott A. Smolka hizo contribuciones fundamentales a la investigación en varias áreas, incluida el álgebra de procesos, la verificación de modelos, los procesos probabilÃsticos, la verificación del tiempo de ejecución y el modelado y análisis de células cardÃacas, circuitos neuronales y comportamientos de bandada. Quizás sea mejor conocido por el algoritmo que él y Paris Kanellakis inventaron para verificar la bisimulación. El tÃtulo de este volumen De sistemas reactivos a sistemas ciberfÃsicos refleja el principal enfoque de investigación de Scott a lo largo de su carrera. Contiene los artÃculos escritos por sus amigos y colaboradores más cercanos. Las contribuciones cubren un amplio espectro de temas relacionados con los intereses cientÃficos de investigación de Scott, incluida la reparación de modelos para sistemas probabilÃsticos, la verificación del tiempo de ejecución, la verificación de modelos, la simulación de dinámica cardÃaca y el aprendizaje automático. Nota de contenido: Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. 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 : Lectures on Runtime Verification : Introductory and Advanced Topics Tipo de documento: documento electrónico Autores: Bartocci, Ezio, ; Falcone, Yliès, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: VII, 233 p. 28 ilustraciones ISBN/ISSN/DL: 978-3-319-75632-5 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 Ordenadores Profesiones Ciencias de la Computación Computadoras digitales electrónicas La profesión informática Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: La idea de este volumen surgió de la necesidad de disponer de un libro para que los estudiantes apoyaran su formación con varios tutoriales sobre diferentes aspectos de la RV. El volumen se ha organizado en siete capÃtulos y los temas cubiertos incluyen una introducción sobre la verificación en tiempo de ejecución, el análisis dinámico de errores de concurrencia, el monitoreo de eventos que transportan datos, la reacción y prevención de errores en tiempo de ejecución, el monitoreo de sistemas ciberfÃsicos, la verificación en tiempo de ejecución para sistemas descentralizados y distribuidos. sistemas y una aplicación industrial de técnicas de verificación en tiempo de ejecución en sistemas de transacciones financieras. Nota de contenido: An Introduction to Runtime Verification -- Discovering Concurrency Errors -- Monitoring Events That Carry Data -- Runtime Error Reaction and Prevention -- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and Distributed Systems -- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. 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 Lectures on Runtime Verification : Introductory and Advanced Topics [documento electrónico] / Bartocci, Ezio, ; Falcone, Yliès, . - 1 ed. . - [s.l.] : Springer, 2018 . - VII, 233 p. 28 ilustraciones.
ISBN : 978-3-319-75632-5
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 Ordenadores Profesiones Ciencias de la Computación Computadoras digitales electrónicas La profesión informática Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: La idea de este volumen surgió de la necesidad de disponer de un libro para que los estudiantes apoyaran su formación con varios tutoriales sobre diferentes aspectos de la RV. El volumen se ha organizado en siete capÃtulos y los temas cubiertos incluyen una introducción sobre la verificación en tiempo de ejecución, el análisis dinámico de errores de concurrencia, el monitoreo de eventos que transportan datos, la reacción y prevención de errores en tiempo de ejecución, el monitoreo de sistemas ciberfÃsicos, la verificación en tiempo de ejecución para sistemas descentralizados y distribuidos. sistemas y una aplicación industrial de técnicas de verificación en tiempo de ejecución en sistemas de transacciones financieras. Nota de contenido: An Introduction to Runtime Verification -- Discovering Concurrency Errors -- Monitoring Events That Carry Data -- Runtime Error Reaction and Prevention -- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and Distributed Systems -- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. 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
