default search action
Ming Fu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]Qiong Tan, Ming Fu, Zhengxing Wang, Hongyong Yuan, Jinhua Sun:
A real-time early warning classification method for natural gas leakage based on random forest. Reliab. Eng. Syst. Saf. 251: 110372 (2024) - [j13]Jie Mei
, Ming Zhu, Wei Liu
Conditional Variational Encoder Classifier for Open Set Fault Classification of Rotating Machinery Vibration Signals. IEEE Trans. Ind. Informatics 20(3): 3038-3049 (2024) - [c24]Wenjie Li
WiP: A Solution for Reducing MLLM-Based Agent Interaction Overhead. EdgeFM@MobiSys 2024: 16-17 - [c23]Jiawei Wang
Brief Announcement: Work Stealing through Partial Asynchronous Delegation. SPAA 2024: 281-283 - 2023
- [j12]Jie Mei
Discriminative Angle Feature Learning for Open-Set Deep Fault Classification. IEEE Access 11: 55011-55022 (2023) - [j11]Kun Huang, Ming Fu, Xiaohua Ding
Security and Economic Integration Scheduling of Electricity-Heat Integrated Energy System. IEEE Access 11: 112236-112247 (2023) - [c22]Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig:
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. ASPLOS (2) 2023: 61-73 - [c21]Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen:
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. OSDI 2023: 833-850 - 2022
- [c20]Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen:
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. USENIX ATC 2022: 249-262 - 2021
- [j10]Lizheng Deng
Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide. Sensors 21(7): 2373 (2021) - [j9]Yunfei Li, Yang Zhou, Ming Fu, Fan Zhou, Zhaozhao Chi
Analysis of Propagation and Distribution Characteristics of Leakage Acoustic Waves in Water Supply Pipelines. Sensors 21(16): 5450 (2021) - [c19]Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo
VSync: push-button verification and optimization for synchronization primitives on weak memory models. ASPLOS 2021: 530-545 - [c18]Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis
Verifying and Optimizing the HMCS Lock for Arm Servers. NETYS 2021: 240-260 - [c17]Rafael Lourenco de Lima Chehab, Antonio Paolillo
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. SOSP 2021: 851-865 - [i2]Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis:
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). CoRR abs/2102.06590 (2021) - [i1]Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer:
Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. CoRR abs/2111.15240 (2021) - 2020
- [j8]Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 instruction set architecture in Coq. Sci. Comput. Program. 187: 102371 (2020) - [c16]Linwei Li, Siyou Tong, Ming Fu, Huawei Zhou:
Wave Separation Of Free-surface Related Multiples For Submarine Seismic Data. CISP-BMEI 2020: 557-561
2010 – 2019
- 2019
- [j7]Zipeng Zhang, Ming Fu, Xin-Yu Feng:
A Lightweight Dynamic Enforcement of Privacy Protection for Android. J. Comput. Sci. Technol. 34(4): 901-923 (2019) - [c15]Mo Zou, Haoran Ding, Dong Du
Using concurrent relational logic with helpers for verifying the AtomFS file system. SOSP 2019: 259-274 - 2017
- [j6]Ming Fu, Donglai Zhang
New Electrical Power Supply System for All-Electric Propulsion Spacecraft. IEEE Trans. Aerosp. Electron. Syst. 53(5): 2157-2166 (2017) - [c14]Ming Fu, Donglai Zhang, Tiecai Li, Yalin Li:
High direction-changing frequency bidirectional DC-DC converter for charging/discharging applications. IECON 2017: 4375-4382 - [c13]Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 Instruction Set Architecture in Coq. SETTA 2017: 300-316 - 2016
- [c12]Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li:
A Practical Verification Framework for Preemptive OS Kernels. CAV (2) 2016: 59-79 - 2015
- [c11]Jingyuan Cao, Ming Fu, Xinyu Feng:
Practical Tactics for Verifying C Programs in Coq. CPP 2015: 97-108 - 2014
- [j5]Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng:
A temporal programming model with atomic blocks based on projection temporal logic. Frontiers Comput. Sci. 8(6): 958-976 (2014) - [j4]Hongjin Liang, Xinyu Feng, Ming Fu:
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Trans. Program. Lang. Syst. 36(1): 3:1-3:55 (2014) - 2013
- [c10]Xia Yang, Ming Fu:
Backoff algorithm based on frame transmission efficiency in Ad hoc network. BMEI 2013: 734-739 - 2012
- [j3]Juan Liu
Stability and Bifurcation in a Delayed Holling-Tanner Predator-Prey System with Ratio-Dependent Functional Response. J. Appl. Math. 2012: 384293:1-384293:19 (2012) - [c9]Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng:
A Concurrent Temporal Programming Model with Atomic Blocks. ICFEM 2012: 22-37 - [c8]Hongjin Liang, Xinyu Feng, Ming Fu:
A rely-guarantee-based simulation for verifying concurrent program transformations. POPL 2012: 455-468 - [c7]Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao
A Structural Approach to Prophecy Variables. TAMC 2012: 61-71 - 2010
- [j2]Ming Fu, Yu Zhang, Yong Li:
Formal verification of concurrent programs with read-write locks. Frontiers Comput. Sci. China 4(1): 65-77 (2010) - [j1]Yong Li, Yu Zhang, Yiyun Chen, Ming Fu:
Formal Reasoning About Lazy-STM Programs. J. Comput. Sci. Technol. 25(4): 841-852 (2010) - [c6]Ming Fu, Yong Li, Xinyu Feng, Zhong Shao
Reasoning about Optimistic Concurrency Using a Program Logic for History. CONCUR 2010: 388-402
2000 – 2009
- 2009
- [c5]Xiaobo Li, Ming Fu, Xiangdong Cui, Zhou Zhou:
Super-Program Architectures - A New Driving Method for Executing Instructions. CDES 2009: 111-116 - [c4]Yong Li, Yu Zhang, Yiyun Chen, Ming Fu:
On the Verification of Strong Atomicity in Programs Using STM. SSIRI 2009: 123-131 - [c3]Ming Fu, Yu Zhang, Yong Li:
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. TASE 2009: 233-240 - 2008
- [c2]Pei He, Lishan Kang, Ming Fu:
Formality based genetic programming. IEEE Congress on Evolutionary Computation 2008: 4080-4087 - 2007
- [c1]Ming Fu, Yu Zhang:
Homomorphism Resolving of XPath Trees Based on Automata. APWeb/WAIM 2007: 821-828
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-10-07 22:11 CEST 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: