( en | de | ru )

 

Disambiguation of "Du, Dehui"

Author of the publication

copydeleteadd this publication to your clipboard
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

, , , , , , and . COMPSAC (1), page 138-143. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dehui Zhou

Fei Du

Juan Du

Juan Du

Chengran Du

 

Other publications of authors with the same name

SHML: Stochastic Hybrid Modeling Language for CPS Behavior., , and . APSEC, page 220-227. IEEE, (2019)DSML4CS: An Executable Domain-Specific Modeling Language for Co-Simulation Service in CPS., , and . Int. J. Web Serv. Res., 17 (2): 59-75 (2020)HSD: Hybrid MARTE Sequence Diagram., , , , , , , and . QRS, page 189-194. IEEE, (2015)Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers., , and . SMC, page 597-604. IEEE, (2023)Meta Pattern Concern Score: A Novel Metric for Customizable Evaluation of Multi-classification., , and . CoRR, (2022)A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems., , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 238-254. Springer, (2022)Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs., and . TASE, page 162-169. IEEE Computer Society, (2014)Transforming RoboSim Models into UPPAAL., , , , , and . TASE, page 79-86. IEEE, (2021)A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems., , , and . ICSE (NIER), page 84-89. IEEE, (2023)Probabilistic Coordination Language for Component Dynamic Composition., and . TASE, page 317-318. IEEE Computer Society, (2009)