Información de la conferencia
RV 2024: International Conference on Runtime Verification
https://bouncmpe.github.io/rv24/Día de Entrega: |
2024-05-14 |
Fecha de Notificación: |
2024-06-25 |
Fecha de Conferencia: |
2024-10-15 |
Ubicación: |
Istanbul, Turkey |
Años: |
24 |
CCF: c Vistas: 10968 Seguidores: 0 Asistentes: 0
Solicitud de Artículos
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.
Última Actualización Por Dou Sun en 2024-03-03
Conferencias Relacionadas
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
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 |
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | 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 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
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 |
Recomendaciones