| 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 | 108 | 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 | 69 | 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 | 68 | 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 | 42 | 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 | 36 | 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 | 25 | 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 | 16 | 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 | 16 | 2015 |
| 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 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 |
| 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 | 10 | 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 |
| 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 | 7 | 2019 |
| Learning-based probabilistic modeling and verifying driver behavior using MDP X Bai, C Xu, Y Ao, B Chen, D Du 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 6 | 2019 |
