Xudong He
Title
Cited by
Cited by
Year
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
852004
A formal definition of hierarchical predicate transition nets
X He
International Conference on Application and Theory of Petri Nets, 212-229, 1996
811996
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
792002
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
761999
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 2002
712002
PZ nets—a formal method integrating Petri nets with Z
X He
Information and Software Technology 43 (1), 1-18, 2001
652001
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
632003
A methodology for constructing predicate transition net specifications
X He, JAN Lee
Software: Practice and Experience 21 (8), 845-875, 1991
621991
A framework for developing and analyzing software architecture specifications in SAM
X He, Y Deng
The Computer Journal 45 (1), 111-128, 2002
532002
A methodology for test selection
JAN Lee, X He
Journal of Systems and Software 13 (3), 177-185, 1990
471990
An Empirical Study on Classification of Non-Functional Requirements.
S Liu, R Zeng, X He
SEKE, 444-449, 2011
422011
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
382000
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
372005
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
362004
A theory of testing high level Petri nets
H Zhu, X He
Proc. 16th Int. Conf. on Software-Theory and Practice, IFIP World Computer …, 2000
332000
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 (1), 226-246, 1990
331990
High-Level Petri Nets – Extensions, Analysis, and Applications
X He, T Murata
Electrical Engineering Handbook, 459-476, 2005
312005
Formalizing UML class diagrams-a hierarchical predicate transition net approach
X He
Proceedings 24th Annual International Computer Software and Applications …, 2000
292000
Radar HRRP target recognition based on concatenated deep neural networks
K Liao, J Si, F Zhu, X He
IEEE Access 6, 29211-29218, 2018
262018
High-level algebraic Petri nets
CY Kan, X He
Information and Software Technology 37 (1), 23-30, 1995
231995
The system can't perform the operation now. Try again later.
Articles 1–20