MOP: An Efficient and Generic Runtime Verification Framework (2007)

by Feng Chen , Grigore Rosu
Citations:75 - 9 self

Active Bibliography

5 Efficient Monitoring of Parametric Context-Free Patterns – Patrick O’neil Meredith, Dongyun Jin, Feng Chen
7 Efficient formalism-independent monitoring of parametric properties – Feng Chen, Patrick O'Neil Meredith , Dongyun Jin, Grigore Rosu - 2009
12 Checking and correcting behaviors of java programs at runtime with java-mop – Feng Chen - 2005
Efficient Parametric Runtime Verification with Deterministic String Rewriting – Patrick Meredith, Grigore Rosu - 2012
Review of the state of the art (in Security and Dependability Monitoring and Recovery) – G. Spanoudakis, C. Kloukinas, T. Tsigritis, K. Androutsopoulos, C. Ballas, Domenico Presenza - 2006
3 Garbage Collection for Monitoring Parametric Properties – Dongyun Jin, Patrick O'Neil Meredith , Dennis Griffith, Grigore Rosu - 2011
J.LMCS, Volume 8(1), pp 1-47. 2012 SEMANTICS AND ALGORITHMS FOR PARAMETRIC MONITORING – Feng Chen
20 A Formal Monitoring-Based Framework for Software Development and Analysis – Feng Chen, Grigore Ro - 2004
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) An Overview of the MOP Runtime Verification Framework ⋆ – Patrick O’neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen - 2011
15 Dependent Advice: A General Approach to Optimizing History-based Aspects (Extended version – Eric Bodden, Feng Chen - 2008
The abc Group Dependent Advice: A General Approach to Optimizing History-based Aspects – Eric Bodden, Feng Chen - 2008
4 Extending typestate analysis to multiple interacting objects – Nomair A. Naeem , Ondrej Lhoták - 2008
2 Partially evaluating finite-state runtime monitors ahead of time – Eric Bodden, Technische Universität Darmstadt, Patrick Lam
Specifying and Exploiting Advice-Execution Ordering using Dependency State Machines ∗ – Eric Bodden
8 Efficient Monitoring of ω-languages – Marcelo d'Amorim, Grigore Rosu - 2005
The abc Group Racer: Effective Race Detection Using AspectJ* – Eric Bodden, Klaus Havelund - 2008
4 Aspect-oriented Race Detection in Java – Eric Bodden, Klaus Havelund - 2010
30 Racer: Effective race detection using AspectJ (extended version – Eric Bodden, Klaus Havelund
4 Hardware runtime monitoring for dependable COTS-based real-time embedded systems – Rodolfo Pellizzoni, Patrick Meredith, Marco Caccamo - 2008