HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402

Christian Colombo 1 Yliès Falcone 2, *
* Corresponding author
2 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper briefly reports on the first international summer school on Runtime Verification: Branches of practical topics rooted in theory, co-organized and sponsored by COST Action IC1402 ArVi which was held September 23-25, Madrid, Spain as part of the 16th international conference on Runtime Verification (RV 2016).
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01428838
Contributor : Yliès Falcone Connect in order to contact the contributor
Submitted on : Friday, January 6, 2017 - 3:41:19 PM
Last modification on : Friday, February 4, 2022 - 3:29:46 AM
Long-term archiving on: : Friday, April 7, 2017 - 3:02:55 PM

File

rv16-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01428838, version 1

Citation

Christian Colombo, Yliès Falcone. First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428838⟩

Share

Metrics

Record views

219

Files downloads

144