Dehui Du - RankMe

69 papers A* 7A 1B 6C 10Misc 6Journal 22Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Enhancing Rare Event Detection via Counterfactual Generation with Exogenous Variables. WWW Lili Tian, Dehui Du, Yikang Chen
2025	J	`jnl`	Causal Discovery via Quantile Partial Effect. CoRR Yikang Chen, Xingzhe Sun, Dehui Du
2025	A*	`conf`	ERCI: An Explainable Experience Replay Approach with Causal Inference for Deep Reinforcement Learning. AAAI Jingwen Wang, Dehui Du, Lili Tian, Yikang Chen, Yida Li, Yiyang Li
2025	A*	`conf`	Exogenous Isomorphism for Counterfactual Identifiability. ICML Yikang Chen, Dehui Du
2025	J	`jnl`	Exogenous Isomorphism for Counterfactual Identifiability. CoRR Yikang Chen, Dehui Du
2025	B	`conf`	ExplainDrive: A Multimodal Chain-of-Thought Reasoning Approach for Explainable Automated Driving Systems. SMC Xing Yu, Jinghan Peng, Hang Li, Ermuyun Li, Dehui Du
2025	J	`jnl`	Knowledge graph construction of Chinese embroidery evolution based on associating cultural space and critical incidents under intangible cultural heritage. Electron. Libr. Dehui Du, Jingda Ding, Yunmei Liu
2025	J	`jnl`	Less is More: Enhancing Structured Multi-Agent Reasoning via Quality-Guided Distillation. CoRR Jiahao Yuan, Xingzhe Sun, Xing Yu, Jingwen Wang, Dehui Du, Zhiqing Cui, Zixiang Di
2025	A*	`conf`	Multi-Task Invariant Representation Imitation Learning for Autonomous Driving. ICRA Jinghan Peng, Xing Yu, Jingwen Wang, Lili Tian, Dehui Du
2025	—	`conf`	Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up. ACL (1) Jiahao Yuan, Dehui Du, Hao Zhang, Zixiang Di, Usman Naseem
2025	J	`jnl`	The System Description of CPS Team for Track on Driving with Language of CVPR 2024 Autonomous Grand Challenge. CoRR Jinghan Peng, Jingwen Wang, Xing Yu, Dehui Du
2025	J	`jnl`	The evolution and development landscape of scholarly communication based on the analysis of published articles. J. Libr. Inf. Sci. Dehui Du, Jingda Ding, Yifan Chen, Chao Liu
2024	J	`jnl`	CIER: A Novel Experience Replay Approach with Causal Inference in Deep Reinforcement Learning. CoRR Jingwen Wang, Dehui Du, Yida Li, Yiyang Li, Yikang Chen
2024	A*	`conf`	Exogenous Matching: Learning Good Proposals for Tractable Counterfactual Estimation. NeurIPS Yikang Chen, Dehui Du, Lili Tian
2024	J	`jnl`	Exogenous Matching: Learning Good Proposals for Tractable Counterfactual Estimation. CoRR Yikang Chen, Dehui Du, Lili Tian
2024	J	`jnl`	Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up. CoRR Jiahao Yuan, Dehui Du, Hao Zhang, Zixiang Di, Usman Naseem
2024	J	`jnl`	Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks. CoRR Jiangnan Zhao, Dehui Du, Xing Yu, Hang Li
2024	J	`jnl`	Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning. CoRR Jihui Nie, Dehui Du, Jiangnan Zhao
2024	A	`conf`	TSFool: Crafting Highly-Imperceptible Adversarial Time Series Through Multi-Objective Attack. ECAI Yanyun Wang, Dehui Du, Haibo Hu, Zi Liang, Yuanhao Liu
2023	—	`conf`	A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems. ICSE (NIER) Dehui Du, Bo Li, Chenghang Zheng, Xinyuan Zhang
2023	J	`jnl`	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. Scientometrics Jingda Ding, Dehui Du
2023	J	`jnl`	MCNS: Mining Causal Natural Structures Inside Time Series via A Novel Internal Causality Scheme. CoRR Yuanhao Liu, Dehui Du, Zihan Jiang, Anyan Huang, Yiyang Li
2023	B	`conf`	Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers. SMC Yanyun Wang, Dehui Du, Yuanhao Liu
2022	C	`conf`	A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. ICTAC Zhen Huang, Bo Li, Dehui Du, Qin Li
2022	—	`conf`	Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata. SafeAI@AAAI Mingjun Ma, Dehui Du, Yuanhao Liu, Yanyun Wang, Yiyang Li
2022	J	`jnl`	Meta Pattern Concern Score: A Novel Metric for Customizable Evaluation of Multi-classification. CoRR Yanyun Wang, Dehui Du, Yuanhao Liu
2022	A*	`conf`	RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE Dehui Du, Ana Cavalcanti, Jihui Nie
2022	A*	`conf`	SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation. ASE Bo Li, Dehui Du, Sicong Chen, Minjun Wei, Chenghang Zheng, Xinyuan Zhang
2022	J	`jnl`	TSFool: Crafting High-quality Adversarial Time Series through Multi-objective Optimization to Fool Recurrent Neural Network Classifiers. CoRR Yanyun Wang, Dehui Du, Yuanhao Liu
2021	J	`jnl`	A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD. Int. J. Softw. Informatics Menghan Zhang, Dehui Du, Mingzhuo Zhang, Lei Zhang, Yao Wang, Wentao Zhou
2021	B	`conf`	Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. COMPSAC Dehui Du, Jiena Chen, Mingzhuo Zhang, Mingjun Ma
2021	Misc	`conf`	Transforming RoboSim Models into UPPAAL. TASE Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
2020	J	`jnl`	DSML4CS: An Executable Domain-Specific Modeling Language for Co-Simulation Service in CPS. Int. J. Web Serv. Res. Dehui Du, Tong Guo, Yao Wang
2019	Misc	`conf`	A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. TASE Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du
2019	J	`jnl`	A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. IEEE Access Bingqing Xu, Qin Li, Tong Guo, Dehui Du
2019	Misc	`conf`	An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. TASE Dehui Du, Yao Wang, Yi Ao, Biao Chen
2019	Misc	`conf`	Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. TASE Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du
2019	C	`conf`	SHML: Stochastic Hybrid Modeling Language for CPS Behavior. APSEC Dehui Du, Tong Guo, Yao Wang
2018	J	`jnl`	A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2018	—	`conf`	Model Checking Coordination of CPS Using Timed Automata. COMPSAC (1) Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du
2018	C	`conf`	Modeling of Interlocking Systems based on Patterns. SEKE Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du
2018	—	`conf`	Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. COMPSAC (1) Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du
2018	J	`jnl`	pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. Sci. Comput. Program. Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet
2018	C	`conf`	xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. APSEC Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet
2017	—	`conf`	An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2016	J	`jnl`	AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning. Int. J. Softw. Informatics Kaiqiang Jiang, Ping Huang, Hui Zan, Dehui Du
2016	B	`conf`	Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs. COMPSAC Jufu Liu, Kaiqiang Jiang, Xiao Wang, Bei Cheng, Dehui Du
2016	—	`conf`	MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. FACS Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang
2015	B	`conf`	Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. COMPSAC Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun
2015	C	`conf`	HSD: Hybrid MARTE Sequence Diagram. QRS Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen
2015	B	`conf`	Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. COMPSAC Bei Cheng, Xiao Wang, Jufu Liu, Dehui Du
2015	C	`conf`	Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2014	—	`conf`	A novel quantitative evaluation approach for software project schedules using statistical model checking. ICSE Companion Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang
2014	—	`conf`	Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2014	Misc	`conf`	Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. TASE Bei Cheng, Dehui Du
2014	—	`conf`	Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking. BDCloud Saijie Huang, Mingsong Chen, Xiao Liu, Dehui Du, Xiaohong Chen
2013	—	`conf`	Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2012	J	`jnl`	An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
2012	C	`conf`	Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC Haiying Sun, Jing Liu, Dehui Du
2012	—	`conf`	Statistical Model Checking for Stochastic Hybrid Systems HSB Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2011	—	`conf`	Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. COMPSAC Workshops Dehui Du, Xijiao Xiong
2009	Misc	`conf`	Probabilistic Coordination Language for Component Dynamic Composition. TASE Dehui Du, Ling Yin
2009	—	`conf`	Towards the Verification of Services Collaboration. COMPSAC (2) Yue Xie, Dehui Du, Jing Liu, Zuohua Ding
2008	—	`conf`	A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) Dehui Du, Jing Liu, Honghua Cao
2008	—	`conf`	BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. TTSS Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang
2006	C	`conf`	A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems. CIT Yutao Ma, Keqing He, Dehui Du, Jing Liu, Yulan Yan
2006	C	`conf`	Towards Model-based Verification of BPEL with Model Checking. CIT Honghua Cao, Shi Ying, Dehui Du
2005	C	`conf`	A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. APSEC Yutao Ma, Keqing He, Dehui Du
2004	—	`conf`	An Approach for Constructing Software Component Repository in Grid Environments. GCC Workshops Dehui Du, Shi Ying, Keqing He, Yangfan He