Yuming Wu

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 16

Top Topics

Convolutional Neural Network

Structured Prediction

Hybrid Automata

Bounded Model Checking

Top Venues

Publications

Chao Zhai, Yuming Wu
Multi-Agent Coverage Control on Surfaces Using Conformal Mapping. CoRR (2024)
Xuecheng Wang, Xing Gao, Yuming Wu, Hou Jiang, Peng Wang
Spatio-Temporal Characteristics of Ice-Snow Freezing and Its Impact on Subtropical Forest Fires in China. Remote. Sens. 15 (21) (2023)
Yuming Wu, Lihui Cen, Shichao Kan, Yongfang Xie
Multi-layer capsule network with joint dynamic routing for fire recognition. Image Vis. Comput. 139 (2023)
Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. VMCAI (2022)
Jia Liu, Yuming Wu, Xing Gao, Xuehua Zhang
A Simple Method of Mapping Landslides Runout Zones Considering Kinematic Uncertainties. Remote. Sens. 14 (3) (2022)
Xiang Han, Yunhe Yin, Yuming Wu, Shaohong Wu
Risk Assessment of Population Loss Posed by Earthquake-Landslide-Debris Flow Disaster Chain: A Case Study in Wenchuan, China. ISPRS Int. J. Geo Inf. 10 (6) (2021)
Yuming Wu, Nishok Narasimha Mohanasamy, Lalita Jagadeesan, Muntasir Raihan Rahman
Changes in Intent: Behavioral Predictions of Distributed SDN Controller Reconfiguration. ISSRE Workshops (2021)
Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. FM (2021)
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH (2020)
Phuong Cao, Yuming Wu, Subho S. Banerjee, Justin Azoff, Alexander Withers, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer
CAUDIT: Continuous Auditing of SSH Servers To Mitigate Brute-Force Attacks. NSDI (2019)
Key-whan Chung, Phuong Cao, Yuming Wu, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer, Alexander Withers
TRACTION: an infrastructure for trusted alert sharing and collaborative mitigation. HotSoS (2019)
Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. SETSS (2019)
Yuming Wu, Shaokun Wang, Ke Wang
Design and Analysis of Serial Mechanical Leg of Quadruped Lunar Robot. CACRE (2019)
Zhun Fan, Yuming Wu, Jiewei Lu, Wenji Li
Automatic Pavement Crack Detection Based on Structured Prediction with the Convolutional Neural Network. CoRR (2018)
Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang, Haibing Guan
Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption. HPCA (2018)
Le Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Jinming Li
Deconstructing Xen. NDSS (2017)
Yunshan Meng, Hengxing Lan, Langping Li, Yuming Wu, Quanwen Li
Characteristics of Surface Deformation Detected by X-band SAR Interferometry over Sichuan-Tibet Grid Connection Project Area, China. Remote. Sens. 7 (9) (2015)
Yuming Wu, Xiaodong Luo, Zhen Yang
Semantic separator learning and its applications in unsupervised Chinese text parsing. Frontiers Comput. Sci. 7 (1) (2013)
Liangjun Zang, Cong Cao, Yanan Cao, Yuming Wu, Cungen Cao
A Survey of Commonsense Knowledge Acquisition. J. Comput. Sci. Technol. 28 (4) (2013)
David Nash, David Waters, Andres Buldu, Yuming Wu, Yaping Lin, Weiqiu Yang, Yuzhi Song, Jianhua Shu, Wei Qin, Murray Hannah
Using a conceptual Bayesian network to investigate environmental management of vegetable production in the Lake Taihu region of China. Environ. Model. Softw. 46 (2013)
Yuming Wu, Cungen Cao, Shi Wang, Dongsheng Wang
A Laplacian Eigenmaps Based Semantic Similarity Measure between Words. Intelligent Information Processing (2010)