| 2024 | ICASSP | Spatial-Temporal Interaction Decoding Transformer for Unsupervised Multivariate Time Series Anomaly Detection. | Songlin Yang, Jing Li, Kuanzhi Shi, Yu Chen, Yunlong Zhu, Xudong He, Jinlong Wu, Chenling Pan |
| 2024 | QRS | Designing Deep Neural Net Controller for Quadrotor Attitude Stabilization. | Xudong He |
| 2024 | SEKE | Developing Deep Neural Net Controllers to Assure System Stability with Non-Zero Equilibrium Points. | Xudong He |
| 2023 | QRS | An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics. | Xudong He |
| 2022 | QRS | Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning. | Xudong He |
| 2022 | SEKE | Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. | Xudong He |
| 2021 | QRS | Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. | Xudong He |
| 2020 | QRS | Modeling and Analyzing Smart Contracts using Predicate Transition Nets. | Xudong He |
| 2019 | GLOBECOM | Radar HRRP Target Recognition Based on Blind-Denoising Deep Network. | Chenkai Zhao, Jing Liang, Ge Zhang, Changba Huang, Xudong He |
| 2019 | QRS | Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. | Xudong He, Dewan Mohammad Moksedul Alam |
| 2018 | ICCCN | Hierarchical Filtering Method of Alerts Based on Multi-Source Information Correlation Analysis. | Xudong He, Jian Wang, Jiqiang Liu, Lei Han, Yang Yu, ShaoHua Lv |
| 2018 | ICCCN | Multi-Dimension Threat Situation Assessment Based on Network Security Attributes. | Yang Yu, Jian Wang, Jiqiang Liu, Lei Han, Xudong He, ShaoHua Lv |
| 2018 | QRS | Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. | Xudong He |
| 2018 | QRS | A Method for Predicting Two-Variable Atomicity Violations. | Zhuo Sun, Reng Zeng, Xudong He |
| 2018 | SEKE | Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). | Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu |
| 2018 | SEKE | A Systematic Approach for Developing Cyber Physical Systems. | Xudong He, Zhijiang Dong, Yujian Fu |
| 2017 | QRS | Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets. | Xudong He |
| 2017 | SEKE | A Method to Analyze High Level Petri Nets using SPIN Model Checker. | Dewan Mohammad Moksedul Alam, Xudong He |
| 2017 | SEKE | A Framework for Developing Cyber Physical Systems. | Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu |
| 2016 | SEKE | Modeling and Analyzing Security Patterns Using High Level Petri Nets. | Xudong He, Yujian Fu |
| 2016 | TASE | A Term Rewriting Approach to Analyze High Level Petri Nets. | Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae |
| 2015 | SEKE | PIPE+Verifier - A Tool for Analyzing High Level Petri Nets. | Su Liu, Xudong He |
| 2015 | TACAS | A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. | Reng Zeng, Zhuo Sun, Su Liu, Xudong He |
| 2014 | ICFEM | Bounded Model Checking High Level Petri Nets in PIPE+Verifier. | Su Liu, Reng Zeng, Zhuo Sun, Xudong He |
| 2012 | SEKE | SAMAT - A Tool for Software Architecture Modeling and Analysis. | Su Liu, Reng Zeng, Zhuo Sun, Xudong He |
| 2011 | SAC | A model transformation approach for verifying multi-agent systems using SPIN. | Lily Chang, Xudong He |
| 2011 | SEKE | PIPE+ - A Modeling Tool for High Level Petri Nets. | Su Liu, Reng Zeng, Xudong He |
| 2011 | SEKE | An Empirical Study on Classification of Non-Functional Requirements. | Su Liu, Reng Zeng, Xudong He |
| 2011 | SEKE | SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems. | Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert |
| 2011 | SERVICES | A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. | Reng Zeng, Xudong He, Wil M. P. van der Aalst |
| 2010 | ICTAC | Analyzing a Formal Specification of Mondex Using Model Checking. | Reng Zeng, Xudong He |
| 2010 | SEKE | A Multi-Agent Model for a Business Continuity Information Network. | Lily Chang, Xudong He |
| 2009 | SEKE | Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. | Lily Chang, Xudong He |
| 2008 | ICSE | Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. | Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He |
| 2008 | SAC | An approach for specification construction using property-preserving refinement patterns. | Junhua Ding, Lian Mo, Xudong He |
| 2008 | SEKE | A Formal Approach for Translating a SAM Architecture to PROMELA. | Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi |
| 2007 | SEKE | An Approach to Validating Translation Correctness From SAM to Java. | Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He |
| 2006 | ICWE | Modeling, validating and automating composition of web services. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2006 | ICWE | Formalizing and validating UML architecture description of web systems. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2006 | SEKE | A Framework for Component-based System Modeling. | Zhijiang Dong, Yujian Fu, Xudong He |
| 2006 | SEKE | A Method for Modeling Object-Oriented Systems with PZ nets. | Ying Huang, Xudong He |
| 2006 | SEKE | Achieving a Better Middleware Design through Formal Modeling and Analysis. | Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He |
| 2006 | SEKE | Modeling Complex Software Systems Using an Aspect Extension of Object-Z. | Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He |
| 2005 | APSEC | An Approach to Validation of Software Architecture Model. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2005 | ICDCIT | Automated Runtime Validation of Software Architecture Design. | Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He |
| 2005 | ICECCS | Secure Software Architectures Design by Aspect Orientation. | Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao |
| 2005 | SMC | Formally modeling and analyzing a secure mobile agent finder. | Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He |
| 2005 | SEKE | Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. | Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He |
| 2005 | SEKE | A Methodology of Automated Realization of a Software Architecture Design. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2005 | SEKE | Formal Aspect-Oriented Modeling and Analysis by Aspect. | Huiqun Yu, Dongmei Liu, Li Yang, Xudong He |
| 2004 | SEKE | Applying Aspect-Orientation in Designing Security Systems: A Case Study. | Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra M. L. Cooper |
| 2004 | SEKE | Integrating Security Administration into Software Architectures Design. | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
| 2003 | DSN | A Methodology for Dependability and Performability Analysis in SAM. | Tianjun Shi, Xudong He |
| 2003 | SEKE | Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. | Zhijiang Dong, Yujian Fu, Xudong He |
| 2003 | SEKE | An Integrated Method to Software Architecture. | Hassan Reza, Xudong He |
| 2003 | SEKE | Formal Software Architecture Design of Secure Distributed Systems. | Huiqun Yu, Xudong He, Shu Gao, Yi Deng |
| 2002 | COMPSAC | A Formal Method for Analyzing Software Architecture Models in SAM. | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
| 2002 | ICFEM | Formal Analysis of Real-Time Systems with SAM. | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
| 2002 | SEKE | Model checking software architecture specifications in SAM. | Xudong He, Junhua Ding, Yi Deng |
| 2001 | COMPSAC | Formalizing UML Semantics. | Xudong He |
| 2001 | COMPSAC | An Observational Theory of Integration Testing for Component-Based Software Development. | Hong Zhu, Xudong He |
| 2000 | COMPSAC | Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. | Xudong He |
| 1999 | APSEC | Pattern Based Software Re-engineering: A Case Study. | William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He |
| 1999 | COMPSAC | A New Approach to Verify Rule-Based Systems Using Petri Nets. | Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang |
| 1999 | COMPSAC | A Useful Approach to Developing Reverse Engineering Metrics. | Shikun Zhou, Hongji Yang, Paul Luker, Xudong He |
| 1998 | COMPSAC | Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. | Xudong He |
| 1997 | COMPSAC | Translating hierarchical predicate transition nets to CC++ program skeletons. | Xudong He, Weili Yao |
| 1996 | COMPSAC | Mapping Petri Nets to Parallel Programs in CC++. | Weili Yao, Xudong He |
| 1995 | COMPSAC | A method for analyzing properties of hierarchical predicate transition nets. | Xudong He |
| 1995 | SEKE | PZ Nets- A Formal Method Integrating Petri Nets with Z. | Xudong He |
| 1992 | COMPSAC | Structured analysis using hierarchical predicate transition nets. | Xudong He, C.-H. Yang |
| 1990 | COMPSAC | Temporal predicate transition nets and their applications. | Xudong He |
| 1989 | SEKE | Deriving Temporal Logic Specifications from Predicate Transition Petri Net. | Xudong He, John A. N. Lee |