近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
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)
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
Yanyun Wang, Dehui Du, Yuanhao Liu: Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers. SMC 2023: 597-604
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)
Mingjun Ma, Dehui Du, Yuanhao Liu, Yanyun Wang, Yiyang Li: Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata. SafeAI@AAAI 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: 238-254
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
Dehui Du, Ana Cavalcanti, Jihui Nie: RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE 2022: 164:1-164:4
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)
Yanyun Wang, Dehui Du, Yuanhao Liu: Meta Pattern Concern Score: A Novel Metric for Customizable Evaluation of Multi-classification. CoRR abs/2209.06408 (2022)
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)
Dehui Du, Jiena Chen, Mingzhuo Zhang, Mingjun Ma: Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. COMPSAC 2021: 1333-1338
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang: Transforming RoboSim Models into UPPAAL. TASE 2021: 79-86
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)
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)
Dehui Du, Tong Guo, Yao Wang: SHML: Stochastic Hybrid Modeling Language for CPS Behavior. APSEC 2019: 220-227
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
Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du: Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. TASE 2019: 152-159
Dehui Du, Yao Wang, Yi Ao, Biao Chen: An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. TASE 2019: 273-280
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)
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)
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
Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du: Model Checking Coordination of CPS Using Timed Automata. COMPSAC (1) 2018: 258-263
Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du: Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. COMPSAC (1) 2018: 264-269
Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du: Modeling of Interlocking Systems based on Patterns. SEKE 2018: 292-291
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
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: 209-214
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
Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du: Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC 2015: 254-260
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
Bei Cheng, Xiao Wang, Jufu Liu, Dehui Du: Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. COMPSAC 2015: 127-136
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
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
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
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
Bei Cheng, Dehui Du: Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. TASE 2014: 162-169
Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis: Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367
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)
Haiying Sun, Jing Liu, Dehui Du: Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC 2012: 10-19
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
Dehui Du, Xijiao Xiong: Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. COMPSAC Workshops 2011: 230-235
京公网安备 11010802027423号