First International Summer School on Runtime Verification

As Part of the ArVi COST Action 1402
  • Christian Colombo
  • Yliès FalconeEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10012)


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).



We would like to warmly thank all the researchers for their lectures and all the participants to the summer school. We hope that the summer school will be continued in the future by becoming a regular event.

This summer school is based upon work from COST Action ARVI IC1402, supported by COST (European Cooperation in Science and Technology). The organizers are grateful to the COST association for sponsoring the summer school.


  1. 1.
    Colin, S., Mariani, L.: Run-time verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 525–555. Springer, Heidelberg (2005). doi: 10.1007/11498490_24 CrossRefGoogle Scholar
  2. 2.
    Falcone, Y., Havelund, K., Reger, G.: A tutorial on runtime verification. In: Broy, M., Peled, D.A., Kalus, G. (eds.) Engineering Dependable Software Systems, NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 34, pp. 141–175. IOS Press (2013)Google Scholar
  3. 3.
    Havelund, K., Goldberg, A.: Verify your runs. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 374–383. Springer, Heidelberg (2008). doi: 10.1007/978-3-540-69149-5_40 CrossRefGoogle Scholar
  4. 4.
    Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Programm. 78(5), 293–303 (2008)CrossRefzbMATHGoogle Scholar
  5. 5.
    Sokolsky, O., Havelund, K., Lee, I.: Introduction to the special section on runtime verification. STTT 14(3), 243–247 (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.University of MaltaMsidaMalta
  2. 2.Univ. Grenoble-Alpes, Inria, LIGGrenobleFrance

Personalised recommendations