Feng Chen

24 papers A* 7A 3B 3C 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2012 J jnl
An overview of the MOP runtime verification framework.
Int. J. Softw. Tools Technol. Transf.
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu
2012 B conf
Maximal Causal Models for Sequentially Consistent Systems.
RV
Traian-Florin Serbanuta, Feng Chen, Grigore Rosu
2012 J jnl
Semantics and Algorithms for Parametric Monitoring
Log. Methods Comput. Sci.
Grigore Rosu, Feng Chen
2011 A* conf
Mining parametric specifications.
ICSE
Choonghwan Lee, Feng Chen, Grigore Rosu
2010 J jnl
Efficient monitoring of parametric context-free patterns.
Autom. Softw. Eng.
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
2009 — conf
Dependent advice: a general approach to optimizing history-based aspects.
AOSD
Eric Bodden, Feng Chen, Grigore Rosu
2009 A* conf
Efficient Formalism-Independent Monitoring of Parametric Properties.
ASE
Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu
2009 — —
Monitoring Oriented Programming and Analysis
Feng Chen
2009 A conf
Parametric Trace Slicing and Monitoring.
TACAS
Feng Chen, Grigore Rosu
2008 — conf
A Rewriting Logic Approach to Static Checking of Units of Measurement in C.
RULE
Mark Hills, Feng Chen, Grigore Rosu
2008 A* conf
Efficient Monitoring of Parametric Context-Free Patterns.
ASE
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
2008 B conf
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.
RV
Grigore Rosu, Feng Chen, Thomas Ball
2008 A* conf
jPredictor: a predictive runtime analysis tool for java.
ICSE
Feng Chen, Traian-Florin Serbanuta, Grigore Rosu
2007 A conf
Mop: an efficient and generic runtime verification framework.
OOPSLA
Feng Chen, Grigore Rosu
2007 A* conf
Parametric and Sliced Causality.
CAV
Feng Chen, Grigore Rosu
2006 C conf
Discovering Likely Method Specifications.
ICFEM
Nikolai Tillmann, Feng Chen, Wolfram Schulte
2006 B conf
Parametric and Termination-Sensitive Control Dependence.
SAS
Feng Chen, Grigore Rosu
2005 — conf
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.
RV@CAV
Feng Chen, Marcelo d'Amorim, Grigore Rosu
2005 A conf
Java-MOP: A Monitoring Oriented Programming Environment for Java.
TACAS
Feng Chen, Grigore Rosu
2004 C conf
A Formal Monitoring-Based Framework for Software Development and Analysis.
ICFEM
Feng Chen, Marcelo d'Amorim, Grigore Rosu
2004 A* conf
Formal Analysis of Java Programs in JavaFAN.
CAV
Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu
2003 A* conf
Certifying Measurement Unit Safety Polic.
ASE
Grigore Rosu, Feng Chen
2003 — conf
Rule-Based Analysis of Dimensional Safety.
RTA
Feng Chen, Grigore Rosu, Ram Prasad Venkatesan
2003 — conf
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation.
RV@CAV
Feng Chen, Grigore Rosu