default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXudong He
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j45]Cheng Xu
, Xueji Liang, Yanqi Sun, Xudong He:
Fraudsters Beware: Unleashing the Power of Metaverse Technology to Uncover Financial Fraud. Int. J. Hum. Comput. Interact. 40(18): 4987-5002 (2024)- [c108]Songlin Yang, Jing Li, Kuanzhi Shi, Yu Chen, Yunlong Zhu, Xudong He, Jinlong Wu, Chenling Pan:
Spatial-Temporal Interaction Decoding Transformer for Unsupervised Multivariate Time Series Anomaly Detection. ICASSP 2024: 5440-5444 - [c107]Xudong He:
Designing Deep Neural Net Controller for Quadrotor Attitude Stabilization. QRS 2024: 407-417 - 2023
- [j44]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: 107171 (2023) - [j43]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): 2643-2655 (2023) - [c106]Xudong He:
An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics. QRS 2023: 638-649 - 2022
- [j42]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): 1181-1193 (2022) - [j41]Xudong He, Chengfang Zhang, Furong Dou, Ziliang Feng:
Human instance guided two-stream network for person reidentification. J. Electronic Imaging 31(5) (2022) - [c105]Mimi Wang, Xudong He, Peihai Zhao:
A Novel Estimate Fitness Method by Measuring A large number of Sub-event Logs Conformance. IEEE Big Data 2022: 431-436 - [c104]Xudong He:
Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning. QRS 2022: 775-784 - [c103]Xudong He:
Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. SEKE 2022: 559-563 - 2021
- [j40]Mimi Wang, Xudong He, Peihai Zhao:
Process Model Enhancement Through Capturing Important Behaviors and Rating Trace Variants. IEEE Access 9: 143634-143660 (2021) - [j39]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) - [c102]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: 128-134 - [c101]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: 144-150 - [c100]Xudong He:
Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. QRS Companion 2021: 1099-1108 - 2020
- [j38]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: 26623-26636 (2020) - [j37]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): 80-92 (2020) - [c99]Wenping Ji, Jian Wang, Xudong He, Jiqiang Liu:
Malware Analysis Method Based Random Access Memory in Android. ATIS 2020: 78-94 - [c98]Xudong He, Jian Wang, Jiqiang Liu, Zhen Han, Zhuo Lv, Wei Wang:
DNS Rebinding Detection for Local Internet of Things Devices. FCS 2020: 19-29 - [c97]Xudong He:
Modeling and Analyzing Smart Contracts using Predicate Transition Nets. QRS Companion 2020: 108-115
2010 – 2019
- 2019
- [j36]Chenkai Zhao, Xudong He, Jing Liang, Tiantian Wang, Changba Huang:
Radar HRRP Target Recognition via Semi-Supervised Multi-Task Deep Network. IEEE Access 7: 114788-114794 (2019) - [j35]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: 131050-131067 (2019) - [j34]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): 1726 (2019) - [j33]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): 161 (2019) - [c96]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: 302-304 - [c95]Chenkai Zhao, Jing Liang, Ge Zhang, Changba Huang, Xudong He:
Radar HRRP Target Recognition Based on Blind-Denoising Deep Network. GLOBECOM Workshops 2019: 1-5 - [c94]Jun Li, Junqiao Zhao, Yuchen Kang, Xudong He, Chen Ye, Lu Sun:
DL-SLAM: Direct 2.5D LiDAR SLAM for Autonomous Driving. IV 2019: 1205-1210 - [c93]Xudong He, Dewan Mohammad Moksedul Alam:
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. QRS 2019: 216-227 - [p1]Xudong He:
A Personal Journey in Petri Net Research. Carl Adam Petri: Ideas, Personality, Impact 2019: 111-115 - 2018
- [j32]Kuo Liao, Jinxiu Si, Fangqi Zhu, Xudong He:
Radar HRRP Target Recognition Based on Concatenated Deep Neural Networks. IEEE Access 6: 29211-29218 (2018) - [j31]Yujian Fu, Zhijiang Dong, Xudong He:
Formal Modeling and Analysis of Collaborative Humanoid Robotics. Int. J. Robotics Appl. Technol. 6(1): 34-54 (2018) - [c92]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: 1-6 - [c91]Yang Yu, Jian Wang, Jiqiang Liu, Lei Han, Xudong He, ShaoHua Lv:
Multi-Dimension Threat Situation Assessment Based on Network Security Attributes. ICCCN 2018: 1-2 - [c90]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: 417-422 - [c89]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: 1303-1309 - [c88]Lu Sun, Junqiao Zhao, Xudong He, Chen Ye:
DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. Intelligent Vehicles Symposium 2018: 1-5 - [c87]Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng:
Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. Intelligent Vehicles Symposium 2018: 636-641 - [c86]Zhuo Sun, Reng Zeng, Xudong He:
A Method for Predicting Two-Variable Atomicity Violations. QRS 2018: 103-110 - [c85]Xudong He:
Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. QRS Companion 2018: 469-476 - [c84]Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu:
Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). SEKE 2018: 397-396 - [c83]Xudong He, Zhijiang Dong, Yujian Fu:
A Systematic Approach for Developing Cyber Physical Systems. SEKE 2018: 456-455 - [i4]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 abs/1804.06210 (2018) - [i3]Xudong He, Junqiao Zhao, Lu Sun, Yewei Huang, Xinglian Zhang, Jun Li, Chen Ye:
Line-based Road Structure Mapping Using Multi-beam LiDAR. CoRR abs/1804.07028 (2018) - [i2]Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng:
Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. CoRR abs/1809.09929 (2018) - [i1]Lu Sun, Junqiao Zhao, Xudong He, Chen Ye:
DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. CoRR abs/1809.10199 (2018) - 2017
- [j30]Shi-Kuo Chang, Xudong He:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1359-1360 (2017) - [j29]Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu:
A Framework for Developing Cyber-Physical Systems. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1361-1386 (2017) - [j28]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): 1455-1482 (2017) - [c82]Xudong He:
Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets. QRS 2017: 232-239 - [c81]Dewan Mohammad Moksedul Alam, Xudong He:
A Method to Analyze High Level Petri Nets using SPIN Model Checker. SEKE 2017: 161-166 - [c80]Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu:
A Framework for Developing Cyber Physical Systems. SEKE 2017: 236-241 - [e1]Xudong He:
The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017. KSI Research Inc. and Knowledge Systems Institute Graduate School 2017, ISBN 1-891706-41-1 [contents] - 2016
- [c79]Xudong He, Yujian Fu:
Modeling and Analyzing Security Patterns Using High Level Petri Nets. SEKE 2016: 623-627 - [c78]Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae:
A Term Rewriting Approach to Analyze High Level Petri Nets. TASE 2016: 109-112 - [c77]Gangqiang Zhang, Xudong He, Junkai Liu:
A novel M-ary differential underwater acoustic direct sequence spread spectrum communication system. WUWNet 2016: 49 - 2015
- [j27]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): 1199- (2015) - [c76]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: 247-254 - [c75]Mark Allison, Peter J. Clarke, Xudong He:
A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models. SCSE 2015: 495-504 - [c74]Su Liu, Xudong He:
PIPE+Verifier - A Tool for Analyzing High Level Petri Nets. SEKE 2015: 575-580 - [c73]Reng Zeng, Zhuo Sun, Su Liu, Xudong He:
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. TACAS 2015: 116-130 - 2014
- [c72]Su Liu, Reng Zeng, Zhuo Sun, Xudong He:
Bounded Model Checking High Level Petri Nets in PIPE+Verifier. ICFEM 2014: 348-363 - 2013
- [j26]Xudong He:
A Comprehensive Survey of Petri Net Modeling in Software Engineering. Int. J. Softw. Eng. Knowl. Eng. 23(5): 589-626 (2013) - 2012
- [j25]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): 891-926 (2012) - [c71]Su Liu, Reng Zeng, Zhuo Sun, Xudong He:
SAMAT - A Tool for Software Architecture Modeling and Analysis. SEKE 2012: 352-358 - [c70]Reng Zeng, Zhuo Sun, Su Liu, Xudong He:
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. SPIN 2012: 191-207 - 2011
- [c69]Lily Chang, Xudong He:
A model transformation approach for verifying multi-agent systems using SPIN. SAC 2011: 37-42 - [c68]Su Liu, Reng Zeng, Xudong He:
PIPE+ - A Modeling Tool for High Level Petri Nets. SEKE 2011: 115-121 - [c67]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: 308-314 - [c66]Su Liu, Reng Zeng, Xudong He:
An Empirical Study on Classification of Non-Functional Requirements. SEKE 2011: 444-449 - [c65]Reng Zeng, Xudong He, Wil M. P. van der Aalst:
A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. SERVICES 2011: 169-175 - [c64]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 - 2010
- [j24]Junhua Ding, Xudong He:
Formal Specification and Analysis of an Agent-Based Medical Image Processing System. Int. J. Softw. Eng. Knowl. Eng. 20(3): 311-345 (2010) - [c63]Reng Zeng, Xudong He:
Analyzing a Formal Specification of Mondex Using Model Checking. ICTAC 2010: 214-229 - [c62]Lily Chang, Xudong He:
A Multi-Agent Model for a Business Continuity Information Network. SEKE 2010: 657-663
2000 – 2009
- 2009
- [j23]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): 1520-1533 (2009) - [j22]Jiexin Lian, Sol M. Shatz, Xudong He:
Flexible coordinator design for modeling resource sharing in multi-agent systems. J. Syst. Softw. 82(10): 1709-1729 (2009) - [c61]Lily Chang, Xudong He:
Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. SEKE 2009: 189-193 - [c60]Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li:
Modular Analysis of Software Architecture Model. Software Engineering Research and Practice 2009: 17-23 - 2008
- [c59]Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He:
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. AST 2008: 71-78 - [c58]Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He:
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC 2008: 376-381 - [c57]Junhua Ding, Lian Mo, Xudong He:
An approach for specification construction using property-preserving refinement patterns. SAC 2008: 797-803 - [c56]Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi:
A Formal Approach for Translating a SAM Architecture to PROMELA. SEKE 2008: 440-447 - [c55]Xudong He:
A Formal Framework for Software System Modeling, Analysis and Realization. Software Engineering Research and Practice 2008: 627-633 - [c54]Reng Zeng, Jianling Liu, Xudong He:
A Formal Specification of Mondex Using SAM. SOSE 2008: 97-102 - 2007
- [j21]Yujian Fu, Zhijiang Dong, Xudong He:
A Translator of Software Architecture Design from SAM to Java. Int. J. Softw. Eng. Knowl. Eng. 17(6): 709-755 (2007) - [c53]Dianxiang Xu, Xudong He:
Generation of test requirements from aspectual use cases. WTAOP@AOSD 2007: 17-22 - [c52]Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He:
An Approach to Validating Translation Correctness From SAM to Java. SEKE 2007: 45- - [c51]Jiexin Lian, Sol M. Shatz, Xudong He:
Component Based Multi-Agent System Modeling and Analysis: A Case Study. Software Engineering Research and Practice 2007: 183-189 - 2006
- [j20]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): 401-412 (2006) - [c50]Yujian Fu, Zhijiang Dong, Xudong He:
Formalizing and validating UML architecture description of web systems. ICWE Workshops 2006: 8 - [c49]Yujian Fu, Zhijiang Dong, Xudong He:
Modeling, validating and automating composition of web services. ICWE 2006: 217-224 - [c48]Yujian Fu, Zhijiang Dong, Xudong He:
A Method for Realizing Software Architecture Design. QSIC 2006: 57-64 - [c47]Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE 2006: 11-16 - [c46]Zhijiang Dong, Yujian Fu, Xudong He:
A Framework for Component-based System Modeling. SEKE 2006: 290-295 - [c45]Ying Huang, Xudong He:
A Method for Modeling Object-Oriented Systems with PZ nets. SEKE 2006: 456-462 - [c44]Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He:
Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE 2006: 463-468 - 2005
- [c43]Yujian Fu, Zhijiang Dong, Xudong He:
An Approach to Validation of Software Architecture Model. APSEC 2005: 375-384 - [c42]Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He:
Automated Runtime Validation of Software Architecture Design. ICDCIT 2005: 446-457 - [c41]Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao:
Secure Software Architectures Design by Aspect Orientation. ICECCS 2005: 47-55 - [c40]Huiqun Yu, Dongmei Liu, Li Yang, Xudong He:
Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE 2005: 169-174 - [c39]Yujian Fu, Zhijiang Dong, Xudong He:
A Methodology of Automated Realization of a Software Architecture Design. SEKE 2005: 412-417 - [c38]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: 560-565 - [c37]Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He:
Formally modeling and analyzing a secure mobile agent finder. SMC 2005: 47-52 - [c36]Xudong He:
A Framework for Ensuring System Dependability from Design to Implementation. MSVVEIS 2005 - 2004
- [j19]Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai:
Constraint Propagation And Progressive Verification For Component-Based Process Model. Int. J. Softw. Eng. Knowl. Eng. 14(5): 471-496 (2004) - [j18]Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng:
Formally analyzing software architectural specifications using SAM . J. Syst. Softw. 71(1-2): 11-29 (2004) - [c35]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290 - [c34]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: 115-121 - [c33]Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra M. L. Cooper:
Applying Aspect-Orientation in Designing Security Systems: A Case Study. SEKE 2004: 360-365 - [c32]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420 - 2003
- [j17]Xudong He, William C. Chu, Hongji Yang:
A new approach to verify rule-based systems using petri net. Inf. Softw. Technol. 45(10): 663-669 (2003) - [c31]Tianjun Shi, Xudong He:
A Methodology for Dependability and Performability Analysis in SAM. DSN 2003: 679-688 - [c30]Hassan Reza, Xudong He:
Pattern-Based Software Architecture: A Case Study. ITCC 2003: 592-597 - [c29]Zhijiang Dong, Yujian Fu, Xudong He:
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. SEKE 2003: 150-157 - [c28]Hassan Reza, Xudong He:
An Integrated Method to Software Architecture. SEKE 2003: 398-405 - [c27]Huiqun Yu, Xudong He, Shu Gao, Yi Deng:
Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457 - 2002
- [j16]Xudong He, Yi Deng:
A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002) - [j15]Hong Zhu, Xudong He:
A methodology of testing high-level Petri nets. Inf. Softw. Technol. 44(8): 473-489 (2002) - [c26]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652 - [c25]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286 - [c24]Huiqun Yu, Xudong He, Shu Gao, Yi Deng:
Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139 - [c23]Xudong He, Junhua Ding, Yi Deng:
Model checking software architecture specifications in SAM. SEKE 2002: 271-278 - [c22]Tianjun Shi, Xudong He:
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. WICSA 2002: 63-77 - 2001
- [j14]Xudong He:
PZ nets a formal method integrating Petri nets with Z. Inf. Softw. Technol. 43(1): 1-18 (2001) - [c21]Xudong He:
Formalizing UML Semantics. COMPSAC 2001: 277-277 - [c20]Hong Zhu, Xudong He:
An Observational Theory of Integration Testing for Component-Based Software Development. COMPSAC 2001: 363- - [c19]Xudong He, Yingjia Ding:
Object Orientation in Hierarchical Predicate Transition Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 196-215 - [c18]Zhijiang Dong, Xudong He:
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. pUML 2001: 99-112 - 2000
- [j13]Xudong He, Yi Deng:
Specifying Software Architectural Connectors in SAM. Int. J. Softw. Eng. Knowl. Eng. 10(4): 411-431 (2000) - [j12]Xudong He:
Translating hierarchical predicate transition nets to CC++ programs. Inf. Softw. Technol. 42(7): 475-488 (2000) - [j11]William C. Chu, Chih-Wei Lu, Chih-Peng Shiu, Xudong He:
Pattern-based software reengineering: a case study. J. Softw. Maintenance Res. Pract. 12(2): 121-141 (2000) - [j10]William C. Chu, Chih-Wei Lu, Hongji Yang, Xudong He:
A formal approach for component retrieval and integration analysis. J. Softw. Maintenance Res. Pract. 12(6): 325-342 (2000) - [c17]Xudong He:
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. COMPSAC 2000: 217-222 - [c16]Hong Zhu, Xudong He:
Constructions of behaviour observation schemes in software testing. HASE 2000: 7-16
1990 – 1999
- 1999
- [j9]Jiacun Wang, Xudong He, Yi Deng:
Introducing software architecture specification and analysis in SAM through an example. Inf. Softw. Technol. 41(7): 451-467 (1999) - [c15]William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He:
Pattern Based Software Re-engineering: A Case Study. APSEC 1999: 300-308 - [c14]Shikun Zhou, Hongji Yang, Paul Luker, Xudong He:
A Useful Approach to Developing Reverse Engineering Metrics. COMPSAC 1999: 320-321 - [c13]Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang:
A New Approach to Verify Rule-Based Systems Using Petri Nets. COMPSAC 1999: 462-467 - [c12]William C. Chu, C. P. Hsu, Chih-Wei Lu, Xudong He:
A Semi-Formal Approach to Assist Software Design with Reuse. ICSM 1999: 256-264 - 1998
- [c11]Xudong He:
Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. COMPSAC 1998: 164-171 - 1997
- [j8]Weili Yao, Xudong He:
Mapping Petri nets to concurrent programs in CC++. Inf. Softw. Technol. 39(7): 485-495 (1997) - [j7]Weili Yao, William Perrizo, Xudong He:
An Improved Algorithm for Concurrency Control in Distributed Database Systems. Inf. Sci. 103(1-4): 23-36 (1997) - [c10]Xudong He, Weili Yao:
Translating hierarchical predicate transition nets to CC++ program skeletons. COMPSAC 1997: 60-65 - 1996
- [j6]Chieh-ying Kan, Xudong He:
A Method for Constructing Algebraic Petri Nets. J. Syst. Softw. 35(1): 15-27 (1996) - [c9]Xudong He:
A Formal Definition of Hierarchical Predicate Transition Nets. Application and Theory of Petri Nets 1996: 212-229 - [c8]Weili Yao, Xudong He:
Mapping Petri Nets to Parallel Programs in CC++. COMPSAC 1996: 70-75 - 1995
- [j5]Chieh-ying Kan, Xudong He:
High-level algebraic Petri nets. Inf. Softw. Technol. 37(1): 23-30 (1995) - [j4]Chieh-ying Kan, Xudong He:
Deriving algebraic Petri net specifications from structured analysis - a case study. Inf. Softw. Technol. 37(8): 411-434 (1995) - [c7]Xudong He:
A method for analyzing properties of hierarchical predicate transition nets. COMPSAC 1995: 50-55 - [c6]Xudong He:
PZ Nets- A Formal Method Integrating Petri Nets with Z. SEKE 1995: 173-180 - 1994
- [c5]Chieh-ying Kan, Xudong He:
Algebraic Petri Nets and Their Applications. ACM Conference on Computer Science 1994: 396-403 - 1992
- [c4]Xudong He, C.-H. Yang:
Structured analysis using hierarchical predicate transition nets. COMPSAC 1992: 212-217 - [c3]Xudong He, Yingjia Ding:
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. IFIP Congress (1) 1992: 127-133 - 1991
- [j3]Xudong He, John A. N. Lee:
A Methodology for Constructing Predicate Transition Net Specifications. Softw. Pract. Exp. 21(8): 845-875 (1991) - 1990
- [j2]Xudong He, John A. N. Lee:
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. Formal Aspects Comput. 2(3): 226-246 (1990) - [j1]John A. N. Lee, Xudong He:
A methodology for test selection. J. Syst. Softw. 13(3): 177-185 (1990) - [c2]Xudong He:
Temporal predicate transition nets and their applications. COMPSAC 1990: 261-266
1980 – 1989
- 1989
- [b1]Xudong He:
Integrating formal specification and verification methods in software development. Virginia Tech, Blacksburg, VA, USA, 1989 - [c1]Xudong He, John A. N. Lee:
Deriving Temporal Logic Specifications from Predicate Transition Petri Net. SEKE 1989: 116-121
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-30 01:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
