A Modified Correlative Model for Condensation Heat Transfer in Horizontal Enhanced Tubes with R32 and R410A Refrigerants
Zhang, Gangan, Du, Dehui, Zhang, Le, Xiang, Yanlong, Li, Wei, Zhang, Jiapei, Du, Jincai, Kukulka, David J.
Published in Energies (Basel) (01.07.2023)
Published in Energies (Basel) (01.07.2023)
Get full text
Journal Article
A novel spatio-temporal trajectory data-driven development approach for autonomous vehicles
ZHANG, Menghan, MA, Mingjun, ZHANG, Jingying, ZHANG, Mingzhuo, LI, Bo, DU, Dehui
Published in Frontiers of earth science (01.09.2021)
Published in Frontiers of earth science (01.09.2021)
Get full text
Journal Article
The phase inversion mechanism of the pH-sensitive reversible invert emulsion from w/o to o/w
Liu, Fei, Wang, Yanling, Li, Xiaqing, Zhang, Zhaoxiang, Dai, Xiaodong, Wang, Xuewu, Xin, Yanping, Liu, Kun, Gao, Liang, Du, Dehui, Xing, Chunyu, Jiang, Hong, Liu, Zhihua
Published in Open Physics (01.01.2020)
Published in Open Physics (01.01.2020)
Get full text
Journal Article
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic
Sun, Haiying, Liu, Jing, Chen, Xiaohong, Du, Dehui
Published in 2015 Asia-Pacific Software Engineering Conference (APSEC) (01.12.2015)
Published in 2015 Asia-Pacific Software Engineering Conference (APSEC) (01.12.2015)
Get full text
Conference Proceeding
Journal Article
An evaluation framework for energy aware buildings using statistical model checking
David, Alexandre, Du, DeHui, Larsen, Kim G., Mikučionis, Marius, Skou, Arne
Published in Science China. Information sciences (01.12.2012)
Published in Science China. Information sciences (01.12.2012)
Get full text
Journal Article
Improving Testing Coverage for Safety-Critical System by Mutated Specification
Zhou, Tingliang, Sun, Haiying, Liu, Jing, Chen, Xiaohong, Du, Dehui
Published in 2014 21st Asia-Pacific Software Engineering Conference (01.12.2014)
Published in 2014 21st Asia-Pacific Software Engineering Conference (01.12.2014)
Get full text
Conference Proceeding
Journal Article
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System
Haiying Sun, Jing Liu, Dehui Du
Published in 2012 19th Asia-Pacific Software Engineering Conference (01.12.2012)
Published in 2012 19th Asia-Pacific Software Engineering Conference (01.12.2012)
Get full text
Conference Proceeding
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach
Chen, Xiaohong, Gu, Fan, Chen, Mingsong, Du, Dehui, Liu, Jing, Sun, Haiying
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Get full text
Conference Proceeding
Journal Article
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
Du, Dehui, Huang, Ping, Jiang, Kaiqiang, Mallet, Frédéric
Published in Science of computer programming (15.11.2018)
Published in Science of computer programming (15.11.2018)
Get full text
Journal Article
Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs
Liu, Jufu, Jiang, Kaiqiang, Wang, Xiao, Cheng, Bei, Du, Dehui
Published in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) (01.06.2016)
Published in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) (01.06.2016)
Get full text
Conference Proceeding
Journal Article
DSML4CS: An Executable Domain-Specific Modeling Language for Co-Simulation Service in CPS
Du, Dehui, Guo, Tong, Wang, Yao
Published in International journal of web services research (01.04.2020)
Published in International journal of web services research (01.04.2020)
Get full text
Journal Article
SHML: Stochastic Hybrid Modeling Language for CPS Behavior
Du, Dehui, Guo, Tong, Wang, Yao
Published in 2019 26th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2019)
Published in 2019 26th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2019)
Get full text
Conference Proceeding
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs
Bei Cheng, Dehui Du
Published in 2014 Theoretical Aspects of Software Engineering Conference (01.09.2014)
Published in 2014 Theoretical Aspects of Software Engineering Conference (01.09.2014)
Get full text
Conference Proceeding
A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems
Du, Dehui, Li, Bo, Zheng, Chenghang, Zhang, Xinyuan
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) (01.05.2023)
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) (01.05.2023)
Get full text
Conference Proceeding
Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs
Cheng, Bei, Wang, Xiao, Liu, Jufu, Du, Dehui
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Get full text
Conference Proceeding
Journal Article