![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dehui Du
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i6]Jingwen Wang, Dehui Du, Yida Li, Yiyang Li, Yikang Chen:
CIER: A Novel Experience Replay Approach with Causal Inference in Deep Reinforcement Learning. CoRR abs/2405.08380 (2024) - [i5]Jihui Nie, Dehui Du, Jiangnan Zhao:
Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning. CoRR abs/2405.15829 (2024) - [i4]Jiangnan Zhao, Dehui Du, Xing Yu, Hang Li:
Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks. CoRR abs/2405.16063 (2024) - 2023
- [j8]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): 1711-1743 (2023) - [c39]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: 84-89 - [c38]Yanyun Wang, Dehui Du, Yuanhao Liu:
Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers. SMC 2023: 597-604 - [i3]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 abs/2309.06739 (2023) - 2022
- [c37]Mingjun Ma, Dehui Du, Yuanhao Liu, Yanyun Wang, Yiyang Li:
Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata. SafeAI@AAAI 2022 - [c36]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: 238-254 - [c35]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: 145:1-145:3 - [c34]Dehui Du
, Ana Cavalcanti, Jihui Nie
:
RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE 2022: 164:1-164:4 - [i2]Yanyun Wang, Dehui Du, Yuanhao Liu:
TSFool: Crafting High-quality Adversarial Time Series through Multi-objective Optimization to Fool Recurrent Neural Network Classifiers. CoRR abs/2209.06388 (2022) - [i1]Yanyun Wang, Dehui Du, Yuanhao Liu:
Meta Pattern Concern Score: A Novel Metric for Customizable Evaluation of Multi-classification. CoRR abs/2209.06408 (2022) - 2021
- [j7]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): 315-333 (2021) - [c33]Dehui Du, Jiena Chen, Mingzhuo Zhang, Mingjun Ma:
Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. COMPSAC 2021: 1333-1338 - [c32]Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang:
Transforming RoboSim Models into UPPAAL. TASE 2021: 79-86 - 2020
- [j6]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): 59-75 (2020)
2010 – 2019
- 2019
- [j5]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: 140566-140587 (2019) - [c31]Dehui Du, Tong Guo, Yao Wang:
SHML: Stochastic Hybrid Modeling Language for CPS Behavior. APSEC 2019: 220-227 - [c30]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: 128-135 - [c29]Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du:
Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. TASE 2019: 152-159 - [c28]Dehui Du, Yao Wang, Yi Ao, Biao Chen:
An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. TASE 2019: 273-280 - 2018
- [j4]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): 1026-1028 (2018) - [j3]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: 71-88 (2018) - [c27]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: 683-687 - [c26]Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du:
Model Checking Coordination of CPS Using Timed Automata. COMPSAC (1) 2018: 258-263 - [c25]Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du:
Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. COMPSAC (1) 2018: 264-269 - [c24]Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du:
Modeling of Interlocking Systems based on Patterns. SEKE 2018: 292-291 - 2017
- [c23]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: 138-143 - 2016
- [j2]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) - [c22]Jufu Liu, Kaiqiang Jiang, Xiao Wang, Bei Cheng, Dehui Du:
Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs. COMPSAC 2016: 209-214 - [c21]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: 111-133 - 2015
- [c20]Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC 2015: 254-260 - [c19]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: 5-14 - [c18]Bei Cheng, Xiao Wang, Jufu Liu, Dehui Du:
Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. COMPSAC 2015: 127-136 - [c17]Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen:
HSD: Hybrid MARTE Sequence Diagram. QRS 2015: 189-194 - 2014
- [c16]Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) 2014: 43-46 - [c15]Saijie Huang, Mingsong Chen, Xiao Liu
, Dehui Du, Xiaohong Chen:
Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking. BDCloud 2014: 201-208 - [c14]Dehui Du, Mingsong Chen, Xiao Liu
, Yun Yang:
A novel quantitative evaluation approach for software project schedules using statistical model checking. ICSE Companion 2014: 476-479 - [c13]Bei Cheng, Dehui Du:
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. TASE 2014: 162-169 - 2013
- [c12]Alexandre David, Dehui Du, Kim Guldstrand Larsen
, Axel Legay, Marius Mikucionis
:
Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367 - 2012
- [j1]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): 2694-2707 (2012) - [c11]Haiying Sun, Jing Liu, Dehui Du:
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC 2012: 10-19 - [c10]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: 122-136 - 2011
- [c9]Dehui Du, Xijiao Xiong:
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. COMPSAC Workshops 2011: 230-235
2000 – 2009
- 2009
- [c8]Yue Xie, Dehui Du, Jing Liu, Zuohua Ding:
Towards the Verification of Services Collaboration. COMPSAC (2) 2009: 428-433 - [c7]Dehui Du, Ling Yin:
Probabilistic Coordination Language for Component Dynamic Composition. TASE 2009: 317-318 - 2008
- [c6]Dehui Du, Jing Liu, Honghua Cao:
A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) 2008: 409-412 - [c5]Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang:
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. TTSS 2008: 69-87 - 2006
- [c4]Yutao Ma
, Keqing He, Dehui Du, Jing Liu, Yulan Yan:
A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems. CIT 2006: 189 - [c3]Honghua Cao, Shi Ying, Dehui Du:
Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190 - 2005
- [c2]Yutao Ma
, Keqing He, Dehui Du:
A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. APSEC 2005: 257-263 - 2004
- [c1]Dehui Du, Shi Ying, Keqing He, Yangfan He:
An Approach for Constructing Software Component Repository in Grid Environments. GCC Workshops 2004: 75-82
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-26 18:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint