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


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 languageEnglish
Title of host publicationRV 2018: Runtime Verification
EditorsChristian Colombo, Martin Leucker
Number of pages9
PublisherSpringer, Cham
Publication date08.11.2019
ISBN (Print)978-3-030-03768-0
ISBN (Electronic)978-3-030-03769-7
Publication statusPublished - 08.11.2019
Event18th International Conference on Runtime Verification - Limassol, Cyprus
Duration: 10.11.201813.11.2018
Conference number: 227239


Dive into the research topics of 'COST action IC1402 runtime verification beyond monitoring'. Together they form a unique fingerprint.

Cite this