Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)

Bartocci, Ezio; Falcone, Ylìès

doi:10.1007/978-3-319-47169-3_24

Cited by 4 publications

(2 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Runtime verification [7,45,46,51,66,82], 1 from here on referred to as RV, refers to a class of lightweight scalable techniques for analysis of execution traces. The core idea is to instrument a program to emit events during its execution, which are then processed by a monitor.…”

Section: Introductionmentioning

confidence: 99%

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Bartocci

Falcone

Bonakdarpour

et al. 2017

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on Runtime Verification (RV'14). The event was organized in three tracks: (1) offline monitoring, (2) online monitoring of C programs, and (3) online monitoring of Java programs. In this paper, we report on the phases and rules, a description of the participating teams and their submitted benchmark, the (full) results, as well as the lessons learned from the competition.

show abstract

Section: Introductionmentioning

confidence: 99%

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Bartocci

Falcone

Bonakdarpour

et al. 2017

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

show abstract

“…2 A European COST Action on Runtime Verification (IC 1402, runtime verification beyond monitoring 3 ) is ongoing with the objectives of connecting runtime verification to other analysis techniques, and expanding the applicability of RV beyond software reliability. Workshops on particular aspects of runtime verification have also flourished: the AD-RV track [25,26] at ISoLA 2014 4 on general applications of runtime verification, the iAD-RV [27] track on industrial applications of runtime verification at ISoLA 2016, 5 the PrePost workshop on pre and post deployment technique in 2016, and the recent RUME 6 and VORTEX 7 workshops on embedded systems and object-oriented languages, respectively.…”

mentioning

confidence: 99%

Introduction to the special issue on runtime verification

Falcone

Sánchez

2018

Form Methods Syst Des

View full text Add to dashboard Cite

This article introduces the extended versions of selected papers from the refereed proceedings of the 16th International Conference on Runtime Verification (RV 2016) held in Madrid, Spain, in September 2016. Runtime verification encompasses all aspects of monitoring and analysis of hardware, software, and system executions in general. Runtime verification techniques are lightweight dynamic techniques to assess and enforce correctness, reliability, and robustness during system execution. These techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification (at the price of incomplete coverage).

show abstract

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)

Bartocci

Falcone

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)

Cited by 4 publications

References 29 publications

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Introduction to the special issue on runtime verification

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)

Contact Info

Product

Resources

About