Feng Chen

According to our database, Feng Chen authored at least 23 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

An overview of the MOP runtime verification framework.

Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu

Int. J. Softw. Tools Technol. Transf., 2012

Semantics and Algorithms for Parametric Monitoring

Grigore Rosu, Feng Chen

Log. Methods Comput. Sci., 2012

Maximal Causal Models for Sequentially Consistent Systems.

Traian-Florin Serbanuta, Feng Chen, Grigore Rosu

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Mining parametric specifications.

Choonghwan Lee, Feng Chen, Grigore Rosu

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Efficient monitoring of parametric context-free patterns.

Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu

Autom. Softw. Eng., 2010

2009

Monitoring Oriented Programming and Analysis

Feng Chen

PhD thesis, 2009

Parametric Trace Slicing and Monitoring.

Feng Chen, Grigore Rosu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Efficient Formalism-Independent Monitoring of Parametric Properties.

Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu

Proceedings of the ASE 2009, 2009

Dependent advice: a general approach to optimizing history-based aspects.

Eric Bodden, Feng Chen, Grigore Rosu

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

A Rewriting Logic Approach to Static Checking of Units of Measurement in C.

Mark Hills, Feng Chen, Grigore Rosu

Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008

Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.

Grigore Rosu, Feng Chen, Thomas Ball

Proceedings of the Runtime Verification, 8th International Workshop, 2008

jPredictor: a predictive runtime analysis tool for java.

Feng Chen, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Mop: an efficient and generic runtime verification framework.

Feng Chen, Grigore Rosu

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Parametric and Sliced Causality.

Feng Chen, Grigore Rosu

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Parametric and Termination-Sensitive Control Dependence.

Feng Chen, Grigore Rosu

Proceedings of the Static Analysis, 13th International Symposium, 2006

Discovering Likely Method Specifications.

Nikolai Tillmann, Feng Chen, Wolfram Schulte

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.

Feng Chen, Marcelo d'Amorim, Grigore Rosu

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Java-MOP: A Monitoring Oriented Programming Environment for Java.

Feng Chen, Grigore Rosu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

A Formal Monitoring-Based Framework for Software Development and Analysis.

Feng Chen, Marcelo d'Amorim, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2004

Formal Analysis of Java Programs in JavaFAN.

Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation.

Feng Chen, Grigore Rosu

Proceedings of the Third Workshop on Run-time Verification, 2003

Rule-Based Analysis of Dimensional Safety.

Feng Chen, Grigore Rosu, Ram Prasad Venkatesan

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Certifying Measurement Unit Safety Polic.

Grigore Rosu, Feng Chen

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003