Xudong He

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 55

Top Venues

Publications

Xudong He
An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics. QRS (2023)
Xudong He, Jian Wang, Jiqiang Liu, Weiping Ding, Zhen Han, Bin Wang, Jamel Nebhen, Wei Wang
DNS Rebinding Threat Modeling and Security Analysis for Local Area Network of Maritime Transportation Systems. IEEE Trans. Intell. Transp. Syst. 24 (2) (2023)
Lifeng Qian, Jing Li, Xudong He, Rongbin Gu, Jiawei Shao, Yuqi Lu
Microservice extraction using graph deep clustering based on dual view fusion. Inf. Softw. Technol. 158 (2023)
Mingzheng Hou, Xudong He, Furong Dou, Xin Zhang, ZhaoKang Guo, Ziliang Feng
Semi-supervised image super-resolution with attention CycleGAN. IET Image Process. 16 (4) (2022)
Mimi Wang, Xudong He, Peihai Zhao
A Novel Estimate Fitness Method by Measuring A large number of Sub-event Logs Conformance. Big Data (2022)
Xudong He
Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning. QRS (2022)
Xudong He
Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. SEKE (2022)
Xudong He
Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. QRS Companion (2021)
Yufei Liu, Jiqiang Liu, Jian Wang, Tianhao Liu, Xudong He
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 (2021)
Mimi Wang, Xudong He, Peihai Zhao
Process Model Enhancement Through Capturing Important Behaviors and Rating Trace Variants. IEEE Access 9 (2021)
Tianhao Liu, Jiqiang Liu, Jian Wang, Di Zhai, Yufei Liu, Xudong He
Anonymous Storage and Verification Model of IIoT Based on Blockchain: Anonymous storage and verification model of IIoT production status based on blockchain. ICBTA (2021)
Liu Hui, Xudong He, Gao Fan, Kailun Wang, Yuan Enze
Web Service Access Control Based on Browser Fingerprint Detection. J. Web Eng. 20 (5) (2021)
Xudong He
Modeling and Analyzing Smart Contracts using Predicate Transition Nets. QRS Companion (2020)
Xudong He, Qin Liu, Shuang Chen, Chin-Tser Huang, Dejun Wang, Bo Meng
Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus. IEEE Access 8 (2020)
Jintian Lu, Xudong He, Yitong Yang, Dejun Wang, Bo Meng
Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model. Int. J. Netw. Secur. 22 (1) (2020)
Wenping Ji, Jian Wang, Xudong He, Jiqiang Liu
Malware Analysis Method Based Random Access Memory in Android. ATIS (2020)
Xudong He, Jian Wang, Jiqiang Liu, Zhen Han, Zhuo Lv, Wei Wang
DNS Rebinding Detection for Local Internet of Things Devices. FCS (2020)
Junqiao Zhao, Yewei Huang, Xudong He, Shaoming Zhang, Chen Ye, Tiantian Feng, Lu Xiong
Visual Semantic Landmark-Based Robust Mapping and Localization for Autonomous Indoor Parking. Sensors 19 (1) (2019)
Jun Li, Junqiao Zhao, Yuchen Kang, Xudong He, Chen Ye, Lu Sun
DL-SLAM: Direct 2.5D LiDAR SLAM for Autonomous Driving. IV (2019)
Junqiao Zhao, Xudong He, Jun Li, Tiantian Feng, Chen Ye, Lu Xiong
Automatic Vector-Based Road Structure Mapping Using Multibeam LiDAR. Remote. Sens. 11 (14) (2019)
Xudong He, Jiabing Liu, Chin-Tser Huang, Dejun Wang, Bo Meng
A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology. IEEE Access 7 (2019)
Chenkai Zhao, Jing Liang, Ge Zhang, Changba Huang, Xudong He
Radar HRRP Target Recognition Based on Blind-Denoising Deep Network. GLOBECOM Workshops (2019)
Xudong He, Dewan Mohammad Moksedul Alam
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. QRS (2019)
Jiong Huang, Yifang Yin, Roger Zimmermann, Sheng Hu, Yun Wang, Chunhong Zhao, Guanfeng Wang, Xudong He, Xiaocheng Huang, Shaolin Zheng, Tom Galloway
GrabView: A Scalable Street View System for Images Taken from Different Devices. BigMM (2019)
Chenkai Zhao, Xudong He, Jing Liang, Tiantian Wang, Changba Huang
Radar HRRP Target Recognition via Semi-Supervised Multi-Task Deep Network. IEEE Access 7 (2019)
Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng
Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. CoRR (2018)
Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu
Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). SEKE (2018)
Xudong He
Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. QRS Companion (2018)
Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng
Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. Intelligent Vehicles Symposium (2018)
Xudong He, Junqiao Zhao, Lu Sun, Yewei Huang, Xinglian Zhang, Jun Li, Chen Ye
Automatic Vector-based Road Structure Mapping Using Multi-beam LiDAR. ITSC (2018)
Xudong He, Jian Wang, Jiqiang Liu, Lei Han, Yang Yu, ShaoHua Lv
Hierarchical Filtering Method of Alerts Based on Multi-Source Information Correlation Analysis. ICCCN (2018)
Yujian Fu, Zhijiang Dong, Xudong He
Formal Modeling and Analysis of Collaborative Humanoid Robotics. Int. J. Robotics Appl. Technol. 6 (1) (2018)
Lu Sun, Junqiao Zhao, Xudong He, Chen Ye
DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. CoRR (2018)
Xudong He, Zhijiang Dong, Yujian Fu
A Systematic Approach for Developing Cyber Physical Systems. SEKE (2018)
Zhuo Sun, Reng Zeng, Xudong He
A Method for Predicting Two-Variable Atomicity Violations. QRS (2018)
Xudong He, Junqiao Zhao, Lu Sun, Yewei Huang, Xinglian Zhang, Jun Li, Chen Ye
Line-based Road Structure Mapping Using Multi-beam LiDAR. CoRR (2018)
Lu Sun, Junqiao Zhao, Xudong He, Chen Ye
DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. Intelligent Vehicles Symposium (2018)
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
TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China. CoRR (2018)
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
TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China. ITSC (2018)
Yang Yu, Jian Wang, Jiqiang Liu, Lei Han, Xudong He, ShaoHua Lv
Multi-Dimension Threat Situation Assessment Based on Network Security Attributes. ICCCN (2018)
Kuo Liao, Jinxiu Si, Fangqi Zhu, Xudong He
Radar HRRP Target Recognition Based on Concatenated Deep Neural Networks. IEEE Access 6 (2018)
Shi-Kuo Chang, Xudong He
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 27 (9-10) (2017)
Dewan Mohammad Moksedul Alam, Xudong He
A Method to Analyze High Level Petri Nets using SPIN Model Checker. SEKE (2017)
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
A Framework for Developing Cyber-Physical Systems. Int. J. Softw. Eng. Knowl. Eng. 27 (9-10) (2017)
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
A Framework for Developing Cyber Physical Systems. SEKE (2017)
Xudong He
Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets. QRS (2017)
Dewan Mohammad Moksedul Alam, Xudong He
A Method to Analyze Predicate Transition Nets Using SPIN Model Checker. Int. J. Softw. Eng. Knowl. Eng. 27 (9-10) (2017)
Gangqiang Zhang, Xudong He, Junkai Liu
A novel M-ary differential underwater acoustic direct sequence spread spectrum communication system. WUWNet (2016)
Xudong He, Yujian Fu
Modeling and Analyzing Security Patterns Using High Level Petri Nets. SEKE (2016)
Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae
A Term Rewriting Approach to Analyze High Level Petri Nets. TASE (2016)
Su Liu, Xudong He
PIPE+Verifier - A Tool for Analyzing High Level Petri Nets. SEKE (2015)
Karl A. Morris, Peter J. Clarke, Xudong He, Fábio M. Costa, Mengjun Allison
A Method for Validating Intent Model Behavior in DSVMs. HASE (2015)
Reng Zeng, Zhuo Sun, Su Liu, Xudong He
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. TACAS (2015)
Mark Allison, Peter J. Clarke, Xudong He
A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models. SCSE (2015)
Lily Chang, Xudong He
A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets. Int. J. Softw. Eng. Knowl. Eng. 25 (7) (2015)
Su Liu, Reng Zeng, Zhuo Sun, Xudong He
Bounded Model Checking High Level Petri Nets in PIPE+Verifier. ICFEM (2014)
Xudong He
A Comprehensive Survey of Petri Net Modeling in Software Engineering. Int. J. Softw. Eng. Knowl. Eng. 23 (5) (2013)
Lily Chang, Xudong He, Sol M. Shatz
A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets. Int. J. Softw. Eng. Knowl. Eng. 22 (7) (2012)
Su Liu, Reng Zeng, Zhuo Sun, Xudong He
SAMAT - A Tool for Software Architecture Modeling and Analysis. SEKE (2012)
Reng Zeng, Zhuo Sun, Su Liu, Xudong He
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. SPIN (2012)
Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert
SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems. SEKE (2011)
Su Liu, Reng Zeng, Xudong He
An Empirical Study on Classification of Non-Functional Requirements. SEKE (2011)
Lily Chang, Xudong He
A model transformation approach for verifying multi-agent systems using SPIN. SAC (2011)
Reng Zeng, Xudong He, Wil M. P. van der Aalst
A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. SERVICES (2011)
Su Liu, Reng Zeng, Xudong He
PIPE+ - A Modeling Tool for High Level Petri Nets. SEKE (2011)
Reng Zeng, Xudong He, Jiafei Li, Zheng Liu, Wil M. P. van der Aalst
A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining. TaPP (2011)
Reng Zeng, Xudong He
Analyzing a Formal Specification of Mondex Using Model Checking. ICTAC (2010)
Junhua Ding, Xudong He
Formal Specification and Analysis of an Agent-Based Medical Image Processing System. Int. J. Softw. Eng. Knowl. Eng. 20 (3) (2010)
Lily Chang, Xudong He
A Multi-Agent Model for a Business Continuity Information Network. SEKE (2010)
Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He
A methodology for evaluating test coverage criteria of high levelPetri nets. Inf. Softw. Technol. 51 (11) (2009)
Jiexin Lian, Sol M. Shatz, Xudong He
Flexible coordinator design for modeling resource sharing in multi-agent systems. J. Syst. Softw. 82 (10) (2009)
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li
Modular Analysis of Software Architecture Model. Software Engineering Research and Practice (2009)
Lily Chang, Xudong He
Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. SEKE (2009)
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC (2008)
Xudong He
A Formal Framework for Software System Modeling, Analysis and Realization. Software Engineering Research and Practice (2008)
Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. AST (2008)
Reng Zeng, Jianling Liu, Xudong He
A Formal Specification of Mondex Using SAM. SOSE (2008)
Junhua Ding, Lian Mo, Xudong He
An approach for specification construction using property-preserving refinement patterns. SAC (2008)
Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi
A Formal Approach for Translating a SAM Architecture to PROMELA. SEKE (2008)
Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
An Approach to Validating Translation Correctness From SAM to Java. SEKE (2007)
Jiexin Lian, Sol M. Shatz, Xudong He
Component Based Multi-Agent System Modeling and Analysis: A Case Study. Software Engineering Research and Practice (2007)
Dianxiang Xu, Xudong He
Generation of test requirements from aspectual use cases. WTAOP@AOSD (2007)
Yujian Fu, Zhijiang Dong, Xudong He
A Translator of Software Architecture Design from SAM to Java. Int. J. Softw. Eng. Knowl. Eng. 17 (6) (2007)
Yujian Fu, Zhijiang Dong, Xudong He
Formalizing and validating UML architecture description of web systems. ICWE Workshops (2006)
Zhijiang Dong, Yujian Fu, Xudong He
A Framework for Component-based System Modeling. SEKE (2006)
Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE (2006)
Ying Huang, Xudong He
A Method for Modeling Object-Oriented Systems with PZ nets. SEKE (2006)
Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng
A formal model-based approach for developing an interoperable mobile agent system. Multiagent Grid Syst. 2 (4) (2006)
Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He
Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE (2006)
Yujian Fu, Zhijiang Dong, Xudong He
Modeling, validating and automating composition of web services. ICWE (2006)
Yujian Fu, Zhijiang Dong, Xudong He
A Method for Realizing Software Architecture Design. QSIC (2006)
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE (2005)
Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He
Formally modeling and analyzing a secure mobile agent finder. SMC (2005)
Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao
Secure Software Architectures Design by Aspect Orientation. ICECCS (2005)
Huiqun Yu, Dongmei Liu, Li Yang, Xudong He
Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE (2005)
Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He
Automated Runtime Validation of Software Architecture Design. ICDCIT (2005)
Yujian Fu, Zhijiang Dong, Xudong He
An Approach to Validation of Software Architecture Model. APSEC (2005)
Xudong He
A Framework for Ensuring System Dependability from Design to Implementation. MSVVEIS (2005)
Yujian Fu, Zhijiang Dong, Xudong He
A Methodology of Automated Realization of a Software Architecture Design. SEKE (2005)
Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao
Modeling and analyzing security protocols in SAM: A case study. IASTED Conf. on Software Engineering and Applications (2004)

Xudong He.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xudong He