Xudong He - RankMe

169 papers A 2B 21C 45Misc 5Journal 55Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A novel landslide susceptibility mapping method based on a backpropagation neural network algorithm with optimized non-landslide samples and hyperparameters. Eng. Appl. Artif. Intell. Shandong Liu, Xingyuan Jiang, Xudong He, Haijun Qiu, Yi Yang, Rongqian Zhao, Hongsen Hu
2025	J	`jnl`	DifNet: Difference-based multi-resolution decomposition for time series anomaly detection. Appl. Intell. Honglan Wang, Jing Li, Yu Chen, Xuxi Zou, Zeng Zeng, Jinlong Wu, Chenlin Pan, Yuqi Lu, Rongbin Gu, Xudong He, Rui Zhang
2025	J	`jnl`	Extracting microservices from monolithic applications using consistent graph enhanced Graph Transformer. J. Syst. Softw. Xueyin Wei, Jing Li, Xudong He, Weizhou Peng, Ying Zhu, Rongbin Gu, Yunlong Zhu, Tie-Jun Huang
2025	—	`conf`	Hybrid-Granularity Image-Music Retrieval Using Contrastive Learning Between Images and Music. CASA Xudong He, Li Wang, Zhao Wang, Jun Xiao
2025	J	`jnl`	Improving Performance of Affine Projection-Like Algorithm Using Two Combination Methods. J. Appl. Math. Yinxia Dong, Zongsheng Zheng, Xudong He, Baoquan Wang, Fengkun Liu, Hui Li, Linlan Wang
2025	J	`jnl`	Integrated Computational and Functional Screening Identifies G9a Inhibitors for Genom. Proteom. Bioinform. Ya Zhang, Mengfang Xia, Zhenyi Yi, Pinpin Sui, Xudong He, Liping Wang, Qiyi Chen, Hong-Hu Zhu, Gang Huang, Qian-Fei Wang
2025	C	`conf`	Study on Corona Loss Characteristics of Cross-linked Polyethylene Coated Conductor. IAS Shilong Huang, Yudong Zhao, Weiye Xue, Jie Mao, Yunpeng Liu, Lin Ha, Qihan Li, Xudong He, Jingfu Wang
2025	J	`jnl`	Towards fair graph-based machine learning software: unveiling and mitigating graph model bias. AI Ethics Zichong Wang, Zhipeng Yin, Xingyu Zhang, Yuying Zhang, Xudong He, Shaowei Wang, Houbing Song, Liping Yang, Wenbin Zhang
2024	C	`conf`	Designing Deep Neural Net Controller for Quadrotor Attitude Stabilization. QRS Xudong He
2024	C	`conf`	Developing Deep Neural Net Controllers to Assure System Stability with Non-Zero Equilibrium Points. SEKE Xudong He
2024	J	`jnl`	Fraudsters Beware: Unleashing the Power of Metaverse Technology to Uncover Financial Fraud. Int. J. Hum. Comput. Interact. Cheng Xu, Xueji Liang, Yanqi Sun, Xudong He
2024	Misc	`conf`	Spatial-Temporal Interaction Decoding Transformer for Unsupervised Multivariate Time Series Anomaly Detection. ICASSP Songlin Yang, Jing Li, Kuanzhi Shi, Yu Chen, Yunlong Zhu, Xudong He, Jinlong Wu, Chenling Pan
2023	C	`conf`	An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics. QRS Xudong He
2023	J	`jnl`	DNS Rebinding Threat Modeling and Security Analysis for Local Area Network of Maritime Transportation Systems. IEEE Trans. Intell. Transp. Syst. Xudong He, Jian Wang, Jiqiang Liu, Weiping Ding, Zhen Han, Bin Wang, Jamel Nebhen, Wei Wang
2023	J	`jnl`	Microservice extraction using graph deep clustering based on dual view fusion. Inf. Softw. Technol. Lifeng Qian, Jing Li, Xudong He, Rongbin Gu, Jiawei Shao, Yuqi Lu
2022	B	`conf`	A Novel Estimate Fitness Method by Measuring A large number of Sub-event Logs Conformance. IEEE Big Data Mimi Wang, Xudong He, Peihai Zhao
2022	C	`conf`	Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. SEKE Xudong He
2022	C	`conf`	Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning. QRS Xudong He
2022	J	`jnl`	Human instance guided two-stream network for person reidentification. J. Electronic Imaging Xudong He, Chengfang Zhang, Furong Dou, Ziliang Feng
2022	J	`jnl`	Semi-supervised image super-resolution with attention CycleGAN. IET Image Process. Mingzheng Hou, Xudong He, Furong Dou, Xin Zhang, ZhaoKang Guo, Ziliang Feng
2021	—	`conf`	Anonymous Storage and Verification Model of IIoT Based on Blockchain: Anonymous storage and verification model of IIoT production status based on blockchain. ICBTA Tianhao Liu, Jiqiang Liu, Jian Wang, Di Zhai, Yufei Liu, Xudong He
2021	—	`conf`	BSS-ITS: Blockchain Scaling Scheme with Sharding for Intelligent Transportation System: Scale Blockchain for Better Data Exchange and Storage with Full Sharding for Intelligent Transportation System. ICBTA Yufei Liu, Jiqiang Liu, Jian Wang, Tianhao Liu, Xudong He
2021	—	`conf`	Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. QRS Companion Xudong He
2021	J	`jnl`	Process Model Enhancement Through Capturing Important Behaviors and Rating Trace Variants. IEEE Access Mimi Wang, Xudong He, Peihai Zhao
2021	J	`jnl`	Web Service Access Control Based on Browser Fingerprint Detection. J. Web Eng. Liu Hui, Xudong He, Gao Fan, Kailun Wang, Yuan Enze
2020	J	`jnl`	Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus. IEEE Access Xudong He, Qin Liu, Shuang Chen, Chin-Tser Huang, Dejun Wang, Bo Meng
2020	J	`jnl`	Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model. Int. J. Netw. Secur. Jintian Lu, Xudong He, Yitong Yang, Dejun Wang, Bo Meng
2020	—	`conf`	DNS Rebinding Detection for Local Internet of Things Devices. FCS Xudong He, Jian Wang, Jiqiang Liu, Zhen Han, Zhuo Lv, Wei Wang
2020	—	`conf`	Malware Analysis Method Based Random Access Memory in Android. ATIS Wenping Ji, Jian Wang, Xudong He, Jiqiang Liu
2020	—	`conf`	Modeling and Analyzing Smart Contracts using Predicate Transition Nets. QRS Companion Xudong He
2019	—	`ch.`	A Personal Journey in Petri Net Research. Carl Adam Petri: Ideas, Personality, Impact Xudong He
2019	J	`jnl`	A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology. IEEE Access Xudong He, Jiabing Liu, Chin-Tser Huang, Dejun Wang, Bo Meng
2019	J	`jnl`	Automatic Vector-Based Road Structure Mapping Using Multibeam LiDAR. Remote. Sens. Junqiao Zhao, Xudong He, Jun Li, Tiantian Feng, Chen Ye, Lu Xiong
2019	C	`conf`	DL-SLAM: Direct 2.5D LiDAR SLAM for Autonomous Driving. IV Jun Li, Junqiao Zhao, Yuchen Kang, Xudong He, Chen Ye, Lu Sun
2019	—	`conf`	GrabView: A Scalable Street View System for Images Taken from Different Devices. BigMM Jiong Huang, Yifang Yin, Roger Zimmermann, Sheng Hu, Yun Wang, Chunhong Zhao, Guanfeng Wang, Xudong He, Xiaocheng Huang, Shaolin Zheng, Tom Galloway
2019	C	`conf`	Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. QRS Xudong He, Dewan Mohammad Moksedul Alam
2019	—	`conf`	Radar HRRP Target Recognition Based on Blind-Denoising Deep Network. GLOBECOM Workshops Chenkai Zhao, Jing Liang, Ge Zhang, Changba Huang, Xudong He
2019	J	`jnl`	Radar HRRP Target Recognition via Semi-Supervised Multi-Task Deep Network. IEEE Access Chenkai Zhao, Xudong He, Jing Liang, Tiantian Wang, Changba Huang
2019	J	`jnl`	Visual Semantic Landmark-Based Robust Mapping and Localization for Autonomous Indoor Parking. Sensors Junqiao Zhao, Yewei Huang, Xudong He, Shaoming Zhang, Chen Ye, Tiantian Feng, Lu Xiong
2018	C	`conf`	A Method for Predicting Two-Variable Atomicity Violations. QRS Zhuo Sun, Reng Zeng, Xudong He
2018	C	`conf`	A Systematic Approach for Developing Cyber Physical Systems. SEKE Xudong He, Zhijiang Dong, Yujian Fu
2018	—	`conf`	Automatic Vector-based Road Structure Mapping Using Multi-beam LiDAR. ITSC Xudong He, Junqiao Zhao, Lu Sun, Yewei Huang, Xinglian Zhang, Jun Li, Chen Ye
2018	B	`conf`	DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. Intelligent Vehicles Symposium Lu Sun, Junqiao Zhao, Xudong He, Chen Ye
2018	J	`jnl`	DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. CoRR Lu Sun, Junqiao Zhao, Xudong He, Chen Ye
2018	J	`jnl`	Formal Modeling and Analysis of Collaborative Humanoid Robotics. Int. J. Robotics Appl. Technol. Yujian Fu, Zhijiang Dong, Xudong He
2018	B	`conf`	Hierarchical Filtering Method of Alerts Based on Multi-Source Information Correlation Analysis. ICCCN Xudong He, Jian Wang, Jiqiang Liu, Lei Han, Yang Yu, ShaoHua Lv
2018	J	`jnl`	Line-based Road Structure Mapping Using Multi-beam LiDAR. CoRR Xudong He, Junqiao Zhao, Lu Sun, Yewei Huang, Xinglian Zhang, Jun Li, Chen Ye
2018	—	`conf`	Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. QRS Companion Xudong He
2018	C	`conf`	Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). SEKE Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu
2018	B	`conf`	Multi-Dimension Threat Situation Assessment Based on Network Security Attributes. ICCCN Yang Yu, Jian Wang, Jiqiang Liu, Lei Han, Xudong He, ShaoHua Lv
2018	J	`jnl`	Radar HRRP Target Recognition Based on Concatenated Deep Neural Networks. IEEE Access Kuo Liao, Jinxiu Si, Fangqi Zhu, Xudong He
2018	—	`conf`	TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China. ITSC Junqiao Zhao, Chen Ye, Yan Wu, Linting Guan, Lewen Cai, Lu Sun, Tao Yang, Xudong He, Jun Li, Yongchao Ding, Xinglian Zhang, Xinchen Wang, Jinlin Huang, Enwei Zhang, Yewei Huang, Wei Jiang, Shaoming Zhang, Lu Xiong, Tiantian Feng
2018	J	`jnl`	TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China. CoRR Junqiao Zhao, Chen Ye, Yan Wu, Linting Guan, Lewen Cai, Lu Sun, Tao Yang, Xudong He, Jun Li, Yongchao Ding, Xinglian Zhang, Xinchen Wang, Jinlin Huang, Enwei Zhang, Yewei Huang, Wei Jiang, Shaoming Zhang, Lu Xiong, Tiantian Feng
2018	B	`conf`	Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. Intelligent Vehicles Symposium Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng
2018	J	`jnl`	Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. CoRR Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng
2017	C	`conf`	A Framework for Developing Cyber Physical Systems. SEKE Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
2017	J	`jnl`	A Framework for Developing Cyber-Physical Systems. Int. J. Softw. Eng. Knowl. Eng. Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
2017	C	`conf`	A Method to Analyze High Level Petri Nets using SPIN Model Checker. SEKE Dewan Mohammad Moksedul Alam, Xudong He
2017	J	`jnl`	A Method to Analyze Predicate Transition Nets Using SPIN Model Checker. Int. J. Softw. Eng. Knowl. Eng. Dewan Mohammad Moksedul Alam, Xudong He
2017	J	`jnl`	Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. Shi-Kuo Chang, Xudong He
2017	C	`conf`	Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets. QRS Xudong He
2017	C	`ed.`	The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017. SEKE Xudong He
2016	Misc	`conf`	A Term Rewriting Approach to Analyze High Level Petri Nets. TASE Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae
2016	—	`conf`	A novel M-ary differential underwater acoustic direct sequence spread spectrum communication system. WUWNet Gangqiang Zhang, Xudong He, Junkai Liu
2016	C	`conf`	Modeling and Analyzing Security Patterns Using High Level Petri Nets. SEKE Xudong He, Yujian Fu
2015	—	`conf`	A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models. SCSE Mark Allison, Peter J. Clarke, Xudong He
2015	A	`conf`	A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. TACAS Reng Zeng, Zhuo Sun, Su Liu, Xudong He
2015	—	`conf`	A Method for Validating Intent Model Behavior in DSVMs. HASE Karl A. Morris, Peter J. Clarke, Xudong He, Fábio M. Costa, Mengjun Allison
2015	J	`jnl`	A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets. Int. J. Softw. Eng. Knowl. Eng. Lily Chang, Xudong He
2015	C	`conf`	PIPE+Verifier - A Tool for Analyzing High Level Petri Nets. SEKE Su Liu, Xudong He
2014	C	`conf`	Bounded Model Checking High Level Petri Nets in PIPE+Verifier. ICFEM Su Liu, Reng Zeng, Zhuo Sun, Xudong He
2013	J	`jnl`	A Comprehensive Survey of Petri Net Modeling in Software Engineering. Int. J. Softw. Eng. Knowl. Eng. Xudong He
2012	J	`jnl`	A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets. Int. J. Softw. Eng. Knowl. Eng. Lily Chang, Xudong He, Sol M. Shatz
2012	—	`conf`	McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. SPIN Reng Zeng, Zhuo Sun, Su Liu, Xudong He
2012	C	`conf`	SAMAT - A Tool for Software Architecture Modeling and Analysis. SEKE Su Liu, Reng Zeng, Zhuo Sun, Xudong He
2011	—	`conf`	A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining. TaPP Reng Zeng, Xudong He, Jiafei Li, Zheng Liu, Wil M. P. van der Aalst
2011	B	`conf`	A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. SERVICES Reng Zeng, Xudong He, Wil M. P. van der Aalst
2011	Misc	`conf`	A model transformation approach for verifying multi-agent systems using SPIN. SAC Lily Chang, Xudong He
2011	C	`conf`	An Empirical Study on Classification of Non-Functional Requirements. SEKE Su Liu, Reng Zeng, Xudong He
2011	C	`conf`	PIPE+ - A Modeling Tool for High Level Petri Nets. SEKE Su Liu, Reng Zeng, Xudong He
2011	C	`conf`	SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems. SEKE Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert
2010	C	`conf`	A Multi-Agent Model for a Business Continuity Information Network. SEKE Lily Chang, Xudong He
2010	C	`conf`	Analyzing a Formal Specification of Mondex Using Model Checking. ICTAC Reng Zeng, Xudong He
2010	J	`jnl`	Formal Specification and Analysis of an Agent-Based Medical Image Processing System. Int. J. Softw. Eng. Knowl. Eng. Junhua Ding, Xudong He
2009	J	`jnl`	A methodology for evaluating test coverage criteria of high levelPetri nets. Inf. Softw. Technol. Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He
2009	J	`jnl`	Flexible coordinator design for modeling resource sharing in multi-agent systems. J. Syst. Softw. Jiexin Lian, Sol M. Shatz, Xudong He
2009	—	`conf`	Modular Analysis of Software Architecture Model. Software Engineering Research and Practice Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li
2009	C	`conf`	Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. SEKE Lily Chang, Xudong He
2008	C	`conf`	A Formal Approach for Translating a SAM Architecture to PROMELA. SEKE Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi
2008	—	`conf`	A Formal Framework for Software System Modeling, Analysis and Realization. Software Engineering Research and Practice Xudong He
2008	—	`conf`	A Formal Specification of Mondex Using SAM. SOSE Reng Zeng, Jianling Liu, Xudong He
2008	Misc	`conf`	An approach for specification construction using property-preserving refinement patterns. SAC Junhua Ding, Lian Mo, Xudong He
2008	—	`conf`	Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. AST@ICSE Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He
2008	—	`conf`	Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He
2007	J	`jnl`	A Translator of Software Architecture Design from SAM to Java. Int. J. Softw. Eng. Knowl. Eng. Yujian Fu, Zhijiang Dong, Xudong He
2007	C	`conf`	An Approach to Validating Translation Correctness From SAM to Java. SEKE Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
2007	—	`conf`	Component Based Multi-Agent System Modeling and Analysis: A Case Study. Software Engineering Research and Practice Jiexin Lian, Sol M. Shatz, Xudong He
2007	—	`conf`	Generation of test requirements from aspectual use cases. WTAOP@AOSD Dianxiang Xu, Xudong He
2006	C	`conf`	A Framework for Component-based System Modeling. SEKE Zhijiang Dong, Yujian Fu, Xudong He
2006	C	`conf`	A Method for Modeling Object-Oriented Systems with PZ nets. SEKE Ying Huang, Xudong He
2006	—	`conf`	A Method for Realizing Software Architecture Design. QSIC Yujian Fu, Zhijiang Dong, Xudong He
2006	J	`jnl`	A formal model-based approach for developing an interoperable mobile agent system. Multiagent Grid Syst. Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng
2006	C	`conf`	Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
2006	—	`conf`	Formalizing and validating UML architecture description of web systems. ICWE Workshops Yujian Fu, Zhijiang Dong, Xudong He
2006	C	`conf`	Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He
2006	B	`conf`	Modeling, validating and automating composition of web services. ICWE Yujian Fu, Zhijiang Dong, Xudong He
2005	—	`conf`	A Framework for Ensuring System Dependability from Design to Implementation. MSVVEIS Xudong He
2005	C	`conf`	A Methodology of Automated Realization of a Software Architecture Design. SEKE Yujian Fu, Zhijiang Dong, Xudong He
2005	C	`conf`	An Approach to Validation of Software Architecture Model. APSEC Yujian Fu, Zhijiang Dong, Xudong He
2005	Misc	`conf`	Automated Runtime Validation of Software Architecture Design. ICDCIT Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He
2005	C	`conf`	Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
2005	C	`conf`	Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE Huiqun Yu, Dongmei Liu, Li Yang, Xudong He
2005	B	`conf`	Formally modeling and analyzing a secure mobile agent finder. SMC Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He
2005	B	`conf`	Secure Software Architectures Design by Aspect Orientation. ICECCS Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao
2004	—	`conf`	A Formal Approach to Designing Secure Software Architectures. HASE Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2004	C	`conf`	Applying Aspect-Orientation in Designing Security Systems: A Case Study. SEKE Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra M. L. Cooper
2004	J	`jnl`	Constraint Propagation And Progressive Verification For Component-Based Process Model. Int. J. Softw. Eng. Knowl. Eng. Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai
2004	J	`jnl`	Formally analyzing software architectural specifications using SAM . J. Syst. Softw. Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng
2004	C	`conf`	Integrating Security Administration into Software Architectures Design. SEKE Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2004	—	`conf`	Modeling and analyzing security protocols in SAM: A case study. IASTED Conf. on Software Engineering and Applications Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao
2003	A	`conf`	A Methodology for Dependability and Performability Analysis in SAM. DSN Tianjun Shi, Xudong He
2003	J	`jnl`	A new approach to verify rule-based systems using petri net. Inf. Softw. Technol. Xudong He, William C. Chu, Hongji Yang
2003	C	`conf`	An Integrated Method to Software Architecture. SEKE Hassan Reza, Xudong He
2003	C	`conf`	Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. SEKE Zhijiang Dong, Yujian Fu, Xudong He
2003	C	`conf`	Formal Software Architecture Design of Secure Distributed Systems. SEKE Huiqun Yu, Xudong He, Shu Gao, Yi Deng
2003	—	`conf`	Pattern-Based Software Architecture: A Case Study. ITCC Hassan Reza, Xudong He
2002	B	`conf`	A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2002	J	`jnl`	A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. Xudong He, Yi Deng
2002	J	`jnl`	A methodology of testing high-level Petri nets. Inf. Softw. Technol. Hong Zhu, Xudong He
2002	C	`conf`	Formal Analysis of Real-Time Systems with SAM. ICFEM Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2002	C	`conf`	Model checking software architecture specifications in SAM. SEKE Xudong He, Junhua Ding, Yi Deng
2002	—	`conf`	Modeling and Analyzing SMIL Documents in SAM. ISMSE Huiqun Yu, Xudong He, Shu Gao, Yi Deng
2002	—	`conf`	Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. WICSA Tianjun Shi, Xudong He
2001	B	`conf`	An Observational Theory of Integration Testing for Component-Based Software Development. COMPSAC Hong Zhu, Xudong He
2001	B	`conf`	Formalizing UML Semantics. COMPSAC Xudong He
2001	—	`conf`	Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. pUML Zhijiang Dong, Xudong He
2001	—	`conf`	Object Orientation in Hierarchical Predicate Transition Nets. Concurrent Object-Oriented Programming and Petri Nets Xudong He, Yingjia Ding
2001	J	`jnl`	PZ nets a formal method integrating Petri nets with Z. Inf. Softw. Technol. Xudong He
2000	J	`jnl`	A formal approach for component retrieval and integration analysis. J. Softw. Maintenance Res. Pract. William C. Chu, Chih-Wei Lu, Hongji Yang, Xudong He
2000	—	`conf`	Constructions of behaviour observation schemes in software testing. HASE Hong Zhu, Xudong He
2000	B	`conf`	Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. COMPSAC Xudong He
2000	J	`jnl`	Pattern-based software reengineering: a case study. J. Softw. Maintenance Res. Pract. William C. Chu, Chih-Wei Lu, Chih-Peng Shiu, Xudong He
2000	J	`jnl`	Specifying Software Architectural Connectors in SAM. Int. J. Softw. Eng. Knowl. Eng. Xudong He, Yi Deng
2000	J	`jnl`	Translating hierarchical predicate transition nets to CC++ programs. Inf. Softw. Technol. Xudong He
1999	B	`conf`	A New Approach to Verify Rule-Based Systems Using Petri Nets. COMPSAC Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang
1999	—	`conf`	A Semi-Formal Approach to Assist Software Design with Reuse. ICSM William C. Chu, C. P. Hsu, Chih-Wei Lu, Xudong He
1999	B	`conf`	A Useful Approach to Developing Reverse Engineering Metrics. COMPSAC Shikun Zhou, Hongji Yang, Paul Luker, Xudong He
1999	J	`jnl`	Introducing software architecture specification and analysis in SAM through an example. Inf. Softw. Technol. Jiacun Wang, Xudong He, Yi Deng
1999	C	`conf`	Pattern Based Software Re-engineering: A Case Study. APSEC William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He
1998	B	`conf`	Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. COMPSAC Xudong He
1997	J	`jnl`	An Improved Algorithm for Concurrency Control in Distributed Database Systems. Inf. Sci. Weili Yao, William Perrizo, Xudong He
1997	J	`jnl`	Mapping Petri nets to concurrent programs in CC++. Inf. Softw. Technol. Weili Yao, Xudong He
1997	B	`conf`	Translating hierarchical predicate transition nets to CC++ program skeletons. COMPSAC Xudong He, Weili Yao
1996	—	`conf`	A Formal Definition of Hierarchical Predicate Transition Nets. Application and Theory of Petri Nets Xudong He
1996	J	`jnl`	A Method for Constructing Algebraic Petri Nets. J. Syst. Softw. Chieh-ying Kan, Xudong He
1996	B	`conf`	Mapping Petri Nets to Parallel Programs in CC++. COMPSAC Weili Yao, Xudong He
1995	B	`conf`	A method for analyzing properties of hierarchical predicate transition nets. COMPSAC Xudong He
1995	J	`jnl`	Deriving algebraic Petri net specifications from structured analysis - a case study. Inf. Softw. Technol. Chieh-ying Kan, Xudong He
1995	J	`jnl`	High-level algebraic Petri nets. Inf. Softw. Technol. Chieh-ying Kan, Xudong He
1995	C	`conf`	PZ Nets- A Formal Method Integrating Petri Nets with Z. SEKE Xudong He
1994	—	`conf`	Algebraic Petri Nets and Their Applications. ACM Conference on Computer Science Chieh-ying Kan, Xudong He
1992	—	`conf`	A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. IFIP Congress (1) Xudong He, Yingjia Ding
1992	B	`conf`	Structured analysis using hierarchical predicate transition nets. COMPSAC Xudong He, C.-H. Yang
1991	J	`jnl`	A Methodology for Constructing Predicate Transition Net Specifications. Softw. Pract. Exp. Xudong He, John A. N. Lee
1990	J	`jnl`	A methodology for test selection. J. Syst. Softw. John A. N. Lee, Xudong He
1990	J	`jnl`	Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. Formal Aspects Comput. Xudong He, John A. N. Lee
1990	B	`conf`	Temporal predicate transition nets and their applications. COMPSAC Xudong He
1989	C	`conf`	Deriving Temporal Logic Specifications from Predicate Transition Petri Net. SEKE Xudong He, John A. N. Lee
1989	—	`—`	Integrating formal specification and verification methods in software development. Xudong He