Feng Chen

发表

Maximal Causal Models for Sequentially Consistent Systems

Grigore Rosu, Traian-Florin Serbanuta, Feng Chen, 2012, RV.

MOP: Reliable Software Development using Abstract Aspects

Grigore Rosu, Feng Chen, Feng Chen, 2006 .

Predictive Runtime Analysis of Multithreaded Programs

Grigore Rosu, Feng Chen, 2005 .

Pluggable Policies for C

Grigore Rosu, Feng Chen, Mark Hills, 2008 .

Mining Parametric State-Based Specifications from Executions

Grigore Rosu, Feng Chen, Feng Chen, 2008 .

Design and Ground Verification of Space Station Manipulator Control Method for Orbital Replacement Unit Changeout

Hongliu Yu, Feng Chen, Huanlong Chen, 2018 .

Mop: an efficient and generic runtime verification framework

Grigore Rosu, Feng Chen, Feng Chen, 2007, OOPSLA.

Parametric Trace Slicing and Monitoring

Grigore Rosu, Feng Chen, Feng Chen, 2009, TACAS.

009 Performance Evaluation of Surface Penetrants on Existing Structure under Cold Weather Execution

Feng Chen, 中村大, 濱幸雄, 2014 .

Rule-Based Analysis of Dimensional Safety

Grigore Rosu, Feng Chen, Ram Prasad Venkatesan, 2003, RTA.

Mining parametric specifications

Grigore Rosu, Choonghwan Lee, Feng Chen, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Parametric and Termination-Sensitive Control Dependence - Extended Abstract

Grigore Rosu, Feng Chen, Feng Chen, 2006 .

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

Grigore Rosu, Eric Bodden, Feng Chen, 2009, AOSD '09.

Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

Grigore Rosu, Feng Chen, Traian Florin Serbanuta, 2007 .

Java-MOP: A Monitoring Oriented Programming Environment for Java

Grigore Rosu, Feng Chen, Feng Chen, 2005, TACAS.

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

Grigore Rosu, Feng Chen, Feng Chen, 2003, RV@CAV.

Efficient monitoring of parametric context-free patterns

Grigore Rosu, Feng Chen, Dongyun Jin, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

Formal Analysis of Java Programs in JavaFAN

José Meseguer, Grigore Rosu, Azadeh Farzan, 2004, CAV.

Robust Output Feedback Passification of Linear Systems with Unmodeled Dynamics

Ning Wang, Wenli Xu, Feng Chen, 2008 .

A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages

Grigore Rosu, Feng Chen, Mark Hills, 2006 .

Output feedback variable structure control of uncertain linear systems in the presence of actuator dynamics

Ning Wang, Wenli Xu, Feng Chen, 2009 .

Efficient Formalism-Independent Monitoring of Parametric Properties

Grigore Rosu, Feng Chen, Dongyun Jin, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Multi-Agent Collaborative Control Method of Ramps Based on Fuzzy Neural Network

Yuanhua Jia, Liangliang Zhang, Feng Chen, 2015 .

Semantics and Algorithms for Parametric Monitoring

Grigore Rosu, Feng Chen, Feng Chen, 2011, Log. Methods Comput. Sci..

Predicting Concurrency Errors at Runtime using Sliced Causality

Grigore Rosu, Feng Chen, Feng Chen, 2005 .

Parametric and Sliced Causality

Grigore Rosu, Feng Chen, Feng Chen, 2007, CAV.

An overview of the MOP runtime verification framework

Grigore Rosu, Feng Chen, Dongyun Jin, 2012, International Journal on Software Tools for Technology Transfer.

Optimization design of muffler based on acoustic transfer matrix and genetic algorithm

Feng Chen, 2014 .

Maximal Causal Models for Multithreaded Systems

Grigore Rosu, Feng Chen, Traian Florin Serbanuta, 2008 .

A Novel Real-Valued DOA Algorithm Based on Eigenvalue

Feng Chen, Shi-Qi Mo, De-Sen Yang, 2020, Sensors.

Effects of mobile phone use on pedestrian crossing behavior and safety at unsignalized intersections

Cunbao Zhang, Feng Chen, Zhang Hualong, 2019, Canadian Journal of Civil Engineering.

Parametric and Termination-Sensitive Control Dependence

Grigore Rosu, Feng Chen, Feng Chen, 2006, SAS.

A novel superresolution algorithm based on standard displacements

Feng Chen, Maozu Guo, Jianming Huang, 2009, International Symposium on Multispectral Image Processing and Pattern Recognition.

jPredictor: a predictive runtime analysis tool for java

Grigore Rosu, Traian-Florin Serbanuta, Feng Chen, 2008, ICSE '08.

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

Grigore Rosu, Thomas Ball, Feng Chen, 2008, RV.

Maximal Causal Models for Sequentially Consistent Multithreaded Systems

Grigore Rosu, Feng Chen, Traian Florin Șerbănuță, 2010 .

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

Grigore Rosu, Feng Chen, Mark Hills, 2012, RULE.

An expert-based method for the risk analysis of functional failures in the fracturing system of unconventional natural gas

Guoan Yang, Xiaoxu Diao, Yunfei Zhao, 2021, Energy.

Efficient Monitoring of Parametric Context-Free Patterns

Grigore Rosu, Feng Chen, Dongyun Jin, 2008, ASE.

Adaptive global output feedback stabilisation of some non-minimum phase nonlinear uncertain systems

Wenli Xu, Ning Wang, Feng Chen, 2008 .

Output-feedback second-order sliding-mode control of uncertain linear systems with relative degree 2

Ning Wang, Wenli Xu, Feng Chen, 2007 .

An Improved AES Key Expansion Algorithm

Feng Chen, Junjie Yan, 2016 .