| 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 |
|  |
Hacer una sugerencia Refinar búsqueda18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / Colombo, Christian ; Leucker, Martin
