会议信息
RV 2025 : International Conference on Runtime Verification
https://rv25.isec.tugraz.at/
会议地点:
通知日期:
截稿日期:
会议日期:
领域:
届数:
Graz,Austria
2025-07-11
2025-05-30
2025-09-15
软件工程
25
CE:C    CCF:C    CORE:B   QUALIS:无
征稿信息
Runtime verification is concerned with the monitoring and analysis of the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. The topics of the conference include, but are not limited to: specification languages for monitoring monitor construction techniques program instrumentation logging, recording, and replay combination of static and dynamic analysis specification mining and machine learning over runtime traces monitoring techniques for concurrent and distributed systems runtime checking of privacy and security policies metrics and statistical information gathering program/system execution visualization fault localization, containment, resilience, recovery, and repair monitoring systems with learning-enabled components dynamic type checking runtime verification for autonomy and runtime assurance runtime verification for assurance cases out-of-distribution and anomaly detection in ML-based systems safe reinforcement learning
关键词:
关于会议之眼
致力于为广大用户提供面向计算机领域的最新会议动态和学术热点。 会议之眼倡导社会奉献与公益性,力求建立公平、公正、科学的国际/国内会议评价体系,为大家提供更全面的、更富有学术价值的参考。
联系我们
邮箱
公众号
小程序
微信