443 search results - page 18 / 89 » Compensation-Aware Runtime Monitoring |
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
110
click to vote
ICSOC
2004
Springer
15 years 6 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
98
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
105
click to vote
ASE
2010
15 years 27 days ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
83
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...