Follow
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
882004
A formal definition of hierarchical predicate transition nets
X He
International Conference on Application and Theory of Petri Nets, 212-229, 1996
841996
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
812002
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 2002
752002
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
751999
PZ nets—a formal method integrating Petri nets with Z
X He
Information and Software Technology 43 (1), 1-18, 2001
662001
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
581991
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
451990
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
High-Level Petri Nets – Extensions, Analysis, and Applications
X He, T Murata
Electrical Engineering Handbook, 459-476, 2005
352005
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
352004
A theory of testing high level Petri nets
H Zhu, X He
Proc. of the IFIP 16th world computer congress, Beijing, China, 2000
342000
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
341990
Formalizing UML class diagrams-a hierarchical predicate transition net approach
X He
Proceedings 24th Annual International Computer Software and Applications …, 2000
292000
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
282000
Radar HRRP target recognition based on concatenated deep neural networks
K Liao, J Si, F Zhu, X He
IEEE Access 6, 29211-29218, 2018
272018
High-level algebraic Petri nets
CY Kan, X He
Information and Software Technology 37 (1), 23-30, 1995
241995
Object orientation in hierarchical predicate transition nets
X He, Y Ding
Concurrent Object-Oriented Programming and Petri Nets, 196-215, 2001
222001
The system can't perform the operation now. Try again later.
Articles 1–20