Información del autor
Autor ter Beek, Maurice H. |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Formal Methods for Industrial Critical Systems : 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. Idioma : Inglés (eng) 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 Clasificación: 005.45 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods for Industrial Critical Systems : 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.
Idioma : Inglés (eng)
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 Clasificación: 005.45 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods – The Next 30 Years / ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N.
TÃtulo : Formal Methods – The Next 30 Years : 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods – The Next 30 Years : 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.
Idioma : Inglés (eng)
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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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. Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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. Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
