X
Xudong He
Researcher at Florida International University
Publications - 146
Citations - 1394
Xudong He is an academic researcher from Florida International University. The author has contributed to research in topics: Petri net & Software architecture. The author has an hindex of 16, co-authored 135 publications receiving 1331 citations. Previous affiliations of Xudong He include North Dakota State University & University of Miami.
Papers
More filters
Book ChapterDOI
A Formal Definition of Hierarchical Predicate Transition Nets
TL;DR: This paper provides a formal syntax and an algebraic semantics for hierarchical predicate transition nets, which establish the theory of hierarchicalpredicate transition nets for precise specification and formal reasoning.
Journal ArticleDOI
Formally analyzing software architectural specifications using SAM
TL;DR: This paper shows how to formally analyze SAM software architecture specifications using two well-known techniques--symbolic model checking with tool Symbolic Model Verifier, and theorem proving with tool STeP.
Journal ArticleDOI
A methodology of testing high-level Petri nets
TL;DR: A methodology of testing high-level Petri nets based on the general theory of testing concurrent software systems is presented and the subsumption relationships and extraction relationships among the proposed testing methods are systematically investigated and formally proved.
Journal ArticleDOI
Introducing software architecture specification and analysis in SAM through an example
Jiacun Wang,Xudong He,Yi Deng +2 more
TL;DR: This article presents a formal systematic software architecture specification and analysis methodology called SAM and shows how to apply SAM to specify a command control (C2) system and to analyze its real-time constraints.
Journal ArticleDOI
Compositional schedulability analysis of real-time systems using time Petri nets
Dianxiang Xu,Xudong He,Yi Deng +2 more
TL;DR: An approach to the schedulability analysis of real-time systems modeled in time Petri nets by separating timing properties from other behavioral properties is presented, which not only improves efficiency but also facilitates the discussion of the reachability issue with regard to Schedulability.