Runtime Monitoring (RM) is concerned with the runtime analysis of software and hardware system executions in order to infer properties relating to system behavior. Example applications include telemetry, log aggregation, threshold alerting, performance monitoring, and adherence to correctness properties (more commonly referred to as runtime verification). RM has gained popularity as a solution to ensure software reliability, bridging the gap between formal verification and testing: on the one hand, the notion of event traces abstracts over system executions, favoring system agnosticism to better support reuse and interoperability; on the other hand, monitoring a system offers opportunities for addressing error recovery, self-adaptation, and issues that go beyond software reliability. The goal of VORTEX is to bring together researchers contributing to all aspects of RM covering and integrating theoretical and practical perspectives, with a particular focus on hybrid approaches inspired by formal methods, program analysis, testing, and artificial intelligence.
Call for Papers
This is a placeholder text.
You can expect more information about the call for papers soon.
This page will have information about the submission and selection process and list the important dates.