Autor ter Beek, Maurice H.
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / ter Beek, Maurice H. ; NiÄković, Dejan
TÃtulo : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings Tipo de documento: documento electrónico Autores: ter Beek, Maurice H., ; NiÄković, Dejan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXII, 289 p. 76 ilustraciones, 42 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-58298-2 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: Compiladores (programas informáticos) Ciencias de la Computación Procesamiento del lenguaje natural (Informática) Computadoras Propósitos especiales IngenierÃa de software Compiladores e intérpretes TeorÃa de la Computación Procesamiento del lenguaje natural (PNL) Sistemas de propósito especial y basados ​​en aplicaciones Ãndice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas del 25º Taller Internacional sobre Métodos Formales para Sistemas CrÃticos Industriales, FMICS 2020, que se celebró del 2 al 3 de septiembre de 2020. La conferencia estaba prevista para realizarse en Viena, Austria. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 11 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Los artÃculos están organizados en secciones temáticas de la siguiente manera: análisis cuantitativo y sistemas ciberfÃsicos, verificación formal de sistemas industriales, lógica temporal y verificación de modelos. El libro también contiene un extenso informe sobre una Encuesta de Métodos Formales realizada con motivo de la 25ª edición de la conferencia. Nota de contenido: FMICS 25th Anniversary -- The 2020 Expert Survey on Formal Methods -- Quantitative Analysis and Cyber-Physical Systems -- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents -- Skylines for Symbolic Energy Consumption Analysis -- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers -- An Actor-based Approach for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture -- A Formally Veri ed Plasma Vertical Position Control Algorithm -- The First Twenty-Five Years of Industrial Use of the B-Method -- A Safety Flasher Developed with the CLEARSY Safety Platform -- Temporal Logic and Model checking -- Formal Verification of OIL Component Specifications Using mCRL2 -- Temporal-Logic Query Checking over Finite Data Streams -- Verification of a Failure Management Protocol for Stateful IoT Applications. 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 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings [documento electrónico] / ter Beek, Maurice H., ; NiÄković, Dejan, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXII, 289 p. 76 ilustraciones, 42 ilustraciones en color.
ISBN : 978-3-030-58298-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Compiladores (programas informáticos) Ciencias de la Computación Procesamiento del lenguaje natural (Informática) Computadoras Propósitos especiales IngenierÃa de software Compiladores e intérpretes TeorÃa de la Computación Procesamiento del lenguaje natural (PNL) Sistemas de propósito especial y basados ​​en aplicaciones Ãndice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas del 25º Taller Internacional sobre Métodos Formales para Sistemas CrÃticos Industriales, FMICS 2020, que se celebró del 2 al 3 de septiembre de 2020. La conferencia estaba prevista para realizarse en Viena, Austria. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 11 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Los artÃculos están organizados en secciones temáticas de la siguiente manera: análisis cuantitativo y sistemas ciberfÃsicos, verificación formal de sistemas industriales, lógica temporal y verificación de modelos. El libro también contiene un extenso informe sobre una Encuesta de Métodos Formales realizada con motivo de la 25ª edición de la conferencia. Nota de contenido: FMICS 25th Anniversary -- The 2020 Expert Survey on Formal Methods -- Quantitative Analysis and Cyber-Physical Systems -- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents -- Skylines for Symbolic Energy Consumption Analysis -- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers -- An Actor-based Approach for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture -- A Formally Veri ed Plasma Vertical Position Control Algorithm -- The First Twenty-Five Years of Industrial Use of the B-Method -- A Safety Flasher Developed with the CLEARSY Safety Platform -- Temporal Logic and Model checking -- Formal Verification of OIL Component Specifications Using mCRL2 -- Temporal-Logic Query Checking over Finite Data Streams -- Verification of a Failure Management Protocol for Stateful IoT Applications. 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 : From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday Tipo de documento: documento electrónico Autores: ter Beek, Maurice H., ; Fantechi, Alessandro, ; Semini, Laura, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 574 p. 692 ilustraciones, 91 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30985-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 Compiladores (programas informáticos) Algoritmos TeorÃa de las máquinas Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen fue publicado en honor del 65 cumpleaños de Stefania Gnesi. El volumen Festschrift contiene 32 artÃculos escritos por colaboradores cercanos y amigos de Stefania y se le presentó el 8 de octubre de 2019 en un coloquio de un dÃa celebrado en Oporto, Portugal. El Festschrift consta de ocho secciones, siete de las cuales reflejan las principales áreas de investigación a que Stefania ha contribuido. Luego de un recorrido por el legado de Stefania en la investigación y un homenaje de su director de tesis, estas siete secciones están ordenadas según el ciclo de vida de Stefania en la investigación, desde la ingenierÃa de software hasta los métodos y herramientas formales, y viceversa: IngenierÃa de software; Métodos y Herramientas Formales; IngenierÃa de Requisitos; Procesamiento natural del lenguaje; LÃneas de productos de software; Verificación Formal; y Aplicaciones. Nota de contenido: Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. 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 Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday [documento electrónico] / ter Beek, Maurice H., ; Fantechi, Alessandro, ; Semini, Laura, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 574 p. 692 ilustraciones, 91 ilustraciones en color.
ISBN : 978-3-030-30985-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 Compiladores (programas informáticos) Algoritmos TeorÃa de las máquinas Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen fue publicado en honor del 65 cumpleaños de Stefania Gnesi. El volumen Festschrift contiene 32 artÃculos escritos por colaboradores cercanos y amigos de Stefania y se le presentó el 8 de octubre de 2019 en un coloquio de un dÃa celebrado en Oporto, Portugal. El Festschrift consta de ocho secciones, siete de las cuales reflejan las principales áreas de investigación a que Stefania ha contribuido. Luego de un recorrido por el legado de Stefania en la investigación y un homenaje de su director de tesis, estas siete secciones están ordenadas según el ciclo de vida de Stefania en la investigación, desde la ingenierÃa de software hasta los métodos y herramientas formales, y viceversa: IngenierÃa de software; Métodos y Herramientas Formales; IngenierÃa de Requisitos; Procesamiento natural del lenguaje; LÃneas de productos de software; Verificación Formal; y Aplicaciones. Nota de contenido: Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. 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 : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings Tipo de documento: documento electrónico Autores: ter Beek, Maurice H., ; McIver, Annabelle, ; Oliveira, José N., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 774 p. 1687 ilustraciones, 92 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30942-8 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 Compiladores (programas informáticos) Ciencias de la Computación TeorÃa de las máquinas Algoritmos Inteligencia artificial Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 23.er Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en forma de Tercer Congreso Mundial sobre Métodos Formales, en octubre de 2019. Los 44 artÃculos completos presentados junto con 3 presentaciones invitadas fueron cuidadosamente revisado y seleccionado entre 129 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Presentaciones invitadas; Verificación; Técnicas de SÃntesis; concurrencia; Modelo de circo de control; Comprobación de modelos; Técnicas de Análisis; Idiomas de especificación; Técnicas de Razonamiento; Lenguajes de modelado; Técnicas y Aplicaciones Basadas en el Aprendizaje; Refactorización y Reprogramación; Presentaciones del I-Day. . Nota de contenido: Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking Circus -- Model Checking -- Analysis Techniques -- Specification Languages -- Reasoning Techniques -- Modelling Languages -- Learning-Based Techniques and Applications -- Refactoring and Reprogramming- I-Day Presentations. 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 Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings [documento electrónico] / ter Beek, Maurice H., ; McIver, Annabelle, ; Oliveira, José N., . - 1 ed. . - [s.l.] : Springer, 2019 . - XXI, 774 p. 1687 ilustraciones, 92 ilustraciones en color.
ISBN : 978-3-030-30942-8
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 Compiladores (programas informáticos) Ciencias de la Computación TeorÃa de las máquinas Algoritmos Inteligencia artificial Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 23.er Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en forma de Tercer Congreso Mundial sobre Métodos Formales, en octubre de 2019. Los 44 artÃculos completos presentados junto con 3 presentaciones invitadas fueron cuidadosamente revisado y seleccionado entre 129 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Presentaciones invitadas; Verificación; Técnicas de SÃntesis; concurrencia; Modelo de circo de control; Comprobación de modelos; Técnicas de Análisis; Idiomas de especificación; Técnicas de Razonamiento; Lenguajes de modelado; Técnicas y Aplicaciones Basadas en el Aprendizaje; Refactorización y Reprogramación; Presentaciones del I-Day. . Nota de contenido: Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking Circus -- Model Checking -- Analysis Techniques -- Specification Languages -- Reasoning Techniques -- Modelling Languages -- Learning-Based Techniques and Applications -- Refactoring and Reprogramming- I-Day Presentations. 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
