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

Lu Feng; Dana Fisman

doi: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)

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	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
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

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

Access to Document

10.1007/978-3-030-88494-9

Cite this

@book{c1b437529da34634896b2f0c6f3a983d,

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, formal languages and automata theory, logic, design and analysis of algorithms, theory and algorithms for application domains, semantics and reasoning, security and privacy, formal methods and theory of security, intrusion/anomaly detection and malware mitigation, computing methodologies, modeling and simulation, hardware validation",

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 = "10.1007/978-3-030-88494-9",

language = "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 - formal languages and automata theory

KW - logic

KW - design and analysis of algorithms

KW - theory and algorithms for application domains

KW - semantics and reasoning

KW - security and privacy

KW - formal methods and theory of security

KW - intrusion/anomaly detection and malware mitigation

KW - computing methodologies

KW - modeling and simulation

KW - hardware validation

U2 - 10.1007/978-3-030-88494-9

DO - 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