第 25 届运行时验证国际会议 (RV25) 提交论文，该会议将于 2025 年 9 月 15 日至 9 月 19 日在奥地利格拉茨举行。聚焦运行时监控与系统行为分析的理论与实践，涵盖监控语言、仪表、日志、静/动态分析、并发分布式系统、隐私安全、异常检测及 ML 驱动组件等主题。

1、委员会

总主席：
Ezio Bartocci，奥地利维也纳工业大学
项目主席：
Bettina Könighofer，奥地利格拉茨科技大学
Hazem Torfah，瑞典查尔姆斯理工大学
当地主席：
Roderick Bloem，奥地利格拉茨科技大学

宣传主席：

Martin Tappler，奥地利维也纳工业大学

指导委员会：

Houssam Abbas 俄勒冈州立大学
Erika Abraham 亚琛工业大学
Klaus Havelund 美国宇航局喷气推进实验室

2、出版信息

会议论文集将以 Springer LNCS 形式出版，会议出版后收录于 DBLP、Scopus、CPCI 等主流检索系统，支持引用和查阅 。

• 监控规范语言
• 监测施工技术
• 程序检测
• 记录、录制和重放
• 静态和动态分析相结合
• 运行时跟踪的规范挖掘和机器学习
• 并发和分布式系统的监控技术
• 隐私和安全策略的运行时检查
• 指标和统计信息收集
• 程序/系统执行可视化
• 故障定位、遏制、弹性、恢复和修复
• 具有学习功能组件的监控系统
• 动态类型检查
• 自主性和运行时保证的运行时验证
• 保证案例的运行时验证
• 基于机器学习的系统中分布不均和异常检测
• 安全强化学习

1、日期

论文提交：2025 年 6 月 6 日（可能在 6 月 10 日前更新）
教程提案提交：2025年6月6日
通知日期：2025年7月11日
拍摄日期：2025年7月27日
会议：2025年9月16-19日

2、论文类别

论文提交分为四类：常规论文、短篇论文、工具演示论文和基准论文。每类论文将由至少三名项目委员会成员以单盲方式进行审核。

普通论文最多 16 页，不包括参考文献

常规论文应呈现原创且未发表的成果。我们欢迎理论论文、系统论文、描述 RV 特定领域变体的论文以及运行时验证的案例研究。

RV 2025 程序委员会将向一篇符合条件的常规论文颁发由 Springer 赞助的最佳论文奖。

短文最多 8 页，不包括参考文献

短篇论文可能会提出新颖但不一定经过彻底研究的想法，例如新兴的运行时验证技术和应用程序，或建立运行时验证与其他领域之间关系的技术和应用程序。

工具演示论文最多 8 页，不包括参考文献。工具演示论文应该展示一种新工具、一种新工具组件或支持运行时验证的现有工具的新扩展。

论文必须包含工具可用性、成熟度以及所选实验结果的信息，并提供包含理论背景和用户指南的网站链接。此外，我们强烈建议作者在投稿时提供其工具和基准测试。
基准论文最多 8 页，不包括参考文献，基准论文应该描述用于评估 RV 工具的基准、基准套件或基准生成器。

论文应包括有关基准的组成和目的（领域是什么）、如何获取和使用基准的信息、基准对更广泛的 RV 社区的实用性的论据，并且可能包括使用基准产生的任何现有结果。

我们既对与现实场景相关的基准测试感兴趣，也对包含旨在实现有趣特性的合成数据的基准测试感兴趣。更广泛的基准测试定义（例如，用于从数据生成规范或诊断故障的基准测试）也包含在内。我们鼓励使用与工具无关的基准测试，尤其是那些已用于评估多种工具的基准测试。

我们也欢迎包含结论标签和严谨论证的基准测试，以及那些相对于最新工具具有显著挑战性的基准测试。基准测试论文必须附上易于理解且易于使用的基准测试提交。

论文将由单独的基准评估小组进行评估，该小组将评估所提交论文所传达的基准的相关性、清晰度和实用性。

3、提交说明

提交的论文和教程必须使用 LNCS/Springer 风格，详情请见https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines。

论文必须是原创作品，且未曾投稿发表。论文必须以英文撰写，并通过EasyChair 提交页面以电子版（PDF 格式）提交。

上述页数限制涵盖所有正文和图表，但不包括参考文献。由于篇幅限制而省略的补充细节，可能会包含在清晰标注的附录中，该附录将由审稿人自行审核，但不会收录在论文集中。

每篇被接受的论文和教程至少有一位作者必须在 RV 2025 上注册并展示其贡献。