Dehui Du

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 32

Top Topics

Modeling Language

Probabilistic Modeling

Top Venues

Publications

Jiangnan Zhao, Dehui Du, Xing Yu, Hang Li
Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks. CoRR (2024)
Jingwen Wang, Dehui Du, Yida Li, Yiyang Li, Yikang Chen
CIER: A Novel Experience Replay Approach with Causal Inference in Deep Reinforcement Learning. CoRR (2024)
Jihui Nie, Dehui Du, Jiangnan Zhao
Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning. CoRR (2024)
Yuanhao Liu, Dehui Du, Zihan Jiang, Anyan Huang, Yiyang Li
MCNS: Mining Causal Natural Structures Inside Time Series via A Novel Internal Causality Scheme. CoRR (2023)
Jingda Ding, Dehui Du
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 128 (3) (2023)
Dehui Du, Bo Li, Chenghang Zheng, Xinyuan Zhang
A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems. ICSE (NIER) (2023)
Yanyun Wang, Dehui Du, Yuanhao Liu
Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers. SMC (2023)
Bo Li, Dehui Du, Sicong Chen, Minjun Wei, Chenghang Zheng, Xinyuan Zhang
SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation. ASE (2022)
Yanyun Wang, Dehui Du, Yuanhao Liu
Meta Pattern Concern Score: A Novel Metric for Customizable Evaluation of Multi-classification. CoRR (2022)
Mingjun Ma, Dehui Du, Yuanhao Liu, Yanyun Wang, Yiyang Li
Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata. SafeAI@AAAI (2022)
Yanyun Wang, Dehui Du, Yuanhao Liu
TSFool: Crafting High-quality Adversarial Time Series through Multi-objective Optimization to Fool Recurrent Neural Network Classifiers. CoRR (2022)
Zhen Huang, Bo Li, Dehui Du, Qin Li
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. ICTAC (2022)
Dehui Du, Ana Cavalcanti, Jihui Nie
RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE (2022)
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
Transforming RoboSim Models into UPPAAL. TASE (2021)
Menghan Zhang, Dehui Du, Mingzhuo Zhang, Lei Zhang, Yao Wang, Wentao Zhou
A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD. Int. J. Softw. Informatics 11 (3) (2021)
Dehui Du, Jiena Chen, Mingzhuo Zhang, Mingjun Ma
Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. COMPSAC (2021)
Dehui Du, Tong Guo, Yao Wang
DSML4CS: An Executable Domain-Specific Modeling Language for Co-Simulation Service in CPS. Int. J. Web Serv. Res. 17 (2) (2020)
Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du
Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. TASE (2019)
Dehui Du, Tong Guo, Yao Wang
SHML: Stochastic Hybrid Modeling Language for CPS Behavior. APSEC (2019)
Bingqing Xu, Qin Li, Tong Guo, Dehui Du
A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. IEEE Access 7 (2019)
Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du
A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. TASE (2019)
Dehui Du, Yao Wang, Yi Ao, Biao Chen
An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. TASE (2019)
Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. APSEC (2018)
Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du
Model Checking Coordination of CPS Using Timed Automata. COMPSAC (1) (2018)
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. Sci. Comput. Program. 166 (2018)
Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du
Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. COMPSAC (1) (2018)
Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du
Modeling of Interlocking Systems based on Patterns. SEKE (2018)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12 (5) (2018)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) (2017)
Kaiqiang Jiang, Ping Huang, Hui Zan, Dehui Du
AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning. Int. J. Softw. Informatics 10 (4) (2016)
Jufu Liu, Kaiqiang Jiang, Xiao Wang, Bei Cheng, Dehui Du
Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs. COMPSAC (2016)
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. FACS (2016)
Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen
HSD: Hybrid MARTE Sequence Diagram. QRS (2015)
Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. COMPSAC (2015)
Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC (2015)
Bei Cheng, Xiao Wang, Jufu Liu, Dehui Du
Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. COMPSAC (2015)
Bei Cheng, Dehui Du
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. TASE (2014)
Saijie Huang, Mingsong Chen, Xiao Liu, Dehui Du, Xiaohong Chen
Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking. BDCloud (2014)
Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) (2014)
Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang
A novel quantitative evaluation approach for software project schedules using statistical model checking. ICSE Companion (2014)
Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods (2013)
Haiying Sun, Jing Liu, Dehui Du
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC (2012)
Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. 55 (12) (2012)
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical Model Checking for Stochastic Hybrid Systems HSB (2012)
Dehui Du, Xijiao Xiong
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. COMPSAC Workshops (2011)
Dehui Du, Ling Yin
Probabilistic Coordination Language for Component Dynamic Composition. TASE (2009)
Yue Xie, Dehui Du, Jing Liu, Zuohua Ding
Towards the Verification of Services Collaboration. COMPSAC (2) (2009)
Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. Electron. Notes Theor. Comput. Sci. 243 (2009)
Dehui Du, Jing Liu, Honghua Cao
A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) (2008)
Yutao Ma, Keqing He, Dehui Du, Jing Liu, Yulan Yan
A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems. CIT (2006)
Honghua Cao, Shi Ying, Dehui Du
Towards Model-based Verification of BPEL with Model Checking. CIT (2006)
Yutao Ma, Keqing He, Dehui Du
A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. APSEC (2005)
Dehui Du, Shi Ying, Keqing He, Yangfan He
An Approach for Constructing Software Component Repository in Grid Environments. GCC Workshops (2004)