Runtime verification-17 years later

Klaus Havelund, Grigore Rosu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Runtime verification is the discipline of analyzing program executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal specifications; predictive runtime analysis, where properties about a system are predicted/inferred from single (good) executions; specification mining from execution traces; visualization of execution traces; and to be fully general: computation of any interesting information from execution traces. Finally, runtime verification also includes fault protection, where monitors actively protect a running system against errors. The paper is written as a response to the ‘Test of Time Award’ attributed to the authors for their 2001 paper [45]. The present paper provides a brief overview of what lead to that paper, what has happened since, and some perspectives on the future of the field.

Original languageEnglish (US)
Title of host publicationRuntime Verification- 18th International Conference, RV 2018, Proceedings
EditorsMartin Leucker, Christian Colombo
PublisherSpringer-Verlag
Pages3-17
Number of pages15
ISBN (Print)9783030037680
DOIs
StatePublished - Jan 1 2019
Event18th International Conference on Runtime Verification, RV 2018 - Limassol, Cyprus
Duration: Nov 10 2018Nov 13 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11237
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference18th International Conference on Runtime Verification, RV 2018
CountryCyprus
CityLimassol
Period11/10/1811/13/18

Fingerprint

Runtime Verification
Trace
Specifications
Runtime Analysis
Specification
Visualization
Formal Specification
Monitoring
Mining
Monitor
Fault
Cover
Predictive analytics
Formal specification

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Havelund, K., & Rosu, G. (2019). Runtime verification-17 years later. In M. Leucker, & C. Colombo (Eds.), Runtime Verification- 18th International Conference, RV 2018, Proceedings (pp. 3-17). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11237). Springer-Verlag. https://doi.org/10.1007/978-3-030-03769-7_1

Runtime verification-17 years later. / Havelund, Klaus; Rosu, Grigore.

Runtime Verification- 18th International Conference, RV 2018, Proceedings. ed. / Martin Leucker; Christian Colombo. Springer-Verlag, 2019. p. 3-17 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11237).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Havelund, K & Rosu, G 2019, Runtime verification-17 years later. in M Leucker & C Colombo (eds), Runtime Verification- 18th International Conference, RV 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11237, Springer-Verlag, pp. 3-17, 18th International Conference on Runtime Verification, RV 2018, Limassol, Cyprus, 11/10/18. https://doi.org/10.1007/978-3-030-03769-7_1
Havelund K, Rosu G. Runtime verification-17 years later. In Leucker M, Colombo C, editors, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Springer-Verlag. 2019. p. 3-17. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-03769-7_1
Havelund, Klaus ; Rosu, Grigore. / Runtime verification-17 years later. Runtime Verification- 18th International Conference, RV 2018, Proceedings. editor / Martin Leucker ; Christian Colombo. Springer-Verlag, 2019. pp. 3-17 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{3426d0bc4bc5492a8f91a71c7c106b70,
title = "Runtime verification-17 years later",
abstract = "Runtime verification is the discipline of analyzing program executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal specifications; predictive runtime analysis, where properties about a system are predicted/inferred from single (good) executions; specification mining from execution traces; visualization of execution traces; and to be fully general: computation of any interesting information from execution traces. Finally, runtime verification also includes fault protection, where monitors actively protect a running system against errors. The paper is written as a response to the ‘Test of Time Award’ attributed to the authors for their 2001 paper [45]. The present paper provides a brief overview of what lead to that paper, what has happened since, and some perspectives on the future of the field.",
author = "Klaus Havelund and Grigore Rosu",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-3-030-03769-7_1",
language = "English (US)",
isbn = "9783030037680",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "3--17",
editor = "Martin Leucker and Christian Colombo",
booktitle = "Runtime Verification- 18th International Conference, RV 2018, Proceedings",

}

TY - GEN

T1 - Runtime verification-17 years later

AU - Havelund, Klaus

AU - Rosu, Grigore

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Runtime verification is the discipline of analyzing program executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal specifications; predictive runtime analysis, where properties about a system are predicted/inferred from single (good) executions; specification mining from execution traces; visualization of execution traces; and to be fully general: computation of any interesting information from execution traces. Finally, runtime verification also includes fault protection, where monitors actively protect a running system against errors. The paper is written as a response to the ‘Test of Time Award’ attributed to the authors for their 2001 paper [45]. The present paper provides a brief overview of what lead to that paper, what has happened since, and some perspectives on the future of the field.

AB - Runtime verification is the discipline of analyzing program executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal specifications; predictive runtime analysis, where properties about a system are predicted/inferred from single (good) executions; specification mining from execution traces; visualization of execution traces; and to be fully general: computation of any interesting information from execution traces. Finally, runtime verification also includes fault protection, where monitors actively protect a running system against errors. The paper is written as a response to the ‘Test of Time Award’ attributed to the authors for their 2001 paper [45]. The present paper provides a brief overview of what lead to that paper, what has happened since, and some perspectives on the future of the field.

UR - http://www.scopus.com/inward/record.url?scp=85068422947&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85068422947&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-03769-7_1

DO - 10.1007/978-3-030-03769-7_1

M3 - Conference contribution

AN - SCOPUS:85068422947

SN - 9783030037680

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 17

BT - Runtime Verification- 18th International Conference, RV 2018, Proceedings

A2 - Leucker, Martin

A2 - Colombo, Christian

PB - Springer-Verlag

ER -