Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)

Signoles, Julien

doi:10.29007/44mk

Search citation statements

Order By: Relevance

Paper Sections

Select...

Working Group 2: Standardization Benchmarks Tool Interoper1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Firstly, the RV-CuBES workshop [34,31] was held alongside the 17th International Conference on Runtime Verification [27]. This contained 11 short tool papers and 5 position papers discussing how RV tools should be evaluated [10,37,39], describing challenges of using RV tools in industry [21], and encouraging the community to use open standards [26]. Secondly, a Dagstuhl seminar [23] considered various issues around behavioural specification languages, inviting researchers from outside the RV community to join the discussion.…”

Section: Working Group 2: Standardization Benchmarks Tool Interopermentioning

confidence: 99%

COST Action IC1402 Runtime Verification Beyond Monitoring

Colombo

Falcone

Leucker

et al. 2018

Runtime Verification

View full text Add to dashboard Cite

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.

show abstract