東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Runtime verification = 23rd Internat...

RV (Conference) (2023 :)

FindBook

Google Book

Amazon

博客來

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Runtime verification/ edited by Panagiotis Katsaros, Laura Nenzi.
其他題名:	23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
其他題名:	RV 2023
其他作者:	Katsaros, Panagiotis.
團體作者:	RV (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xi, 490 p. :ill. (some col.), digital ;24 cm.
內容註:	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 under Partial 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.
Contained By:	Springer Nature eBook
標題:	Computer software - Congresses. - Verification -
電子資源:	https://doi.org/10.1007/978-3-031-44267-4
ISBN:	9783031442674

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /[electronic resource] :RV 2023edited by Panagiotis Katsaros, Laura Nenzi. - Cham :Springer Nature Switzerland :2023. - xi, 490 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,142450302-9743 ;. - Lecture notes in computer science ;14245..

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 under Partial 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.

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.

ISBN: 9783031442674

Standard No.: 10.1007/978-3-031-44267-4doiSubjects--Topical Terms:

844546
Computer software
--Verification--Congresses.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
LDR:03722nmm a2200349 a 4500 001 2334559
003 DE-He213
005 20231001015100.0
006 m d
007 cr nn 008maaau
008 240402s2023 sz s 0 eng d
020 $a 9783031442674 $q (electronic bk.)
020 $a 9783031442667 $q (paper)
024 7 $a 10.1007/978-3-031-44267-4 $2 doi
035 $a 978-3-031-44267-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.V47
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.14 $2 23
090 $a QA76.76.V47 $b R943 2023
111 2 $a RV (Conference) $n (23rd : $d 2023 : $c Thessalonike, Greece) $3 3666251
245 1 0 $a Runtime verification $h [electronic resource] : $b 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / $c edited by Panagiotis Katsaros, Laura Nenzi.
246 3 $a RV 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xi, 490 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14245
505 0 $a 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 under Partial 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.
520 $a 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.
650 0 $a Computer software $x Verification $v Congresses. $3 844546
650 0 $a Formal methods (Computer science) $v Congresses. $3 622707
650 0 $a Computer software $x Testing $v Congresses. $3 849414
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Formal Languages and Automata Theory. $3 3592087
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Algorithms. $3 536374
650 2 4 $a Compilers and Interpreters. $3 3592044
700 1 $a Katsaros, Panagiotis. $3 3666252
700 1 $a Nenzi, Laura. $3 3666253
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14245. $3 3666254
856 4 0 $u https://doi.org/10.1007/978-3-031-44267-4
950 $a Computer Science (SpringerNature-11645)