X-by-Construction Meets AI

Maurice H. ter Beek; Loek Cleophas; Clemens Dubslaff; Ina Schaefer

doi:10.1007/978-3-031-75387-9_10

X-by-Construction Meets AI

Maurice H. ter Beek (Corresponding author), Loek Cleophas, Clemens Dubslaff, Ina Schaefer

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

Abstract

During the past decade, researchers have investigated X-by-Construction (XbC), encompassing extensions beyond correctness concerns as in the more traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by-construction satisfy certain properties (e.g., non-functional ones in the case of XbC)—also, and in particular, in the setting of probabilistic systems and properties, and both at design time and at runtime. In line with the need to integrate concepts from artificial intelligence (AI), this track brings together researchers and practitioners to share their views on the many possible synergies between CbC/XbC and AI.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Subtitle of host publication	12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
Editors	Tiziana Margaria, Bernhard Steffen
Place of Publication	Cham
Publisher	Springer
Pages	155-161
Number of pages	7
ISBN (Electronic)	978-3-031-75387-9
ISBN (Print)	978-3-031-75386-2
DOIs	https://doi.org/10.1007/978-3-031-75387-9_10
Publication status	Published - 26 Oct 2024
Event	12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024 - Crete, Greece Duration: 27 Oct 2024 → 31 Oct 2024

Publication series

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

Conference

Conference	12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
Abbreviated title	ISoLA 2024
Country/Territory	Greece
City	Crete
Period	27/10/24 → 31/10/24

Access to Document

10.1007/978-3-031-75387-9_10

Embargoed Document

pdf
Final published version, 166 KB
Licence: TAVERNE
Embargo ends: 26/04/25

Cite this

ter Beek, M. H., Cleophas, L., Dubslaff, C., & Schaefer, I. (2024). X-by-Construction Meets AI. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV (pp. 155-161). (Lecture Notes in Computer Science (LNCS); Vol. 15222). Springer. https://doi.org/10.1007/978-3-031-75387-9_10

ter Beek, Maurice H. ; Cleophas, Loek ; Dubslaff, Clemens et al. / X-by-Construction Meets AI. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. editor / Tiziana Margaria ; Bernhard Steffen. Cham : Springer, 2024. pp. 155-161 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{8f806f9284d74ee999519dd77e73fda7,

title = "X-by-Construction Meets AI",

abstract = "During the past decade, researchers have investigated X-by-Construction (XbC), encompassing extensions beyond correctness concerns as in the more traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by-construction satisfy certain properties (e.g., non-functional ones in the case of XbC)—also, and in particular, in the setting of probabilistic systems and properties, and both at design time and at runtime. In line with the need to integrate concepts from artificial intelligence (AI), this track brings together researchers and practitioners to share their views on the many possible synergies between CbC/XbC and AI.",

author = "{ter Beek}, {Maurice H.} and Loek Cleophas and Clemens Dubslaff and Ina Schaefer",

year = "2024",

month = oct,

day = "26",

doi = "10.1007/978-3-031-75387-9_10",

language = "English",

isbn = "978-3-031-75386-2",

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

publisher = "Springer",

pages = "155--161",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies",

note = "12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, ISoLA 2024 ; Conference date: 27-10-2024 Through 31-10-2024",

}

ter Beek, MH, Cleophas, L , Dubslaff, C & Schaefer, I 2024, X-by-Construction Meets AI. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Lecture Notes in Computer Science (LNCS), vol. 15222, Springer, Cham, pp. 155-161, 12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, 27/10/24. https://doi.org/10.1007/978-3-031-75387-9_10

X-by-Construction Meets AI. / ter Beek, Maurice H. (Corresponding author); Cleophas, Loek ; Dubslaff, Clemens et al.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. ed. / Tiziana Margaria; Bernhard Steffen. Cham: Springer, 2024. p. 155-161 (Lecture Notes in Computer Science (LNCS); Vol. 15222).

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

TY - GEN

T1 - X-by-Construction Meets AI

AU - ter Beek, Maurice H.

AU - Cleophas, Loek

AU - Dubslaff, Clemens

AU - Schaefer, Ina

PY - 2024/10/26

Y1 - 2024/10/26

N2 - During the past decade, researchers have investigated X-by-Construction (XbC), encompassing extensions beyond correctness concerns as in the more traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by-construction satisfy certain properties (e.g., non-functional ones in the case of XbC)—also, and in particular, in the setting of probabilistic systems and properties, and both at design time and at runtime. In line with the need to integrate concepts from artificial intelligence (AI), this track brings together researchers and practitioners to share their views on the many possible synergies between CbC/XbC and AI.

AB - During the past decade, researchers have investigated X-by-Construction (XbC), encompassing extensions beyond correctness concerns as in the more traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by-construction satisfy certain properties (e.g., non-functional ones in the case of XbC)—also, and in particular, in the setting of probabilistic systems and properties, and both at design time and at runtime. In line with the need to integrate concepts from artificial intelligence (AI), this track brings together researchers and practitioners to share their views on the many possible synergies between CbC/XbC and AI.

U2 - 10.1007/978-3-031-75387-9_10

DO - 10.1007/978-3-031-75387-9_10

M3 - Conference contribution

SN - 978-3-031-75386-2

T3 - Lecture Notes in Computer Science (LNCS)

SP - 155

EP - 161

BT - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

T2 - 12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

Y2 - 27 October 2024 through 31 October 2024

ER -

ter Beek MH, Cleophas L , Dubslaff C, Schaefer I. X-by-Construction Meets AI. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Cham: Springer. 2024. p. 155-161. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-031-75387-9_10

X-by-Construction Meets AI

Abstract

Publication series

Conference

Access to Document

Embargoed Document

Fingerprint

Cite this