Certifying Measurement Unit Safety Polic. - Grigore Rosu; Feng Chen 006 (ASE, 2003)

Rule-Based Analysis of Dimensional Safety. - Feng Chen 006; Grigore Rosu; Ram Prasad Venkatesan (RTA, 2003)

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. - Feng Chen 006; Grigore Rosu (RV@CAV, 2003)

Formal Analysis of Java Programs in JavaFAN. - Azadeh Farzan; Feng Chen 006; José Meseguer 001; Grigore Rosu (CAV, 2004)

A Formal Monitoring-Based Framework for Software Development and Analysis. - Feng Chen 006; Marcelo d'Amorim; Grigore Rosu (ICFEM, 2004)

Java-MOP: A Monitoring Oriented Programming Environment for Java. - Feng Chen 006; Grigore Rosu (TACAS, 2005)

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. - Feng Chen 006; Marcelo d'Amorim; Grigore Rosu (RV@CAV, 2005)

Discovering Likely Method Specifications. - Nikolai Tillmann; Feng Chen 006; Wolfram Schulte (ICFEM, 2006)

Parametric and Termination-Sensitive Control Dependence. - Feng Chen 006; Grigore Rosu (SAS, 2006)

Parametric and Sliced Causality. - Feng Chen 006; Grigore Rosu (CAV, 2007)

Mop: an efficient and generic runtime verification framework. - Feng Chen 006; Grigore Rosu (OOPSLA, 2007)

jPredictor: a predictive runtime analysis tool for java. - Feng Chen 006; Traian-Florin Serbanuta; Grigore Rosu (ICSE, 2008)

Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. - Grigore Rosu; Feng Chen 006; Thomas Ball 001 (RV, 2008)

A Rewriting Logic Approach to Static Checking of Units of Measurement in C. - Mark Hills 001; Feng Chen 006; Grigore Rosu (RULE, 2008)

Dependent advice: a general approach to optimizing history-based aspects. - Eric Bodden; Feng Chen 006; Grigore Rosu (AOSD, 2009)

Efficient Formalism-Independent Monitoring of Parametric Properties. - Feng Chen 006; Patrick O'Neil Meredith; Dongyun Jin; Grigore Rosu (ASE, 2009)

Parametric Trace Slicing and Monitoring. - Feng Chen 006; Grigore Rosu (TACAS, 2009)

Monitoring Oriented Programming and Analysis - Feng Chen 006 (2009)

Efficient monitoring of parametric context-free patterns. - Patrick O'Neil Meredith; Dongyun Jin; Feng Chen 006; Grigore Rosu (Autom. Softw. Eng., 2010)

Mining parametric specifications. - Choonghwan Lee; Feng Chen 006; Grigore Rosu (ICSE, 2011)

Maximal Causal Models for Sequentially Consistent Systems. - Traian-Florin Serbanuta; Feng Chen 006; Grigore Rosu (RV, 2012)

Semantics and Algorithms for Parametric Monitoring - Grigore Rosu; Feng Chen 006 (Log. Methods Comput. Sci., 2012)

An overview of the MOP runtime verification framework. - Patrick O'Neil Meredith; Dongyun Jin; Dennis Griffith; Feng Chen 006; Grigore Rosu (Int. J. Softw. Tools Technol. Transf., 2012)