COST action IC1402 runtime verification beyond monitoring

Christian Colombo; Yliès Falcone; Martin Leucker; Giles Reger; Cesar Sanchez; Gerardo Schneider; Volker Stolz

doi:10.1007/978-3-030-03769-7_2

COST action IC1402 runtime verification beyond monitoring

Christian Colombo^*, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider, Volker Stolz

^*Corresponding author for this work

Institute of Software Engineering and Programming Languages

1 Citation (Scopus)

Abstract

In this paper we report on COST Action IC1402 which studies Runtime Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits.

Original language	English
Title of host publication	RV 2018: Runtime Verification
Editors	Christian Colombo, Martin Leucker
Number of pages	9
Volume	11237
Publisher	Springer, Cham
Publication date	08.11.2019
Pages	18-26
ISBN (Print)	978-3-030-03768-0
ISBN (Electronic)	978-3-030-03769-7
DOIs	https://doi.org/10.1007/978-3-030-03769-7_2
Publication status	Published - 08.11.2019
Event	18th International Conference on Runtime Verification - Limassol, Cyprus Duration: 10.11.2018 → 13.11.2018 Conference number: 227239

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

10.1007/978-3-030-03769-7_2

Cite this

@inproceedings{d71992213dd543f5a98f12c9a2ec9783,

title = "COST action IC1402 runtime verification beyond monitoring",

abstract = "In this paper we report on COST Action IC1402 which studies Runtime Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits.",

author = "Christian Colombo and Yli{\`e}s Falcone and Martin Leucker and Giles Reger and Cesar Sanchez and Gerardo Schneider and Volker Stolz",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018. Copyright: Copyright 2019 Elsevier B.V., All rights reserved.; 18th International Conference on Runtime Verification , RV 2018 ; Conference date: 10-11-2018 Through 13-11-2018",

year = "2019",

month = nov,

day = "8",

doi = "10.1007/978-3-030-03769-7\_2",

language = "English",

isbn = "978-3-030-03768-0",

volume = "11237",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Cham",

pages = "18--26",

editor = "Christian Colombo and Leucker, \{Martin \}",

booktitle = "RV 2018: Runtime Verification",

}

Colombo, C, Falcone, Y, Leucker, M, Reger, G, Sanchez, C, Schneider, G & Stolz, V 2019, COST action IC1402 runtime verification beyond monitoring. in C Colombo & M Leucker (eds), RV 2018: Runtime Verification. vol. 11237, Lecture Notes in Computer Science, vol. 11237, Springer, Cham, pp. 18-26, 18th International Conference on Runtime Verification , Limassol, Cyprus, 10.11.18. https://doi.org/10.1007/978-3-030-03769-7_2

COST action IC1402 runtime verification beyond monitoring. / Colombo, Christian; Falcone, Yliès; Leucker, Martin et al.
RV 2018: Runtime Verification. ed. / Christian Colombo; Martin Leucker. Vol. 11237 Springer, Cham, 2019. p. 18-26 (Lecture Notes in Computer Science; Vol. 11237).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - COST action IC1402 runtime verification beyond monitoring

AU - Colombo, Christian

AU - Falcone, Yliès

AU - Leucker, Martin

AU - Reger, Giles

AU - Sanchez, Cesar

AU - Schneider, Gerardo

AU - Stolz, Volker

N1 - Conference code: 227239

PY - 2019/11/8

Y1 - 2019/11/8

N2 - In this paper we report on COST Action IC1402 which studies Runtime Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits.

AB - In this paper we report on COST Action IC1402 which studies Runtime Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits.

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

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

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

M3 - Conference contribution

SN - 978-3-030-03768-0

VL - 11237

T3 - Lecture Notes in Computer Science

SP - 18

EP - 26

BT - RV 2018: Runtime Verification

A2 - Colombo, Christian

A2 - Leucker, Martin

PB - Springer, Cham

T2 - 18th International Conference on Runtime Verification

Y2 - 10 November 2018 through 13 November 2018

ER -

COST action IC1402 runtime verification beyond monitoring

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this