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 for addressing error recovery, self-adaptation, and other issues that go beyond software reliability. The goal of VORTEX is to bring together researchers working on runtime verification for topics covering either theoretical, or practical aspects, or, preferably, both, with emphasis on object-oriented languages, and systems.
Call for Papers
Topics of interest include, but are not limited to, the following ones:
- monitor construction and synthesis techniques
- program adaptation
- monitoring oriented programming
- runtime enforcement, fault detection, recovery and repair
- combination of static and dynamic analyses
- specification formalisms and formal underpinning of RV
- specification mining
- monitoring concurrent/distributed systems
- RV for safety and security
- RV for the Internet of Things
- industrial applications
- tool development
Contributions will be formally reviewed by at least three reviewers, and selection will be based on originality, relevance, technical accuracy, and the potential to generate interesting discussions.