001440263 000__ 04614cam\a2200709\i\4500
001440263 001__ 1440263
001440263 003__ OCoLC
001440263 005__ 20230309004551.0
001440263 006__ m\\\\\o\\d\\\\\\\\
001440263 007__ cr\un\nnnunnun
001440263 008__ 211012s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001440263 019__ $$a1273981846$$a1275355044$$a1287769388$$a1292518154
001440263 020__ $$a9783030884949$$q(electronic bk.)
001440263 020__ $$a3030884945$$q(electronic bk.)
001440263 020__ $$z9783030884932
001440263 020__ $$z3030884937
001440263 0247_ $$a10.1007/978-3-030-88494-9$$2doi
001440263 035__ $$aSP(OCoLC)1274198284
001440263 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dDCT$$dDKU$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001440263 049__ $$aISEA
001440263 050_4 $$aQA76.76.V47$$bR8 2021
001440263 08204 $$a005.1/4$$223
001440263 1112_ $$aRV (Conference)$$n(21st :$$d2021 :$$cOnline)
001440263 24510 $$aRuntime verification :$$b21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /$$cLu Feng, Dana Fisman (eds.).
001440263 24630 $$aRV 2021
001440263 264_1 $$aCham :$$bSpringer,$$c[2021]
001440263 264_4 $$c©2021
001440263 300__ $$a1 online resource :$$billustrations (some color)
001440263 336__ $$atext$$btxt$$2rdacontent
001440263 337__ $$acomputer$$bc$$2rdamedia
001440263 338__ $$aonline resource$$bcr$$2rdacarrier
001440263 347__ $$atext file
001440263 347__ $$bPDF
001440263 4901_ $$aLecture notes in computer science ;$$v12974
001440263 4901_ $$aLecture notes in computer science. Formal methods
001440263 4901_ $$aLNCS sublibrary: SL2 - Programming and software engineering
001440263 500__ $$aInternational conference proceedings.
001440263 500__ $$aIncludes author index.
001440263 5050_ $$aRegular Papers -- Predicate Monitoring in Distributed Cyber-physical Systems -- Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs -- Into the Unknown: Active Monitoring of Neural Networks -- Monitoring with Verified Guarantees -- On the Interpretation and Monitoring of Timed Deontic Logics -- Efficient Black-Box Checking via Model Checking with Strengthened Specifications -- Neural Predictive Monitoring under Partial Observability -- A Compositional Framework for Quantitative Online Monitoring over Continuous-time Signals -- Nested Monitors: Monitors as Expressions to Build Monitors -- Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs -- Assumption-Based Runtime Veri cation of Infinite-State Systems -- Short Papers and Tool Papers -- Differential Monitoring -- Ortac: Runtime Assertion Checking for OCaml (tool paper) -- Gaussian-based runtime detection of out-of-distribution inputs for neural networks -- Parallel and Multi-Objective Falsification with Scenic and VerifAI -- A Theoretical Framework for Understanding the Relationship between Log Parsing and Anomaly Detection -- Specification and Runtime Verification of Temporal Assessments in Simulink -- PerceMon: Online Monitoring for Perception Systems -- Tutorial Paper -- Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.
001440263 506__ $$aAccess limited to authorized users.
001440263 520__ $$aThis book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021. The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
001440263 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 12, 2021).
001440263 650_0 $$aComputer software$$xVerification$$vCongresses.
001440263 650_0 $$aFormal methods (Computer science)$$vCongresses.
001440263 650_0 $$aComputer software$$xTesting$$vCongresses.
001440263 650_6 $$aLogiciels$$xVérification$$vCongrès.
001440263 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001440263 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440263 655_7 $$aConference papers and proceedings.$$2lcgft
001440263 655_7 $$aActes de congrès.$$2rvmgf
001440263 655_0 $$aElectronic books.
001440263 7001_ $$aFeng, Lu,$$eeditor.
001440263 7001_ $$aFisman, Dana,$$eeditor.
001440263 830_0 $$aLecture notes in computer science ;$$v12974.
001440263 830_0 $$aLecture notes in computer science.$$pFormal methods.
001440263 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001440263 852__ $$bebk
001440263 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88494-9$$zOnline Access$$91397441.1
001440263 909CO $$ooai:library.usi.edu:1440263$$pGLOBAL_SET
001440263 980__ $$aBIB
001440263 980__ $$aEBOOK
001440263 982__ $$aEbook
001440263 983__ $$aOnline
001440263 994__ $$a92$$bISE