Wei Huo

Xiaomeng Chen

Lingying Huang

Karl Henrik Johansson

Ling Shi

CoRR, 2024

2023

PosFuzz: augmenting greybox fuzzing with effective position distribution.

[BibT_eX]

[DOI]

Cybersecur., December, 2023

Deep attention sampling hashing for efficient image retrieval.

[BibT_eX]

[DOI]

Neurocomputing, November, 2023

An Efficient Distributed Nash Equilibrium Seeking with Compressed and Event-triggered Communication.

[BibT_eX]

[DOI]

CoRR, 2023

Distributed Nash Equilibrium Seeking with Stochastic Event-Triggered Mechanism.

[BibT_eX]

[DOI]

Kam Fai Elvis Tsang

Yamin Yan

Karl Henrik Johansson

Ling Shi

CoRR, 2023

Motion-based Post-Processing: Using Kalman Filter to Exclude Similar Targets in Underwater Object Tracking.

[BibT_eX]

[DOI]

CoRR, 2023

RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Decompilation Based Deep Binary-Source Function Matching.

[BibT_eX]

[DOI]

Proceedings of the Science of Cyber Security - 5th International Conference, 2023

EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Research in Attacks, 2023

Splendor: Static Detection of Stored XSS in Modern Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

ACETest: Automated Constraint Extraction for Testing Deep Learning Operators.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

pAFL: Adaptive Energy Allocation with Upper Confidence Bound.

[BibT_eX]

[DOI]

Proceedings of the 2023 13th International Conference on Communication and Network Security, 2023

2022

Angular velocity stabilization of underactuated rigid satellites based on energy shaping.

[BibT_eX]

[DOI]

Guanjun Chen

J. Frankl. Inst., 2022

NDFuzz: a non-intrusive coverage-guided fuzzing framework for virtualized network devices.

[BibT_eX]

[DOI]

Cybersecur., 2022

CAMFuzz: Explainable Fuzzing with Local Interpretation.

[BibT_eX]

[DOI]

Cybersecur., 2022

RIBDetector: an RFC-guided Inconsistency Bug Detecting Approach for Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2022

Finding SMM Privilege-Escalation Vulnerabilities in UEFI Firmware with Protocol-Centric Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

VERJava: Vulnerable Version Identification for Java OSS with a Two-Stage Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Improving Primal Heuristics for Mixed Integer Programming Problems based on Problem Reduction: A Learning-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Control, 2022

2021

Application of convolutional neural networks and image processing algorithms based on traffic video in vehicle taillight detection.

[BibT_eX]

[DOI]

Int. J. Sens. Networks, 2021

ESRFuzzer: an enhanced fuzzing framework for physical SOHO router devices to discover multi-Type vulnerabilities.

[BibT_eX]

[DOI]

Cybersecur., 2021

B2SMatcher: fine-Grained version identification of open-Source software in binary files.

[BibT_eX]

[DOI]

Cybersecur., 2021

Branch and Bound in Mixed Integer Linear Programming Problems: A Survey of Techniques and Trends.

[BibT_eX]

[DOI]

CoRR, 2021

VIVA: Binary Level Vulnerability Identification via Partial Signature.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

SoFi: Reflection-Augmented Fuzzing for JavaScript Engines.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Large-Scale Third-Party Library Detection in Android Markets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis.

[BibT_eX]

[DOI]

Cybersecur., 2020

MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver-Assisted Testing.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

A large-scale empirical study on vulnerability distribution within projects and the lessons learned.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Design of Remote-Control Multi-view Monitor for Vehicle-Mounted Mobile Phone Based on IoT.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

2019

Open-Source License Violations of Binary Software at Large Scale.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Constructing Benchmarks for Supporting Explainable Evaluations of Static Application Security Testing Tools.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

B2SFinder: Detecting Open-Source Software Reuse in COTS Software.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Path Following Control for a Stratospheric Airship Based on Disturbance Observer.

[BibT_eX]

[DOI]

Dong Li

Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

1dVul: Discovering 1-Day Vulnerabilities through Binary Patches.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Stabilizing a VTOL Aircraft Based on Controlled Lagrangian Method.

[BibT_eX]

[DOI]

Guanjun Chen

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

SRFuzzer: an automatic fuzzing framework for physical SOHO router devices to discover multi-type vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Disturbance-Observer-Based Robust Relative Pose Control for Spacecraft Rendezvous and Proximity Operations Under Input Saturation.

[BibT_eX]

[DOI]

Zongxia Jiao

IEEE Trans. Aerosp. Electron. Syst., 2018

Opportunistic Diversity-Based Detection of Injection Attacks in Web Applications.

[BibT_eX]

[DOI]

Wenyu Qu

Lingyu Wang

EAI Endorsed Trans. Security Safety, 2018

RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs.

[BibT_eX]

[DOI]

IEEE Access, 2018

αDiff: cross-version binary code similarity detection with DNN.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Research on Vehicle Taillight Detection and Semantic Recognition Based on Internet of Vehicle.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2018

A Light-Weight and Accurate Method of Static Integer-Overflow-to-Buffer-Overflow Vulnerability Detection.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - 14th International Conference, 2018

2017

Locating Software Faults Based on Minimum Debugging Frontier Set.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Adaptive Backstepping Control of Spacecraft Rendezvous and Proximity Operations With Input Saturation and Full-State Constraint.

