| 2026 | AAAI | Boomda: Balanced Multi-objective Optimization for Multimodal Domain Adaptation. | Jun Sun, Xinxin Zhang, Simin Hong, Jian Zhu, Xiang Gao |
| 2026 | AAAI | SafetyReminder: Reviving Delayed Safety Awareness of Vision-Language Models to Defend Against Jailbreak Attacks. | Peiyuan Tang, Haojie Xin, Xiaodong Zhang, Jun Sun, Qin Xia, Zijiang James Yang |
| 2026 | AAAI | Towards Provably Unlearnable Examples via Bayes Error Optimization. | Ruihan Zhang, Jun Sun, Ee-Peng Lim, Peixin Zhang |
| 2026 | ACL | Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets. | Yuan Xiao, Jiaming Wang, Yuchen Chen, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen |
| 2026 | ACL | Rendering Data Unlearnable by Exploiting LLM Alignment Mechanisms. | Ruihan Zhang, Jun Sun |
| 2026 | EACL | Unleashing the Unseen: Harnessing Benign Datasets for Jailbreaking Large Language Models. | Wei Zhao, Zhe Li, Yige Li, Jun Sun |
| 2026 | FM | Selective Concolic Testing. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu |
| 2026 | ICPR | Following the Teacher's Footsteps: Scheduled Checkpoint Distillation for Domain-Specific LLMs. | Cheng Feng, Chaoliang Zhong, Jun Sun, Yusuke Oishi |
| 2026 | ICST | Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements. | Yang Sun, Haoyu Wang, Christopher M. Poskitt, Jun Sun |
| 2026 | KSEM | Cross-View Interaction and Collaboration for Semi-supervised Time Series Classification. | Maojing Shu, Xiaopeng Guo, Jun Sun |
| 2026 | KSEM | Enhancing Multivariate Time-Series Class Incremental Learning with Informative Spatiotemporal Consolidation. | Maojing Shu, Xiaopeng Guo, Jun Sun |
| 2026 | NDSS | Rounding-Guided Backdoor Injection in Deep Learning Model Quantization. | Xiangxiang Chen, Peixin Zhang, Jun Sun, Wenhai Wang, Jingyi Wang |
| 2026 | NDSS | Q-MLLM: Vector Quantization for Robust Multimodal Large Language Model Security. | Wei Zhao, Zhe Li, Yige Li, Jun Sun |
| 2026 | WWW | LLMQuA: Practical Backdoor Injection on Large Language Model Quantization. | Xiangxiang Chen, Peixin Zhang, Jun Sun, Jin Song Dong, Wenhai Wang, Jingyi Wang |
| 2026 | WWW | Be Responsible in Your Answers! Monitoring Out-of-Domain Behaviors in Domain-Specific LLMs. | Boquan Li, Chenzhe Lou, Zhe Ren, Peixin Zhang, Zirui Fu, Jun Sun, Yaowen Zheng |
| 2025 | AAAI | Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. | Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang |
| 2025 | AAAI | Unleashing the Power of Visual Foundation Models for Generalizable Semantic Segmentation. | Peiyuan Tang, Xiaodong Zhang, Chunze Yang, Haoran Yuan, Jun Sun, Danfeng Shan, Zijiang James Yang |
| 2025 | ACL | Adversarial Alignment with Anchor Dragging Drift (A³D²): Multimodal Domain Adaptation with Partially Shifted Modalities. | Jun Sun, Xinxin Zhang, Simin Hong, Jian Zhu, Lingfang Zeng |
| 2025 | CCS | Generalized Security-Preserving Refinement for Concurrent Systems. | Huan Sun, David Sann, Jingyi Wang, Yongwang Zhao, Jun Sun, Wenhai Wang |
| 2025 | CIKM | Channel-Independent Refiner for Multivariate Time Series Forecasting. | Jie Wang, Zhongguang Zheng, Chaoliang Zhong, Jun Sun |
| 2025 | DASFAA | Crafting Global Information in Mini-Batches for Knowledge Tracing. | Hui Zhao, Yanze Wang, Jun Sun |
| 2025 | DASFAA | Transcending Conventional Binary Labels: Revamping Knowledge Tracing with VAE-Generated Image Representation. | Hui Zhao, Yanze Wang, Jun Sun |
| 2025 | EMNLP | Third-Person Appraisal Agent: Simulating Human Emotional Reasoning in Text with Large Language Models. | Simin Hong, Jun Sun, Hongyang Chen |
| 2025 | EMNLP | Do Influence Functions Work on Large Language Models? | Zhe Li, Wei Zhao, Yige Li, Jun Sun |
| 2025 | EMNLP | Zero-Shot Defense Against Toxic Images via Inherent Multimodal Alignment in LVLMs. | Wei Zhao, Zhe Li, Yige Li, Jun Sun |
| 2025 | GLOBECOM | Interference Nulling in Two-way K-User Interference Channel Using RIS. | Junzhi Wang, Jun Sun, Zheng Xiao, Limin Liao, Yingzhuang Liu |
| 2025 | ICASSP | STR-Saliency: Decomposition-based Perturbations to Generate Saliency Maps for Temporal Black-box Model Interpretation. | Runkai Chen, Yuedi Chen, Haozhe Xu, Xiaopeng Guo, Jun Sun |
| 2025 | ICASSP | Efficient Object Placement Via LLM and Diffusion Model. | Wei Liu, Liuan Wang, Jun Sun |
| 2025 | ICASSP | Efficient Modeling and Low Complexity Implementation of Rate Estimation in Versatile Video Coding. | Yanze Wang, Tianyi Sun, Hui Zhao, Jun Sun |
| 2025 | ICASSP | Neural Adaptive Contextual Video Streaming. | Jianchao Yang, Mufan Liu, Puyue Hou, Yiling Xu, Jun Sun |
| 2025 | ICASSP | Dynamic SRM Curriculum for Trustworthy Multi-modal Classification. | Jian Zhu, Cui Yu, Xin Zou, Zhangmin Huang, Chenshu Hu, Jun Sun, Bo Lyu, Lei Liu, Chang Tang, Li-Rong Dai |
| 2025 | ICFEM | Modeling and Verifying Concurrent Reactive Systems Using Separation Logic. | Huan Sun, David Sann, Jun Sun, Wenhai Wang |
| 2025 | ICIS | Collaboration with Generative AI: Adaptive Structuration Across Shared and Individual Use Models. | Jun Sun, Md Rafiqul Islam, Ying Wang |
| 2025 | ICLR | Democratic Training Against Universal Adversarial Perturbations. | Bing Sun, Jun Sun, Wei Zhao |
| 2025 | ICML | LLMScan: Causal Scan for LLM Misbehavior Detection. | Mengdi Zhang, Kai Kiat Goh, Peixin Zhang, Jun Sun, Lin Xin Rose, Hongyu Zhang |
| 2025 | ICML | CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization. | Nay Myat Min, Long H. Pham, Yige Li, Jun Sun |
| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong |
| 2025 | IJCAI | Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity. | Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang |
| 2025 | INDIN | MiTPose: Multi-Granularity Guided Vision Transformer for Human Pose Estimation. | Yunfeng Wu, Qizhong Gao, Yize Liu, Jun Sun, Zhuozhi Li, Yuhao Jin, Yong Yue, Xiaohui Zhu |
| 2025 | ICRA | Causal Contrastive Learning with Data Augmentations for Imitation-Based Planning. | Haojie Xin, Xiaodong Zhang, Songyang Yan, Jun Sun, Zijiang Yang |
| 2025 | ICSE | LLM-Aided Automatic Modeling for Security Protocol Verification. | Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong |
| 2025 | ICSE | FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. | Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun |
| 2025 | PRICAI | A Multi-stage Data Construction Approach for Code-Switching Grammatical Error Correction. | Muyang Xu, Zihao Yu, Chao Li, Jun Sun |
| 2025 | PRICAI | Proxy-Mamba: Training-Free Architecture Search for Mamba via Gradient-Weight Correlation. | Huigang Zhang, Liuan Wang, Jun Sun |
| 2025 | PRICAI | Towards Effective Event Argument Extraction via Enhanced Contextual Understanding. | Lei Zuo, Jing Chen, Zihao Yu, Jun Sun |
| 2025 | RAID | Developing a Strong CPS Defender: An Evolutionary Approach. | Qingyuan Hu, Christopher M. Poskitt, Jun Sun, Yuqi Chen |
| 2025 | WWW | Quantitative Runtime Monitoring of Ethereum Transaction Attacks. | Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David A. Basin, Jun Sun, Jingyi Wang |
| 2025 | SAC | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. | tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun |
| 2025 | WoWMoM | Low-Overhead GPS-Free Geometric Routing for LEO Satellite Networks. | Murat Yuksel, Collin Brady, Jun Sun, Tom Shake |
| 2024 | AAAI | Multi-Region Text-Driven Manipulation of Diffusion Imagery. | Yiming Li, Peng Zhou, Jun Sun, Yi Xu |
| 2024 | AAAI | RedCore: Relative Advantage Aware Cross-Modal Representation Learning for Missing Modalities with Imbalanced Missing Rates. | Jun Sun, Xinxin Zhang, Shoukang Han, Yu-Ping Ruan, Taihao Li |
| 2024 | ACL | Amanda: Adaptively Modality-Balanced Domain Adaptation for Multimodal Emotion Recognition. | Xinxin Zhang, Jun Sun, Simin Hong, Taihao Li |
| 2024 | APWEB | Data Augmentation for Knowledge Tracing Based on Variational AutoEncoder and Efficient Network Reusing. | Hui Zhao, Jun Sun |
| 2024 | CAV | Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. | Ruihan Zhang, Jun Sun |
| 2024 | EMNLP | DetectiveNN: Imitating Human Emotional Reasoning with a Recall-Detect-Predict Framework for Emotion Recognition in Conversations. | Simin Hong, Jun Sun, Taihao Li |
| 2024 | EMNLP | Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. | Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun |
| 2024 | FM | Certified Quantization Strategy Synthesis for Neural Networks. | Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong |
| 2024 | ICANN | CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. | Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu |
| 2024 | ICASSP | Anti-Deception Jamming Power Optimization Strategy for Multi-Target Tracking Tasks in Multi-Radar Systems. | Jun Sun, Ye Yuan, Maria Sabrina Greco, Fulvio Gini, Wei Yi |
| 2024 | ICDE | GPU-Based Efficient Parallel Heuristic Algorithm for High-Utility Itemset Mining in Large Transaction Datasets (Extended Abstract). | Wei Fang, Haipeng Jiang, Hengyang Lu, Jun Sun, Xiaojun Wu, Jerry Chun-Wei Lin |
| 2024 | ICDE | Mutual Information-Guided GA for Bayesian Network Structure Learning (Extended Abstract). | Kefei Yan, Wei Fang, Hengyang Lu, Xin Zhang, Jun Sun, Xiaojun Wu |
| 2024 | ICIP | Conditional Past Experience Generation for Dark Continual Learning. | Cheng Feng, Chaoliang Zhong, Jie Wang, Jun Sun, Yasuto Yokota |
| 2024 | ICPR | NR-CION: Non-rigid Consistent Image Composition Via Diffusion Model. | Wei Liu, Liuan Wang, Jun Sun |
| 2024 | IGARSS | SAR Sea Clutter Data Generation Based On Improved Pix2pix Network. | Jun Sun, Genwang Liu, Xi Zhang, Chenghui Cao, Weifeng Sun |
| 2024 | ICPR | Temporal Insight Enhancement: Mitigating Temporal Hallucination in Video Understanding by Multimodal Large Language Models. | Li Sun, Liuan Wang, Jun Sun, Takayuki Okatani |
| 2024 | ICSE | REDriver: Runtime Enforcement for Autonomous Vehicles. | Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun |
| 2024 | ICSE | ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. | Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen |
| 2024 | ISSTA | Certified Continual Learning for Neural Network Regression. | Long H. Pham, Jun Sun |
| 2024 | KSEM | Programming Knowledge Tracing with Context and Structure Integration. | Xiaopeng Guo, Maojing Shu, Zhijie Huang, Jun Liu, Jun Sun |
| 2023 | AAAI | One-for-All: Proposal Masked Cross-Class Anomaly Detection. | Xincheng Yao, Chongyang Zhang, Ruoqi Li, Jun Sun, Zhenyu Liu |
| 2023 | ACL | Layer-wise Fusion with Modality Independence Modeling for Multi-modal Emotion Recognition. | Jun Sun, Shoukang Han, Yu-Ping Ruan, Xiaoning Zhang, Shu-Kai Zheng, Yulong Liu, Yuxin Huang, Taihao Li |
| 2023 | ACSAC | Mitigating Membership Inference Attacks via Weighted Smoothing. | Mingtian Tan, Xiaofei Xie, Jun Sun, Tianhao Wang |
| 2023 | CAV | QEBVerif: Quantization Error Bound Verification of Neural Networks. | Yedi Zhang, Fu Song, Jun Sun |
| 2023 | CVPR | Explicit Boundary Guided Semi-Push-Pull Contrastive Learning for Supervised Anomaly Detection. | Xincheng Yao, Ruoqi Li, Jing Zhang, Jun Sun, Chongyang Zhang |
| 2023 | FUSION | Power Allocation for Multi-Target Tracking in Netted Radar System under Suppression Jamming. | Haicheng Xu, Ye Yuan, Jun Sun, Wei Yi |
| 2023 | ICDE | Mining High Quality Patterns Using Multi-Objective Evolutionary Algorithm (Extended Abstract). | Wei Fang, Qiang Zhang, Jun Sun, Xiaojun Wu |
| 2023 | ICFEM | An Idealist's Approach for Smart Contract Correctness. | Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le |
| 2023 | ICICS | Black-Box Fairness Testing with Shadow Models. | Weipeng Jiang, Chao Shen, Chenhao Lin, Jingyi Wang, Jun Sun, Xuanqi Gao |
| 2023 | ICIP | Semantic-Embedded Knowledge Acquisition and Reasoning for Image Segmentation. | Wei Liu, Huigang Zhang, Xiaojie Xia, Liuan Wang, Jun Sun |
| 2023 | ICIP | Prompt Prototype Learning Based on Ranking Instruction For Few-Shot Visual Tasks. | Li Sun, Liuan Wang, Jun Sun, Takayuki Okatani |
| 2023 | ICSE | Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension. | Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo, Yue Yu |
| 2023 | ICSE | Finding Causally Different Tests for an Industrial Control System. | Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang |
| 2023 | ICSE | DeepArc: Modularizing Neural Networks for the Model Maintenance. | Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong |
| 2023 | ISSTA | Semantic-Based Neural Network Repair. | Richard Schumi, Jun Sun |
| 2023 | ISSTA | Silent Compiler Bug De-duplication via Three-Dimensional Analysis. | Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun |
| 2023 | ISSTA | Testing Automated Driving Systems by Breaking Many Laws Efficiently. | Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, Zijiang Yang |
| 2023 | QRS | Towards an Effective and Interpretable Refinement Approach for DNN Verification. | Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun |
| 2023 | VCIP | Efficient Intra Coding through Hierarchical CU Partition Prediction for VVC. | Tianyi Sun, Yanze Wang, Zhijie Huang, Jun Sun |
| 2023 | VCIP | Point Cloud Quality Assessment using 3D Saliency Maps. | Zhengyu Wang, Yujie Zhang, Qi Yang, Yiling Xu, Jun Sun, Shan Liu |
| 2022 | AVSS | FBMOT: Flow Bridges the Gap between Detection and Tracking in Multiple Object Tracking. | Lisheng Wu, Liuan Wang, Jun Sun |
| 2022 | CAV | Verifying Neural Networks Against Backdoor Attacks. | Long H. Pham, Jun Sun |
| 2022 | CVPR | No-Reference Point Cloud Quality Assessment via Domain Adaptation. | Qi Yang, Yipeng Liu, Siheng Chen, Yiling Xu, Jun Sun |
| 2022 | ICONIP | Deep Global and Local Matching Network for Implicit Recommendation. | Wei Yang, Yiqun Chen, Jun Sun, Yan Jin |
| 2022 | IJCAI | Learning Unforgotten Domain-Invariant Representations for Online Unsupervised Domain Adaptation. | Cheng Feng, Chaoliang Zhong, Jie Wang, Ying Zhang, Jun Sun, Yasuto Yokota |
| 2022 | ICPR | Discriminative Mutual Learning for Multi-target Domain Adaptation. | Jie Wang, Chaoliang Zhong, Cheng Feng, Ying Zhang, Jun Sun, Yasuto Yokota |
| 2022 | ICSE | gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. | Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong |
| 2022 | ICSE | ExAIS: Executable AI Semantics. | Richard Schumi, Jun Sun |
| 2022 | ICSE | Causality-Based Neural Network Repair. | Bing Sun, Jun Sun, Long H. Pham, Tie Shi |
| 2022 | MEMOCODE | ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. | Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay |
| 2022 | WACV | PICA: Point-wise Instance and Centroid Alignment Based Few-shot Domain Adaptive Object Detection with Loose Annotations. | Chaoliang Zhong, Jie Wang, Cheng Feng, Ying Zhang, Jun Sun, Yasuto Yokota |
| 2022 | VCIP | Mask-Guided Transformer for Human-Object Interaction Detection. | Daocheng Ying, Hua Yang, Jun Sun |
| 2022 | TASE | Repairing Adversarial Texts Through Perturbation. | Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong |
| 2021 | APSEC | Verification Assisted Gas Reduction for Smart Contracts. | Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu |
| 2021 | CIKM | CANN: Coupled Approximation Neural Network for Partial Domain Adaptation. | Cheng Feng, Chaoliang Zhong, Jie Wang, Jun Sun, Yasuto Yokota |
| 2021 | DCC | An Efficient QP Variable Convolutional Neural Network Based In-loop Filter for Intra Coding. | Zhijie Huang, Xiaopeng Guo, Mingyu Shang, Jie Gao, Jun Sun |
| 2021 | FASE | SpecTest: Specification-Based Compiler Testing. | Richard Schumi, Jun Sun |
| 2021 | FM | Probabilistic Verification of Neural Networks Against Group Fairness. | Bing Sun, Jun Sun, Ting Dai, Lijun Zhang |
| 2021 | ICDAR | Key-Guided Identity Document Classification Method by Graph Attention Network. | Xiaojie Xia, Wei Liu, Ying Zhang, Liuan Wang, Jun Sun |
| 2021 | ICIP | EBB: Progressive Optimization For Partial Domain Adaptation. | Cheng Feng, Chaoliang Zhong, Jie Wang, Jun Sun, Yasuto Yokota |
| 2021 | ICIP | Point Cloud Geometry Compression Via Neural Graph Sampling. | Linyao Gao, Tingyu Fan, Jianqiang Wan, Yiling Xu, Jun Sun, Zhan Ma |
| 2021 | ICIP | Dual-Consistency Self-Training For Unsupervised Domain Adaptation. | Jie Wang, Chaoliang Zhong, Cheng Feng, Jun Sun, Masaru Ide, Yasuto Yokota |
| 2021 | ICIP | Feature Disentanglement For Cross-Domain Retina Vessel Segmentation. | Jie Wang, Chaoliang Zhong, Cheng Feng, Jun Sun, Yasuto Yokota |
| 2021 | ICIP | Knowledge-Based Reasoning Network For Object Detection. | Huigang Zhang, Liuan Wang, Jun Sun |
| 2021 | ICRA | Route Coverage Testing for Autonomous Vehicles via Map Modeling. | Yun Tang, Yuan Zhou, Fenghua Wu, Yang Liu, Jun Sun, Wuling Huang, Gang Wang |
| 2021 | ICSE | RobOT: Robustness-Oriented Testing for Deep Learning Systems. | Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng |
| 2021 | ISoLA | sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. | Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang |
| 2021 | ISSTA | Type and interval aware array constraint solving for symbolic execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang |
| 2021 | ISSTA | Attack as defense: characterizing adversarial examples using robustness. | Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun |
| 2021 | QRS | Towards Repairing Neural Networks Correctly. | Guoliang Dong, Jun Sun, Xingen Wang, Xinyu Wang, Ting Dai |
| 2021 | QRS | HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. | Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen |
| 2021 | SP | SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. | Tai D. Nguyen, Long H. Pham, Jun Sun |
| 2021 | TACAS | Improving Neural Network Verification through Spurious Region Guided Refinement. | Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang |
| 2020 | AAAI | CircleNet for Hip Landmark Detection. | Hai Wu, Hongtao Xie, Chuanbin Liu, Zheng-Jun Zha, Jun Sun, Yongdong Zhang |
| 2020 | AISTATS | Finite-Time Analysis of Decentralized Temporal-Difference Learning with Linear Function Approximation. | Jun Sun, Gang Wang, Georgios B. Giannakis, Qinmin Yang, Zaiyue Yang |
| 2020 | CAV | Global PAC Bounds for Learning Discrete Time Markov Chains. | Hugo Bazille, Blaise Genest, Cyrille Jgourel, Jun Sun |
| 2020 | CEC | Learning Bayesian Networks Structures with an Effective Knowledge-driven GA. | Weijian Zhang, Wei Fang, Jun Sun, Qidong Chen |
| 2020 | FASE | A Generalized Formal Semantic Framework for Smart Contracts. | Jiao Jiao, Shang-Wei Lin, Jun Sun |
| 2020 | GECCO | A fast GA for automatically evolving CNN architectures. | Zhou Hong, Wei Fang, Jun Sun, Xiaojun Wu |
| 2020 | ICECCS | An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. | Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai |
| 2020 | ICECCS | Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. | Xuan-Bach Le, David Sann, Jun Sun, Shang-Wei Lin |
| 2020 | ICECCS | IFIX: Fixing Concurrency Bugs While They Are Introduced. | Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen |
| 2020 | ICFEM | Learning Fault Models of Cyber Physical Systems. | Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay |
| 2020 | ICIP | Multilevel Interaction Reasoning For Complex Event Recognition. | Shicheng Li, Hua Yang, Jun Sun |
| 2020 | ICPR | CSpA-DN: Channel and Spatial Attention Dense Network for Fusing PET and MRI Images. | Bicao Li, Zhoufeng Liu, Shan Gao, Jenq-Neng Hwang, Jun Sun, Zongmin Wang |
| 2020 | ICPR | NAS-EOD: an end-to-end Neural Architecture Search method for Efficient Object Detection. | Huigang Zhang, Liuan Wang, Jun Sun, Li Sun, Hiromichi Kobashi, Nobutaka Imamura |
| 2020 | ICSE | sFuzz: an efficient adaptive fuzzer for solidity smart contracts. | Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh |
| 2020 | ICSE | Symbolic verification of message passing interface programs. | Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong |
| 2020 | ICSE | White-box fairness testing through adversarial sampling. | Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai |
| 2020 | IGARSS | Vehicle Detection with Partial Anchors in Remote Sensing Images. | Fuyan Ma, Bin Sun, Shutao Li, Jun Sun |
| 2020 | ISSTA | Recovering fitness gradients for interprocedural Boolean flags in search-based testing. | Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong |
| 2020 | ISSTA | Active fuzzing for testing and securing cyber-physical systems. | Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang |
| 2020 | ISSTA | ObjSim: efficient testing of cyber-physical systems. | Jun Sun, Zijiang Yang |
| 2020 | KSEM | Page-Level Handwritten Word Spotting via Discriminative Feature Learning. | Jie Gao, Xiaopeng Guo, Mingyu Shang, Jun Sun |
| 2020 | MMM | Efficient HEVC Downscale Transcoding Based on Coding Unit Information Mapping. | Zhijie Huang, Yunchang Li, Jun Sun |
| 2020 | MMM | An Efficient Encoding Method for Video Compositing in HEVC. | Yunchang Li, Zhijie Huang, Jun Sun |
| 2020 | VCIP | Fast Video Saliency Detection based on Feature Competition. | Hang Yan, Yiling Xu, Jun Sun, Le Yang, Yunfei Zhang, Wei Huang |
| 2020 | SP | Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. | Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sann, Yang Liu, Jun Sun |
| 2020 | VMCAI | Systematic Classification of Attackers via Bounded Model Checking. | Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay |
| 2019 | AAAI | Safeguarded Dynamic Label Regression for Noisy Supervision. | Jiangchao Yao, Hao Wu, Ya Zhang, Ivor W. Tsang, Jun Sun |
| 2019 | APLAS | Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. | Long H. Pham, Jun Sun, Quang Loc Le |
| 2019 | ATVA | Parametric Timed Model Checking for Guaranteeing Timed Opacity. | tienne Andr, Jun Sun |
| 2019 | ATVA | Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2019 | CEC | Differential Grouping with Spectral Clustering for Large Scale Global Optimization. | Lin Li, Wei Fang, Quan Wang, Jun Sun |
| 2019 | FM | Concolic Testing Heap-Manipulating Programs. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun |
| 2019 | GECCO | Collaborative diversity control strategy for random drift particle swarm optimization. | Chao Li, Jun Sun, Vasile Palade, Qidong Chen, Wei Fang |
| 2019 | HPCC | A Heterogeneous Parallel Genetic Algorithm Based on SW26010 Processors. | Yao Liu, Qidan Liao, Jun Sun, Mengtao Hu, Li Liu, Lin Zheng |
| 2019 | ICASSP | Unsupervised Person Re-identification Using Reliable and Soft Labels. | Jun Sun, Cheolkon Jung |
| 2019 | ICDAR | Text Line Adjustment Based on Neural Network. | Ruochen Wang, Xiaojie Xia, Chunyan Zhang, Xiaoyi Yu, Jun Sun, Satoshi Naoi |
| 2019 | ICDAR | An Efficient off-Line Handwritten Japanese Address Recognition System. | Xiaojie Xia, Xiaoyi Yu, Wei Liu, Chunyan Zhang, Jun Sun, Satoshi Naoi |
| 2019 | ICECCS | Adaptive Randomized Scheduling for Concurrency Bug Detection. | Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao |
| 2019 | ICFEM | sCompile: Critical Path Identification and Analysis for Smart Contracts. | Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang |
| 2019 | ICIP | Automatic Neural Network Search Method for Open Set Recognition. | Li Sun, Xiaoyi Yu, Liuan Wang, Jun Sun, Hiroya Inakoshi, Ken Kobayashi, Hiromichi Kobashi |
| 2019 | ICMLA | Robustness Evaluation of Deep Learning Models Based on Local Prediction Consistency. | Ziqiang Shi, Chaoliang Zhong, Yasuto Yokota, Wensheng Xia, Jun Sun |
| 2019 | IGARSS | Environmental Policies Assessment of Air Pollution and Spatio-Temporal Change of Tropospheric No2 Column Density of '2+26' Cities in the Past Nine Years Based on Omi Product. | Chunyan Zhou, Yuhuan Zhang, Zunjian Bian, Yingxia He, Qing Li, Zhongting Wang, Lianhua Zhang, Pengfei Ma, Hui Chen, Jun Sun, Lin Ge, Sihan Liu |
| 2019 | ICSE | Adversarial sample detection for deep neural network through model mutation testing. | Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang |
| 2019 | MICCAI | Misshapen Pelvis Landmark Detection by Spatial Local Correlation Mining for Diagnosing Developmental Dysplasia of the Hip. | Chuanbin Liu, Hongtao Xie, Sicheng Zhang, Jingyuan Xu, Jun Sun, Yongdong Zhang |
| 2019 | MMSP | An Efficient Logo Insertion Method for Video Coding in HEVC. | Yunchang Li, Zhijie Huang, Jun Sun |
| 2019 | PKAW | Estimating Difficulty Score of Visual Search in Images for Semi-supervised Object Detection. | Dongliang Ma, Haipeng Zhang, Hao Wu, Tao Zhang, Jun Sun |
| 2019 | PRICAI | A Light-Weight Context-Aware Self-Attention Model for Skin Lesion Segmentation. | Dongliang Ma, Hao Wu, Jun Sun, Chunjing Yu, Li Liu |
| 2019 | SecureComm | Obfusifier: Obfuscation-Resistant Android Malware Detection System. | Zhiqiang Li, Jun Sun, Qiben Yan, Witawas Srisa-an, Yutaka Tsutano |
| 2018 | ACCV | Prediction Based Deep Autoencoding Model for Anomaly Detection. | Zhanzhong Pang, Xiaoyi Yu, Jun Sun, Hiroya Inakoshi |
| 2018 | ACML | A Scalable Heterogeneous Parallel SOM Based on MPI/CUDA. | Yao Liu, Jun Sun, Qing Yao, Su Wang, Kai Zheng, Yan Liu |
| 2018 | DAS | Text Line Extraction Based on Integrated K-Shortest Paths Optimization. | Liuan Wang, Jun Sun, Seiichi Uchida |
| 2018 | DAS | Offset Neural Network for Document Orientation Identification. | Ruochen Wang, Song Wang, Jun Sun |
| 2018 | DAS | Compact Binary Feature for Open Set Recognition. | Han Xiao, Jun Sun, Xiaoyi Yu, Liuan Wang |
| 2018 | DSN | Importance Sampling of Interval Markov Chains. | Cyrille Jgourel, Jingyi Wang, Jun Sun |
| 2018 | FM | Towards 'Verifying' a Water Treatment System. | Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu |
| 2018 | FM | Compositional Reasoning for Shared-Variable Concurrent Programs. | Fuyuan Zhang, Yongwang Zhao, David Sann, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun |
| 2018 | IC3K | Harvesting Organization Linked Data from the Web. | Zhongguang Zheng, Yingju Xia, Lu Fang, Yao Meng, Jun Sun |
| 2018 | ICBC | Using Ethereum Blockchain in Internet of Things: A Solution for Electric Vehicle Battery Refueling. | Haoli Sun, Song Hua, Ence Zhou, Bingfeng Pi, Jun Sun, Kazuhiro Yamashita |
| 2018 | ICDM | Supervised Image Classification with Self-Paced Regularization. | Tao Zhang, Chen Gong, Wenjing Jia, Xiaoning Song, Jun Sun, Xiaojun Wu |
| 2018 | ICFEM | The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. | Teck Ping Khoo, Jun Sun |
| 2018 | ICFHR | Accelerating and Compressing LSTM Based Model for Online Handwritten Chinese Character Recognition. | Yafeng Yang, Kaihuan Liang, XueFeng Xiao, Zecheng Xie, Lianwen Jin, Jun Sun, Weiying Zhou |
| 2018 | ICFHR | Deep Transfer Mapping for Unsupervised Writer Adaptation. | Hong-Ming Yang, Xu-Yao Zhang, Fei Yin, Jun Sun, Cheng-Lin Liu |
| 2018 | ICSE | Testing heap-based programs with Java StarFinder. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2018 | ICSE | Static analysis of context leaks in android applications. | Flavio Toffalini, Jun Sun, Martn Ochoa |
| 2018 | ICSE | Towards optimal concolic testing. | Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin |
| 2018 | ICSE | Benchmarking microservice systems for software engineering research. | Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao |
| 2018 | ISCAS | Gradient Based Interpolation for Intra Angular Prediction in HEVC. | Yushan Zheng, Peng Xu, Jun Sun, Zongming Guo |
| 2018 | ISIT | Non-Orthogonal Training Sequence Design in Two-Cell Interference Networks Based on an Extended Welch Bound. | Ji Wang, Jun Sun, Weimin Wu, Yingzhuang Liu, Xiaodong Wang |
| 2018 | ISoLA | On the Sequential Massart Algorithm for Statistical Model Checking. | Cyrille Jgourel, Jun Sun, Jin Song Dong |
| 2018 | VCIP | Efficient Rate Control Method for Logo Insertion Video Coding in HEVC. | Yunchang Li, Qi Jing, Yingfan Zhang, Jun Sun |
| 2018 | VCIP | Selective Convolutional Features based Generalized-mean Pooling for Fine-grained Image Retrieval. | Zhuoqun Wang, Zhu Li, Jun Sun, Yiling Xu |
| 2018 | SP | Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. | Yuqi Chen, Christopher M. Poskitt, Jun Sun |
| 2018 | SecureComm | GranDroid: Graph-Based Detection of Malicious Network Behaviors in Android Applications. | Zhiqiang Li, Jun Sun, Qiben Yan, Witawas Srisa-an, Shakthi Bachala |
| 2018 | TACAS | Frame Inference for Inductive Entailment Proofs in Separation Logic. | Quang Loc Le, Jun Sun, Shengchao Qin |
| 2017 | CAV | A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. | Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin |
| 2017 | CBMS | Analyzing the Impact of Cognitive Load in Evaluating Gaze-Based Typing. | Korok Sengupta, Jun Sun, Raphael Menges, Chandan Kumar, Steffen Staab |
| 2017 | CEC | A novel quantum-behaved particle swarm optimization with random selection for large scale optimization. | Wei Fang, Lingzhi Zhang, Jianhong Zhou, Xiaojun Wu, Jun Sun |
| 2017 | FASE | Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. | Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang |
| 2017 | ICDAR | A Convolutional Neural Network Based Two-Stage Document Deblurring. | Jile Jiao, Jun Sun, Satoshi Naoi |
| 2017 | ICDAR | Identifying Machine-Printed and Handwritten Texts Using DropRegion and Deep Convolutional Network. | Zhaoyang Yang, Lianwen Jin, Ziyong Feng, Jun Sun, Weiying Zhou |
| 2017 | ICDM | Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. | Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun |
| 2017 | ICECCS | Learning Likely Invariants to Explain Why a Program Fails. | Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng |
| 2017 | ICFEM | A Verification Framework for Stateful Security Protocols. | Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong |
| 2017 | ICFEM | Classification-Based Parameter Synthesis for Parametric Timed Automata. | Jiaying Li, Jun Sun, Bo Gao, tienne Andr |
| 2017 | ICFEM | Assertion Generation Through Active Learning. | Long H. Pham, Lyly Tran Thi, Jun Sun |
| 2017 | ICFEM | Improving Probability Estimation Through Active Probabilistic Model Learning. | Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin |
| 2017 | ICONIP | A Width-Variable Window Attention Model for Environmental Sensors. | Cuiqin Hou, Yingju Xia, Jun Sun, Jing Shang, Ryozo Takasu, Masao Kondo |
| 2017 | IGARSS | A hybrid sparsity and constrained energy minimization detector for hyperspectral images. | Yifan Zhang, Bobo Xie, Jun Sun, Yang Peng |
| 2017 | IGARSS | Hyperspectral image subpixel mapping based on spatial-spectral endmember dictionary with collaborative representation. | Yifan Zhang, Duanguang Zhang, Jun Sun, Yang Peng |
| 2017 | ICSE | Feedback-based debugging. | Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jinsong Dong |
| 2017 | ICSE | Assertion generation through active learning. | Long H. Pham, Lyly Tran Thi, Jun Sun |
| 2017 | ICSE | JSFox: integrating static and dynamic type analysis of JavaScript programs. | Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun |
| 2017 | MMM | A Novel Two-Step Integer-pixel Motion Estimation Algorithm for HEVC Encoding on a GPU. | Keji Chen, Jun Sun, Zongming Guo, Dachuan Zhao |
| 2017 | MMM | Discovering User Interests from Social Images. | Jiangchao Yao, Ya Zhang, Ivor W. Tsang, Jun Sun |
| 2017 | MMSP | Compact scalable hash from deep learning features aggregation for content de-duplication. | Shan Feng, Zhu Li, Yiling Xu, Jun Sun |
| 2017 | VCIP | NDMP - An emerging MPEG standard for network distributed media processing. | Ming Cheng, Yiling Xu, Jun Sun, Yanfeng Wang, Jaeyeon Song, Kyungmo Park |
| 2016 | CAV | Satisfiability Modulo Heap-Based Programs. | Quang Loc Le, Jun Sun, Wei-Ngan Chin |
| 2016 | CEC | An evolutionary sampling approach with adaptive Levy probability distribution. | Chaoru Hu, Jun Sun, Tian Na |
| 2016 | CEC | Multi-objective random drift particle swarm optimization algorithm with adaptive grids. | Yiqiong Yuan, Jun Sun, Dongmei Zhou |
| 2016 | CEC | An opposition-based learning competitive particle swarm optimizer. | Jianhong Zhou, Wei Fang, Xiaojun Wu, Jun Sun, Shi Cheng |
| 2016 | DAS | Globally Optimal Text Line Extraction Based on K-Shortest Paths Algorithm. | Liuan Wang, Seiichi Uchida, Wei Fan, Jun Sun |
| 2016 | FM | Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. | Yuqi Chen, Christopher M. Poskitt, Jun Sun |
| 2016 | FM | Towards Concolic Testing for Hybrid Systems. | Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang |
| 2016 | FM | Automated Verification of Timed Security Protocols with Clock Drift. | Li Li, Jun Sun, Jin Song Dong |
| 2016 | ICDE | Quality-driven disorder handling for m-way sliding window stream joins. | Yuanzhen Ji, Jun Sun, Anisoara Nica, Zbigniew Jerzak, Gregor Hackenbroich, Christof Fetzer |
| 2016 | ICDM | Predicting User Roles in Social Networks Using Transfer Learning with Feature Transformation. | Jun Sun, Jrme Kunegis, Steffen Staab |
| 2016 | ICECCS | Towards Using Concurrent Java API Correctly. | Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong |
| 2016 | ICECCS | Improving Quality of Use Case Documents through Learning and User Interaction. | Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang |
| 2016 | ICFEM | Service Adaptation with Probabilistic Partial Models. | Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong |
| 2016 | ICFEM | Scaling BDD-based Timed Verification with Simulation Reduction. | Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong |
| 2016 | ICFHR | Cascading Training for Relaxation CNN on Handwritten Character Recognition. | Li Chen, Song Wang, Wei Fan, Jun Sun, Satoshi Naoi |
| 2016 | ICFHR | Deep Knowledge Training and Heterogeneous CNN for Handwritten Chinese Text Recognition. | Song Wang, Li Chen, Liang Xu, Wei Fan, Jun Sun, Satoshi Naoi |
| 2016 | ICFHR | An HMM-based Over-Segmentation Method for Touching Chinese Handwriting Recognition. | Liang Xu, Wei Fan, Jun Sun, Satoshi Naoi |
| 2016 | ICIP | A knowledge-based table recognition method for Chinese bank statement images. | Liang Xu, Wei Fan, Jun Sun, Xin Li, Satoshi Naoi |
| 2016 | ICNC | Learning classifier competence based on graph for dynamic classifier selection. | Cuiqin Hou, Yingju Xia, Zhuoran Xu, Jun Sun |
| 2016 | ICPR | Semi-supervised learning competence of classifiers based on graph for dynamic classifier selection. | Cuiqin Hou, Yingju Xia, Zhuoran Xu, Jun Sun |
| 2016 | ICPR | A novel text structure feature extractor for Chinese scene text detection and recognition. | Xiaohang Ren, Kai Chen, Xiaokang Yang, Yi Zhou, Jianhua He, Jun Sun |
| 2016 | ICPR | Character region segmentation based on Stroke Stable Regions. | Hong Shang, Liuan Wang, Tanaka Hiroshi, Wei Fan, Jun Sun, Satoshi Naoi |
| 2016 | ICSE | Optimizing selection of competing services with probabilistic hierarchical refinement. | Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, tienne Andr, Yinxing Xue, Jin Song Dong |
| 2016 | PACLIC | Automatic Identifying Entity Type in Linked Data. | Qingliang Miao, Ruiyu Fang, Shuangyong Song, Zhongguang Zheng, Lu Fang, Yao Meng, Jun Sun |
| 2016 | VCIP | Efficient arbitrary ratio downscale transcoding for HEVC. | Zhenan Lin, Qi Zhang, Keji Chen, Jun Sun, Zongming Guo |
| 2016 | VCIP | A novel scene text detection algorithm based on convolutional neural network. | Xiaohang Ren, Kai Chen, Xiaokang Yang, Yi Zhou, Jianhua He, Jun Sun |
| 2016 | VCIP | An adaptive intra-frame parallel method based on complexity estimation for HEVC. | Peng Xu, Keji Chen, Jun Sun, Xiangyang Ji, Zongming Guo |
| 2016 | VMCAI | Regular Symmetry Patterns. | Anthony W. Lin, Truong Khanh Nguyen, Philipp Rmmer, Jun Sun |
| 2016 | WiOpt | A fast and scalable algorithm for calculating the achievable capacity of a wireless mesh network. | Greg Kuperman, Nathaniel M. Jones, Jun Sun, Aradhana Narula-Tam |
| 2015 | FM | Verifying Parameterized Timed Security Protocols. | Li Li, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | ICASSP | Blind bleed-through removal for scanned historical document images with conditional random fields. | Bin Sun, Shutao Li, Jun Sun |
| 2015 | ICDAR | Reconstruction combined training for convolutional neural networks on character recognition. | Li Chen, Song Wang, Wei Fan, Jun Sun, Satoshi Naoi |
| 2015 | ICDAR | Deep learning based language and orientation recognition in document analysis. | Li Chen, Song Wang, Wei Fan, Jun Sun, Satoshi Naoi |
| 2015 | ICDAR | Seamless stitching with shape deformation for historical document images. | Wei Liu, Wei Fan, Li Chen, Jun Sun, Satoshi Naoi |
| 2015 | ICDAR | Text line extraction in document images. | Liuan Wang, Wei Fan, Jun Sun, Satoshi Naoi, Tanaka Hiroshi |
| 2015 | ICECCS | All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. | Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo |
| 2015 | ICECCS | GPU Accelerated On-the-Fly Reachability Checking. | Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin |
| 2015 | ICTAI | An Adaptive Markov Strategy for Effective Network Intrusion Detection. | Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu, Jun Sun |
| 2015 | ISSTA | Reliability assessment for distributed systems via communication abstraction and refinement. | Lin Gui, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | ISSTA | Optimizing selection of competing features via feedback-directed evolutionary algorithms. | Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | ISSTA | Detection and classification of malicious JavaScript via attack behavior modelling. | Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan |
| 2015 | MMM | Software Solution for HEVC Encoding and Decoding. | Shengbin Meng, Jun Sun, Zongming Guo |
| 2015 | MMSP | Towards Rate-Distortion analysis of general source distributions: Property and principles. | Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo |
| 2015 | MMSP | A two-stage fast CU size decision method for HEVC intracoding. | Qi Zhang, Jun Sun, Yizhou Duan, Zongming Guo |
| 2015 | MODELS | Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). | Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen |
| 2015 | PACLIC | Feature Reduction Using Ensemble Approach. | Yingju Xia, Cuiqin Hou, Zhuoran Xu, Jun Sun |
| 2015 | TASE | Event and Strategy Analytics. | Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi |
| 2014 | CAV | Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. | Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun |
| 2014 | CCS | Adaptive Defending Strategy for Smart Grid Attacks. | Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun |
| 2014 | CICLING | Topic Models Incorporating Statistical Word Senses. | Guoyu Tang, Yunqing Xia, Jun Sun, Min Zhang, Thomas Fang Zheng |
| 2014 | DAS | Real-Time Document Image Super-Resolution by Fast Matting. | Yun Zheng, Xudong Kang, Shutao Li, Yuan He, Jun Sun |
| 2014 | DocEng | Paper stitching using maximum tolerant seam under local distortions. | Wei Fan, Jun Sun, Satoshi Naoi |
| 2014 | ICASSP | An efficient method for no-reference H.264/SVC bitstream extraction. | Shengbin Meng, Jun Sun, Yizhou Duan, Zongming Guo |
| 2014 | ICECCS | Symbolic Analysis of an Electric Vehicle Charging Protocol. | Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong |
| 2014 | ICFEM | A Hybrid Model of Connectors in Cyber-Physical Systems. | Xiaohong Chen, Jun Sun, Meng Sun |
| 2014 | ICFEM | SCC-Based Improved Reachability Analysis for Markov Decision Processes. | Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | Practical Analysis Framework for Software-Based Attestation Scheme. | Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | TAuth: Verifying Timed Security Protocols. | Li Li, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | GPU Accelerated Counterexample Generation in LTL Model Checking. | Zhimin Wu, Yang Liu, Yun Liang, Jun Sun |
| 2014 | ICFHR | Handwritten Character Recognition by Alternately Trained Relaxation Convolutional Neural Network. | Chunpeng Wu, Wei Fan, Yuan He, Jun Sun, Satoshi Naoi |
| 2014 | ICIS | Opportunity Exploitation in Mobile Health Entrepreneurship. | Ying Wang, Jun Sun |
| 2014 | ICPR | Fast and Accurate Text Detection in Natural Scene Images with User-Intention. | Liuan Wang, Wei Fan, Yuan He, Jun Sun, Yutaka Katsuyama, Yoshinobu Hotta |
| 2014 | ICSE | VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. | Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICSE | Detecting differences across multiple instances of code clones. | Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, Wenyun Zhao |
| 2014 | ICTAC | Event Analytics. | Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li |
| 2014 | MMSP | Towards efficient wavefront parallel encoding of HEVC: Parallelism analysis and improvement. | Keji Chen, Yizhou Duan, Jun Sun, Zongming Guo |
| 2014 | MMSP | Highly optimized implementation of HEVC decoder for general processors. | Shengbin Meng, Yizhou Duan, Jun Sun, Zongming Guo |
| 2014 | PRICAI | Detecting Keyphrases in Micro-blogging with Graph Modeling of Information Diffusion. | Shuangyong Song, Yao Meng, Jun Sun |
| 2014 | PRICAI | A Fast and Robust Multi-color Object Detection Method with Application to Color Chart Detection. | Song Wang, Akihiro Minagawa, Wei Fan, Jun Sun, Liang Xu |
| 2014 | WWW | Automated runtime recovery for QoS-based service composition. | Tian Huat Tan, Manman Chen, tienne Andr, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | VCIP | Analysis and optimization of x265 encoder. | Qiang Hu, Xiaoyun Zhang, Zhiyong Gao, Jun Sun |
| 2014 | VCIP | A low-latency peer-to-peer live and VOD streaming system based on scalable video coding. | Jun Sun, Yanping Zhou, Yizhou Duan, Zongming Guo |
| 2014 | VCIP | Towards simple and smooth rate adaption for VBR video in DASH. | Yanping Zhou, Yizhou Duan, Jun Sun, Zongming Guo |
| 2014 | TACAS | Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. | Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li |
| 2013 | APSEC | Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. | Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun |
| 2013 | ATVA | CELL: A Compositional Verification Framework. | Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen |
| 2013 | CAV | PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin |
| 2013 | ICDAR | A Book Dewarping System by Boundary-Based 3D Surface Reconstruction. | Yuan He, Pan Pan, Shufu Xie, Jun Sun, Satoshi Naoi |
| 2013 | ICDAR | Sub-structure Learning Based Handwritten Chinese Text Recognition. | Yuanping Zhu, Jun Sun, Satoshi Naoi |
| 2013 | ICFEM | Verification of Functional and Non-functional Requirements of Web Service Composition. | Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li |
| 2013 | ICFEM | vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. | Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun |
| 2013 | ICFEM | A UTP Semantics for Communicating Processes with Shared Variables. | Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin |