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

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Titel	RV 2018: Runtime Verification
Redakteure/-innen	Christian Colombo, Martin Leucker
Seitenumfang	9
Band	11237
Herausgeber (Verlag)	Springer, Cham
Erscheinungsdatum	08.11.2019
Seiten	18-26
ISBN (Print)	978-3-030-03768-0
ISBN (elektronisch)	978-3-030-03769-7
DOIs	https://doi.org/10.1007/978-3-030-03769-7_2
Publikationsstatus	Veröffentlicht - 08.11.2019
Veranstaltung	18th International Conference on Runtime Verification - Limassol, Zypern Dauer: 10.11.2018 → 13.11.2018 Konferenznummer: 227239

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

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

Andere Dateien und Links

www.scopus.com

Zitieren

@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 (Hrsg.), RV 2018: Runtime Verification. Bd. 11237, Lecture Notes in Computer Science, Bd. 11237, Springer, Cham, S. 18-26, 18th International Conference on Runtime Verification , Limassol, Zypern, 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. Hrsg. / Christian Colombo; Martin Leucker. Band 11237 Springer, Cham, 2019. S. 18-26 (Lecture Notes in Computer Science; Band 11237).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

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/record/display.uri?eid=2-s2.0-85068405546&origin=inward&txGid=d065207e788864d598c7a87a0aa69009

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

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitieren