| Formally analyzing software architectural specifications using SAM X He, H Yu, T Shi, J Ding, Y Deng Journal of Systems and Software 71 (1-2), 11-29, 2004 | 90 | 2004 |
| A formal definition of hierarchical predicate transition nets X He International Conference on Application and Theory of Petri Nets, 212-229, 1996 | 87 | 1996 |
| Compositional schedulability analysis of real-time systems using time Petri nets D Xu, X He, Y Deng IEEE Transactions on software engineering 28 (10), 984-996, 2002 | 83 | 2002 |
| A methodology of testing high-level Petri nets H Zhu, X He Information and Software Technology 44 (8), 473-489, 2002 | 83 | 2002 |
| Introducing software architecture specification and analysis in SAM through an example J Wang, X He, Y Deng Information and Software Technology 41 (7), 451-467, 1999 | 81 | 1999 |
| PZ nets—a formal method integrating Petri nets with Z X He Information and Software Technology 43 (1), 1-18, 2001 | 69 | 2001 |
| A new approach to verify rule-based systems using petri nets X He, WC Chu, H Yang Information and software Technology 45 (10), 663-669, 2003 | 62 | 2003 |
| A methodology for constructing predicate transition net specifications X He, JAN Lee Software: Practice and Experience 21 (8), 845-875, 1991 | 59 | 1991 |
| A framework for developing and analyzing software architecture specifications in SAM X He, Y Deng The Computer Journal 45 (1), 111-128, 2002 | 53 | 2002 |
| A methodology for test selection JAN Lee, X He Journal of Systems and Software 13 (3), 177-185, 1990 | 50 | 1990 |
| Radar HRRP target recognition based on concatenated deep neural networks K Liao, J Si, F Zhu, X He IEEE Access 6, 29211-29218, 2018 | 46 | 2018 |
| Reversible intramolecular hydrogen transfer: a completely new mechanism for low impact sensitivity of energetic materials Y Xiong, Y Ma, X He, X Xue, C Zhang Physical Chemistry Chemical Physics 21 (5), 2397-2409, 2019 | 41 | 2019 |
| High-Level Petri Nets – Extensions, Analysis, and Applications X He, T Murata Electrical Engineering Handbook, 459-476, 2005 | 38 | 2005 |
| Secure software architectures design by aspect orientation H Yu, D Liu, X He, L Yang, S Gao 10th IEEE International Conference on Engineering of Complex Computer …, 2005 | 36 | 2005 |
| Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems X He, JAN Lee Formal Aspects of computing 2, 226-246, 1990 | 36 | 1990 |
| Correlation between the self-sustaining ignition ability and the impact sensitivity of energetic materials X Xiong, X He, Y Xiong, X Xue, H Yang, C Zhang Energetic Materials Frontiers 1 (1), 40-49, 2020 | 34 | 2020 |
| Applying Aspect-Orientation in Designing Security Systems: A Case Study. S Gao, Y Deng, H Yu, X He, K Beznosov, KML Cooper SEKE, 360-365, 2004 | 34 | 2004 |
| A theory of testing high level Petri nets H Zhu, X He Proc. of the IFIP 16th world computer congress, Beijing, China, 2000 | 34 | 2000 |
| Sequential molecular dynamics simulations: A strategy for complex chemical reactions and a case study on the graphitization of cooked 1, 3, 5-triamino-2, 4, 6-trinitrobenzene C Zhang, Y Wen, X Xue, J Liu, Y Ma, X He, X Long The Journal of Physical Chemistry C 120 (44), 25237-25245, 2016 | 32 | 2016 |
| Formalizing UML class diagrams-a hierarchical predicate transition net approach X He Proceedings 24th Annual International Computer Software and Applications …, 2000 | 31 | 2000 |
Hong ZhuOxford Brookes UniversityVerified email at brookes.ac.uk
