Xudong He
Cited by
Cited by
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
A formal definition of hierarchical predicate transition nets
X He
International Conference on Application and Theory of Petri Nets, 212-229, 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
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 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
PZ nets—a formal method integrating Petri nets with Z
X He
Information and Software Technology 43 (1), 1-18, 2001
A methodology for constructing predicate transition net specifications
X He, JAN Lee
Software: Practice and Experience 21 (8), 845-875, 1991
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
A framework for developing and analyzing software architecture specifications in SAM
X He, Y Deng
The Computer Journal 45 (1), 111-128, 2002
A methodology for test selection
JAN Lee, X He
Journal of Systems and Software 13 (3), 177-185, 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
High-Level Petri Nets – Extensions, Analysis, and Applications
X He, T Murata
Electrical Engineering Handbook, 459-476, 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
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
A theory of testing high level Petri nets
H Zhu, X He
Proc. of the IFIP 16th world computer congress, Beijing, China, 2000
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
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
Formalizing UML class diagrams-a hierarchical predicate transition net approach
X He
Proceedings 24th Annual International Computer Software and Applications …, 2000
Pattern‐based software reengineering: a case study
WC Chu, CW Lu, CP Shiu, X He
Journal of Software Maintenance: Research and Practice 12 (2), 121-141, 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
The system can't perform the operation now. Try again later.
Articles 1–20