[BibT_eX]

[DOI]

Zongxia Jiao

IEEE Trans. Ind. Electron., 2017

Robust Nonlinear Adaptive Relative Pose Control for Cooperative Spacecraft During Rendezvous and Proximity Operations.

[BibT_eX]

[DOI]

Zongxia Jiao

IEEE Trans. Control. Syst. Technol., 2017

Nonlinear Robust Controller for Miniature Helicopters Without Singularity.

[BibT_eX]

[DOI]

Yao Zou

IEEE Trans. Aerosp. Electron. Syst., 2017

LibD: scalable and precise third-party library detection in android markets.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Adaptive fault-tolerant control for cooperative spacecraft rendezvous and docking.

[BibT_eX]

[DOI]

Kewei Xia

Proceedings of the 2017 American Control Conference, 2017

2015

6-DOF integrated adaptive backstepping control for spacecraft proximity operations.

[BibT_eX]

[DOI]

IEEE Trans. Aerosp. Electron. Syst., 2015

Adaptive tracking control for a model helicopter with disturbances.

[BibT_eX]

[DOI]

Yao Zou

Proceedings of the American Control Conference, 2015

2014

3-D Path-Following Control for a Model-Scaled Autonomous Helicopter.

[BibT_eX]

[DOI]

Bing Zhu

IEEE Trans. Control. Syst. Technol., 2014

2013

Effective fault localization based on minimum debugging frontier set.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Robust adaptive control for spacecraft cooperative rendezvous and docking.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Can We Make It Faster? Efficient May-Happen-in-Parallel Analysis Revisited.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

An Extended Continuous Uncertain XML Data Model Research.

[BibT_eX]

[DOI]

Proceedings of the Ninth Web Information Systems and Applications Conference, 2012

Making it practical and effective: fast and precise may-happen-in-parallel analysis.

[BibT_eX]

[DOI]

Congming Chen

Xiaobing Feng

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011

Modeling and analysis of the working process of the flat valve system of Mechanical Hydraulic Confined Piston Engine.

[BibT_eX]

[DOI]

Proceedings of the IEEE 5th International Conference on Robotics, 2011

Parallelizing a machine translation decoder for multicore computer.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Natural Computation, 2011

Adaptive backstepping control for a miniature autonomous helicopter.

[BibT_eX]

[DOI]

Bing Zhu

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Trajectory Linearization Control for a quadrotor helicopter.

[BibT_eX]

[DOI]

Bing Zhu

Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Backstepping-based direct adaptive fuzzy formation control of uncertain mobile robots.

[BibT_eX]

[DOI]

Kong-Yi Wu

Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code.

[BibT_eX]

[DOI]

Proceedings of the CGO 2010, 2010

2009

Controller design for mechanical systems with underactuation degree one based on controlled Lagrangians method.

[BibT_eX]

[DOI]

MaoQing Li

Int. J. Control, 2009

Smooth time-varying uniform asymptotic stabilization of underactuated surface vessels.

[BibT_eX]

[DOI]

Baoli Ma

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Predictive variable structure control of nonholonomic chained systems.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2008

2007

Merge Coding of Atoms for Wavelet/Matching Pursuits Image Compression.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2007

2006

Multiple link failures survivability of optical networks with traffic grooming capability.

[BibT_eX]

[DOI]

Comput. Commun., 2006

Subband Adaptive Dictionaries for Wavelet/Matching Pursuits Image Coding.

[BibT_eX]

[DOI]

Donald M. Monro

Xiaopeng Wang

Proceedings of the International Conference on Image Processing, 2006

A Hybrid Video Coder Based on H.264 with Matching Pursuits.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

2005

Analysis of capacity re-provisioning in optical mesh networks.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2005

Improving signaling recovery in shared mesh optical networks.

[BibT_eX]

[DOI]

Comput. Commun., 2005

Impact of Resource Sharability on Dual Failure Restorability in Optical Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the NETWORKING 2005: Networking Technologies, 2005

Centralized Versus Distributed Re-provisioning in Optical Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Networking, 2005

On the benefits of lightpath re-provisioning in optical mesh networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2005

2004

A New Framework for Rapid Restoration in Optical Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Parallel Processing Workshops (ICPP 2004 Workshops), 2004

2001

Stabilization of nonholonomic chained systems via nonregular feedback linearization.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2001

2000

Tracking control of uncertain dynamic nonholonomic system and its application to wheeled mobile robots.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 2000

ε-stabilization of multiple chained form control systems with input constraints and its application in mobile robots.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

1999

Tracking Control of Wheeled Mobile Robots with Unknown Dynamics.

[BibT_eX]

[DOI]

Wenjie Dong

Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

1996

Adaptive kinematic control of free-floating space robot system.

[BibT_eX]

[DOI]

Baoli Ma

Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 1996, 1996

1995

Adaptive Control of Space Robot System with an Attitude Controlled Base.

[BibT_eX]

[DOI]

Baoli Ma

Proceedings of the 1995 International Conference on Robotics and Automation, 1995

New Formulas for Complete Determining Base Parameters of Robots.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1989

The application of the inertial parameter regrouping method to the robot forward dynamics algorithm.

[BibT_eX]

[DOI]