Autor Olderog, Ernst-Rüdiger
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda
Título : Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Tipo de documento: documento electrónico Autores: Olderog, Ernst-Rüdiger, ; Steffen, Bernhard, ; Yi, Wang, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 219 p. 73 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-91384-7 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 Inteligencia artificial Ingeniería de software Microprogramación Computadoras Propósitos especiales Lógica informática y fundamentos de la programación Estructuras de control y microprogramación Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 40.151 Resumen: Este Festschrift, dedicado a Bengt Jonsson con motivo de su 60 cumpleaños, contiene artículos escritos por muchos de sus amigos y colaboradores. Bengt ha realizado importantes contribuciones que abarcan una amplia gama de temas, incluidos la verificación y el aprendizaje. Sus trabajos sobre verificación, sistemas de estados finitos, aprendizaje, pruebas, sistemas probabilísticos, sistemas cronometrados y sistemas distribuidos reflejan tanto la diversidad como la profundidad de su investigación. Además de ser un excelente científico, Bengt también es un líder que ha influido enormemente en las carreras tanto de sus alumnos como de sus colegas. Su enfoque principal a lo largo de su carrera ha sido el área de métodos formales, y los artículos de investigación que se le dedican en este volumen abordan temas relacionados, particularmente relacionados con la verificación de modelos, la lógica temporal y el aprendizaje de autómatas. Nota de contenido: Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms. 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 Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday [documento electrónico] / Olderog, Ernst-Rüdiger, ; Steffen, Bernhard, ; Yi, Wang, . - 1 ed. . - [s.l.] : Springer, 2021 . - VIII, 219 p. 73 ilustraciones, 29 ilustraciones en color.
ISBN : 978-3-030-91384-7
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 Inteligencia artificial Ingeniería de software Microprogramación Computadoras Propósitos especiales Lógica informática y fundamentos de la programación Estructuras de control y microprogramación Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 40.151 Resumen: Este Festschrift, dedicado a Bengt Jonsson con motivo de su 60 cumpleaños, contiene artículos escritos por muchos de sus amigos y colaboradores. Bengt ha realizado importantes contribuciones que abarcan una amplia gama de temas, incluidos la verificación y el aprendizaje. Sus trabajos sobre verificación, sistemas de estados finitos, aprendizaje, pruebas, sistemas probabilísticos, sistemas cronometrados y sistemas distribuidos reflejan tanto la diversidad como la profundidad de su investigación. Además de ser un excelente científico, Bengt también es un líder que ha influido enormemente en las carreras tanto de sus alumnos como de sus colegas. Su enfoque principal a lo largo de su carrera ha sido el área de métodos formales, y los artículos de investigación que se le dedican en este volumen abordan temas relacionados, particularmente relacionados con la verificación de modelos, la lógica temporal y el aprendizaje de autómatas. Nota de contenido: Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms. 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 : Provably Correct Systems Tipo de documento: documento electrónico Autores: Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XV, 328 p. 84 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-48628-4 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: Teoría de las máquinas Ciencias de la Computación Programación de computadoras Lenguajes formales y teoría de los autómatas Lógica informática y fundamentos de la programación Modelos de Computación Técnicas de programación Índice Dewey: 5.131 Resumen: A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capítulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas híbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales Nota de contenido: Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations. 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 Provably Correct Systems [documento electrónico] / Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger, . - 1 ed. . - [s.l.] : Springer, 2017 . - XV, 328 p. 84 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-319-48628-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Teoría de las máquinas Ciencias de la Computación Programación de computadoras Lenguajes formales y teoría de los autómatas Lógica informática y fundamentos de la programación Modelos de Computación Técnicas de programación Índice Dewey: 5.131 Resumen: A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capítulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas híbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales Nota de contenido: Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations. 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
