Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
Adding trace matching with free variables to AspectJ
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Runtime Analysis of Atomicity for Multithreaded Programs
IEEE Transactions on Software Engineering
Runtime Validation of Transactional Memory Systems
ISQED '08 Proceedings of the 9th international symposium on Quality Electronic Design
Comparing LTL Semantics for Runtime Verification
Journal of Logic and Computation
Copilot: a hard real-time runtime monitor
RV'10 Proceedings of the First international conference on Runtime verification
Goldilocks: efficiently computing the happens-before relation using locksets
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
An overview of the MOP runtime verification framework
International Journal on Software Tools for Technology Transfer (STTT) - Runtime Verification
A staged static program analysis to improve the performance of runtime monitoring
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
| Hi-index | 0.00 |