X-by-Construction Meets Runtime Verification

Maurice H. ter Beek; Loek Cleophas; Martin Leucker; Ina Schaefer

doi:10.1007/978-3-031-19849-6_9

X-by-Construction Meets Runtime Verification

Maurice H. ter Beek (Corresponding author)
, Loek Cleophas (Corresponding author)
, Martin Leucker
, Ina Schaefer

Engineering of Software-Intensive Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

Abstract

In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Subtitle of host publication	11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer
Pages	141-148
Number of pages	8
ISBN (Electronic)	978-3-031-19849-6
ISBN (Print)	978-3-031-19848-9
DOIs	https://doi.org/10.1007/978-3-031-19849-6_9
Publication status	Published - 17 Oct 2022
Event	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Volume	13701
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Country/Territory	Greece
City	Rhodes
Period	22/10/22 → 30/10/22

Access to Document

10.1007/978-3-031-19849-6_9

Cite this

ter Beek, M. H., Cleophas, L., Leucker, M., & Schaefer, I. (2022). X-by-Construction Meets Runtime Verification. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (pp. 141-148). (Lecture Notes in Computer Science (LNCS); Vol. 13701). Springer. https://doi.org/10.1007/978-3-031-19849-6_9

ter Beek, Maurice H. ; Cleophas, Loek ; Leucker, Martin et al. / X-by-Construction Meets Runtime Verification. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2022. pp. 141-148 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{514a43e7ec7449278dedb86a8fbedff7,

title = "X-by-Construction Meets Runtime Verification",

abstract = "In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.",

author = "\{ter Beek\}, \{Maurice H.\} and Loek Cleophas and Martin Leucker and Ina Schaefer",

year = "2022",

month = oct,

day = "17",

doi = "10.1007/978-3-031-19849-6\_9",

language = "English",

isbn = "978-3-031-19848-9",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "141--148",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles",

address = "Germany",

note = "11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

}

ter Beek, MH, Cleophas, L, Leucker, M & Schaefer, I 2022, X-by-Construction Meets Runtime Verification. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Lecture Notes in Computer Science (LNCS), vol. 13701, Springer, pp. 141-148, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22/10/22. https://doi.org/10.1007/978-3-031-19849-6_9

X-by-Construction Meets Runtime Verification. / ter Beek, Maurice H. (Corresponding author); Cleophas, Loek (Corresponding author); Leucker, Martin et al.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2022. p. 141-148 (Lecture Notes in Computer Science (LNCS); Vol. 13701).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - X-by-Construction Meets Runtime Verification

AU - ter Beek, Maurice H.

AU - Cleophas, Loek

AU - Leucker, Martin

AU - Schaefer, Ina

PY - 2022/10/17

Y1 - 2022/10/17

N2 - In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.

AB - In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.

UR - https://www.scopus.com/pages/publications/85142758175

U2 - 10.1007/978-3-031-19849-6_9

DO - 10.1007/978-3-031-19849-6_9

M3 - Conference contribution

SN - 978-3-031-19848-9

T3 - Lecture Notes in Computer Science (LNCS)

SP - 141

EP - 148

BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 22 October 2022 through 30 October 2022

ER -

ter Beek MH, Cleophas L, Leucker M, Schaefer I. X-by-Construction Meets Runtime Verification. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Springer. 2022. p. 141-148. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-031-19849-6_9

X-by-Construction Meets Runtime Verification

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this