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
关键词:
相关会议
简称
全称
截稿日期
通知日期
会议日期
领域
CE
CCF
CORE
QUALIS
APSEC'25
Asia-Pacific Software Engineering Conference
2025-07-06
2025-09-13
2025-12-02
软件工程
C
C
B
无
会议地点:Macao
收录机构:IEEE
届数:32
SCAM'25
IEEE International Working Conference on Source Code Analysis and Manipulation
2025-06-05
2025-07-30
2025-09-07
软件工程
C
C
C
B1
会议地点:Auckland
收录机构:IEEE
届数:25
APLAS'25
Asian Symposium on Programming Languages and Systems
2025-05-31
2025-07-18
2025-10-27
软件工程
C
C
B
B1
会议地点:Bengaluru
收录机构:Springer
届数:23
ICFEM'25
International Conference on Formal Engineering Methods
2025-05-25
2025-08-01
2025-11-10
软件工程
C
C
B
B1
会议地点:Hangzhou
收录机构:Springer
届数:26
SEKE'25
International Conference on Software Engineering and Knowledge Engineering
2025-05-01
2025-06-20
2025-09-29
软件工程
C
C
B
B1
会议地点:Pompeii
收录机构:其他
届数:37
TASE'25
International Symposium on Theoretical Aspects of Software Engineering
2025-03-08
2025-04-05
2025-07-14
软件工程
C
C
C
无
会议地点:Limassol
收录机构:IEEE
届数:19
Internetware'25
Asia-Pacific Symposium on Internetware
2025-03-01
2025-03-30
2025-06-20
软件工程
C
C
无
无
会议地点:Trondheim
收录机构:ACM
届数:16
ICECCS'25
IEEE International Conference on Engineering of Complex Computer Systems
2025-02-11
2025-04-04
2025-07-02
软件工程
C
C
A
B1
会议地点:Hangzhou
收录机构:IEEE
届数:29
COMPSAC'25
International Computer Software and Applications Conference
2025-01-31
2025-04-07
2025-07-08
软件工程
C
C
B
A2
会议地点:Toronto
收录机构:IEEE
届数:49
EASE'25
Evaluation and Assessment in Software Engineering
2025-01-31
2025-03-21
2025-06-17
软件工程
C
C
A
B1
会议地点:Istanbul
收录机构:ACM
届数:29
ISPASS'25
IEEE International Symposium on Performance Analysis of Systems and Software
2024-12-16
2025-03-03
2025-05-11
软件工程
B
C
B
A2
会议地点:Ghent
收录机构:IEEE
届数:0
ICSR'25
International Conference on Software Reuse
2024-12-03
2025-01-10
2025-04-27
软件工程
C
C
B
B2
会议地点:Ottawa, Ontario
收录机构:Springer
届数:22
ICSA'25
IEEE International Conference on Software Architecture
2024-11-15
2024-12-05
2025-03-31
软件工程
C
C
无
B1
会议地点:Odense
收录机构:IEEE
届数:22
MSR'25
Mining Software Repositories
2024-11-09
2025-01-12
2025-04-28
软件工程
C
C
A
A1
会议地点:Ottawa
收录机构:IEEE, ACM
届数:22
REFSQ'25
Requirements Engineering: Foundation for Software Quality
2024-11-08
2025-01-13
2025-04-07
软件工程
C
C
B
B1
会议地点:Barcelona
收录机构:Springer
届数:31
ICST'25
IEEE International Conference on Software Testing, Verification and Validation
2024-10-02
2024-12-18
2025-03-31
软件工程
C
C
A
B1
会议地点:Naples
收录机构:IEEE
届数:18
LOPSTR'24
International Symposium on Logic-based Program Synthesis and Transformation
2024-05-10
2024-06-26
2024-09-09
软件工程
C
C
B
无
会议地点:Milan
收录机构:Springer
届数:34
ATVA'24
International Symposium on Automated Technology for Verification and Analysis
2024-04-19
2024-06-19
2024-10-21
软件工程
C
C
A
无
会议地点:Kyoto
收录机构:Springer
届数:22
ICSSP'24
International Conference on Software and System Process
2024-03-29
2024-05-07
2024-09-04
软件工程
C
C
A
无
会议地点:MUNICH
收录机构:其他
届数:18
QRS'24
International Conference on Software Quality, Reliability and Security
2024-03-18
2024-05-06
2024-07-01
软件工程
C
C
无
B3
会议地点:Cambridge
收录机构:IEEE
届数:24
IEEE SCC'24
IEEE International Conference on Service Computing
2024-02-09
2024-03-22
2024-07-15
软件工程
C
C
A
A2
会议地点:Mountain View, CA
收录机构:IEEE
届数:20
ICWE'24
International Conference on Web Engineering
2024-02-02
2024-03-22
2024-06-17
软件工程
C
C
B
B1
会议地点:Tampere
收录机构:Springer
届数:24
SPIN'24
International SPIN Workshop on Model Checking of Software
2024-01-15
2024-02-26
2024-04-10
软件工程
C
C
无
B2
会议地点:Luxembourg City
收录机构:Springer
届数:30
PEPM'24
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation