Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xudong He
@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 = {Fri, 18 Aug 2023 17:39:03 +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 = {Wed, 07 Dec 2022 09:54:09 +0100},
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, 12 Mar 2020 11:30:50 +0100},
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}
}
@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}
}
a service of 
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.
last updated on 2024-01-24 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
