Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

AvPanagiotis Katsaros,Laura Nenzi

Häftad, Engelska, 2023

Del 14245 i serien Lecture Notes in Computer Science

798 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

854 kr

742 kr

572 kr

854 kr

753 kr

628 kr

751 kr

572 kr

572 kr

571 kr

Beskrivning

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023.The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.

Produktinformation

Utgivningsdatum:2023-10-02
Mått:155 x 235 x 28 mm
Vikt:756 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:490
Upplaga:23001
Förlag:Springer International Publishing AG
ISBN:9783031442667

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Assumption Generation for Learning-Enabled Autonomous Systems.- Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes.- Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking.- Monitoring Blackbox Implementations of Multiparty Session Protocols.- Specification Parameters for Multi-Class Classification.- General Anticipatory Monitoring for Temporal Logics on Finite Traces.- Metric First-order Temporal Logic with Complex Data Types.- Runtime Verification Prediction for Traces with Data.- Monitoring Hyperproperties With Prefix Transducers.- Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.- Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals.- Flexible Runtime Security Enforcement with Tagged C.- Pattern Matching for Perception Streams.- Learning Monitor Ensembles for Operational Design Domains.- Monitoring Algorithmic Fairness underPartial Observations.- AMT: a Runtime Verification Tool of Video Streams.- Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM.- CCMOP: A Runtime Verification Tool for C/C++ Programs.- A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations.- eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.- Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models.- Safety Monitoring for Pedestrian Detection in Adverse Conditions.- Instrumentation for RV: From Basic Monitoring to Advanced Use Cases.- Runtime Monitoring DNN-based Perception.- Monitorability for Runtime Verification.- Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees.

Mer från samma författare

Approaches and Processes for Managing the Economics of Information Systems

Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros, Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros

Inbunden, 2014

1 753 kr

Del 11842

Model-Based Safety and Assessment

Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano

Häftad, 2019

572 kr

Model-Based Safety and Assessment

Marco Bozzano, Panagiotis Katsaros, Koorosh Aslansefat, Yiannis Papadopoulos

E-bok

2019

739 kr

Runtime Verification

Laura Nenzi, Panagiotis Katsaros

E-bok

2023

985 kr

Del 15755

Model-Based Safety and Assessment

Panagiotis Katsaros

Häftad, 2025

662 kr

Model-Based Safety and Assessment

Panagiotis Katsaros

E-bok

2025

821 kr

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos

Häftad, 2014

540 kr

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Ioannis Stamelos, Siraj Ahmed Shaikh, Panagiotis Katsaros, Alexeis Garcia-Perez, Sara Fernandes, Donatella Persico, Antonio Cerone

E-bok

2014

690 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

AvPanagiotis Katsaros,Laura Nenzi

Häftad, Engelska, 2023

Del 14245 i serien Lecture Notes in Computer Science

798 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

854 kr

742 kr

572 kr

854 kr

753 kr

628 kr

751 kr

572 kr

572 kr

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:2023-10-02
Mått:155 x 235 x 28 mm
Vikt:756 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:490
Upplaga:23001
Förlag:Springer International Publishing AG
ISBN:9783031442667

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Assumption Generation for Learning-Enabled Autonomous Systems.- Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes.- Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking.- Monitoring Blackbox Implementations of Multiparty Session Protocols.- Specification Parameters for Multi-Class Classification.- General Anticipatory Monitoring for Temporal Logics on Finite Traces.- Metric First-order Temporal Logic with Complex Data Types.- Runtime Verification Prediction for Traces with Data.- Monitoring Hyperproperties With Prefix Transducers.- Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.- Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals.- Flexible Runtime Security Enforcement with Tagged C.- Pattern Matching for Perception Streams.- Learning Monitor Ensembles for Operational Design Domains.- Monitoring Algorithmic Fairness underPartial Observations.- AMT: a Runtime Verification Tool of Video Streams.- Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM.- CCMOP: A Runtime Verification Tool for C/C++ Programs.- A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations.- eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.- Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models.- Safety Monitoring for Pedestrian Detection in Adverse Conditions.- Instrumentation for RV: From Basic Monitoring to Advanced Use Cases.- Runtime Monitoring DNN-based Perception.- Monitorability for Runtime Verification.- Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees.

Mer från samma författare

Approaches and Processes for Managing the Economics of Information Systems

Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros, Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros

Inbunden, 2014

1 753 kr

Del 11842

Model-Based Safety and Assessment

Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano

Häftad, 2019

572 kr

Model-Based Safety and Assessment

Marco Bozzano, Panagiotis Katsaros, Koorosh Aslansefat, Yiannis Papadopoulos

E-bok

2019

739 kr

Runtime Verification

Laura Nenzi, Panagiotis Katsaros

E-bok

2023

985 kr

Del 15755

Model-Based Safety and Assessment

Panagiotis Katsaros

Häftad, 2025

662 kr

Model-Based Safety and Assessment

Panagiotis Katsaros

E-bok

2025

821 kr

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos

Häftad, 2014

540 kr

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Ioannis Stamelos, Siraj Ahmed Shaikh, Panagiotis Katsaros, Alexeis Garcia-Perez, Sara Fernandes, Donatella Persico, Antonio Cerone

E-bok

2014

690 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö