Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi
(Lecture Notes in Computer Science. ISSN:16113349 ; 14245)
データ種別 | 電子ブック |
---|---|
版 | 1st ed. 2023. |
出版者 | (Cham : Springer Nature Switzerland : Imprint: Springer) |
出版年 | 2023 |
大きさ | XI, 490 p. 128 illus., 101 illus. in color : online resource |
著者標目 | Katsaros, Panagiotis editor Nenzi, Laura editor SpringerLink (Online service) |
書誌詳細を非表示
一般注記 | 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 HTTP:URL=https://doi.org/10.1007/978-3-031-44267-4 |
---|---|
件 名 | LCSH:Software engineering LCSH:Machine theory LCSH:Computer science LCSH:Artificial intelligence LCSH:Algorithms LCSH:Compilers (Computer programs) FREE:Software Engineering FREE:Formal Languages and Automata Theory FREE:Computer Science Logic and Foundations of Programming FREE:Artificial Intelligence FREE:Algorithms FREE:Compilers and Interpreters |
分 類 | LCC:QA76.758 DC23:005.1 |
書誌ID | EB00003986 |
ISBN | 9783031442674 |
類似資料
この資料の利用統計
このページへのアクセス回数:3回
※2019年3月27日以降
全貸出数:0回
(1年以内の貸出:0回)
※2019年3月27日以降