Design and implementation of an aspect-oriented C programming language
Z Chen, Y Zhu, Z Wang - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
Aspect-Oriented Programming (AOP) is a programming paradigm that implements
crosscutting concerns in a modular way. People have witnessed the prosperity of AOP …
crosscutting concerns in a modular way. People have witnessed the prosperity of AOP …
High-Integrity Runtime Verification
AE Goodloe, K Havelund - Computer, 2024 - ieeexplore.ieee.org
We introduce the concept of runtime verification that can be a critical element of an
assurance case by guaranteeing that specifications hold at runtime. We show how runtime …
assurance case by guaranteeing that specifications hold at runtime. We show how runtime …
[PDF][PDF] Connected Vehicle Perception Monitoring: A Runtime Verification Approach for Enhanced Autonomous Driving Safety.
Modern autonomous vehicles rely heavily on complex sensor systems for perception tasks,
including Advanced Driver Assistance Systems and Autonomous Driving Systems. Accurate …
including Advanced Driver Assistance Systems and Autonomous Driving Systems. Accurate …
Functional Monitoring for Run-Time Assurance of a Real-Time Cyber Physical System
MW Gelber - 2024 - scholarscompass.vcu.edu
As cyber-physical systems (CPS) become more integrated into everyday life, the security of
these systems must also be considered during their development due to their ever …
these systems must also be considered during their development due to their ever …
Оптимізація моделей та методів рішень на основі віртуальних машин для покращення моніторингу та аналізу додатків
НІ Гончарик - 2024 - repository.ukd.edu.ua
Кваліфікаційна робота присвячена оптимізації моделей та методів рішень на основі
віртуальних машин для покращення моніторингу та аналізу додатків шляхом розробки …
віртуальних машин для покращення моніторингу та аналізу додатків шляхом розробки …