Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Haochen Zeng

dblp:331/2642 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2025
0009-0005-3952-2804ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
dynamic analysis
0.612022
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022
Program analysis › symbolic execution
dynamic symbolic execution
0.612022
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022
Program analysis
data flow analysis
0.212022
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022
Program analysis › data flow analysis
dynamic data flow analysis
0.212022
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022

Methods — techniques the papers use, named apart from their topics

dynamic data flow analysis · 0.6concolic execution · 0.6
YearPublicationVenuePosition
2025 Multimodal Time-Series Recognition With Spatio-Temporal Dynamic Graph Spike Neural Networks
abstract
Brain–computer interface (BCI) is a cutting-edge technology that holds promise in the healthcare industry, where multimodal information integration is required to capture features of physiological signals from different equipments. Challenge remains as how to integrate and detect diversified time series, such as electroencephalogram (EEG) and audio, for anomaly detection. This article proposes a spatio–temporal dynamic graph spike neural network, termedDynGraphSpike, which is constituted by two brain-inspired perception modules, each driven by a dynamic graph neural network (DGNN), and one spike-based multisensory integration network. DGNN incorporates the Wilson-Cowan model to configure spatio– temporal dynamics of the nodes, and utilizes the phase locking values of EEG channels to reshape the edges. To merge EEG and audio, spiking neurons are used to construct the multisensory integration network. Experiments demonstrate that DynGraphSpike achieves a classification accuracy over 99%, outperforming the state-of-the-art methods. Ablation studies confirm that the Wilson–Cowan and spiking dynamics enhance feature alignment via temporal synchronization, as indicated by dynamic warping time scores. Together with spatio–temporal dynamics, DynGraphSpike has the potential to facilitate BCI technologies for disease diagnosis.
Bin Hu 0008, Haochen Zeng, Zhi-Hong Guan
IEEE Trans. Ind. Informatics2
2022 SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis
Ju Chen, Wookhyun Han, Mingjun Yin, Haochen Zeng, Chengyu Song, Byoungyoung Lee, Heng Yin 0001, Insik Shin
USENIX Security Symposium4