Fri 19 Jul 2019 10:30 - 11:15 at Bouzy - Session 1 Chair(s): Sung-Shik Jongmans

Over the last 20 years the field of Runtime Verification (RV) has developed as a diverse range of techniques for verifying (mostly temporal) properties over runs of systems (either whilst they are running or afterwards). A common use case in the field has been checking properties of objects in programs from object-oriented languages such as Java and over the years there has sometimes been a tension between, on the one hand, creating techniques that are suitable for this setting, and on the other hand, techniques that are in some sense general. In this talk I will explore how the RV field has chosen to deal with objects and ask ‘are we doing it wrong?’. Spoiler: the answer is ’sometimes’.

Please see my website for an up-to-date biography, list of research interests and publications.

Fri 19 Jul
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

10:30 - 12:10: VORTEX 2019 - Session 1 at Bouzy
Chair(s): Sung-Shik JongmansOpen University of the Netherlands
vortex-2019-papers10:30 - 11:15
Giles RegerUniversity of Manchester
vortex-2019-papers11:15 - 11:45
Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
vortex-2019-papers11:45 - 12:15
Luca FranceschiniDIBRIS, University of Genova, Italy