default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFeng Chen 0006
Person information
- affiliation: University of Illinois at Urbana-Champaign, USA
Other persons with the same name
- Feng Chen — disambiguation page
- Feng Chen 0001
![[0000-0002-4508-5963]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-4508-5963")
— University of Texas at Dallas, TX, USA (and 2 more) - Feng Chen 0002 — Northwest University, School of Information Science and Technology, Xi'an, China (and 1 more)
- Feng Chen 0003 — University of Alberta, Canada
- Feng Chen 0004 — De Montfort University, Leicester, UK (and 1 more)
- Feng Chen 0005 — Louisiana State University, Baton Rouge, LA, USA (and 1 more)
- Feng Chen 0007 — Tsinghua University, Department of Automation, Center for Brain-Inspired Computing Research, Beijing, China
- Feng Chen 0008 — The University of New South Wales, Australia
- Feng Chen 0009 — Chinese Academy of Sciences, Beijing, China (and 1 more)
- Feng Chen 0010 — Politecnico di Torino, Turin, Italy
- Feng Chen 0011 — University of Florida, Department of Electrical and Computer Engineering, Gainesville, FL, USA
- Feng Chen 0012 — Siemens AG, Germany (and 1 more)
- Feng Chen 0013 — Xidian University, Xi'an, China
- Feng Chen 0014 — Henan University of Technology, Zhengzhou, China (and 1 more)
- Feng Chen 0015 — National University of Defense Technology, Changsha, China
- Feng Chen 0016 — University of California, San Diego, La Jolla, CA, USA
- Feng Chen 0017 — The Hong Kong University of Science and Technology, China
- Feng Chen 0018 — University of California, Los Angeles, CA, USA
- Feng Chen 0019 (aka: Chris F. Chen) — City University of New York, Baruch College, Department of Mathematics, NY, USA
- Feng Chen 0020 — Shanghai Jiao Tong University, Sino-US Logistics Institute, China (and 2 more)
- Feng Chen 0021 — Peking University, School and Hospital of Stomatology, Beijing, China
- Feng Chen 0022 — Jiangxi Academy of Water Science and Engineering, Jiangxi Provincial Key Laboratory of Soil Erosion and Prevention, Nanchang, China (and 2 more)
- Feng Chen 0023 — Southwest University, College of Artificial Intelligence, Chongqing, China (and 2 more)
- Feng Chen 0024 — Shibaura Institute of Technology, Tokyo, Japan
- Feng Chen 0025 — University of Science and Technology of China, Department of Automation, Hefei, China
- Feng Chen 0026 — Hong Kong University of Science and Technology, Department of Electronic and Computer Engineering, Hong Kong
- Feng Chen 0027 — Air Force Engineering University, Department of Air Defense and Anti-Missile, Xi'an, China
- Feng Chen 0028 — Institute of Medical Support Technology, Tianjin, China
- Feng Chen 0029 — Beijing Jiaotong University, School of Civil Engineering, Beijing, China
- Feng Chen 0030 — Harbin Engineering University, College of Underwater Acoustic Engineering, Harbin, China (and 1 more)
- Feng Chen 0031 — Anhui University of Technology, School of Electrical Information and Engineering, Ma'anshan, China
- Feng Chen 0032 — Nanjing Medical University, School of Public Health, Department of Epidemiology and Biostatistics, Nanjing, China
- Feng Chen 0033 — Xi'an Jiaotong University, School of Electrical Engineering, State Key Laboratory of Electrical Insulation and Power Equipment, Xi'an, China
- Feng Chen 0034 — Brown University, Division of Applied Mathematics, Providence, RI, USA (and 1 more)
- Feng Chen 0035 — University of Oklahoma, School of Electrical and Computer Engineering, Tulsa, OK, USA
- Feng Chen 0036 — China University of Mining and Technology, State Key Laboratory for GeoMechanics and Deep Underground Engineering, Beijing, China
- Feng Chen 0037 — University of Tennessee, Department of Plant Sciences, Knoxville, TN, USA
- Feng Chen 0038 — Zhejiang University, College of Medicine, The First Affiliated Hospital, Department of Radiology, Hangzhou, China (and 1 more)
- Feng Chen 0039 — IBM Research China, Beijing, China
- Feng Chen 0040 — EEasy Technology Company Ltd., Zhuhai, China (and 1 more)
- Feng Chen 0041 — Fuzhou University, Department of Electronic Information, China
- Feng Chen 0042 — Nanjing University, National Key Laboratory for Novel Software Technology, China
- Feng Chen 0043 — Frey Computing Services Center, Louisiana State University, Baton Rouge, LA, USA
- Feng Chen 0044 — Lenovo
- Feng Chen 0045 — Wuhan Research Institute of Post and Telecommunications, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2009
[b1]Feng Chen:
Monitoring Oriented Programming and Analysis. University of Illinois Urbana-Champaign, USA, 2009
Journal Articles
- 2012
- [j3]Grigore Rosu, Feng Chen:
Semantics and Algorithms for Parametric Monitoring. Log. Methods Comput. Sci. 8(1) (2012) - [j2]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): 249-289 (2012) - 2010
- [j1]Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu:
Efficient monitoring of parametric context-free patterns. Autom. Softw. Eng. 17(2): 149-180 (2010)
Conference and Workshop Papers
- 2012
- [c20]Traian-Florin Serbanuta, Feng Chen, Grigore Rosu:
Maximal Causal Models for Sequentially Consistent Systems. RV 2012: 136-150 - 2011
- [c19]Choonghwan Lee, Feng Chen, Grigore Rosu:
Mining parametric specifications. ICSE 2011: 591-600 - 2009
- [c18]Eric Bodden, Feng Chen, Grigore Rosu:
Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14 - [c17]Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu:
Efficient Formalism-Independent Monitoring of Parametric Properties. ASE 2009: 383-394 - [c16]Feng Chen, Grigore Rosu:
Parametric Trace Slicing and Monitoring. TACAS 2009: 246-261 - 2008
- [c15]Feng Chen, Traian-Florin Serbanuta, Grigore Rosu:
jPredictor: a predictive runtime analysis tool for java. ICSE 2008: 221-230 - [c14]Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu:
Efficient Monitoring of Parametric Context-Free Patterns. ASE 2008: 148-157 - [c13]Grigore Rosu, Feng Chen, Thomas Ball:
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68 - [c12]Mark Hills, Feng Chen, Grigore Rosu:
A Rewriting Logic Approach to Static Checking of Units of Measurement in C. RULE 2008: 51-67 - 2007
- [c11]Feng Chen, Grigore Rosu:
Parametric and Sliced Causality. CAV 2007: 240-253 - [c10]Feng Chen, Grigore Rosu:
Mop: an efficient and generic runtime verification framework. OOPSLA 2007: 569-588 - 2006
- [c9]Nikolai Tillmann, Feng Chen, Wolfram Schulte:
Discovering Likely Method Specifications. ICFEM 2006: 717-736 - [c8]Feng Chen, Grigore Rosu:
Parametric and Termination-Sensitive Control Dependence. SAS 2006: 387-404 - 2005
- [c7]Feng Chen, Grigore Rosu:
Java-MOP: A Monitoring Oriented Programming Environment for Java. TACAS 2005: 546-550 - [c6]Feng Chen, Marcelo d'Amorim, Grigore Rosu:
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. RV@CAV 2005: 3-20 - 2004
- [c5]Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu:
Formal Analysis of Java Programs in JavaFAN. CAV 2004: 501-505 - [c4]Feng Chen, Marcelo d'Amorim, Grigore Rosu:
A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM 2004: 357-372 - 2003
- [c3]Grigore Rosu, Feng Chen:
Certifying Measurement Unit Safety Polic. ASE 2003: 304-309 - [c2]Feng Chen, Grigore Rosu, Ram Prasad Venkatesan:
Rule-Based Analysis of Dimensional Safety. RTA 2003: 197-207 - [c1]Feng Chen, Grigore Rosu:
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. RV@CAV 2003: 108-127
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-27 21:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
