Dehui Du

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Xiaohong Chen 0007

> Home > Persons > Dehui Du

Publications

2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/00130ZS0DC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/00130ZS0DC18
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)
2017
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LiuLZSCDC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LiuLZSCDC17
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
2015
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/SunLCD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/SunLCD15
Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC 2015: 254-260
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChenGCDLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChenGCDLS15
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
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/YaoLZWSWDC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/YaoLZWSWDC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ZhouSLCD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ZhouSLCD14
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

a service of

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.