F
Feng Chen
Researcher at University of Science and Technology of China
Publications - 63
Citations - 3137
Feng Chen is an academic researcher from University of Science and Technology of China. The author has contributed to research in topics: Parametric statistics & Runtime verification. The author has an hindex of 31, co-authored 63 publications receiving 2976 citations. Previous affiliations of Feng Chen include Peking University & University of Illinois at Urbana–Champaign.
Papers
More filters
Proceedings ArticleDOI
Mop: an efficient and generic runtime verification framework
Feng Chen,Grigore Rosu +1 more
TL;DR: This paper proposes a parametric specification formalism-independent extension of MOP, together with an implementation of JavaMOP that supports parameters, and devised and implemented a decentralized indexing optimization.
Journal ArticleDOI
An overview of the MOP runtime verification framework
TL;DR: An overview of the, monitoring oriented programming framework (MOP), and an explanation of parametric trace monitoring and its implementation is given.
Book ChapterDOI
Java-MOP: a monitoring oriented programming environment for java
Feng Chen,Grigore Rosu +1 more
TL;DR: A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle and expressive requirements specification formalisms can be included into the framework via logic plug-ins.
Journal Article
Java-MOP: A monitoring oriented programming environment for java
Feng Chen,Grigore Roou +1 more
TL;DR: In this article, a Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification formalisms can be included into the framework via logic plug-ins, allowing one to refer not only to the current state but also to both past and future states.
Proceedings ArticleDOI
jPredictor: a predictive runtime analysis tool for java
TL;DR: Experiments show that jPredictor is precise (in its predictions), effective and efficient, and found errors missed by other tools, including static race detectors, as well as unknown errors in popular systems like Tomcat and the Apache FTP server.