Yuming Wu

According to our database, Yuming Wu authored at least 21 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Multi-Agent Coverage Control on Surfaces Using Conformal Mapping.

Chao Zhai, Yuming Wu

CoRR, 2024

2023

Spatio-Temporal Characteristics of Ice-Snow Freezing and Its Impact on Subtropical Forest Fires in China.

Xuecheng Wang, Xing Gao, Yuming Wu, Hou Jiang, Peng Wang

Remote. Sens., November, 2023

Multi-layer capsule network with joint dynamic routing for fire recognition.

Yuming Wu, Lihui Cen, Shichao Kan, Yongfang Xie

Image Vis. Comput., November, 2023

2022

A Simple Method of Mapping Landslides Runout Zones Considering Kinematic Uncertainties.

Jia Liu, Yuming Wu, Xing Gao, Xuehua Zhang

Remote. Sens., 2022

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.

Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

Risk Assessment of Population Loss Posed by Earthquake-Landslide-Debris Flow Disaster Chain: A Case Study in Wenchuan, China.

Xiang Han, Yunhe Yin, Yuming Wu, Shaohong Wu

ISPRS Int. J. Geo Inf., 2021

Changes in Intent: Behavioral Predictions of Distributed SDN Controller Reconfiguration.

Yuming Wu, Nishok Narasimha Mohanasamy, Lalita Jagadeesan, Muntasir Raihan Rahman

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.

Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.

Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

CAUDIT: Continuous Auditing of SSH Servers To Mitigate Brute-Force Attacks.

Phuong Cao, Yuming Wu, Subho S. Banerjee, Justin Azoff, Alexander Withers, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

TRACTION: an infrastructure for trusted alert sharing and collaborative mitigation.

Key-whan Chung, Phuong Cao, Yuming Wu, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer, Alexander Withers

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

Design and Analysis of Serial Mechanical Leg of Quadruped Lunar Robot.

Yuming Wu, Shaokun Wang, Ke Wang

Proceedings of the 2019 4th International Conference on Automation, 2019

2018

Automatic Pavement Crack Detection Based on Structured Prediction with the Convolutional Neural Network.

Zhun Fan, Yuming Wu, Jiewei Lu, Wenji Li

CoRR, 2018

Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption.

Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang, Haibing Guan

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

2017

Deconstructing Xen.

Le Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Jinming Li

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2015

Characteristics of Surface Deformation Detected by X-band SAR Interferometry over Sichuan-Tibet Grid Connection Project Area, China.

Yunshan Meng, Hengxing Lan, Langping Li, Yuming Wu, Quanwen Li

Remote. Sens., 2015

2013

A Survey of Commonsense Knowledge Acquisition.

Liangjun Zang, Cong Cao, Yanan Cao, Yuming Wu, Cungen Cao

J. Comput. Sci. Technol., 2013

Semantic separator learning and its applications in unsupervised Chinese text parsing.

Yuming Wu, Xiaodong Luo, Zhen Yang

Frontiers Comput. Sci., 2013

Using a conceptual Bayesian network to investigate environmental management of vegetable production in the Lake Taihu region of China.

David Nash, David Waters, Andres Buldu, Yuming Wu, Yaping Lin, Weiqiu Yang, Yuzhi Song, Jianhua Shu, Wei Qin, Murray Hannah

Environ. Model. Softw., 2013

2010

A Laplacian Eigenmaps Based Semantic Similarity Measure between Words.

Yuming Wu, Cungen Cao, Shi Wang, Dongsheng Wang

Proceedings of the Intelligent Information Processing V, 2010