VORTEX 2020
Mon 13 - Fri 17 July 2020 Online Conference
co-located with ECOOP 2020
Conference Editions
Mon 13 - Fri 17 July 2020 Online Conference

VORTEX 2020 with ECOOP 2020

Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions by means of the event traces generated from single runs of the system under scrutiny (SUS). Recently, RV has gained more consensus as a solution to ensure software reliability, bridging the gap between formal verification and testing: on the one hand, the no ...

Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom

VORTEX 2019 with ECOOP 2019

Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, RV has gained more consensus as an approach to ensure software reliability, bridging the gap between formal verification and testing; monitoring a system at runtime offers more opportunities for addressing error recovery, self-adaptation, and issue ...

Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands

VORTEX 2018 with ECOOP and ISSTA 2018

Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, RV has gained more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, and conventional testing; monitoring a system during runtime execution offers additional opportunities f ...

Sun 18 - Fri 23 June 2017 Barcelona, Spain

VORTEX 2017 with ECOOP 2017

This workshop has been cancelled VORTEX 2017 is the second edition of the ECOOP workshop devoted to runtime verification for object-oriented languages and systems. Runtime verification (RV) is an approach to software verification which consists in monitoring the behaviour of a system by dynamically checking its execution traces against a specification. In recent years RV has gained more and more consensus ...

Mon 18 - Fri 22 July 2016 Rome, Italy

VORTEX 2016 with ECOOP 2016

Welcome to the 1st VORTEX Workshop on Runtime Verification Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. In recent years RV has gained more and more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, ...