An Approach for Constructing Software Component Repository in Grid Environments. - Dehui Du; Shi Ying; Keqing He 002; Yangfan He (GCC Workshops, 2004)

A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. - Yutao Ma; Keqing He 002; Dehui Du (APSEC, 2005)

Towards Model-based Verification of BPEL with Model Checking. - Honghua Cao; Shi Ying; Dehui Du (CIT, 2006)

A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems. - Yutao Ma; Keqing He 002; Dehui Du; Jing Liu 033; Yulan Yan (CIT, 2006)

A Rigorous Model of Contract-Based Service Component Architecture. - Dehui Du; Jing Liu 012; Honghua Cao (CSSE (2), 2008)

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. - Dehui Du; Jing Liu 012; Honghua Cao; Miaomiao Zhang 003 (TTSS, 2008)

Towards the Verification of Services Collaboration. - Yue Xie; Dehui Du; Jing Liu 012; Zuohua Ding (COMPSAC (2), 2009)

Probabilistic Coordination Language for Component Dynamic Composition. - Dehui Du; Ling Yin 002 (TASE, 2009)

Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. - Dehui Du; Xijiao Xiong (COMPSAC Workshops, 2011)

Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. - Haiying Sun; Jing Liu 012; Dehui Du (APSEC, 2012)

An evaluation framework for energy aware buildings using statistical model checking. - Alexandre David; Dehui Du; Kim G. Larsen; Marius Mikucionis; Arne Skou (Sci. China Inf. Sci., 2012)

Statistical Model Checking for Stochastic Hybrid Systems - Alexandre David; Dehui Du; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (HSB, 2012)

Optimizing Control Strategy Using Statistical Model Checking. - Alexandre David; Dehui Du; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis (NASA Formal Methods, 2013)

Improving Testing Coverage for Safety-Critical System by Mutated Specification. - Tingliang Zhou; Haiying Sun; Jing Liu 012; Xiaohong Chen 007; Dehui Du (APSEC (1), 2014)

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking. - Saijie Huang; Mingsong Chen 001; Xiao Liu 004; Dehui Du; Xiaohong Chen 001 (BDCloud, 2014)

A novel quantitative evaluation approach for software project schedules using statistical model checking. - Dehui Du; Mingsong Chen 001; Xiao Liu 004; Yun Yang 001 (ICSE Companion, 2014)

Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. - Bei Cheng; Dehui Du (TASE, 2014)

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. - Haiying Sun; Jing Liu 012; Xiaohong Chen 007; Dehui Du (APSEC, 2015)

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. - Xiaohong Chen 007; Fan Gu; Mingsong Chen 001; Dehui Du; Jing Liu 012; Haiying Sun (COMPSAC, 2015)

Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. - Bei Cheng; Xiao Wang; Jufu Liu; Dehui Du (COMPSAC, 2015)

HSD: Hybrid MARTE Sequence Diagram. - Lulu Yao; Jing Liu 012; Yan Zhang 072; Yuejun Wang; Haiying Sun; Qingsheng Wang; Dehui Du; Xiaohong Chen 007 (QRS, 2015)

Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs. - Jufu Liu; Kaiqiang Jiang; Xiao Wang; Bei Cheng; Dehui Du (COMPSAC, 2016)

MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. - Dehui Du; Ping Huang; Kaiqiang Jiang; Frédéric Mallet; Mingrui Yang (FACS, 2016)

AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning. - Kaiqiang Jiang; Ping Huang; Hui Zan; Dehui Du (Int. J. Softw. Informatics, 2016)

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (COMPSAC (1), 2017)

xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. - Chunlin Guan; Yi Ao; Dehui Du; Frédéric Mallet (APSEC, 2018)

Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. - Ping Huang; Kaiqiang Jiang; Chunlin Guan; Dehui Du (COMPSAC (1), 2018)

Model Checking Coordination of CPS Using Timed Automata. - Kaiqiang Jiang; Chunlin Guan; Jiahui Wang; Dehui Du (COMPSAC (1), 2018)

Modeling of Interlocking Systems based on Patterns. - Yan Wang; Wen Zhong; Xiaohong Chen 001; Dehui Du (SEKE, 2018)

A proof-based method of hybrid systems development using differential invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (Frontiers Comput. Sci., 2018)

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. - Dehui Du; Ping Huang; Kaiqiang Jiang; Frédéric Mallet (Sci. Comput. Program., 2018)

SHML: Stochastic Hybrid Modeling Language for CPS Behavior. - Dehui Du; Tong Guo; Yao Wang (APSEC, 2019)

Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. - Xin Bai; Chenghao Xu; Yi Ao; Biao Chen; Dehui Du (TASE, 2019)

An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. - Dehui Du; Yao Wang; Yi Ao; Biao Chen (TASE, 2019)

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. - Bingqing Xu; Qin Li 002; Tong Guo; Yi Ao; Dehui Du (TASE, 2019)

A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. - Bingqing Xu; Qin Li 002; Tong Guo; Dehui Du (IEEE Access, 2019)

DSML4CS: An Executable Domain-Specific Modeling Language for Co-Simulation Service in CPS. - Dehui Du; Tong Guo; Yao Wang (Int. J. Web Serv. Res., 2020)

Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. - Dehui Du; Jiena Chen; Mingzhuo Zhang; Mingjun Ma (COMPSAC, 2021)

Transforming RoboSim Models into UPPAAL. - Mingzhuo Zhang; Dehui Du; Augusto Sampaio 001; Ana Cavalcanti 001; Madiel Conserva Filho; Menghan Zhang (TASE, 2021)

A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD. - Menghan Zhang; Dehui Du; Mingzhuo Zhang; Lei Zhang; Yao Wang; Wentao Zhou (Int. J. Softw. Informatics, 2021)

Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata. - Mingjun Ma; Dehui Du; Yuanhao Liu; Yanyun Wang 003; Yiyang Li (SafeAI@AAAI, 2022)

A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. - Zhen Huang; Bo Li; Dehui Du; Qin Li 002 (ICTAC, 2022)

RoboSimVer: A Tool for RoboSim Modeling and Analysis. - Dehui Du; Ana Cavalcanti 001; Jihui Nie (ASE, 2022)

SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation. - Bo Li; Dehui Du; Sicong Chen; Minjun Wei; Chenghang Zheng; Xinyuan Zhang (ASE, 2022)

TSFool: Crafting High-quality Adversarial Time Series through Multi-objective Optimization to Fool Recurrent Neural Network Classifiers. - Yanyun Wang 003; Dehui Du; Yuanhao Liu (CoRR, 2022)

Meta Pattern Concern Score: A Novel Metric for Customizable Evaluation of Multi-classification. - Yanyun Wang 003; Dehui Du; Yuanhao Liu (CoRR, 2022)

A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems. - Dehui Du; Bo Li; Chenghang Zheng; Xinyuan Zhang (ICSE (NIER), 2023)

Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers. - Yanyun Wang 003; Dehui Du; Yuanhao Liu (SMC, 2023)

MCNS: Mining Causal Natural Structures Inside Time Series via A Novel Internal Causality Scheme. - Yuanhao Liu; Dehui Du; Zihan Jiang; Anyan Huang; Yiyang Li (CoRR, 2023)

A study of the correlation between publication delays and measurement indicators of journal articles in the social network environment - based on online data in PLOS. - Jingda Ding; Dehui Du (Scientometrics, 2023)

TSFool: Crafting Highly-Imperceptible Adversarial Time Series Through Multi-Objective Attack. - Yanyun Wang 003; Dehui Du; Haibo Hu 001; Zi Liang; Yuanhao Liu (ECAI, 2024)

Exogenous Matching: Learning Good Proposals for Tractable Counterfactual Estimation. - Yikang Chen; Dehui Du; Lili Tian (NeurIPS, 2024)

CIER: A Novel Experience Replay Approach with Causal Inference in Deep Reinforcement Learning. - Jingwen Wang; Dehui Du; Yida Li; Yiyang Li; Yikang Chen (CoRR, 2024)

Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning. - Jihui Nie; Dehui Du; Jiangnan Zhao (CoRR, 2024)

Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks. - Jiangnan Zhao; Dehui Du; Xing Yu; Hang Li (CoRR, 2024)

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 (AAAI, 2025)

Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up. - Jiahao Yuan; Dehui Du; Hao Zhang; Zixiang Di; Usman Naseem (ACL (1), 2025)

Knowledge graph construction of Chinese embroidery evolution based on associating cultural space and critical incidents under intangible cultural heritage. - Dehui Du; Jingda Ding; Yunmei Liu (Electron. Libr., 2025)

The evolution and development landscape of scholarly communication based on the analysis of published articles. - Dehui Du; Jingda Ding; Yifan Chen; Chao Liu (J. Libr. Inf. Sci., 2025)

Less is More: Enhancing Structured Multi-Agent Reasoning via Quality-Guided Distillation. - Jiahao Yuan; Xingzhe Sun; Xing Yu; Jingwen Wang; Dehui Du; Zhiqing Cui; Zixiang Di (CoRR, 2025)

Exogenous Isomorphism for Counterfactual Identifiability. - Yikang Chen; Dehui Du (CoRR, 2025)