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

Formal Methods

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

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	Runtime Verification- 18th International Conference, RV 2018, Proceedings
Editors	Martin Leucker, Christian Colombo
Publisher	Springer Nature
Pages	18-26
Number of pages	9
ISBN (Print)	9783030037680
DOIs	https://doi.org/10.1007/978-3-030-03769-7_2
Publication status	Published - 2018
Event	18th International Conference on Runtime Verification - Limassol, Cyprus Duration: 10 Nov 2018 → 13 Nov 2018

Publication series

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

Conference

Conference	18th International Conference on Runtime Verification
Abbreviated title	RV 2018
Country/Territory	Cyprus
City	Limassol
Period	10/11/18 → 13/11/18

Access to Document

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

Cite this

Colombo, C., Falcone, Y., Leucker, M., Reger, G., Sanchez, C., Schneider, G., & Stolz, V. (2018). COST action IC1402 runtime verification beyond monitoring. In M. Leucker, & C. Colombo (Eds.), Runtime Verification- 18th International Conference, RV 2018, Proceedings (pp. 18-26). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11237). Springer Nature. https://doi.org/10.1007/978-3-030-03769-7_2

Colombo, Christian ; Falcone, Yliès ; Leucker, Martin et al. / COST action IC1402 runtime verification beyond monitoring. Runtime Verification- 18th International Conference, RV 2018, Proceedings. editor / Martin Leucker ; Christian Colombo. Springer Nature, 2018. pp. 18-26 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{924bd40436ce4952a1b49bf92d080035,

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",

year = "2018",

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

language = "English",

isbn = "9783030037680",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Nature",

pages = "18--26",

editor = "Martin Leucker and Christian Colombo",

booktitle = "Runtime Verification- 18th International Conference, RV 2018, Proceedings",

address = "United States",

note = "18th International Conference on Runtime Verification, RV 2018 ; Conference date: 10-11-2018 Through 13-11-2018",

}

Colombo, C, Falcone, Y, Leucker, M, Reger, G, Sanchez, C, Schneider, G & Stolz, V 2018, COST action IC1402 runtime verification beyond monitoring. 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 Nature, 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.
Runtime Verification- 18th International Conference, RV 2018, Proceedings. ed. / Martin Leucker; Christian Colombo. Springer Nature, 2018. p. 18-26 (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 proceeding › 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

PY - 2018

Y1 - 2018

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 - http://www.scopus.com/inward/record.url?scp=85068405546&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:85068405546

SN - 9783030037680

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

SP - 18

EP - 26

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

A2 - Leucker, Martin

A2 - Colombo, Christian

PB - Springer Nature

T2 - 18th International Conference on Runtime Verification

Y2 - 10 November 2018 through 13 November 2018

ER -

Colombo C, Falcone Y, Leucker M, Reger G, Sanchez C, Schneider G et al. COST action IC1402 runtime verification beyond monitoring. In Leucker M, Colombo C, editors, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Springer Nature. 2018. p. 18-26. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2018 Nov 8. doi: 10.1007/978-3-030-03769-7_2

COST action IC1402 runtime verification beyond monitoring

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this