Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng; Dana Fisman

doi:https://doi.org/10.1007/978-3-030-88494-9

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng (Editor), Dana Fisman (Editor)

Department of Computer Science

Ben-Gurion University of the Negev

Research output: Book/Report › Book › peer-review

Abstract

This 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.

Original language	American English
Place of Publication	Cham
Publisher	Springer
ISBN (Print)	978-3-030-88493-2, 978-3-030-88494-9
DOIs	https://doi.org/10.1007/978-3-030-88494-9
State	Published - 5 Oct 2021

Publication series

Name	Lecture Notes in Computer Science
Volume	12974

Keywords

Theory of computation
computing methodologies
design and analysis of algorithms
formal languages and automata theory
formal methods and theory of security
hardware validation
intrusion/anomaly detection and malware mitigation
logic
modeling and simulation
security and privacy
semantics and reasoning
theory and algorithms for application domains

Access to Document

https://doi.org/10.1007/978-3-030-88494-9

Cite this

@book{02de52f6c2a74603a06b4b52f59bbba6,

title = "Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings",

abstract = "This 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.",

keywords = "Theory of computation, computing methodologies, design and analysis of algorithms, formal languages and automata theory, formal methods and theory of security, hardware validation, intrusion/anomaly detection and malware mitigation, logic, modeling and simulation, security and privacy, semantics and reasoning, theory and algorithms for application domains",

editor = "Lu Feng and Dana Fisman",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2021",

month = oct,

day = "5",

doi = "https://doi.org/10.1007/978-3-030-88494-9",

language = "American English",

isbn = "978-3-030-88493-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Runtime Verification

T2 - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

A2 - Feng, Lu

A2 - Fisman, Dana

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2021/10/5

Y1 - 2021/10/5

N2 - This 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.

AB - This 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.

KW - Theory of computation

KW - computing methodologies

KW - design and analysis of algorithms

KW - formal languages and automata theory

KW - formal methods and theory of security

KW - hardware validation

KW - intrusion/anomaly detection and malware mitigation

KW - logic

KW - modeling and simulation

KW - security and privacy

KW - semantics and reasoning

KW - theory and algorithms for application domains

U2 - https://doi.org/10.1007/978-3-030-88494-9

DO - https://doi.org/10.1007/978-3-030-88494-9

M3 - Book

SN - 978-3-030-88493-2

SN - 978-3-030-88494-9

T3 - Lecture Notes in Computer Science

BT - Runtime Verification

PB - Springer

CY - Cham

ER -

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this