default search action
BibTeX records: Xudong He
@inproceedings{DBLP:conf/icassp/YangLSCZHWP24, author = {Songlin Yang and Jing Li and Kuanzhi Shi and Yu Chen and Yunlong Zhu and Xudong He and Jinlong Wu and Chenling Pan}, title = {Spatial-Temporal Interaction Decoding Transformer for Unsupervised Multivariate Time Series Anomaly Detection}, booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing, {ICASSP} 2024, Seoul, Republic of Korea, April 14-19, 2024}, pages = {5440--5444}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ICASSP48485.2024.10448347}, doi = {10.1109/ICASSP48485.2024.10448347}, timestamp = {Mon, 05 Aug 2024 15:26:37 +0200}, biburl = {https://dblp.org/rec/conf/icassp/YangLSCZHWP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/QianLHGSL23, author = {Lifeng Qian and Jing Li and Xudong He and Rongbin Gu and Jiawei Shao and Yuqi Lu}, title = {Microservice extraction using graph deep clustering based on dual view fusion}, journal = {Inf. Softw. Technol.}, volume = {158}, pages = {107171}, year = {2023}, url = {https://doi.org/10.1016/j.infsof.2023.107171}, doi = {10.1016/J.INFSOF.2023.107171}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/QianLHGSL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tits/HeWLDHWNW23, author = {Xudong He and Jian Wang and Jiqiang Liu and Weiping Ding and Zhen Han and Bin Wang and Jamel Nebhen and Wei Wang}, title = {{DNS} Rebinding Threat Modeling and Security Analysis for Local Area Network of Maritime Transportation Systems}, journal = {{IEEE} Trans. Intell. Transp. Syst.}, volume = {24}, number = {2}, pages = {2643--2655}, year = {2023}, url = {https://doi.org/10.1109/TITS.2021.3135197}, doi = {10.1109/TITS.2021.3135197}, timestamp = {Wed, 08 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tits/HeWLDHWNW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/He23, author = {Xudong He}, title = {An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics}, booktitle = {23rd {IEEE} International Conference on Software Quality, Reliability, and Security, {QRS} 2023, Chiang Mai, Thailand, October 22-26, 2023}, pages = {638--649}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/QRS60937.2023.00068}, doi = {10.1109/QRS60937.2023.00068}, timestamp = {Tue, 23 Jan 2024 09:45:31 +0100}, biburl = {https://dblp.org/rec/conf/qrs/He23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iet-ipr/HouHDZGF22, author = {Mingzheng Hou and Xudong He and Furong Dou and Xin Zhang and ZhaoKang Guo and Ziliang Feng}, title = {Semi-supervised image super-resolution with attention CycleGAN}, journal = {{IET} Image Process.}, volume = {16}, number = {4}, pages = {1181--1193}, year = {2022}, url = {https://doi.org/10.1049/ipr2.12401}, doi = {10.1049/IPR2.12401}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iet-ipr/HouHDZGF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bigdataconf/WangHZ22, author = {Mimi Wang and Xudong He and Peihai Zhao}, editor = {Shusaku Tsumoto and Yukio Ohsawa and Lei Chen and Dirk Van den Poel and Xiaohua Hu and Yoichi Motomura and Takuya Takagi and Lingfei Wu and Ying Xie and Akihiro Abe and Vijay Raghavan}, title = {A Novel Estimate Fitness Method by Measuring {A} large number of Sub-event Logs Conformance}, booktitle = {{IEEE} International Conference on Big Data, Big Data 2022, Osaka, Japan, December 17-20, 2022}, pages = {431--436}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/BigData55660.2022.10020930}, doi = {10.1109/BIGDATA55660.2022.10020930}, timestamp = {Tue, 11 Jun 2024 10:44:02 +0200}, biburl = {https://dblp.org/rec/conf/bigdataconf/WangHZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/He22, author = {Xudong He}, title = {Building Safe and Stable {DNN} Controllers using Deep Reinforcement Learning and Deep Imitation Learning}, booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022}, pages = {775--784}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/QRS57517.2022.00083}, doi = {10.1109/QRS57517.2022.00083}, timestamp = {Tue, 28 Mar 2023 19:49:47 +0200}, biburl = {https://dblp.org/rec/conf/qrs/He22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/He22, author = {Xudong He}, editor = {Rong Peng and Carlos Eduardo Pantoja and Pankaj Kamthan}, title = {Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets}, booktitle = {The 34th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2022}, pages = {559--563}, publisher = {{KSI} Research Inc.}, year = {2022}, url = {https://doi.org/10.18293/SEKE2022-010}, doi = {10.18293/SEKE2022-010}, timestamp = {Wed, 21 Sep 2022 17:47:56 +0200}, biburl = {https://dblp.org/rec/conf/seke/He22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/WangHZ21, author = {Mimi Wang and Xudong He and Peihai Zhao}, title = {Process Model Enhancement Through Capturing Important Behaviors and Rating Trace Variants}, journal = {{IEEE} Access}, volume = {9}, pages = {143634--143660}, year = {2021}, url = {https://doi.org/10.1109/ACCESS.2021.3121997}, doi = {10.1109/ACCESS.2021.3121997}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/WangHZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jwe/HuiHFWE21, author = {Liu Hui and Xudong He and Gao Fan and Kailun Wang and Yuan Enze}, title = {Web Service Access Control Based on Browser Fingerprint Detection}, journal = {J. Web Eng.}, volume = {20}, number = {5}, year = {2021}, url = {https://doi.org/10.13052/jwe1540-9589.20512}, doi = {10.13052/JWE1540-9589.20512}, timestamp = {Sat, 25 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jwe/HuiHFWE21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icbta/LiuLWLH21, author = {Yufei Liu and Jiqiang Liu and Jian Wang and Tianhao Liu and Xudong He}, title = {{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}, booktitle = {{ICBTA} 2021: 4th International Conference on Blockchain Technology and Applications, Xi'an, China, December 17 - 19, 2021}, pages = {128--134}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3510487.3510506}, doi = {10.1145/3510487.3510506}, timestamp = {Mon, 07 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icbta/LiuLWLH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icbta/LiuLWZLH21, author = {Tianhao Liu and Jiqiang Liu and Jian Wang and Di Zhai and Yufei Liu and Xudong He}, title = {Anonymous Storage and Verification Model of IIoT Based on Blockchain: Anonymous storage and verification model of IIoT production status based on blockchain}, booktitle = {{ICBTA} 2021: 4th International Conference on Blockchain Technology and Applications, Xi'an, China, December 17 - 19, 2021}, pages = {144--150}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3510487.3510508}, doi = {10.1145/3510487.3510508}, timestamp = {Mon, 07 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icbta/LiuLWZLH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/He21, author = {Xudong He}, title = {Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets}, booktitle = {21st {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2021 - Companion, Hainan, China, December 6-10, 2021}, pages = {1099--1108}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/QRS-C55045.2021.00164}, doi = {10.1109/QRS-C55045.2021.00164}, timestamp = {Tue, 12 Apr 2022 17:57:49 +0200}, biburl = {https://dblp.org/rec/conf/qrs/He21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/HeLCHWM20, author = {Xudong He and Qin Liu and Shuang Chen and Chin{-}Tser Huang and Dejun Wang and Bo Meng}, title = {Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied {PI} Calculus}, journal = {{IEEE} Access}, volume = {8}, pages = {26623--26636}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.2971615}, doi = {10.1109/ACCESS.2020.2971615}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/HeLCHWM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijnsec/LuHYWM20, author = {Jintian Lu and Xudong He and Yitong Yang and Dejun Wang and Bo Meng}, title = {Automatic Verification of Security of Identity Federation Security Protocol Based on {SAML2.0} with ProVerif in the Symbolic Model}, journal = {Int. J. Netw. Secur.}, volume = {22}, number = {1}, pages = {80--92}, year = {2020}, url = {http://ijns.jalaxy.com.tw/contents/ijns-v22-n1/ijns-2020-v22-n1-p80-92.pdf}, timestamp = {Mon, 04 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijnsec/LuHYWM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atis/JiWHL20, author = {Wenping Ji and Jian Wang and Xudong He and Jiqiang Liu}, editor = {Lejla Batina and Gang Li}, title = {Malware Analysis Method Based Random Access Memory in Android}, booktitle = {Applications and Techniques in Information Security - 11th International Conference, {ATIS} 2020, Brisbane, QLD, Australia, November 12-13, 2020, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1338}, pages = {78--94}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-981-33-4706-9\_6}, doi = {10.1007/978-981-33-4706-9\_6}, timestamp = {Thu, 20 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atis/JiWHL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fcs2/HeWLHL020, author = {Xudong He and Jian Wang and Jiqiang Liu and Zhen Han and Zhuo Lv and Wei Wang}, editor = {Guangquan Xu and Kaitai Liang and Chunhua Su}, title = {{DNS} Rebinding Detection for Local Internet of Things Devices}, booktitle = {Frontiers in Cyber Security - Third International Conference, {FCS} 2020, Tianjin, China, November 15-17, 2020, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1286}, pages = {19--29}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-981-15-9739-8\_2}, doi = {10.1007/978-981-15-9739-8\_2}, timestamp = {Tue, 13 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fcs2/HeWLHL020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/He20, author = {Xudong He}, title = {Modeling and Analyzing Smart Contracts using Predicate Transition Nets}, booktitle = {20th {IEEE} International Conference on Software Quality, Reliability and Security Companion, {QRS} Companion 2020, Macau, China, December 11-14, 2020}, pages = {108--115}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/QRS-C51114.2020.00029}, doi = {10.1109/QRS-C51114.2020.00029}, timestamp = {Tue, 26 Jan 2021 17:41:14 +0100}, biburl = {https://dblp.org/rec/conf/qrs/He20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ZhaoHLWH19, author = {Chenkai Zhao and Xudong He and Jing Liang and Tiantian Wang and Changba Huang}, title = {Radar {HRRP} Target Recognition via Semi-Supervised Multi-Task Deep Network}, journal = {{IEEE} Access}, volume = {7}, pages = {114788--114794}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2933866}, doi = {10.1109/ACCESS.2019.2933866}, timestamp = {Thu, 05 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/ZhaoHLWH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/HeLHWM19, author = {Xudong He and Jiabing Liu and Chin{-}Tser Huang and Dejun Wang and Bo Meng}, title = {A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology}, journal = {{IEEE} Access}, volume = {7}, pages = {131050--131067}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2940512}, doi = {10.1109/ACCESS.2019.2940512}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/HeLHWM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/remotesensing/ZhaoHLFYX19, author = {Junqiao Zhao and Xudong He and Jun Li and Tiantian Feng and Chen Ye and Lu Xiong}, title = {Automatic Vector-Based Road Structure Mapping Using Multibeam LiDAR}, journal = {Remote. Sens.}, volume = {11}, number = {14}, pages = {1726}, year = {2019}, url = {https://doi.org/10.3390/rs11141726}, doi = {10.3390/RS11141726}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/remotesensing/ZhaoHLFYX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/ZhaoHHZYFX19, author = {Junqiao Zhao and Yewei Huang and Xudong He and Shaoming Zhang and Chen Ye and Tiantian Feng and Lu Xiong}, title = {Visual Semantic Landmark-Based Robust Mapping and Localization for Autonomous Indoor Parking}, journal = {Sensors}, volume = {19}, number = {1}, pages = {161}, year = {2019}, url = {https://doi.org/10.3390/s19010161}, doi = {10.3390/S19010161}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/ZhaoHHZYFX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bigmm/HuangYZHWZWHHZG19, author = {Jiong Huang and Yifang Yin and Roger Zimmermann and Sheng Hu and Yun Wang and Chunhong Zhao and Guanfeng Wang and Xudong He and Xiaocheng Huang and Shaolin Zheng and Tom Galloway}, title = {GrabView: {A} Scalable Street View System for Images Taken from Different Devices}, booktitle = {Fifth {IEEE} International Conference on Multimedia Big Data, BigMM 2019, Singapore, September 11-13, 2019}, pages = {302--304}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/BigMM.2019.000-6}, doi = {10.1109/BIGMM.2019.000-6}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bigmm/HuangYZHWZWHHZG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/Zhao0ZHH19, author = {Chenkai Zhao and Jing Liang and Ge Zhang and Changba Huang and Xudong He}, title = {Radar {HRRP} Target Recognition Based on Blind-Denoising Deep Network}, booktitle = {2019 {IEEE} Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019}, pages = {1--5}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/GCWkshps45667.2019.9024602}, doi = {10.1109/GCWKSHPS45667.2019.9024602}, timestamp = {Thu, 12 Mar 2020 12:42:23 +0100}, biburl = {https://dblp.org/rec/conf/globecom/Zhao0ZHH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ivs/LiZKHYS19, author = {Jun Li and Junqiao Zhao and Yuchen Kang and Xudong He and Chen Ye and Lu Sun}, title = {{DL-SLAM:} Direct 2.5D LiDAR {SLAM} for Autonomous Driving}, booktitle = {2019 {IEEE} Intelligent Vehicles Symposium, {IV} 2019, Paris, France, June 9-12, 2019}, pages = {1205--1210}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IVS.2019.8813868}, doi = {10.1109/IVS.2019.8813868}, timestamp = {Tue, 06 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ivs/LiZKHYS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/HeA19, author = {Xudong He and Dewan Mohammad Moksedul Alam}, title = {Hybrid Predicate Transition Nets - {A} Formal Method for Modeling and Analyzing Cyber-Physical Systems}, booktitle = {19th {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2019, Sofia, Bulgaria, July 22-26, 2019}, pages = {216--227}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/QRS.2019.00038}, doi = {10.1109/QRS.2019.00038}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/qrs/HeA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/19/He19, author = {Xudong He}, editor = {Wolfgang Reisig and Grzegorz Rozenberg}, title = {A Personal Journey in Petri Net Research}, booktitle = {Carl Adam Petri: Ideas, Personality, Impact}, pages = {111--115}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-319-96154-5\_15}, doi = {10.1007/978-3-319-96154-5\_15}, timestamp = {Tue, 04 Jun 2019 13:10:01 +0200}, biburl = {https://dblp.org/rec/books/sp/19/He19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/LiaoSZH18, author = {Kuo Liao and Jinxiu Si and Fangqi Zhu and Xudong He}, title = {Radar {HRRP} Target Recognition Based on Concatenated Deep Neural Networks}, journal = {{IEEE} Access}, volume = {6}, pages = {29211--29218}, year = {2018}, url = {https://doi.org/10.1109/ACCESS.2018.2842687}, doi = {10.1109/ACCESS.2018.2842687}, timestamp = {Tue, 10 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/LiaoSZH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijrat/FuDH18, author = {Yujian Fu and Zhijiang Dong and Xudong He}, title = {Formal Modeling and Analysis of Collaborative Humanoid Robotics}, journal = {Int. J. Robotics Appl. Technol.}, volume = {6}, number = {1}, pages = {34--54}, year = {2018}, url = {https://doi.org/10.4018/IJRAT.2018010103}, doi = {10.4018/IJRAT.2018010103}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijrat/FuDH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icccn/HeWLHYL18, author = {Xudong He and Jian Wang and Jiqiang Liu and Lei Han and Yang Yu and ShaoHua Lv}, title = {Hierarchical Filtering Method of Alerts Based on Multi-Source Information Correlation Analysis}, booktitle = {27th International Conference on Computer Communication and Networks, {ICCCN} 2018, Hangzhou, China, July 30 - August 2, 2018}, pages = {1--6}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICCCN.2018.8487469}, doi = {10.1109/ICCCN.2018.8487469}, timestamp = {Thu, 20 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icccn/HeWLHYL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icccn/YuWLHHL18, author = {Yang Yu and Jian Wang and Jiqiang Liu and Lei Han and Xudong He and ShaoHua Lv}, title = {Multi-Dimension Threat Situation Assessment Based on Network Security Attributes}, booktitle = {27th International Conference on Computer Communication and Networks, {ICCCN} 2018, Hangzhou, China, July 30 - August 2, 2018}, pages = {1--2}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICCCN.2018.8487387}, doi = {10.1109/ICCCN.2018.8487387}, timestamp = {Thu, 20 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icccn/YuWLHHL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/HeZSHZLY18, author = {Xudong He and Junqiao Zhao and Lu Sun and Yewei Huang and Xinglian Zhang and Jun Li and Chen Ye}, editor = {Wei{-}Bin Zhang and Alexandre M. Bayen and Javier J. S{\'{a}}nchez Medina and Matthew J. Barth}, title = {Automatic Vector-based Road Structure Mapping Using Multi-beam LiDAR}, booktitle = {21st International Conference on Intelligent Transportation Systems, {ITSC} 2018, Maui, HI, USA, November 4-7, 2018}, pages = {417--422}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ITSC.2018.8569894}, doi = {10.1109/ITSC.2018.8569894}, timestamp = {Tue, 06 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itsc/HeZSHZLY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/ZhaoYWGCSYHLDZW18, author = {Junqiao Zhao and Chen Ye and Yan Wu and Linting Guan and Lewen Cai and Lu Sun and Tao Yang and Xudong He and Jun Li and Yongchao Ding and Xinglian Zhang and Xinchen Wang and Jinlin Huang and Enwei Zhang and Yewei Huang and Wei Jiang and Shaoming Zhang and Lu Xiong and Tiantian Feng}, editor = {Wei{-}Bin Zhang and Alexandre M. Bayen and Javier J. S{\'{a}}nchez Medina and Matthew J. Barth}, title = {TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China}, booktitle = {21st International Conference on Intelligent Transportation Systems, {ITSC} 2018, Maui, HI, USA, November 4-7, 2018}, pages = {1303--1309}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ITSC.2018.8569629}, doi = {10.1109/ITSC.2018.8569629}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itsc/ZhaoYWGCSYHLDZW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ivs/SunZHY18, author = {Lu Sun and Junqiao Zhao and Xudong He and Chen Ye}, title = {{DLO:} Direct LiDAR Odometry for 2.5D Outdoor Environment}, booktitle = {2018 {IEEE} Intelligent Vehicles Symposium, {IV} 2018, Changshu, Suzhou, China, June 26-30, 2018}, pages = {1--5}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IVS.2018.8500639}, doi = {10.1109/IVS.2018.8500639}, timestamp = {Tue, 06 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ivs/SunZHY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ivs/HuangZHZF18, author = {Yewei Huang and Junqiao Zhao and Xudong He and Shaoming Zhang and Tiantian Feng}, title = {Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking}, booktitle = {2018 {IEEE} Intelligent Vehicles Symposium, {IV} 2018, Changshu, Suzhou, China, June 26-30, 2018}, pages = {636--641}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IVS.2018.8500516}, doi = {10.1109/IVS.2018.8500516}, timestamp = {Thu, 25 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ivs/HuangZHZF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/SunZH18, author = {Zhuo Sun and Reng Zeng and Xudong He}, title = {A Method for Predicting Two-Variable Atomicity Violations}, booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018}, pages = {103--110}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/QRS.2018.00024}, doi = {10.1109/QRS.2018.00024}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/qrs/SunZH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/He18, author = {Xudong He}, title = {Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets}, booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability and Security Companion, {QRS} Companion 2018, Lisbon, Portugal, July 16-20, 2018}, pages = {469--476}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/QRS-C.2018.00086}, doi = {10.1109/QRS-C.2018.00086}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/qrs/He18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/AlamHC18, author = {Dewan Mohammad Moksedul Alam and Xudong He and William C. Chu}, editor = {{\'{O}}scar Mort{\'{a}}gua Pereira}, title = {Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets {(S)}}, booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018}, pages = {397--396}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2018}, url = {https://doi.org/10.18293/SEKE2018-158}, doi = {10.18293/SEKE2018-158}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/AlamHC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HeDF18, author = {Xudong He and Zhijiang Dong and Yujian Fu}, editor = {{\'{O}}scar Mort{\'{a}}gua Pereira}, title = {A Systematic Approach for Developing Cyber Physical Systems}, booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018}, pages = {456--455}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2018}, url = {https://doi.org/10.18293/SEKE2018-004}, doi = {10.18293/SEKE2018-004}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/HeDF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-06210, author = {Junqiao Zhao and Chen Ye and Yan Wu and Linting Guan and Lewen Cai and Lu Sun and Tao Yang and Xudong He and Jun Li and Yongchao Ding and Xinglian Zhang and Xinchen Wang and Jinlin Huang and Enwei Zhang and Yewei Huang and Wei Jiang and Shaoming Zhang and Lu Xiong and Tiantian Feng}, title = {TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China}, journal = {CoRR}, volume = {abs/1804.06210}, year = {2018}, url = {http://arxiv.org/abs/1804.06210}, eprinttype = {arXiv}, eprint = {1804.06210}, timestamp = {Tue, 06 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-06210.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-07028, author = {Xudong He and Junqiao Zhao and Lu Sun and Yewei Huang and Xinglian Zhang and Jun Li and Chen Ye}, title = {Line-based Road Structure Mapping Using Multi-beam LiDAR}, journal = {CoRR}, volume = {abs/1804.07028}, year = {2018}, url = {http://arxiv.org/abs/1804.07028}, eprinttype = {arXiv}, eprint = {1804.07028}, timestamp = {Tue, 06 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-07028.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-09929, author = {Yewei Huang and Junqiao Zhao and Xudong He and Shaoming Zhang and Tiantian Feng}, title = {Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking}, journal = {CoRR}, volume = {abs/1809.09929}, year = {2018}, url = {http://arxiv.org/abs/1809.09929}, eprinttype = {arXiv}, eprint = {1809.09929}, timestamp = {Fri, 05 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-09929.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-10199, author = {Lu Sun and Junqiao Zhao and Xudong He and Chen Ye}, title = {{DLO:} Direct LiDAR Odometry for 2.5D Outdoor Environment}, journal = {CoRR}, volume = {abs/1809.10199}, year = {2018}, url = {http://arxiv.org/abs/1809.10199}, eprinttype = {arXiv}, eprint = {1809.10199}, timestamp = {Tue, 06 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-10199.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/ChangH17, author = {Shi{-}Kuo Chang and Xudong He}, title = {Guest Editors' Introduction}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {27}, number = {9-10}, pages = {1359--1360}, year = {2017}, url = {https://doi.org/10.1142/S0218194017020016}, doi = {10.1142/S0218194017020016}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/ChangH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/HeDYF17, author = {Xudong He and Zhijiang Dong and Heng Yin and Yujian Fu}, title = {A Framework for Developing Cyber-Physical Systems}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {27}, number = {9-10}, pages = {1361--1386}, year = {2017}, url = {https://doi.org/10.1142/S0218194017400010}, doi = {10.1142/S0218194017400010}, timestamp = {Sat, 17 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijseke/HeDYF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/AlamH17, author = {Dewan Mohammad Moksedul Alam and Xudong He}, title = {A Method to Analyze Predicate Transition Nets Using {SPIN} Model Checker}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {27}, number = {9-10}, pages = {1455--1482}, year = {2017}, url = {https://doi.org/10.1142/S021819401740006X}, doi = {10.1142/S021819401740006X}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/AlamH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/He17, author = {Xudong He}, title = {Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets}, booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2017, Prague, Czech Republic, July 25-29, 2017}, pages = {232--239}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/QRS.2017.34}, doi = {10.1109/QRS.2017.34}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/qrs/He17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/AlamH17, author = {Dewan Mohammad Moksedul Alam and Xudong He}, editor = {Xudong He}, title = {A Method to Analyze High Level Petri Nets using {SPIN} Model Checker}, booktitle = {The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017}, pages = {161--166}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2017}, url = {https://doi.org/10.18293/SEKE2017-162}, doi = {10.18293/SEKE2017-162}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/AlamH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HeDYF17, author = {Xudong He and Zhijiang Dong and Heng Yin and Yujian Fu}, editor = {Xudong He}, title = {A Framework for Developing Cyber Physical Systems}, booktitle = {The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017}, pages = {236--241}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2017}, url = {https://doi.org/10.18293/SEKE2017-095}, doi = {10.18293/SEKE2017-095}, timestamp = {Sat, 17 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/HeDYF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/seke/2017, editor = {Xudong He}, title = {The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2017}, url = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2017\_Proceedings.pdf}, isbn = {1-891706-41-1}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HeF16, author = {Xudong He and Yujian Fu}, editor = {Jerry Gou}, title = {Modeling and Analyzing Security Patterns Using High Level Petri Nets}, booktitle = {The 28th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2016, Redwood City, San Francisco Bay, USA, July 1-3, 2016}, pages = {623--627}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2016}, url = {https://doi.org/10.18293/SEKE2016-010}, doi = {10.18293/SEKE2016-010}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/HeF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/HeZLSB16, author = {Xudong He and Reng Zeng and Su Liu and Zhuo Sun and Kyungmin Bae}, title = {A Term Rewriting Approach to Analyze High Level Petri Nets}, booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2016, Shanghai, China, July 17-19, 2016}, pages = {109--112}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/TASE.2016.11}, doi = {10.1109/TASE.2016.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/HeZLSB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wuwnet/ZhangHL16, author = {Gangqiang Zhang and Xudong He and Junkai Liu}, editor = {Payman Arabshahi and Dajun Sun and Wen Xu}, title = {A novel M-ary differential underwater acoustic direct sequence spread spectrum communication system}, booktitle = {Proceedings of the 11th {ACM} International Conference on Underwater Networks {\&} Systems, WUWNet 2016, Shanghai, China, October 24 - 26, 2016}, pages = {49}, publisher = {{ACM}}, year = {2016}, url = {http://dl.acm.org/citation.cfm?id=3001074}, timestamp = {Tue, 06 Nov 2018 11:06:43 +0100}, biburl = {https://dblp.org/rec/conf/wuwnet/ZhangHL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/ChangH15, author = {Lily Chang and Xudong He}, title = {A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {25}, number = {7}, pages = {1199}, year = {2015}, url = {https://doi.org/10.1142/S0218194015500230}, doi = {10.1142/S0218194015500230}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/ChangH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/MorrisCHCA15, author = {Karl A. Morris and Peter J. Clarke and Xudong He and F{\'{a}}bio M. Costa and Mengjun Allison}, title = {A Method for Validating Intent Model Behavior in DSVMs}, booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015}, pages = {247--254}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/HASE.2015.43}, doi = {10.1109/HASE.2015.43}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/MorrisCHCA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scse/AllisonCH15, author = {Mark Allison and Peter J. Clarke and Xudong He}, title = {A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models}, booktitle = {Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, SCSE'15, Berkeley, CA, USA, March 5-6, 2015}, series = {Procedia Computer Science}, volume = {62}, pages = {495--504}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.procs.2015.08.521}, doi = {10.1016/J.PROCS.2015.08.521}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scse/AllisonCH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LiuH15, author = {Su Liu and Xudong He}, editor = {Haiping Xu}, title = {PIPE+Verifier - {A} Tool for Analyzing High Level Petri Nets}, booktitle = {The 27th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2015, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 6-8, 2015}, pages = {575--580}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2015}, url = {https://doi.org/10.18293/SEKE2015-60}, doi = {10.18293/SEKE2015-60}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/LiuH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ZengSLH15, author = {Reng Zeng and Zhuo Sun and Su Liu and Xudong He}, editor = {Christel Baier and Cesare Tinelli}, title = {A Method for Improving the Precision and Coverage of Atomicity Violation Predictions}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {116--130}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_8}, doi = {10.1007/978-3-662-46681-0\_8}, timestamp = {Sat, 30 Sep 2023 09:57:43 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ZengSLH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/LiuZSH14, author = {Su Liu and Reng Zeng and Zhuo Sun and Xudong He}, editor = {Stephan Merz and Jun Pang}, title = {Bounded Model Checking High Level Petri Nets in PIPE+Verifier}, booktitle = {Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8829}, pages = {348--363}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11737-9\_23}, doi = {10.1007/978-3-319-11737-9\_23}, timestamp = {Sat, 31 Aug 2019 23:49:22 +0200}, biburl = {https://dblp.org/rec/conf/icfem/LiuZSH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/He13, author = {Xudong He}, title = {A Comprehensive Survey of Petri Net Modeling in Software Engineering}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {23}, number = {5}, pages = {589--626}, year = {2013}, url = {https://doi.org/10.1142/S021819401340010X}, doi = {10.1142/S021819401340010X}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/He13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/ChangHS12, author = {Lily Chang and Xudong He and Sol M. Shatz}, title = {A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {22}, number = {7}, pages = {891--926}, year = {2012}, url = {https://doi.org/10.1142/S0218194012500246}, doi = {10.1142/S0218194012500246}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/ChangHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LiuZSH12, author = {Su Liu and Reng Zeng and Zhuo Sun and Xudong He}, title = {{SAMAT} - {A} Tool for Software Architecture Modeling and Analysis}, booktitle = {Proceedings of the 24th International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, {USA} July 1-3, 2012}, pages = {352--358}, publisher = {Knowledge Systems Institute Graduate School}, year = {2012}, timestamp = {Thu, 12 Mar 2020 11:30:50 +0100}, biburl = {https://dblp.org/rec/conf/seke/LiuZSH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/ZengSLH12, author = {Reng Zeng and Zhuo Sun and Su Liu and Xudong He}, editor = {Alastair F. Donaldson and David Parker}, title = {McPatom: {A} Predictive Analysis Tool for Atomicity Violation Using Model Checking}, booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012, Oxford, UK, July 23-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7385}, pages = {191--207}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31759-0\_14}, doi = {10.1007/978-3-642-31759-0\_14}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/spin/ZengSLH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/ChangH11, author = {Lily Chang and Xudong He}, editor = {William C. Chu and W. Eric Wong and Mathew J. Palakal and Chih{-}Cheng Hung}, title = {A model transformation approach for verifying multi-agent systems using {SPIN}}, booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011}, pages = {37--42}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1982185.1982196}, doi = {10.1145/1982185.1982196}, timestamp = {Tue, 06 Nov 2018 11:06:49 +0100}, biburl = {https://dblp.org/rec/conf/sac/ChangH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LiuZH11, author = {Su Liu and Reng Zeng and Xudong He}, title = {{PIPE+} - {A} Modeling Tool for High Level Petri Nets}, booktitle = {Proceedings of the 23rd International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011}, pages = {115--121}, publisher = {Knowledge Systems Institute Graduate School}, year = {2011}, timestamp = {Thu, 12 Mar 2020 11:30:49 +0100}, biburl = {https://dblp.org/rec/conf/seke/LiuZH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZengHLCHLE11, author = {Reng Zeng and Yu Huang and Su Liu and Peter J. Clarke and Xudong He and Gwendolyn W. van der Linden and Jon L. Ebert}, title = {SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems}, booktitle = {Proceedings of the 23rd International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011}, pages = {308--314}, publisher = {Knowledge Systems Institute Graduate School}, year = {2011}, timestamp = {Fri, 09 Dec 2011 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZengHLCHLE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LiuZH11a, author = {Su Liu and Reng Zeng and Xudong He}, title = {An Empirical Study on Classification of Non-Functional Requirements}, booktitle = {Proceedings of the 23rd International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011}, pages = {444--449}, publisher = {Knowledge Systems Institute Graduate School}, year = {2011}, timestamp = {Fri, 09 Dec 2011 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/LiuZH11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/services/ZengHA11, author = {Reng Zeng and Xudong He and Wil M. P. van der Aalst}, title = {A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition}, booktitle = {World Congress on Services, {SERVICES} 2011, Washington, DC, USA, July 4-9, 2011}, pages = {169--175}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SERVICES.2011.55}, doi = {10.1109/SERVICES.2011.55}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/services/ZengHA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapp/ZengHLLA11, author = {Reng Zeng and Xudong He and Jiafei Li and Zheng Liu and Wil M. P. van der Aalst}, editor = {Peter Buneman and Juliana Freire}, title = {A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining}, booktitle = {3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion, Crete, Greece, June 20-21, 2011}, publisher = {{USENIX} Association}, year = {2011}, url = {https://www.usenix.org/conference/tapp11/method-build-and-analyze-scientific-workflows-provenance-through-process-mining}, timestamp = {Tue, 02 Feb 2021 08:04:54 +0100}, biburl = {https://dblp.org/rec/conf/tapp/ZengHLLA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/DingH10, author = {Junhua Ding and Xudong He}, title = {Formal Specification and Analysis of an Agent-Based Medical Image Processing System}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {20}, number = {3}, pages = {311--345}, year = {2010}, url = {https://doi.org/10.1142/S021819401000475X}, doi = {10.1142/S021819401000475X}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/DingH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/ZengH10, author = {Reng Zeng and Xudong He}, editor = {Ana Cavalcanti and David D{\'{e}}harbe and Marie{-}Claude Gaudel and Jim Woodcock}, title = {Analyzing a Formal Specification of Mondex Using Model Checking}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6255}, pages = {214--229}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14808-8\_15}, doi = {10.1007/978-3-642-14808-8\_15}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/ZengH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChangH10, author = {Lily Chang and Xudong He}, title = {A Multi-Agent Model for a Business Continuity Information Network}, booktitle = {Proceedings of the 22nd International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010}, pages = {657--663}, publisher = {Knowledge Systems Institute Graduate School}, year = {2010}, timestamp = {Thu, 12 Mar 2020 11:30:50 +0100}, biburl = {https://dblp.org/rec/conf/seke/ChangH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/DingCAH09, author = {Junhua Ding and Peter J. Clarke and Gonzalo Argote{-}Garcia and Xudong He}, title = {A methodology for evaluating test coverage criteria of high levelPetri nets}, journal = {Inf. Softw. Technol.}, volume = {51}, number = {11}, pages = {1520--1533}, year = {2009}, url = {https://doi.org/10.1016/j.infsof.2009.06.014}, doi = {10.1016/J.INFSOF.2009.06.014}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/DingCAH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/LianSH09, author = {Jiexin Lian and Sol M. Shatz and Xudong He}, title = {Flexible coordinator design for modeling resource sharing in multi-agent systems}, journal = {J. Syst. Softw.}, volume = {82}, number = {10}, pages = {1709--1729}, year = {2009}, url = {https://doi.org/10.1016/j.jss.2009.04.054}, doi = {10.1016/J.JSS.2009.04.054}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/LianSH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChangH09, author = {Lily Chang and Xudong He}, title = {Towards Adaptable {BDI} Agent: {A} Formal Aspect-oriented Modeling Approach}, booktitle = {Proceedings of the 21st International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2009), Boston, Massachusetts, USA, July 1-3, 2009}, pages = {189--193}, publisher = {Knowledge Systems Institute Graduate School}, year = {2009}, timestamp = {Thu, 12 Mar 2020 11:30:49 +0100}, biburl = {https://dblp.org/rec/conf/seke/ChangH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/serp/FuDDHAL09, author = {Yujian Fu and Zhijiang Dong and Junhua Ding and Xudong He and Venkata Atluri and Sha Li}, editor = {Hamid R. Arabnia and Hassan Reza}, title = {Modular Analysis of Software Architecture Model}, booktitle = {Proceedings of the 2009 International Conference on Software Engineering Research {\&} Practice, {SERP} 2009, July 13-16, 2009, Las Vegas, Nevada, USA, 2 Volumes}, pages = {17--23}, publisher = {{CSREA} Press}, year = {2009}, timestamp = {Fri, 10 Dec 2010 13:16:00 +0100}, biburl = {https://dblp.org/rec/conf/serp/FuDDHAL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/DingACH08, author = {Junhua Ding and Gonzalo Argote{-}Garcia and Peter J. Clarke and Xudong He}, editor = {Hong Zhu and W. Eric Wong and Fevzi Belli}, title = {Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin}, booktitle = {Proceedings of the 3rd International Workshop on Automation of Software Test, {AST} 2008, Leipzig, Germany, May 11-11, 2008}, pages = {71--78}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370042.1370059}, doi = {10.1145/1370042.1370059}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/DingACH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/FuDDH08, author = {Yujian Fu and Zhijiang Dong and Junhua Ding and Xudong He}, editor = {Hong Zhu}, title = {Mapping Software Architecture Specification to Rewriting Logic (Short Paper)}, booktitle = {Proceedings of the Eighth International Conference on Quality Software, {QSIC} 2008, 12-13 August 2008, Oxford, {UK}}, pages = {376--381}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/QSIC.2008.16}, doi = {10.1109/QSIC.2008.16}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/FuDDH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/DingMH08, author = {Junhua Ding and Lian Mo and Xudong He}, editor = {Roger L. Wainwright and Hisham Haddad}, title = {An approach for specification construction using property-preserving refinement patterns}, booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, pages = {797--803}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1363686.1363869}, doi = {10.1145/1363686.1363869}, timestamp = {Tue, 06 Nov 2018 11:06:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/DingMH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Argote-GarciaCHFS08, author = {Gonzalo Argote{-}Garcia and Peter J. Clarke and Xudong He and Yujian Fu and Leyuan Shi}, title = {A Formal Approach for Translating a {SAM} Architecture to {PROMELA}}, booktitle = {Proceedings of the Twentieth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008}, pages = {440--447}, publisher = {Knowledge Systems Institute Graduate School}, year = {2008}, timestamp = {Thu, 12 Mar 2020 11:30:50 +0100}, biburl = {https://dblp.org/rec/conf/seke/Argote-GarciaCHFS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/serp/He08, author = {Xudong He}, editor = {Hamid R. Arabnia and Hassan Reza}, title = {A Formal Framework for Software System Modeling, Analysis and Realization}, booktitle = {Proceedings of the 2008 International Conference on Software Engineering Research {\&} Practice, {SERP} 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes}, pages = {627--633}, publisher = {{CSREA} Press}, year = {2008}, timestamp = {Mon, 09 Feb 2009 10:28:35 +0100}, biburl = {https://dblp.org/rec/conf/serp/He08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sose/ZengLH08, author = {Reng Zeng and Jianling Liu and Xudong He}, editor = {Jonathan Lee and Deron Liang and Y. C. Cheng}, title = {A Formal Specification of Mondex Using {SAM}}, booktitle = {The Fourth {IEEE} International Symposium on Service-Oriented System Engineering, {SOSE} 2008, 18-19 December 2008, Jhongli, Taiwan}, pages = {97--102}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SOSE.2008.25}, doi = {10.1109/SOSE.2008.25}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sose/ZengLH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/FuDH07, author = {Yujian Fu and Zhijiang Dong and Xudong He}, title = {A Translator of Software Architecture Design from {SAM} to Java}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {17}, number = {6}, pages = {709--755}, year = {2007}, url = {https://doi.org/10.1142/S0218194007003483}, doi = {10.1142/S0218194007003483}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/FuDH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aosd/XuH07, author = {Dianxiang Xu and Xudong He}, editor = {Dianxiang Xu and Roger T. Alexander}, title = {Generation of test requirements from aspectual use cases}, booktitle = {Proceedings of the 3rd workshop on Testing aspect-oriented programs, {WTAOP} 2007, Vancouver, British Columbia, Canada, March 12-13, 2007}, pages = {17--22}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1229384.1229388}, doi = {10.1145/1229384.1229388}, timestamp = {Tue, 06 Nov 2018 16:57:06 +0100}, biburl = {https://dblp.org/rec/conf/aosd/XuH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/FuDASH07, author = {Yujian Fu and Zhijiang Dong and Gonzalo Argote{-}Garcia and Leyuan Shi and Xudong He}, title = {An Approach to Validating Translation Correctness From {SAM} to Java}, booktitle = {Proceedings of the Nineteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts, USA, July 9-11, 2007}, pages = {45}, publisher = {Knowledge Systems Institute Graduate School}, year = {2007}, timestamp = {Thu, 12 Mar 2020 11:30:50 +0100}, biburl = {https://dblp.org/rec/conf/seke/FuDASH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/serp/LianSH07, author = {Jiexin Lian and Sol M. Shatz and Xudong He}, editor = {Hamid R. Arabnia and Hassan Reza}, title = {Component Based Multi-Agent System Modeling and Analysis: {A} Case Study}, booktitle = {Proceedings of the 2007 International Conference on Software Engineering Research {\&} Practice, {SERP} 2007, Volume I, June 25-28, 2007, Las Vegas Nevada, {USA}}, pages = {183--189}, publisher = {{CSREA} Press}, year = {2007}, timestamp = {Fri, 14 Dec 2007 11:31:52 +0100}, biburl = {https://dblp.org/rec/conf/serp/LianSH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mags/DingCXHD06, author = {Junhua Ding and Peter J. Clarke and Dianxiang Xu and Xudong He and Yi Deng}, title = {A formal model-based approach for developing an interoperable mobile agent system}, journal = {Multiagent Grid Syst.}, volume = {2}, number = {4}, pages = {401--412}, year = {2006}, url = {https://doi.org/10.3233/mgs-2006-2407}, doi = {10.3233/MGS-2006-2407}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mags/DingCXHD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icwe/FuDH06a, author = {Yujian Fu and Zhijiang Dong and Xudong He}, editor = {Nora Koch and Luis Olsina}, title = {Formalizing and validating {UML} architecture description of web systems}, booktitle = {Workshop Proceedings of the 6th International Conference on Web Engineering, {ICWE} 2006, Palo Alto, California, USA, July 11-14, 2006}, series = {{ACM} International Conference Proceeding Series}, volume = {155}, pages = {8}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1149993.1150002}, doi = {10.1145/1149993.1150002}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icwe/FuDH06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icwe/FuDH06, author = {Yujian Fu and Zhijiang Dong and Xudong He}, editor = {David Wolber and Neil Calder and Christopher H. Brooks and Athula Ginige}, title = {Modeling, validating and automating composition of web services}, booktitle = {Proceedings of the 6th International Conference on Web Engineering, {ICWE} 2006, Palo Alto, California, USA, July 11-14, 2006}, pages = {217--224}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1145581.1145626}, doi = {10.1145/1145581.1145626}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icwe/FuDH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/FuDH06, author = {Yujian Fu and Zhijiang Dong and Xudong He}, title = {A Method for Realizing Software Architecture Design}, booktitle = {Sixth International Conference on Quality Software {(QSIC} 2006), 26-28 October 2006, Beijing, China}, pages = {57--64}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/QSIC.2006.2}, doi = {10.1109/QSIC.2006.2}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/FuDH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/YuLSH06, author = {Huiqun Yu and Dongmei Liu and Zhiqing Shao and Xudong He}, editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio}, title = {Modeling Complex Software Systems Using an Aspect Extension of Object-Z}, booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006}, pages = {11--16}, year = {2006}, timestamp = {Thu, 15 Aug 2024 07:54:35 +0200}, biburl = {https://dblp.org/rec/conf/seke/YuLSH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DongFH06, author = {Zhijiang Dong and Yujian Fu and Xudong He}, editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio}, title = {A Framework for Component-based System Modeling}, booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006}, pages = {290--295}, year = {2006}, timestamp = {Wed, 28 Feb 2007 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/DongFH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HuangH06, author = {Ying Huang and Xudong He}, editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio}, title = {A Method for Modeling Object-Oriented Systems with {PZ} nets}, booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006}, pages = {456--462}, year = {2006}, timestamp = {Wed, 28 Feb 2007 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/HuangH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SunSADH06, author = {Weixiang Sun and Tianjun Shi and Gonzalo Argote{-}Garcia and Yi Deng and Xudong He}, editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio}, title = {Achieving a Better Middleware Design through Formal Modeling and Analysis}, booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006}, pages = {463--468}, year = {2006}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SunSADH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/FuDH05, author = {Yujian Fu and Zhijiang Dong and Xudong He}, title = {An Approach to Validation of Software Architecture Model}, booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005), 15-17 December 2005, Taipei, Taiwan}, pages = {375--384}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/APSEC.2005.33}, doi = {10.1109/APSEC.2005.33}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/FuDH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcit/DongFFH05, author = {Zhijiang Dong and Yujian Fu and Yue Fu and Xudong He}, editor = {Goutam Chakraborty}, title = {Automated Runtime Validation of Software Architecture Design}, booktitle = {Distributed Computing and Internet Technology, Second International Conference, {ICDCIT} 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3816}, pages = {446--457}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11604655\_52}, doi = {10.1007/11604655\_52}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/icdcit/DongFFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/YuLHG05, author = {Huiqun Yu and Dongmei Liu and Xudong He and Li Yang and Shu Gao}, title = {Secure Software Architectures Design by Aspect Orientation}, booktitle = {10th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2005), 16-20 June 2005, Shanghai, China}, pages = {47--55}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ICECCS.2005.75}, doi = {10.1109/ICECCS.2005.75}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/YuLHG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/YuLYH05, author = {Huiqun Yu and Dongmei Liu and Li Yang and Xudong He}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {Formal Aspect-Oriented Modeling and Analysis by Aspect}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, pages = {169--174}, year = {2005}, timestamp = {Thu, 12 Mar 2020 11:30:49 +0100}, biburl = {https://dblp.org/rec/conf/seke/YuLYH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/FuDH05, author = {Yujian Fu and Zhijiang Dong and Xudong He}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {A Methodology of Automated Realization of a Software Architecture Design}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, pages = {412--417}, year = {2005}, timestamp = {Thu, 01 Mar 2007 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/FuDH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DingXDCH05, author = {Junhua Ding and Dianxiang Xu and Yi Deng and Peter J. Clarke and Xudong He}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, pages = {560--565}, year = {2005}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/DingXDCH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/DingDWH05, author = {Junhua Ding and Zhengfan Dai and Jiacun Wang and Xudong He}, title = {Formally modeling and analyzing a secure mobile agent finder}, booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005}, pages = {47--52}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/ICSMC.2005.1571120}, doi = {10.1109/ICSMC.2005.1571120}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/DingDWH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vveis/He05, author = {Xudong He}, editor = {Ulrich Ultes{-}Nitsche and Juan Carlos Augusto and Joseph Barjis}, title = {A Framework for Ensuring System Dependability from Design to Implementation}, booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami, FL, USA, May 2005}, publisher = {{INSTICC} Press}, year = {2005}, timestamp = {Mon, 09 Dec 2013 17:20:14 +0100}, biburl = {https://dblp.org/rec/conf/vveis/He05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/DengWHT04, author = {Yi Deng and Jiacun Wang and Xudong He and Jeffrey J. P. Tsai}, title = {Constraint Propagation And Progressive Verification For Component-Based Process Model}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {14}, number = {5}, pages = {471--496}, year = {2004}, url = {https://doi.org/10.1142/S0218194004001750}, doi = {10.1142/S0218194004001750}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/DengWHT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/HeYSDD04, author = {Xudong He and Huiqun Yu and Tianjun Shi and Junhua Ding and Yi Deng}, title = {Formally analyzing software architectural specifications using {SAM}}, journal = {J. Syst. Softw.}, volume = {71}, number = {1-2}, pages = {11--29}, year = {2004}, url = {https://doi.org/10.1016/S0164-1212(02)00087-0}, doi = {10.1016/S0164-1212(02)00087-0}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/HeYSDD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/YuHDM04, author = {Huiqun Yu and Xudong He and Yi Deng and Lian Mo}, title = {A Formal Approach to Designing Secure Software Architectures}, booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering {(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}}, pages = {289--290}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HASE.2004.1281766}, doi = {10.1109/HASE.2004.1281766}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/YuHDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iastedSEA/DaiHDG04, author = {Zhengfan Dai and Xudong He and Junhua Ding and Shu Gao}, editor = {M. H. Hamza}, title = {Modeling and analyzing security protocols in {SAM:} {A} case study}, booktitle = {Proceedings of the {IASTED} Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}}, pages = {115--121}, publisher = {{IASTED/ACTA} Press}, year = {2004}, timestamp = {Mon, 18 Jun 2007 14:30:27 +0200}, biburl = {https://dblp.org/rec/conf/iastedSEA/DaiHDG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/GaoDYHBC04, author = {Shu Gao and Yi Deng and Huiqun Yu and Xudong He and Konstantin Beznosov and Kendra M. L. Cooper}, editor = {Frank Maurer and G{\"{u}}nther Ruhe}, title = {Applying Aspect-Orientation in Designing Security Systems: {A} Case Study}, booktitle = {Proceedings of the Sixteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2004), Banff, Alberta, Canada, June 20-24, 2004}, pages = {360--365}, year = {2004}, timestamp = {Thu, 12 Mar 2020 11:30:50 +0100}, biburl = {https://dblp.org/rec/conf/seke/GaoDYHBC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/YuHDM04, author = {Huiqun Yu and Xudong He and Yi Deng and Lian Mo}, editor = {Frank Maurer and G{\"{u}}nther Ruhe}, title = {Integrating Security Administration into Software Architectures Design}, booktitle = {Proceedings of the Sixteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2004), Banff, Alberta, Canada, June 20-24, 2004}, pages = {416--420}, year = {2004}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/YuHDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/HeCY03, author = {Xudong He and William C. Chu and Hongji Yang}, title = {A new approach to verify rule-based systems using petri net}, journal = {Inf. Softw. Technol.}, volume = {45}, number = {10}, pages = {663--669}, year = {2003}, url = {https://doi.org/10.1016/S0950-5849(03)00058-2}, doi = {10.1016/S0950-5849(03)00058-2}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/HeCY03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ShiH03, author = {Tianjun Shi and Xudong He}, title = {A Methodology for Dependability and Performability Analysis in {SAM}}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {679--688}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209983}, doi = {10.1109/DSN.2003.1209983}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ShiH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itcc/RezaH03, author = {Hassan Reza and Xudong He}, title = {Pattern-Based Software Architecture: {A} Case Study}, booktitle = {2003 International Symposium on Information Technology {(ITCC} 2003), 28-30 April 2003, Las Vegas, NV, {USA}}, pages = {592--597}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ITCC.2003.1197596}, doi = {10.1109/ITCC.2003.1197596}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itcc/RezaH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DongFH03, author = {Zhijiang Dong and Yujian Fu and Xudong He}, title = {Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams}, booktitle = {Proceedings of the Fifteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003}, pages = {150--157}, year = {2003}, timestamp = {Fri, 18 Feb 2005 13:16:38 +0100}, biburl = {https://dblp.org/rec/conf/seke/DongFH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/RezaH03, author = {Hassan Reza and Xudong He}, title = {An Integrated Method to Software Architecture}, booktitle = {Proceedings of the Fifteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003}, pages = {398--405}, year = {2003}, timestamp = {Fri, 18 Feb 2005 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/RezaH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/YuHGD03, author = {Huiqun Yu and Xudong He and Shu Gao and Yi Deng}, title = {Formal Software Architecture Design of Secure Distributed Systems}, booktitle = {Proceedings of the Fifteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003}, pages = {450--457}, year = {2003}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/YuHGD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/HeD02, author = {Xudong He and Yi Deng}, title = {A Framework for Developing and Analyzing Software Architecture Specifications in {SAM}}, journal = {Comput. J.}, volume = {45}, number = {1}, pages = {111--128}, year = {2002}, url = {https://doi.org/10.1093/comjnl/45.1.111}, doi = {10.1093/COMJNL/45.1.111}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/HeD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/ZhuH02, author = {Hong Zhu and Xudong He}, title = {A methodology of testing high-level Petri nets}, journal = {Inf. Softw. Technol.}, volume = {44}, number = {8}, pages = {473--489}, year = {2002}, url = {https://doi.org/10.1016/S0950-5849(02)00048-4}, doi = {10.1016/S0950-5849(02)00048-4}, timestamp = {Thu, 30 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/ZhuH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/YuHDM02, author = {Huiqun Yu and Xudong He and Yi Deng and Lian Mo}, title = {A Formal Method for Analyzing Software Architecture Models in {SAM}}, booktitle = {26th International Computer Software and Applications Conference {(COMPSAC} 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings}, pages = {645--652}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/CMPSAC.2002.1045076}, doi = {10.1109/CMPSAC.2002.1045076}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/YuHDM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/YuHDM02, author = {Huiqun Yu and Xudong He and Yi Deng and Lian Mo}, editor = {Chris George and Huaikou Miao}, title = {Formal Analysis of Real-Time Systems with {SAM}}, booktitle = {Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October 21-25, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2495}, pages = {275--286}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36103-0\_30}, doi = {10.1007/3-540-36103-0\_30}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/YuHDM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mse/YuHGD02, author = {Huiqun Yu and Xudong He and Shu Gao and Yi Deng}, title = {Modeling and Analyzing {SMIL} Documents in {SAM}}, booktitle = {4th International Symposium on Multimedia Software Engineering, {ISMSE} 2002, Newport Beach, CA, USA, December 11-13, 2002}, pages = {132--139}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/MMSE.2002.1181605}, doi = {10.1109/MMSE.2002.1181605}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mse/YuHGD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HeDD02, author = {Xudong He and Junhua Ding and Yi Deng}, title = {Model checking software architecture specifications in {SAM}}, booktitle = {Proceedings of the 14th international conference on Software engineering and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19, 2002}, pages = {271--278}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/568760.568808}, doi = {10.1145/568760.568808}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/HeDD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wicsa/ShiH02, author = {Tianjun Shi and Xudong He}, editor = {Jan Bosch and W. Morven Gentleman and Christine Hofmeister and Juha Kuusela}, title = {Modeling and Analyzing the Software Architecture of a Communication Protocol Using {SAM}}, booktitle = {Software Architecture: System Design, Development and Maintenance, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC2} Stream / 3\({}^{\mbox{rd}}\) {IEEE/IFIP} Conference on Software Architecture (WICSA3), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {224}, pages = {63--77}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35607-5\_4}, doi = {10.1007/978-0-387-35607-5\_4}, timestamp = {Thu, 25 Jul 2019 17:43:05 +0200}, biburl = {https://dblp.org/rec/conf/wicsa/ShiH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/He01, author = {Xudong He}, title = {{PZ} nets a formal method integrating Petri nets with {Z}}, journal = {Inf. Softw. Technol.}, volume = {43}, number = {1}, pages = {1--18}, year = {2001}, url = {https://doi.org/10.1016/S0950-5849(00)00134-8}, doi = {10.1016/S0950-5849(00)00134-8}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/He01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/He01, author = {Xudong He}, title = {Formalizing {UML} Semantics}, booktitle = {25th International Computer Software and Applications Conference {(COMPSAC} 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, {USA}}, pages = {277--277}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2001.10000}, doi = {10.1109/COMPSAC.2001.10000}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/He01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ZhuH01, author = {Hong Zhu and Xudong He}, title = {An Observational Theory of Integration Testing for Component-Based Software Development}, booktitle = {25th International Computer Software and Applications Conference {(COMPSAC} 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, {USA}}, pages = {363}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/CMPSAC.2001.960640}, doi = {10.1109/CMPSAC.2001.960640}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ZhuH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cooppn/HeD01, author = {Xudong He and Yingjia Ding}, editor = {Gul Agha and Fiorella de Cindio and Grzegorz Rozenberg}, title = {Object Orientation in Hierarchical Predicate Transition Nets}, booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2001}, pages = {196--215}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45397-0\_6}, doi = {10.1007/3-540-45397-0\_6}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/cooppn/HeD01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/DongH01, author = {Zhijiang Dong and Xudong He}, editor = {Andy Evans and Robert B. France and Ana M. D. Moreira and Bernhard Rumpe}, title = {Integrating {UML} Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets}, booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the {\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto, Canada}, series = {{LNI}}, volume = {{P-7}}, pages = {99--112}, publisher = {{GI}}, year = {2001}, url = {https://dl.gi.de/handle/20.500.12116/30869}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uml/DongH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/HeD00, author = {Xudong He and Yi Deng}, title = {Specifying Software Architectural Connectors in {SAM}}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {10}, number = {4}, pages = {411--431}, year = {2000}, url = {https://doi.org/10.1142/S0218194000000201}, doi = {10.1142/S0218194000000201}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/HeD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/He00, author = {Xudong He}, title = {Translating hierarchical predicate transition nets to {CC++} programs}, journal = {Inf. Softw. Technol.}, volume = {42}, number = {7}, pages = {475--488}, year = {2000}, url = {https://doi.org/10.1016/S0950-5849(99)00103-2}, doi = {10.1016/S0950-5849(99)00103-2}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/He00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/ChuLSH00, author = {William C. Chu and Chih{-}Wei Lu and Chih{-}Peng Shiu and Xudong He}, title = {Pattern-based software reengineering: a case study}, journal = {J. Softw. Maintenance Res. Pract.}, volume = {12}, number = {2}, pages = {121--141}, year = {2000}, url = {https://doi.org/10.1002/(SICI)1096-908X(200003/04)12:2\&\#60;121::AID-SMR206\&\#62;3.0.CO;2-T}, doi = {10.1002/(SICI)1096-908X(200003/04)12:2\&\#60;121::AID-SMR206\&\#62;3.0.CO;2-T}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/ChuLSH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/ChuLYH00, author = {William C. Chu and Chih{-}Wei Lu and Hongji Yang and Xudong He}, title = {A formal approach for component retrieval and integration analysis}, journal = {J. Softw. Maintenance Res. Pract.}, volume = {12}, number = {6}, pages = {325--342}, year = {2000}, url = {https://doi.org/10.1002/1096-908X(200011/12)12:6\&\#60;325::AID-SMR217\&\#62;3.0.CO;2-\%23}, doi = {10.1002/1096-908X(200011/12)12:6\&\#60;325::AID-SMR217\&\#62;3.0.CO;2-\%23}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/ChuLYH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/He00, author = {Xudong He}, title = {Formalizing {UML} Class Diagrams: {A} Hierarchical Predicate Transition Net Approach}, booktitle = {24th International Computer Software and Applications Conference {(COMPSAC} 2000), 25-28 October 2000, Taipei, Taiwan}, pages = {217--222}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/CMPSAC.2000.884721}, doi = {10.1109/CMPSAC.2000.884721}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/He00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/ZhuH00, author = {Hong Zhu and Xudong He}, title = {Constructions of behaviour observation schemes in software testing}, booktitle = {5th {IEEE} International Symposium on High-Assurance Systems Engineering {(HASE} 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings}, pages = {7--16}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/HASE.2000.895434}, doi = {10.1109/HASE.2000.895434}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/ZhuH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/WangHD99, author = {Jiacun Wang and Xudong He and Yi Deng}, title = {Introducing software architecture specification and analysis in {SAM} through an example}, journal = {Inf. Softw. Technol.}, volume = {41}, number = {7}, pages = {451--467}, year = {1999}, url = {https://doi.org/10.1016/S0950-5849(99)00009-9}, doi = {10.1016/S0950-5849(99)00009-9}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/WangHD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ChuLSH99, author = {William C. Chu and Chih{-}Wei Lu and J. P. Shiu and Xudong He}, title = {Pattern Based Software Re-engineering: {A} Case Study}, booktitle = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10 December 1999, Takamatsu, Japan}, pages = {300--308}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/APSEC.1999.809616}, doi = {10.1109/APSEC.1999.809616}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ChuLSH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ZhouYLH99, author = {Shikun Zhou and Hongji Yang and Paul Luker and Xudong He}, title = {A Useful Approach to Developing Reverse Engineering Metrics}, booktitle = {23rd International Computer Software and Applications Conference {(COMPSAC} '99), 27-19 October 1999, Phoenix, AZ, {USA}}, pages = {320--321}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/CMPSAC.1999.812728}, doi = {10.1109/CMPSAC.1999.812728}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ZhouYLH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/HeCYY99, author = {Xudong He and William C. Chu and Hongji Yang and Stephen J. H. Yang}, title = {A New Approach to Verify Rule-Based Systems Using Petri Nets}, booktitle = {23rd International Computer Software and Applications Conference {(COMPSAC} '99), 27-19 October 1999, Phoenix, AZ, {USA}}, pages = {462--467}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/CMPSAC.1999.814327}, doi = {10.1109/CMPSAC.1999.814327}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/HeCYY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/ChuHLH99, author = {William C. Chu and C. P. Hsu and Chih{-}Wei Lu and Xudong He}, title = {A Semi-Formal Approach to Assist Software Design with Reuse}, booktitle = {1999 International Conference on Software Maintenance, {ICSM} 1999, Oxford, England, UK, August 30 - September 3, 1999}, pages = {256--264}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/ICSM.1999.792623}, doi = {10.1109/ICSM.1999.792623}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/ChuHLH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/He98, author = {Xudong He}, title = {Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions}, booktitle = {{COMPSAC} '98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria}, pages = {164--171}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/CMPSAC.1998.716652}, doi = {10.1109/CMPSAC.1998.716652}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/He98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/YaoH97, author = {Weili Yao and Xudong He}, title = {Mapping Petri nets to concurrent programs in {CC++}}, journal = {Inf. Softw. Technol.}, volume = {39}, number = {7}, pages = {485--495}, year = {1997}, url = {https://doi.org/10.1016/S0950-5849(97)00006-2}, doi = {10.1016/S0950-5849(97)00006-2}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/YaoH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/YaoPH97, author = {Weili Yao and William Perrizo and Xudong He}, title = {An Improved Algorithm for Concurrency Control in Distributed Database Systems}, journal = {Inf. Sci.}, volume = {103}, number = {1-4}, pages = {23--36}, year = {1997}, url = {https://doi.org/10.1016/S0020-0255(97)00058-3}, doi = {10.1016/S0020-0255(97)00058-3}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/YaoPH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/HeY97, author = {Xudong He and Weili Yao}, title = {Translating hierarchical predicate transition nets to {CC++} program skeletons}, booktitle = {21st International Computer Software and Applications Conference {(COMPSAC} '97), 11-15 August 1997, Washington, DC, {USA}}, pages = {60--65}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/CMPSAC.1997.624755}, doi = {10.1109/CMPSAC.1997.624755}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/HeY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/KanH96, author = {Chieh{-}ying Kan and Xudong He}, title = {A Method for Constructing Algebraic Petri Nets}, journal = {J. Syst. Softw.}, volume = {35}, number = {1}, pages = {15--27}, year = {1996}, url = {https://doi.org/10.1016/0164-1212(95)00081-X}, doi = {10.1016/0164-1212(95)00081-X}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/KanH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/He96, author = {Xudong He}, editor = {Jonathan Billington and Wolfgang Reisig}, title = {A Formal Definition of Hierarchical Predicate Transition Nets}, booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1091}, pages = {212--229}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61363-3\_12}, doi = {10.1007/3-540-61363-3\_12}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/He96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/YaoH96, author = {Weili Yao and Xudong He}, title = {Mapping Petri Nets to Parallel Programs in {CC++}}, booktitle = {{COMPSAC} '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea}, pages = {70--75}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/CMPSAC.1996.542428}, doi = {10.1109/CMPSAC.1996.542428}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/YaoH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/KanH95, author = {Chieh{-}ying Kan and Xudong He}, title = {High-level algebraic Petri nets}, journal = {Inf. Softw. Technol.}, volume = {37}, number = {1}, pages = {23--30}, year = {1995}, url = {https://doi.org/10.1016/0950-5849(94)00438-X}, doi = {10.1016/0950-5849(94)00438-X}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/KanH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/KanH95a, author = {Chieh{-}ying Kan and Xudong He}, title = {Deriving algebraic Petri net specifications from structured analysis - a case study}, journal = {Inf. Softw. Technol.}, volume = {37}, number = {8}, pages = {411--434}, year = {1995}, url = {https://doi.org/10.1016/0950-5849(95)98038-H}, doi = {10.1016/0950-5849(95)98038-H}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/KanH95a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/He95, author = {Xudong He}, title = {A method for analyzing properties of hierarchical predicate transition nets}, booktitle = {19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, {USA}}, pages = {50--55}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/CMPSAC.1995.524757}, doi = {10.1109/CMPSAC.1995.524757}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/He95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/He95, author = {Xudong He}, title = {{PZ} Nets- {A} Formal Method Integrating Petri Nets with {Z}}, booktitle = {SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings}, pages = {173--180}, publisher = {Knowledge Systems Institute}, year = {1995}, timestamp = {Wed, 31 Jan 2007 12:10:53 +0100}, biburl = {https://dblp.org/rec/conf/seke/He95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/KanH94, author = {Chieh{-}ying Kan and Xudong He}, editor = {John Werth and Laurie Honour Werth}, title = {Algebraic Petri Nets and Their Applications}, booktitle = {Proceedings of the {ACM} 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, {CSC} '94, Phoenix, Arizona, USA, March 8-10, 1994}, pages = {396--403}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/197530.197663}, doi = {10.1145/197530.197663}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acm/KanH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/HeY92, author = {Xudong He and C.{-}H. Yang}, title = {Structured analysis using hierarchical predicate transition nets}, booktitle = {Sixteenth Annual International Computer Software and Applications Conference, {COMPSAC} 1992, Proceedings, Chicago, IL, USA, 21-25 September, 1992}, pages = {212--217}, publisher = {{IEEE}}, year = {1992}, url = {https://doi.org/10.1109/CMPSAC.1992.217566}, doi = {10.1109/CMPSAC.1992.217566}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/compsac/HeY92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/HeD92, author = {Xudong He and Yingjia Ding}, editor = {Jan van Leeuwen}, title = {A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets}, booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid, Spain, 7-11 September 1992}, series = {{IFIP} Transactions}, volume = {{A-12}}, pages = {127--133}, publisher = {North-Holland}, year = {1992}, timestamp = {Wed, 14 Aug 2002 08:51:19 +0200}, biburl = {https://dblp.org/rec/conf/ifip/HeD92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/HeL91, author = {Xudong He and John A. N. Lee}, title = {A Methodology for Constructing Predicate Transition Net Specifications}, journal = {Softw. Pract. Exp.}, volume = {21}, number = {8}, pages = {845--875}, year = {1991}, url = {https://doi.org/10.1002/spe.4380210806}, doi = {10.1002/SPE.4380210806}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/HeL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/HeL90, author = {Xudong He and John A. N. Lee}, title = {Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems}, journal = {Formal Aspects Comput.}, volume = {2}, number = {3}, pages = {226--246}, year = {1990}, url = {https://doi.org/10.1007/BF01888226}, doi = {10.1007/BF01888226}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/HeL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/LeeH90, author = {John A. N. Lee and Xudong He}, title = {A methodology for test selection}, journal = {J. Syst. Softw.}, volume = {13}, number = {3}, pages = {177--185}, year = {1990}, url = {https://doi.org/10.1016/0164-1212(90)90093-2}, doi = {10.1016/0164-1212(90)90093-2}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/LeeH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/He90, author = {Xudong He}, title = {Temporal predicate transition nets and their applications}, booktitle = {Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, {COMPSAC} 1990, Chicago, IL, USA, October 31 1990 - November 2, 1990}, pages = {261--266}, publisher = {{IEEE}}, year = {1990}, url = {https://doi.org/10.1109/CMPSAC.1990.139364}, doi = {10.1109/CMPSAC.1990.139364}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/compsac/He90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/He89, author = {Xudong He}, title = {Integrating formal specification and verification methods in software development}, school = {Virginia Tech, Blacksburg, VA, {USA}}, year = {1989}, url = {http://hdl.handle.net/10919/54535}, timestamp = {Wed, 12 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/basesearch/He89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HeL89, author = {Xudong He and John A. N. Lee}, title = {Deriving Temporal Logic Specifications from Predicate Transition Petri Net}, booktitle = {SEKE'89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989}, pages = {116--121}, publisher = {Knowledge Systems Institute}, year = {1989}, timestamp = {Fri, 01 Jun 2007 08:53:58 +0200}, biburl = {https://dblp.org/rec/conf/seke/HeL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.