20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / Deshmukh, Jyotirmoy ; Ničković, Dejan  

Público ISBD Ningún comentario para este registro. Título : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings Tipo de documento: documento electrónico Autores: Deshmukh, Jyotirmoy, ; Ničković, Dejan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIX, 538 p. 1354 ilustraciones, 133 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-60508-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: Ingeniería de software  Teoría de las máquinas  Ciencias de la Computación  Inteligencia artificial  Algoritmos  Compiladores (programas informáticos)  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Verificación de Tiempo de Ejecución, RV 2020, celebrada en Los Ángeles, CA, EE. UU., en octubre de 2020. La conferencia se celebró virtualmente debido a la pandemia de COVID-19. Los 14 artículos regulares y 2 artículos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones. También se incluyen un artículo invitado, 5 artículos de tutoriales, 6 artículos de herramientas y un artículo de referencia. La conferencia RV se ocupa de todos los aspectos del monitoreo y análisis de hardware, software y ejecuciones de sistemas más generales. Los artículos están organizados en las siguientes secciones temáticas: verificación del tiempo de ejecución para la autonomía; verificación del tiempo de ejecución del software; verificación en tiempo de ejecución con especificaciones lógicas temporales; monitoreo basado en flujos; y verificación del tiempo de ejecución para sistemas ciberfísicos. Nota de contenido: Invited Presentation -- Fantastic Failures and Where to Find Them: Designing Trustworthy Autonomy -- Monitorability Under Assumptions -- Tutorials -- Monitoring Spatio-Temporal Properties (Invited Tutorial) -- Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness -- Analysing the Performance of Python-based Web Services with the VyPR Framework -- Monitoring Cyber-Physical Systems: From Design to Integration -- BDDs for Representing Data in Runtime Verification -- Runtime Verification for Autonomy -- Runtime-Safety-Guided Policy Repair -- PatrIoT: Policy Assisted Resilient Programmable IoT System -- Runtime Verification of Autonomous Driving Systems in CARLA SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System -- Runtime Verification for Software -- Scalable Online Monitoring of Distributed Systems -- Actor-based Runtime Verification with MESA -- Placement of Runtime Checks to Counteract Fault Injections -- Empirical Abstraction -- Test4Enforcers: Test Case Generation for Software Enforcers -- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs -- Efficient Runtime Assertion Checking for Properties over Mathematical Numbers -- BISM: Bytecode-Level Instrumentation for Software Monitoring -- Runtime Verification with Temporal Logic Specifications -- Property-Directed Verified Monitoring of Signal Temporal Logic -- Logical Signal Processing: a Fourier Analysis of Temporal Logic -- A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics -- TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties -- Stream-based Monitoring -- Verified Rust Monitors for Lola Specifications -- Automatic Optimizations for Stream-based Monitoring Languages -- Unifying the Time-Event Spectrum for Stream Runtime Verification -- A Benchmark Generator for Online First-Order Monitoring -- Runtime Verification for Cyber-Physical Systems -- Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring -- Formal Verification of a Mixed-Trust Synchronization Protocol. 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 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings [documento electrónico] / Deshmukh, Jyotirmoy, ; Ničković, Dejan,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XIX, 538 p. 1354 ilustraciones, 133 ilustraciones en color. ISBN : 978-3-030-60508-7 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  Teoría de las máquinas  Ciencias de la Computación  Inteligencia artificial  Algoritmos  Compiladores (programas informáticos)  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Verificación de Tiempo de Ejecución, RV 2020, celebrada en Los Ángeles, CA, EE. UU., en octubre de 2020. La conferencia se celebró virtualmente debido a la pandemia de COVID-19. Los 14 artículos regulares y 2 artículos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones. También se incluyen un artículo invitado, 5 artículos de tutoriales, 6 artículos de herramientas y un artículo de referencia. La conferencia RV se ocupa de todos los aspectos del monitoreo y análisis de hardware, software y ejecuciones de sistemas más generales. Los artículos están organizados en las siguientes secciones temáticas: verificación del tiempo de ejecución para la autonomía; verificación del tiempo de ejecución del software; verificación en tiempo de ejecución con especificaciones lógicas temporales; monitoreo basado en flujos; y verificación del tiempo de ejecución para sistemas ciberfísicos. Nota de contenido: Invited Presentation -- Fantastic Failures and Where to Find Them: Designing Trustworthy Autonomy -- Monitorability Under Assumptions -- Tutorials -- Monitoring Spatio-Temporal Properties (Invited Tutorial) -- Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness -- Analysing the Performance of Python-based Web Services with the VyPR Framework -- Monitoring Cyber-Physical Systems: From Design to Integration -- BDDs for Representing Data in Runtime Verification -- Runtime Verification for Autonomy -- Runtime-Safety-Guided Policy Repair -- PatrIoT: Policy Assisted Resilient Programmable IoT System -- Runtime Verification of Autonomous Driving Systems in CARLA SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System -- Runtime Verification for Software -- Scalable Online Monitoring of Distributed Systems -- Actor-based Runtime Verification with MESA -- Placement of Runtime Checks to Counteract Fault Injections -- Empirical Abstraction -- Test4Enforcers: Test Case Generation for Software Enforcers -- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs -- Efficient Runtime Assertion Checking for Properties over Mathematical Numbers -- BISM: Bytecode-Level Instrumentation for Software Monitoring -- Runtime Verification with Temporal Logic Specifications -- Property-Directed Verified Monitoring of Signal Temporal Logic -- Logical Signal Processing: a Fourier Analysis of Temporal Logic -- A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics -- TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties -- Stream-based Monitoring -- Verified Rust Monitors for Lola Specifications -- Automatic Optimizations for Stream-based Monitoring Languages -- Unifying the Time-Event Spectrum for Stream Runtime Verification -- A Benchmark Generator for Online First-Order Monitoring -- Runtime Verification for Cyber-Physical Systems -- Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring -- Formal Verification of a Mixed-Trust Synchronization Protocol. 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 / ter Beek, Maurice H. ; Ničković, Dejan  

Público ISBD Ningún comentario para este registro. 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

---

1 (1 - 2 / 2) Par page : 25 50 100 200