| 2026 | WWW | Enhancing Rare Event Detection via Counterfactual Generation with Exogenous Variables. | Lili Tian, Dehui Du, Yikang Chen |
| 2025 | AAAI | ERCI: An Explainable Experience Replay Approach with Causal Inference for Deep Reinforcement Learning. | Jingwen Wang, Dehui Du, Lili Tian, Yikang Chen, Yida Li, Yiyang Li |
| 2025 | ACL | Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up. | Jiahao Yuan, Dehui Du, Hao Zhang, Zixiang Di, Usman Naseem |
| 2025 | ICML | Exogenous Isomorphism for Counterfactual Identifiability. | Yikang Chen, Dehui Du |
| 2025 | ICRA | Multi-Task Invariant Representation Imitation Learning for Autonomous Driving. | Jinghan Peng, Xing Yu, Jingwen Wang, Lili Tian, Dehui Du |
| 2025 | SMC | ExplainDrive: A Multimodal Chain-of-Thought Reasoning Approach for Explainable Automated Driving Systems. | Xing Yu, Jinghan Peng, Hang Li, Ermuyun Li, Dehui Du |
| 2024 | ECAI | TSFool: Crafting Highly-Imperceptible Adversarial Time Series Through Multi-Objective Attack. | Yanyun Wang, Dehui Du, Haibo Hu, Zi Liang, Yuanhao Liu |
| 2023 | ICSE | A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems. | Dehui Du, Bo Li, Chenghang Zheng, Xinyuan Zhang |
| 2023 | SMC | Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers. | Yanyun Wang, Dehui Du, Yuanhao Liu |
| 2022 | AAAI | Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata. | Mingjun Ma, Dehui Du, Yuanhao Liu, Yanyun Wang, Yiyang Li |
| 2022 | ICTAC | A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. | Zhen Huang, Bo Li, Dehui Du, Qin Li |
| 2021 | COMPSAC | Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. | Dehui Du, Jiena Chen, Mingzhuo Zhang, Mingjun Ma |
| 2021 | TASE | Transforming RoboSim Models into UPPAAL. | Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang |
| 2019 | APSEC | SHML: Stochastic Hybrid Modeling Language for CPS Behavior. | Dehui Du, Tong Guo, Yao Wang |
| 2019 | TASE | Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. | Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du |
| 2019 | TASE | An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. | Dehui Du, Yao Wang, Yi Ao, Biao Chen |
| 2019 | TASE | A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. | Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du |
| 2018 | APSEC | xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. | Chunlin Guan, Yi Ao, Dehui Du, Frdric Mallet |
| 2018 | COMPSAC | Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. | Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du |
| 2018 | COMPSAC | Model Checking Coordination of CPS Using Timed Automata. | Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du |
| 2018 | SEKE | Modeling of Interlocking Systems based on Patterns. | Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du |
| 2017 | COMPSAC | An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. | Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen |
| 2016 | COMPSAC | Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs. | Jufu Liu, Kaiqiang Jiang, Xiao Wang, Bei Cheng, Dehui Du |
| 2015 | APSEC | Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. | Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du |
| 2015 | COMPSAC | Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. | Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun |
| 2015 | COMPSAC | Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. | Bei Cheng, Xiao Wang, Jufu Liu, Dehui Du |
| 2015 | QRS | HSD: Hybrid MARTE Sequence Diagram. | Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen |
| 2014 | APSEC | Improving Testing Coverage for Safety-Critical System by Mutated Specification. | Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du |
| 2014 | ICSE | A novel quantitative evaluation approach for software project schedules using statistical model checking. | Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang |
| 2014 | TASE | Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. | Bei Cheng, Dehui Du |
| 2012 | APSEC | Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. | Haiying Sun, Jing Liu, Dehui Du |
| 2011 | COMPSAC | Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. | Dehui Du, Xijiao Xiong |
| 2009 | COMPSAC | Towards the Verification of Services Collaboration. | Yue Xie, Dehui Du, Jing Liu, Zuohua Ding |
| 2009 | TASE | Probabilistic Coordination Language for Component Dynamic Composition. | Dehui Du, Ling Yin |
| 2005 | APSEC | A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. | Yutao Ma, Keqing He, Dehui Du |