Sciweavers

443 search results - page 11 / 89
» Compensation-Aware Runtime Monitoring
Sort
View
ENTCS
2006
160views more  ENTCS 2006»
15 years 5 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
CAV
2003
Springer
145views Hardware» more  CAV 2003»
15 years 11 months ago
Monitoring Temporal Rules Combined with Time Series
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
Doron Drusinsky
OOPSLA
2007
Springer
15 years 12 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
ICPP
1998
IEEE
15 years 10 months ago
Techniques for Delayed Binding of Monitoring Mechanisms to Application-Specific Instrumentation Points
Online interaction with computer systems and applications allows developers to monitor, experiment with, and debug long-running, resource-intensive applicationsat runtime. Traditi...
Jeffrey S. Vetter, Karsten Schwan
ENTCS
2006
90views more  ENTCS 2006»
15 years 5 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...