Statistical model checking for stochastic hybrid systems A David, D Du, KG Larsen, A Legay, M Mikučionis, DB Poulsen, ... arXiv preprint arXiv:1208.3856, 2012 | 111 | 2012 |
A complexity metrics set for large-scale object-oriented software systems Y Ma, K He, D Du, J Liu, Y Yan The Sixth IEEE International Conference on Computer and Information …, 2006 | 70 | 2006 |
A qualitative method for measuring the structural complexity of software systems based on complex networks Y Ma, K He, D Du 12th Asia-Pacific Software Engineering Conference (APSEC'05), 7 pp., 2005 | 70 | 2005 |
An evaluation framework for energy aware buildings using statistical model checking A David, DH Du, KG Larsen, M Mikučionis, A Skou Science China information sciences 55, 2694-2707, 2012 | 57 | 2012 |
Towards model-based verification of BPEL with model checking H Cao, S Ying, D Du The sixth IEEE international conference on computer and information …, 2006 | 43 | 2006 |
Optimizing control strategy using statistical model checking A David, D Du, K Guldstrand Larsen, A Legay, M Mikučionis NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 38 | 2013 |
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in cyber physical systems D Du, P Huang, K Jiang, F Mallet Science of Computer Programming 166, 71-88, 2018 | 27 | 2018 |
A rigorous model of contract-based service component architecture D Du, J Liu, H Cao 2008 International Conference on Computer Science and Software Engineering 2 …, 2008 | 19 | 2008 |
Towards modeling cyber-physical systems with SysML/MARTE/pCCSL P Huang, K Jiang, C Guan, D Du 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018 | 17 | 2018 |
Specifying cyber physical system safety properties with metric temporal spatial logic H Sun, J Liu, X Chen, D Du 2015 Asia-Pacific Software Engineering Conference (APSEC), 254-260, 2015 | 17 | 2015 |
Anti-inflammatory activity of sanjie zhentong capsule assessed by network pharmacology analysis of adenomyosis treatment L Du, DH Du, B Chen, Y Ding, T Zhang, W Xiao Drug Design, Development and Therapy, 697-713, 2020 | 16 | 2020 |
Modana: An integrated framework for modeling and analysis of energy-aware CPSs B Cheng, X Wang, J Liu, D Du 2015 IEEE 39th Annual Computer Software and Applications Conference 2, 127-136, 2015 | 16 | 2015 |
A novel quantitative evaluation approach for software project schedules using statistical model checking D Du, M Chen, X Liu, Y Yang Companion Proceedings of the 36th International Conference on Software …, 2014 | 15 | 2014 |
A scenario-based approach for formal modelling and verification of safety properties in automated driving B Xu, Q Li, T Guo, D Du IEEE Access 7, 140566-140587, 2019 | 13 | 2019 |
A quantitative safety verification approach for the decision-making process of autonomous driving B Xu, Q Li, T Guo, Y Ao, D Du 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 13 | 2019 |
MARTE/pCCSL: modeling and refining stochastic behaviors of CPSs with probabilistic logical clocks D Du, P Huang, K Jiang, F Mallet, M Yang Formal Aspects of Component Software: 13th International Conference, FACS …, 2017 | 13 | 2017 |
xshs: An executable domain-specific modeling language for modeling stochastic and hybrid behaviors of cyber-physical systems C Guan, Y Ao, D Du, F Mallet 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 683-687, 2018 | 12 | 2018 |
Shml: Stochastic hybrid modeling language for cps behavior D Du, T Guo, Y Wang 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 220-227, 2019 | 8 | 2019 |
Variation-aware resource allocation evaluation for Cloud workflows using statistical model checking S Huang, M Chen, X Liu, D Du, X Chen 2014 IEEE Fourth International Conference on Big Data and Cloud Computing …, 2014 | 8 | 2014 |
Toward an Approach for Semantic Service Oriented Design and a Semantic Programming Language H Cao, S Ying, D Du, X Jia, Y Xiao Chinese Journal of Electronics 35 (12A), 129-133, 2007 | 8 | 2007 |