COST action IC1402 runtime verification beyond monitoring

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • External authors:
  • Christian Colombo
  • Yliès Falcone
  • Martin Leucker
  • Cesar Sanchez
  • Gerardo Schneider
  • Volker Stolz

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.

Bibliographical metadata

Original languageEnglish
Title of host publicationRuntime Verification- 18th International Conference, RV 2018, Proceedings
EditorsMartin Leucker, Christian Colombo
PublisherSpringer Nature
Pages18-26
Number of pages9
ISBN (Print)9783030037680
DOIs
Publication statusPublished - 2018
Event18th International Conference on Runtime Verification - Limassol, Cyprus
Event duration: 10 Nov 201813 Nov 2018

Publication series

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

Conference

Conference18th International Conference on Runtime Verification
Abbreviated titleRV 2018
CountryCyprus
CityLimassol
Period10/11/1813/11/18