001482235 000__ 05112cam\\22006137i\4500
001482235 001__ 1482235
001482235 003__ OCoLC
001482235 005__ 20231128003327.0
001482235 006__ m\\\\\o\\d\\\\\\\\
001482235 007__ cr\un\nnnunnun
001482235 008__ 231003s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001482235 020__ $$a9783031442674$$q(electronic bk.)
001482235 020__ $$a3031442679$$q(electronic bk.)
001482235 020__ $$z9783031442667
001482235 0247_ $$a10.1007/978-3-031-44267-4$$2doi
001482235 035__ $$aSP(OCoLC)1401638771
001482235 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX$$dOCLCO$$dOCLCF
001482235 049__ $$aISEA
001482235 050_4 $$aQA76.76.V47$$bR83 2023
001482235 08204 $$a005.1/4$$223/eng/20231003
001482235 1112_ $$aRV (Conference)$$n(23rd :$$d2023 :$$cThessalonikē, Greece)
001482235 24510 $$aRuntime verification :$$b23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings /$$cPanagiotis Katsaros, Laura Nenzi, editors.
001482235 2463_ $$aRV 2023
001482235 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001482235 300__ $$a1 online resource (xi, 490 pages) :$$billustrations,
001482235 336__ $$atext$$btxt$$2rdacontent
001482235 337__ $$acomputer$$bc$$2rdamedia
001482235 338__ $$aonline resource$$bcr$$2rdacarrier
001482235 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14245
001482235 4901_ $$aFormal methods
001482235 500__ $$aIncludes author index.
001482235 5050_ $$aAssumption 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.
001482235 5060_ $$aOpen access.$$5GW5XE
001482235 520__ $$aThis 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.
001482235 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 2, 2023).
001482235 650_0 $$aComputer software$$xVerification$$vCongresses.
001482235 650_0 $$aFormal methods (Computer science)$$vCongresses.
001482235 650_0 $$aComputer software$$xTesting$$vCongresses.
001482235 650_6 $$aLogiciels$$xVérification$$vCongrès.
001482235 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001482235 655_0 $$aElectronic books.
001482235 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001482235 7001_ $$aKatsaros, Panagiotis,$$d1969-$$eeditor.$$1https://orcid.org/0000-0002-4309-5295
001482235 7001_ $$aNenzi, Laura,$$eeditor.$$0(orcid)0000-0003-2263-9342$$1https://orcid.org/0000-0003-2263-9342
001482235 830_0 $$aLecture notes in computer science ;$$v14245.$$x1611-3349
001482235 830_0 $$aLecture notes in computer science.$$pFormal methods.
001482235 852__ $$bebk
001482235 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-031-44267-4$$zOnline Access$$91397441.2
001482235 909CO $$ooai:library.usi.edu:1482235$$pGLOBAL_SET
001482235 980__ $$aBIB
001482235 980__ $$aEBOOK
001482235 982__ $$aEbook
001482235 983__ $$aOnline
001482235 994__ $$a92$$bISE