Conference Information
RV 2024: International Conference on Runtime Verification
https://bouncmpe.github.io/rv24/Submission Date: |
2024-05-14 |
Notification Date: |
2024-06-25 |
Conference Date: |
2024-10-15 |
Location: |
Istanbul, Turkey |
Years: |
24 |
CCF: c Viewed: 10777 Tracked: 0 Attend: 0
Call For Papers
Runtime verification is concerned with the monitoring and analysis of the runtime behavior of software, hardware, and cyber-physical 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. Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, cloud and IoT systems, control systems, health management and diagnosis, and system security and privacy. The topics of the conference include, but are not limited to: specification languages for monitoring formal requirements elicitation, specification mining, and machine learning over runtime traces monitor construction techniques program instrumentation combination of static and dynamic analysis dynamic type checking and assurance cases monitoring techniques for concurrent and distributed systems runtime checking of privacy and security policies metrics and statistical information gathering fault localization, containment, resilience, recovery and repair monitoring of systems with learning-enabled components, including reinforcement learning runtime verification for autonomy and runtime assurance New areas we are soliciting this year include: integrating the results of runtime monitoring with downstream tasks, especially metareasoning, control, fault recovery, and design modifications case studies of using RV in industrial settings, with lessons learned and challenges faced Application areas of runtime verification include cyber-physical systems, autonomous systems, safety/mission critical systems, enterprise and systems software, cloud systems, reactive control systems, health management and diagnosis systems, and system security and privacy.
Last updated by Dou Sun in 2024-03-03
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
ICCTA | International Conference on Computer Theory and Applications | 2023-09-15 | 2023-12-16 |
CIAA | International Conference on Implementation and Application of Automata | 2018-03-25 | 2018-07-30 |
GCC | International Conference on Grid and Cloud Computing | 2010-11-01 | |
ICAIF | ACM International Conference on AI in Finance | 2020-05-29 | 2020-10-15 |
ISEBC | International Symposium on Entrepreneurship, Blockchain and Crypto-Finance | 2019-02-17 | 2019-04-24 |
UIST | ACM Symposium on User Interface Software and Technology | 2024-03-27 | 2024-10-13 |
ICEMCE | International Conference on Electrical, Mechanical and Computer Engineering | 2020-04-01 | 2020-06-19 |
TARK | International Conference on Theoretical Aspects of Rationality and Knowledge | 2012-09-20 | 2013-01-07 |
CCA | International Conference on Computer and Applications | 2016-02-26 | 2016-03-24 |
DTA | International Conference on Database Theory and Application | 2015-10-10 | 2015-11-25 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Progress in Organic Coatings | 5.161 | Elsevier | 0300-9440 | |
c | Multimedia Tools and Applications | 2.757 | Springer | 1380-7501 |
c | IET Communications | 0.624 | IET | 1751-8628 |
Journal of Classification | 1.673 | Springer | 0176-4268 | |
IEEE Transactions on Cognitive Communications and Networking | IEEE | 2372-2045 | ||
b | ACM Transactions on Applied Perception | ACM | 1544-3558 | |
a | International Journal of Computer Vision | 7.410 | Springer | 0920-5691 |
b | IEEE Transactions on Cybernetics | 8.803 | IEEE | 2168-2267 |
IET Journal on Image Processing | IET | 1751-9659 | ||
c | ACM Transactions on Computing Education | ACM | 1946-6226 |
Full Name | Impact Factor | Publisher |
---|---|---|
Progress in Organic Coatings | 5.161 | Elsevier |
Multimedia Tools and Applications | 2.757 | Springer |
IET Communications | 0.624 | IET |
Journal of Classification | 1.673 | Springer |
IEEE Transactions on Cognitive Communications and Networking | IEEE | |
ACM Transactions on Applied Perception | ACM | |
International Journal of Computer Vision | 7.410 | Springer |
IEEE Transactions on Cybernetics | 8.803 | IEEE |
IET Journal on Image Processing | IET | |
ACM Transactions on Computing Education | ACM |
Recommendation