Feng Chen

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Predicate Logic

Conjunctive Queries

Top Venues

Int. J. Softw. Tools Technol. Transf.

Electron. Notes Theor. Comput. Sci.

Log. Methods Comput. Sci.

Publications

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