Qihe: A General-Purpose Static Analysis Framework for Verilog.

Jian Lu 0001 Jian Lü 0001 Jian Lv 0001 Nanjing University, Department of Computer Science and Technology / State Key Laboratory for Novel Software Technology, China https://orcid.org/0009-0002-1166-6927 Jian Lu Jian Lu 0002 Shenzhen University, College of Mathematics and Computational Science, China Shanghai Jiao Tong University, China https://zbmath.org/authors/?q=ai:lu.jian.1 https://orcid.org/0000-0003-4599-7281 https://www.wikidata.org/entity/Q51326874 https://www.scopus.com/authid/detail.uri?authorId=55624485661 Jian Lu 0003 North Carolina State University, Department of Electrical Computer Engineering, Raleigh, NC, USA https://orcid.org/0000-0001-7524-4219 Jian Lü Jian Lü 0002 Wuhan University, School of Cyber Science and Engineering, China Jian Lv Jian Lv 0002 Jilin University, Changchun, China https://orcid.org/0000-0002-6201-9888 https://www.wikidata.org/entity/Q60045896 https://www.researcherid.com/rid/D-6677-2017

Qinlin Chen Nairen Zhang Jinpeng Wang Jiacai Cui Tian Tan 0001 Xiaoxing Ma Chang Xu 0001 Jian Lu 0001 Yue Li 0006 Qihe: A General-Purpose Static Analysis Framework for Verilog. 2026 January abs/2601.11408 CoRR https://doi.org/10.48550/arXiv.2601.11408 db/journals/corr/corr2601.html#abs-2601-11408 streams/journals/corr

Yike Zhou Yanyan Jiang 0001 Jian Lu 0001 Unveiling Cross-checking Opportunities in Verilog Compilers. 32:1-32:23 2025 March 30 ACM Trans. Design Autom. Electr. Syst. 2 https://doi.org/10.1145/3715325 db/journals/todaes/todaes30.html#ZhouJL25 streams/journals/todaes

Hong Mei 0001 Jian Lv 0001 Zhi Jin 0001 Xuandong Li Thomas Zimmermann 0001 Ge Li 0001 Lei Bu Xin Xia 0001 Proceedings of the 16th International Conference on Internetware, Internetware 2025, Trondheim, Norway, June 20-22, 2025 Internetware ACM 2025 979-8-4007-1926-4 https://doi.org/10.1145/3755881 db/conf/internetware/internetware2025.html Hong Mei 0001 Jian Lv 0001 Abdelsalam Helal Xiaoxing Ma Shing-Chi Cheung Jie Zhang 0050 Tao Zhang 0001 Proceedings of the 15th Asia-Pacific Symposium on Internetware, Internetware 2024, Macau, SAR, China, July 24-26, 2024 Internetware ACM 2024 https://doi.org/10.1145/3671016 db/conf/internetware/internetware2024.html

Zenan Li Yuan Yao 0001 Taolue Chen 0001 Jingwei Xu 0001 Chun Cao Xiaoxing Ma Jian Lü 0001 Softened Symbol Grounding for Neuro-symbolic Systems. 2024 abs/2403.00323 CoRR https://doi.org/10.48550/arXiv.2403.00323 db/journals/corr/corr2403.html#abs-2403-00323

Zenan Li Zehua Liu Yuan Yao 0001 Jingwei Xu 0001 Taolue Chen 0001 Xiaoxing Ma Jian Lü 0001 Learning with Logical Constraints but without Shortcut Satisfaction. 2024 abs/2403.00329 CoRR https://doi.org/10.48550/arXiv.2403.00329 db/journals/corr/corr2403.html#abs-2403-00329

Zenan Li Yunpeng Huang Zhaoyu Li Yuan Yao 0001 Jingwei Xu 0001 Taolue Chen 0001 Xiaoxing Ma Jian Lu 0001 Neuro-symbolic Learning Yielding Logical Constraints. 2024 abs/2410.20957 CoRR https://doi.org/10.48550/arXiv.2410.20957 db/journals/corr/corr2410.html#abs-2410-20957 streams/journals/corr

Jian Lu 0001 Chang Xu 0001 Xiaoxing Ma Bin Hu 0001 Growing Software: Objective, Methodology, and Technology. 833-842 2023 10 IEEE Trans. Comput. Soc. Syst. 3 https://doi.org/10.1109/TCSS.2023.3272808 db/journals/tcss/tcss10.html#00010M023

Zenan Li Yuan Yao 0001 Taolue Chen 0001 Jingwei Xu 0001 Chun Cao Xiaoxing Ma Jian Lü 0001 Softened Symbol Grounding for Neuro-symbolic Systems. 2023 ICLR https://openreview.net/forum?id=HTJE5Krui0g conf/iclr/2023 db/conf/iclr/iclr2023.html#Li0C0CM023 Zenan Li Zehua Liu Yuan Yao 0001 Jingwei Xu 0001 Taolue Chen 0001 Xiaoxing Ma Jian Lü 0001 Learning with Logical Constraints but without Shortcut Satisfaction. 2023 ICLR https://openreview.net/forum?id=M2unceRvqhh conf/iclr/2023 db/conf/iclr/iclr2023.html#LiL00CM023 Zenan Li Maorun Zhang Jingwei Xu 0001 Yuan Yao 0001 Chun Cao Taolue Chen 0001 Xiaoxing Ma Jian Lu 0001 Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. 1187-1199 2023 ICSE https://doi.org/10.1109/ICSE48619.2023.00106 https://www.wikidata.org/entity/Q130954254 conf/icse/2023 db/conf/icse/icse2023.html#LiZXYCCML23 Zenan Li Yunpeng Huang Zhaoyu Li Yuan Yao 0001 Jingwei Xu 0001 Taolue Chen 0001 Xiaoxing Ma Jian Lu 0001 Neuro-symbolic Learning Yielding Logical Constraints. 2023 NeurIPS http://papers.nips.cc/paper_files/paper/2023/hash/4459c3c143db74ee52afebdf56836375-Abstract-Conference.html conf/nips/2023 db/conf/nips/neurips2023.html#LiHLY0CM023 Hong Mei 0001 Jian Lv 0001 Zhi Jin 0001 Xuandong Li Xiaohu Yang 0001 Xin Xia 0001 Proceedings of the 14th Asia-Pacific Symposium on Internetware, Internetware 2023, Hangzhou, China, August 4-6, 2023 Internetware ACM 2023 https://doi.org/10.1145/3609437 db/conf/internetware/internetware2023.html

Hui Gao Hongyu Kuang Xiaoxing Ma Hao Hu 0001 Jian Lü 0001 Patrick Mäder Alexander Egyed Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery. 41 2022 27 Empir. Softw. Eng. 2 https://doi.org/10.1007/s10664-021-10091-5 https://www.wikidata.org/entity/Q114226588 db/journals/ese/ese27.html#GaoKMHLME22

Yaojing Wang Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Auditing Network Embedding: An Edge Influence Based Approach. 5211-5224 2022 34 IEEE Trans. Knowl. Data Eng. 11 https://doi.org/10.1109/TKDE.2021.3056884 db/journals/tkde/tkde34.html#WangYTXL22

Jue Wang Yanyan Jiang 0001 Ting Su 0001 Shaohua Li 0002 Chang Xu 0001 Jian Lu 0001 Zhendong Su 0001 Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. 434-446 2022 ESEC/SIGSOFT FSE https://doi.org/10.1145/3540250.3549170 conf/sigsoft/2022 db/conf/sigsoft/fse2022.html#Wang00LX0022

Liang Wang 0006 Simeng Wu Tianheng Wu Xianping Tao Jian Lu 0001 HKMF-T: Recover From Blackouts in Tagged Time Series With Hankel Matrix Factorization. 3582-3593 2021 33 IEEE Trans. Knowl. Data Eng. 11 https://doi.org/10.1109/TKDE.2020.2971190 https://www.wikidata.org/entity/Q114084217 db/journals/tkde/tkde33.html#WangWWTL21

Lingzhi Ouyang Yu Huang 0002 Hengfeng Wei Jian Lu 0001 Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores. 815-829 2021 32 IEEE Trans. Parallel Distributed Syst. 4 https://doi.org/10.1109/TPDS.2020.3034328 db/journals/tpds/tpds32.html#OuyangHWL21

Huiyan Wang 0001 Chang Xu 0001 Bingying Guo Xiaoxing Ma Jian Lu 0001 Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. 464-497 2021 47 IEEE Trans. Software Eng. 3 https://doi.org/10.1109/TSE.2019.2898976 db/journals/tse/tse47.html#WangXGML21

Guosheng Pan Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Unsupervised Attributed Network Embedding via Cross Fusion. 797-805 2021 WSDM https://doi.org/10.1145/3437963.3441763 conf/wsdm/2021 db/conf/wsdm/wsdm2021.html#Pan0T0021

Yaojing Wang Yuan Yao 0001 Hanghang Tong Xuan Huo Ming Li 0005 Feng Xu 0007 Jian Lu 0001 Enhancing supervised bug localization with metadata and stack-trace. 2461-2484 2020 62 Knowl. Inf. Syst. 6 https://doi.org/10.1007/s10115-019-01426-2 https://www.wikidata.org/entity/Q121823054 db/journals/kais/kais62.html#WangYTHLXL20

Yi Qin 0002 Tao Xie 0001 Chang Xu 0001 Angello Astorga Jian Lu 0001 CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. 106-123 2020 69 IEEE Trans. Reliab. 1 https://doi.org/10.1109/TR.2019.2933324 db/journals/tr/tr69.html#QinXXAL20

Yaojing Wang Guosheng Pan Yuan Yao 0001 Hanghang Tong Hongxia Yang Feng Xu 0007 Jian Lu 0001 Bringing Order to Network Embedding: A Relative Ranking based Approach. 1585-1594 2020 CIKM https://doi.org/10.1145/3340531.3412041 conf/cikm/2020 db/conf/cikm/cikm2020.html#WangP0TYXL20 Jue Wang Yanyan Jiang 0001 Chang Xu 0001 Chun Cao Xiaoxing Ma Jian Lu 0001 ComboDroid: generating high-quality test inputs for Android apps via use case combinations. 469-480 2020 ICSE https://doi.org/10.1145/3377811.3380382 https://ieeexplore.ieee.org/document/9283926 conf/icse/2020 db/conf/icse/icse2020.html#Wang0XCML20 Huiyan Wang 0001 Jingwei Xu 0001 Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 Dissector: input validation for deep learning applications by crossing-layer dissection. 727-738 2020 ICSE https://doi.org/10.1145/3377811.3380379 https://ieeexplore.ieee.org/document/9283929 conf/icse/2020 db/conf/icse/icse2020.html#Wang00M020 Dongjie Chen Yanyan Jiang 0001 Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 Testing file system implementations on layered models. 1483-1495 2020 ICSE https://doi.org/10.1145/3377811.3380350 https://ieeexplore.ieee.org/document/9283972 https://www.wikidata.org/entity/Q131119141 conf/icse/2020 db/conf/icse/icse2020.html#Chen00M020 Zenan Li Xiaoxing Ma Chang Xu 0001 Jingwei Xu 0001 Chun Cao Jian Lu 0001 Operational calibration: debugging confidence errors for DNNs in the field. 901-913 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3409696 https://www.wikidata.org/entity/Q130972934 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#LiM00C020

Liang Wang 0006 Tao Gu 0001 Xianping Tao Jian Lu 0001 Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns. 2020 abs/2003.07719 CoRR https://arxiv.org/abs/2003.07719 db/journals/corr/corr2003.html#abs-2003-07719

Haibo Ye Tao Gu 0001 Xianping Tao Jian Lu 0001 Crowdsourced Smartphone Sensing for Localization in Metro Trains. 2020 abs/2003.10531 CoRR https://arxiv.org/abs/2003.10531 db/journals/corr/corr2003.html#abs-2003-10531

Yaojing Wang Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 A Brief Review of Network Embedding. 35-47 2019 2 Big Data Min. Anal. 1 https://doi.org/10.26599/BDMA.2018.9020029 db/journals/bigdatama/bigdatama2.html#WangYTXL19

Shengqu Xi Yuan Yao 0001 Xusheng Xiao Feng Xu 0007 Jian Lu 0001 Bug Triaging Based on Tossing Sequence Modeling. 942-956 2019 34 J. Comput. Sci. Technol. 5 https://doi.org/10.1007/s11390-019-1953-5 db/journals/jcst/jcst34.html#XiYXXL19

Liang Wang 0006 Tao Gu 0001 Alex X. Liu Hengzhi Yao Xianping Tao Jian Lu 0001 Assessing User Mental Workload for Smartphone Applications With Built-In Sensors. 59-70 2019 18 IEEE Pervasive Comput. 1 https://doi.org/10.1109/MPRV.2018.2873851 https://www.wikidata.org/entity/Q113311048 db/journals/pervasive/pervasive18.html#WangGLYTL19

Yang Zou 0001 Jian Lü 0001 Xianping Tao Research on context of implicit context-sensitive graph grammars. 241-260 2019 51 J. Comput. Lang. https://doi.org/10.1016/j.cola.2019.01.002 https://www.wikidata.org/entity/Q127865825 db/journals/vlc/vlc51.html#ZouLT19

Yi Qin 0002 Xianping Tao Yu Huang 0002 Jian Lu 0001 An index structure supporting rule activation in pervasive applications. 1-37 2019 22 World Wide Web 1 https://doi.org/10.1007/s11280-017-0517-2 db/journals/www/www22.html#QinTHL19

Yuan Yao 0001 Hanghang Tong Guo Yan Feng Xu 0007 Xiang Zhang 0001 Boleslaw K. Szymanski Jian Lu 0001 Dual-regularized one-class collaborative filtering with implicit feedback. 1099-1129 2019 22 World Wide Web 3 https://doi.org/10.1007/s11280-018-0574-1 db/journals/www/www22.html#YaoTYXZSL19

Shijie Tang Yuan Yao 0001 Suwei Zhang Feng Xu 0007 Tianxiao Gu Hanghang Tong Xiaohui Yan Jian Lu 0001 An Integral Tag Recommendation Model for Textual Content. 5109-5116 2019 AAAI https://doi.org/10.1609/aaai.v33i01.33015109 conf/aaai/2019 db/conf/aaai/aaai2019.html#Tang0Z0GTY019 Suwei Zhang Yuan Yao 0001 Feng Xu 0007 Hanghang Tong Xiaohui Yan Jian Lu 0001 Hashtag Recommendation for Photo Sharing Services. 5805-5812 2019 AAAI https://doi.org/10.1609/aaai.v33i01.33015805 conf/aaai/2019 db/conf/aaai/aaai2019.html#Zhang00TY019 Shengqu Xi Shao Yang Xusheng Xiao Yuan Yao 0001 Yayuan Xiong Fengyuan Xu Haoyu Wang 0001 Peng Gao 0008 Zhuotao Liu Feng Xu 0007 Jian Lu 0001 DeepIntent: Deep Icon-Behavior Learning for Detecting Intention-Behavior Discrepancy in Mobile Apps. 2421-2436 2019 CCS https://doi.org/10.1145/3319535.3363193 conf/ccs/2019 db/conf/ccs/ccs2019.html#XiYXYXXWGL0L19 Yaojing Wang Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Discerning Edge Influence for Network Embedding. 429-438 2019 CIKM https://doi.org/10.1145/3357384.3358044 conf/cikm/2019 db/conf/cikm/cikm2019.html#Wang0T0019 Simeng Wu Liang Wang 0006 Tianheng Wu Xianping Tao Jian Lu 0001 Hankel Matrix Factorization for Tagged Time Series to Recover Missing Values During Blackouts. 1654-1657 2019 ICDE https://doi.org/10.1109/ICDE.2019.00165 conf/icde/2019 db/conf/icde/icde2019.html#WuWWTL19 Tianxiao Gu Chengnian Sun Xiaoxing Ma Chun Cao Chang Xu 0001 Yuan Yao 0001 Qirun Zhang Jian Lu 0001 Zhendong Su 0001 Practical GUI testing of Android applications via model abstraction and refinement. 269-280 2019 ICSE https://doi.org/10.1109/ICSE.2019.00042 https://dl.acm.org/citation.cfm?id=3339542 conf/icse/2019 db/conf/icse/icse2019.html#GuSMC0YZLS19 Shengbin Xu Yuan Yao 0001 Feng Xu 0007 Tianxiao Gu Hanghang Tong Jian Lu 0001 Commit Message Generation for Source Code Changes. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/552 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#Xu00GT019 3975-3981 Hongyu Kuang Hui Gao Hao Hu 0001 Xiaoxing Ma Jian Lu 0001 Patrick Mäder Alexander Egyed Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery. 369-379 2019 ICPC https://doi.org/10.1109/ICPC.2019.00055 https://dl.acm.org/citation.cfm?id=3339131 conf/iwpc/2019 db/conf/iwpc/icpc2019.html#KuangG0M0ME19 Da Li Huiyan Wang 0001 Chang Xu 0001 Fengmin Shi Xiaoxing Ma Jian Lu 0001 WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. 139-150 2019 QRS https://doi.org/10.1109/QRS.2019.00030 conf/qrs/2019 db/conf/qrs/qrs2019.html#LiW0SML19 Zenan Li Xiaoxing Ma Chang Xu 0001 Chun Cao Jingwei Xu 0001 Jian Lü 0001 Boosting operational DNN testing efficiency through conditioning. 499-509 2019 ESEC/SIGSOFT FSE https://doi.org/10.1145/3338906.3338930 conf/sigsoft/2019 db/conf/sigsoft/fse2019.html#LiM0CX019 Wenjie Li Yanyan Jiang 0001 Chang Xu 0001 Yepang Liu 0001 Xiaoxing Ma Jian Lu 0001 Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. 355-365 2019 SANER https://doi.org/10.1109/SANER.2019.8668030 conf/wcre/2019 db/conf/wcre/saner2019.html#Li00LML19

Yuqi Zhang Yu Huang 0002 Hengfeng Wei Jian Lu 0001 Remove-Win: a Design Framework for Conflict-free Replicated Data Collections. 2019 abs/1905.01403 CoRR http://arxiv.org/abs/1905.01403 db/journals/corr/corr1905.html#abs-1905-01403

Zenan Li Xiaoxing Ma Chang Xu 0001 Chun Cao Jingwei Xu 0001 Jian Lu 0001 Boosting Operational DNN Testing Efficiency through Conditioning. 2019 abs/1906.02533 CoRR http://arxiv.org/abs/1906.02533 db/journals/corr/corr1906.html#abs-1906-02533

Zenan Li Xiaoxing Ma Chang Xu 0001 Jingwei Xu 0001 Chun Cao Jian Lü 0001 Operational Calibration: Debugging Confidence Errors for DNNs in the Field. 2019 abs/1910.02352 CoRR http://arxiv.org/abs/1910.02352 db/journals/corr/corr1910.html#abs-1910-02352

Yi Liu Jue Wang Chang Xu 0001 Xiaoxing Ma Jian Lü 0001 NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications. 050103:1-050103:20 2018 61 Sci. China Inf. Sci. 5 https://doi.org/10.1007/s11432-017-9400-y db/journals/chinaf/chinaf61.html#LiuWXML18

Yong Wu Shengqu Xi Yuan Yao 0001 Feng Xu 0007 Hanghang Tong Jian Lu 0001 Guiding supervised topic modeling for content based tag recommendation. 479-489 2018 314 Neurocomputing https://doi.org/10.1016/j.neucom.2018.07.011 https://www.wikidata.org/entity/Q129498503 db/journals/ijon/ijon314.html#WuXYXTL18

Liang Wang 0006 Wen Cheng 0005 Lijia Pan Tao Gu 0001 Tianheng Wu Xianping Tao Jian Lu 0001 SpiderWalk: Circumstance-aware Transportation Activity Detection Using a Novel Contact Vibration Sensor. 42:1-42:30 2018 2 Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 1 https://doi.org/10.1145/3191774 db/journals/imwut/imwut2.html#WangCPGWTL18

Wenhua Yang 0001 Chang Xu 0001 Minxue Pan Chun Cao Xiaoxing Ma Jian Lu 0001 Efficient validation of self-adaptive applications by counterexample probability maximization. 82-99 2018 138 J. Syst. Softw. https://doi.org/10.1016/j.jss.2017.12.009 https://www.wikidata.org/entity/Q124935448 db/journals/jss/jss138.html#YangXPCML18

Jue Wang Yanyan Jiang 0001 Chang Xu 0001 Qiwei Li Tianxiao Gu Jun Ma 0010 Xiaoxing Ma Jian Lu 0001 AATT+: Effectively manifesting concurrency bugs in Android apps. 1-18 2018 163 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2018.03.008 https://www.wikidata.org/entity/Q114134866 db/journals/scp/scp163.html#WangJXLGMML18

Wenhua Yang 0001 Chang Xu 0001 Minxue Pan Xiaoxing Ma Jian Lu 0001 Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. 20:1-20:37 2018 18 ACM Trans. Internet Techn. 2 https://doi.org/10.1145/3093894 https://www.wikidata.org/entity/Q130974447 db/journals/toit/toit18.html#YangXPML18

Chun Cao Weiyi Wang Ying Zhang Jian Lu 0001 Embedding Index Maintenance in Store Routines to Accelerate Secondary Index Building in HBase. 500-507 2018 IEEE CLOUD https://doi.org/10.1109/CLOUD.2018.00070 https://doi.ieeecomputersociety.org/10.1109/CLOUD.2018.00070 conf/IEEEcloud/2018 db/conf/IEEEcloud/IEEEcloud2018.html#CaoWZL18 Chun Cao Hongjun Ge Tianxiao Gu Jing Deng Ping Yu 0004 Jian Lu 0001 Accelerating Automated Android GUI Exploration with Widgets Grouping. 268-277 2018 APSEC https://doi.org/10.1109/APSEC.2018.00041 conf/apsec/2018 db/conf/apsec/apsec2018.html#CaoGGDYL18 Cong Li 0003 Chang Xu 0001 Lili Wei 0001 Jue Wang Jun Ma 0010 Jian Lu 0001 ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. 278-287 2018 APSEC https://doi.org/10.1109/APSEC.2018.00042 conf/apsec/2018 db/conf/apsec/apsec2018.html#Li0WWML18 Tianheng Wu Liang Wang 0006 Zhiwen Zheng Simeng Wu Jun Ma 0010 Xianping Tao Jian Lu 0001 CARMUS: Towards a General Framework for Continuous Activity Recognition with Missing Values on Smartphones. 850-859 2018 COMPSAC (1) https://doi.org/10.1109/COMPSAC.2018.00148 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2018.00148 conf/compsac/2018-1 db/conf/compsac/compsac2018-1.html#WuWZWMTL18 Tianxiao Gu Xiaoxing Ma Chang Xu 0001 Yanyan Jiang 0001 Chun Cao Jian Lu 0001 Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. 19:1-19:28 2018 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2018.19 conf/ecoop/2018 db/conf/ecoop/ecoop2018.html#GuM00CL18 Yaojing Wang Yuan Yao 0001 Hanghang Tong Xuan Huo Min Li Feng Xu 0007 Jian Lu 0001 Bug Localization via Supervised Topic Modeling. 607-616 2018 ICDM https://doi.org/10.1109/ICDM.2018.00076 conf/icdm/2018 db/conf/icdm/icdm2018.html#Wang0THLXL18 Jiarong Wu Yanyan Jiang 0001 Chang Xu 0001 Shing-Chi Cheung Xiaoxing Ma Jian Lu 0001 Synthesizing relation-aware entity transformation by examples. 266-267 2018 ICSE (Companion Volume) https://doi.org/10.1145/3183440.3194963 https://ieeexplore.ieee.org/document/8449532 conf/icse/2018c db/conf/icse/icse2018c.html#Wu00CML18 Shengtao Yue Qingwei Sun Jun Ma 0010 Xianping Tao Chang Xu 0001 Jian Lu 0001 RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features. 323-333 2018 ICSME https://doi.org/10.1109/ICSME.2018.00041 https://doi.ieeecomputersociety.org/10.1109/ICSME.2018.00041 conf/icsm/2018 db/conf/icsm/icsme2018.html#YueSMT0018 Xinchen Cai Hongyu Kuang Hao Hu 0001 Wei Song 0003 Jian Lü 0001 Response Time Aware Operator Placement for Complex Event Processing in Edge Computing. 264-278 2018 ICSOC https://doi.org/10.1007/978-3-030-03596-9_18 conf/icsoc/2018 db/conf/icsoc/icsoc2018.html#CaiKHSL18 Shengqu Xi Yuan Yao 0001 Xusheng Xiao Feng Xu 0007 Jian Lu 0001 An Effective Approach for Routing the Bug Reports to the Right Fixers. 11:1-11:10 2018 Internetware https://doi.org/10.1145/3275219.3275228 conf/internetware/2018 db/conf/internetware/internetware2018.html#Xi0XX018 Jun Ma 0010 Shaocong Liu Yanyan Jiang 0001 Xianping Tao Chang Xu 0001 Jian Lu 0001 LESdroid: a tool for detecting exported service leaks of Android applications. 244-254 2018 ICPC https://doi.org/10.1145/3196321.3196336 https://ieeexplore.ieee.org/document/117763703 https://www.wikidata.org/entity/Q130923350 conf/iwpc/2018 db/conf/iwpc/icpc2018.html#MaL0T0L18 Yuju Shen Yanyan Jiang 0001 Chang Xu 0001 Ping Yu 0004 Xiaoxing Ma Jian Lu 0001 ReScue: crafting regular expression DoS attacks. 225-235 2018 ASE https://doi.org/10.1145/3238147.3238159 conf/kbse/2018 db/conf/kbse/ase2018.html#Shen000ML18 Hengfeng Wei Yu Huang 0002 Jian Lu 0001 Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. 12:1-12:16 2018 OPODIS https://doi.org/10.4230/LIPIcs.OPODIS.2018.12 conf/opodis/2018 db/conf/opodis/opodis2018.html#Wei0018 Lun Zhao Yuan Yao 0001 Guibing Guo Hanghang Tong Feng Xu 0007 Jian Lu 0001 Team Expansion in Collaborative Environments. 713-725 2018 PAKDD (3) https://doi.org/10.1007/978-3-319-93040-4_56 conf/pakdd/2018-3 db/conf/pakdd/pakdd2018-3.html#Zhao0GTXL18 Hengfeng Wei Yu Huang 0002 Jian Lu 0001 Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. 81-83 2018 PODC https://doi.org/10.1145/3212734.3212778 conf/podc/2018 db/conf/podc/podc2018.html#WeiHL18 Yi Qin 0002 Huiyan Wang 0001 Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 SynEva: Evaluating ML Programs by Mirror Program Synthesis. 171-182 2018 QRS https://doi.org/10.1109/QRS.2018.00031 conf/qrs/2018 db/conf/qrs/qrs2018.html#QinW0ML18 Dongjie Chen Yanyan Jiang 0001 Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 Testing multithreaded programs via thread speed control. 15-25 2018 ESEC/SIGSOFT FSE https://doi.org/10.1145/3236024.3236077 conf/sigsoft/2018 db/conf/sigsoft/fse2018.html#Chen00M018 Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Subgraph Extraction for Trust Inference in Social Networks. 2018 Encyclopedia of Social Network Analysis and Mining. 2nd Ed. https://doi.org/10.1007/978-1-4939-7131-2_357 reference/snam/2018 db/reference/snam/snam2018.html#0001TX018

Yi Qin 0002 Tao Xie 0001 Chang Xu 0001 Angello Astorga Jian Lu 0001 CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. 2018 abs/1807.02282 CoRR http://arxiv.org/abs/1807.02282 db/journals/corr/corr1807.html#abs-1807-02282

Qiwei Li Chang Xu 0001 Yepang Liu 0001 Chun Cao Xiaoxing Ma Jian Lü 0001 CyanDroid: stable and effective energy inefficiency diagnosis for Android apps. 12104 2017 60 Sci. China Inf. Sci. 1 https://doi.org/10.1007/s11432-015-1015-5 db/journals/chinaf/chinaf60.html#LiXLCML17

Xuansong Li Xianping Tao Jian Lu 0001 Towards a programming framework for activity-oriented context-aware applications. 987-1006 2017 11 Frontiers Comput. Sci. 6 https://doi.org/10.1007/s11704-016-5399-4 db/journals/fcsc/fcsc11.html#LiTL17

Xiaorui Zhu Xianping Tao Tao Gu 0001 Jian Lu 0001 ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks. 132-148 2017 102 J. Parallel Distributed Comput. https://doi.org/10.1016/j.jpdc.2016.12.010 db/journals/jpdc/jpdc102.html#ZhuTGL17

Ruiqing Zhang Chang Xu 0001 Shing-Chi Cheung Ping Yu 0004 Xiaoxing Ma Jian Lu 0001 How effectively can spreadsheet anomalies be detected: An empirical study. 87-100 2017 126 J. Syst. Softw. https://doi.org/10.1016/j.jss.2016.03.061 db/journals/jss/jss126.html#ZhangXCYML17

Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 On the Measurement and Prediction of Web Content Utility: A Review. 1-12 2017 19 SIGKDD Explor. 2 https://doi.org/10.1145/3166054.3166056 db/journals/sigkdd/sigkdd19.html#YaoTXL17

Hengfeng Wei Yu Huang 0002 Jian Lu 0001 Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. 502-514 2017 66 IEEE Trans. Computers 3 https://doi.org/10.1109/TC.2016.2601322 http://doi.ieeecomputersociety.org/10.1109/TC.2016.2601322 db/journals/tc/tc66.html#WeiHL17

Jingwei Xu 0001 Yuan Yao 0001 Hanghang Tong Xianping Tao Jian Lu 0001 RaPare: A Generic Strategy for Cold-Start Rating Prediction Problem. 1296-1309 2017 29 IEEE Trans. Knowl. Data Eng. 6 https://doi.org/10.1109/TKDE.2016.2615039 http://doi.ieeecomputersociety.org/10.1109/TKDE.2016.2615039 db/journals/tkde/tkde29.html#XuYTTL17

Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Scalable Algorithms for CQA Post Voting Prediction. 1723-1736 2017 29 IEEE Trans. Knowl. Data Eng. 8 https://doi.org/10.1109/TKDE.2017.2696535 http://doi.ieeecomputersociety.org/10.1109/TKDE.2017.2696535 db/journals/tkde/tkde29.html#YaoTXL17

Liang Wang 0006 Tao Gu 0001 Xianping Tao Jian Lu 0001 Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns. 228-242 2017 16 IEEE Trans. Mob. Comput. 1 https://doi.org/10.1109/TMC.2016.2538230 http://doi.ieeecomputersociety.org/10.1109/TMC.2016.2538230 db/journals/tmc/tmc16.html#WangGTL17

Yuan Yao 0001 Wayne Xin Zhao Yaojing Wang Hanghang Tong Feng Xu 0007 Jian Lu 0001 Version-Aware Rating Prediction for Mobile App Recommendation. 38:1-38:33 2017 35 ACM Trans. Inf. Syst. 4 https://doi.org/10.1145/3015458 db/journals/tois/tois35.html#YaoZWTXL17

Xiaofei Zhang Yuan Yao 0001 Yaojing Wang Feng Xu 0007 Jian Lu 0001 Exploring Metadata in Bug Reports for Bug Localization. 328-337 2017 APSEC https://doi.org/10.1109/APSEC.2017.39 https://doi.ieeecomputersociety.org/10.1109/APSEC.2017.39 conf/apsec/2017 db/conf/apsec/apsec2017.html#ZhangYWXL17 Jun Ma 0010 Sheng Liu Shengtao Yue Xianping Tao Jian Lu 0001 LeakDAF: An Automated Tool for Detecting Leaked Activities and Fragments of Android Applications. 23-32 2017 COMPSAC (1) https://doi.org/10.1109/COMPSAC.2017.161 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2017.161 conf/compsac/2017-1 db/conf/compsac/compsac2017-1.html#JunSYTJ17 Tianxiao Gu Xiaoxing Ma Chang Xu 0001 Yanyan Jiang 0001 Chun Cao Jian Lü 0001 Synthesizing object transformation for dynamic software updating. 336-338 2017 ICSE (Companion Volume) https://doi.org/10.1109/ICSE-C.2017.96 https://doi.ieeecomputersociety.org/10.1109/ICSE-C.2017.96 http://dl.acm.org/citation.cfm?id=3098459 conf/icse/2017c db/conf/icse/icse2017c.html#GuMX0CL17 Tianxiao Gu Chun Cao Tianchi Liu 0002 Chengnian Sun Jing Deng Xiaoxing Ma Jian Lu 0001 AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications. 103-114 2017 ICSME https://doi.org/10.1109/ICSME.2017.72 https://doi.ieeecomputersociety.org/10.1109/ICSME.2017.72 conf/icsm/2017 db/conf/icsm/icsme2017.html#GuC0SDML17 Bingying Guo Huiyan Wang 0001 Chang Xu 0001 Jian Lu 0001 GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection. 137-147 2017 ICSME https://doi.org/10.1109/ICSME.2017.10 https://doi.ieeecomputersociety.org/10.1109/ICSME.2017.10 conf/icsm/2017 db/conf/icsm/icsme2017.html#GuoWXL17 Yuhao Gong Hongyu Kuang Xinchen Cai Hao Hu 0001 Wei Song 0003 Jian Lu 0001 Parallelized Mobility-Aware Complex Event Processing. 898-901 2017 ICWS https://doi.org/10.1109/ICWS.2017.116 https://doi.ieeecomputersociety.org/10.1109/ICWS.2017.116 conf/icws/2017 db/conf/icws/icws2017.html#GongKCHSL17 Shengtao Yue Weizan Feng Jun Ma 0010 Yanyan Jiang 0001 XianPing Tao Chang Xu 0001 Jian Lu 0001 RepDroid: an automated tool for Android application repackaging detection. 132-142 2017 ICPC https://doi.org/10.1109/ICPC.2017.16 https://doi.ieeecomputersociety.org/10.1109/ICPC.2017.16 http://dl.acm.org/citation.cfm?id=3101431 conf/iwpc/2017 db/conf/iwpc/icpc2017.html#YueFM0TXL17 Jingwei Xu 0001 Yuan Yao 0001 Hanghang Tong Xianping Tao Jian Lu 0001 HoORaYs: High-order Optimization of Rating Distance for Recommender Systems. 525-534 2017 KDD https://doi.org/10.1145/3097983.3098019 conf/kdd/2017 db/conf/kdd/kdd2017.html#Xu0TTL17 Liang Wang 0006 Tao Gu 0001 Xianping Tao Jian Lu 0001 Direction-Aware, Audio-Based Pedestrian Relative Positioning by Swing Induced Doppler Shift. 86-95 2017 MobiQuitous https://doi.org/10.1145/3144457.3144469 conf/mobiquitous/2017 db/conf/mobiquitous/mobiquitous2017.html#WangGTL17 Hengfeng Wei Yu Huang 0002 Jian Lu 0001 Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores. 21-33 2017 SRDS https://doi.org/10.1109/SRDS.2017.11 https://doi.ieeecomputersociety.org/10.1109/SRDS.2017.11 conf/srds/2017 db/conf/srds/srds2017.html#WeiHL17 Hongyu Kuang Jia Nie Hao Hu 0001 Patrick Rempel Jian Lu 0001 Alexander Egyed Patrick Mäder Analyzing closeness of code dependencies for improving IR-based Traceability Recovery. 68-78 2017 SANER https://doi.org/10.1109/SANER.2017.7884610 https://doi.ieeecomputersociety.org/10.1109/SANER.2017.7884610 conf/wcre/2017 db/conf/wcre/saner2017.html#KuangNHRLEM17 Jian Lv 0001 He Jason Zhang Mike Hinchey Xiao Liu 0004 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017 APSEC IEEE Computer Society 2017 978-1-5386-3681-7 https://ieeexplore.ieee.org/xpl/conhome/8305447/proceeding https://www.computer.org/csdl/proceedings/apsec/2017/3681/00/index.html db/conf/apsec/apsec2017.html

Hengfeng Wei Yu Huang 0002 Jian Lu 0001 Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. 2017 abs/1708.04754 CoRR http://arxiv.org/abs/1708.04754 db/journals/corr/corr1708.html#abs-1708-04754

Hong Mei 0001 Jian Lü 0001 Internetware - A New Software Paradigm for Internet Computing Springer 2016 3-442 978-981-10-2545-7 https://doi.org/10.1007/978-981-10-2546-4

Wang Xi Chang Xu 0001 Wenhua Yang 0001 Xiaoxing Ma Ping Yu 0004 Jian Lu 0001 Suppressing detection of inconsistency hazards with pattern learning. 219-229 2016 74 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2015.08.003 https://www.wikidata.org/entity/Q113317250 db/journals/infsof/infsof74.html#XiXYMYL16

Jun Sui Chang Xu 0001 Shing-Chi Cheung Wang Xi Yanyan Jiang 0001 Chun Cao Xiaoxing Ma Jian Lu 0001 Hybrid CPU-GPU constraint checking: Towards efficient context consistency. 230-242 2016 74 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2015.10.003 https://www.wikidata.org/entity/Q113317248 db/journals/infsof/infsof74.html#SuiXCX0CML16

Yi Qin 0002 Chang Xu 0001 Ping Yu 0004 Jian Lu 0001 SIT: Sampling-based interactive testing for self-adaptive apps. 70-88 2016 120 J. Syst. Softw. https://doi.org/10.1016/j.jss.2016.07.002 db/journals/jss/jss120.html#QinX0L16

Yiling Yang Yu Huang 0002 Xiaoxing Ma Jian Lu 0001 Enabling Context-Awareness by Predicate Detection in Asynchronous Environments. 522-534 2016 65 IEEE Trans. Computers 2 https://doi.org/10.1109/TC.2015.2424879 http://doi.ieeecomputersociety.org/10.1109/TC.2015.2424879 db/journals/tc/tc65.html#Yang0ML16

Hongwei Xie Tao Gu 0001 XianPing Tao Haibo Ye Jian Lu 0001 A Reliability-Augmented Particle Filter for Magnetic Fingerprinting Based Indoor Localization on Smartphone. 1877-1892 2016 15 IEEE Trans. Mob. Comput. 8 https://doi.org/10.1109/TMC.2015.2480064 http://doi.ieeecomputersociety.org/10.1109/TMC.2015.2480064 db/journals/tmc/tmc15.html#XieGTYL16

Hengfeng Wei Marzio De Biasi Yu Huang 0002 Jiannong Cao 0001 Jian Lu 0001 Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas. 1511-1523 2016 27 IEEE Trans. Parallel Distributed Syst. 5 https://doi.org/10.1109/TPDS.2015.2453985 http://doi.ieeecomputersociety.org/10.1109/TPDS.2015.2453985 https://www.wikidata.org/entity/Q60247662 db/journals/tpds/tpds27.html#WeiB0CL16

Haibo Ye Tao Gu 0001 XianPing Tao Jian Lu 0001 Scalable floor localization using barometer on smartphone. 2557-2571 2016 16 Wirel. Commun. Mob. Comput. 16 https://doi.org/10.1002/wcm.2706 db/journals/wicomm/wicomm16.html#YeGTL16

Xiangyu Wu Yanyan Jiang 0001 Chang Xu 0001 Chun Cao Xiaoxing Ma Jian Lu 0001 Testing Android Apps via Guided Gesture Event Generation. 201-208 2016 APSEC https://doi.org/10.1109/APSEC.2016.037 conf/apsec/2016 db/conf/apsec/apsec2016.html#Wu0XCML16 Qiwei Li Yanyan Jiang 0001 Tianxiao Gu Chang Xu 0001 Jun Ma 0010 Xiaoxing Ma Jian Lu 0001 Effectively Manifesting Concurrency Bugs in Android Apps. 209-216 2016 APSEC https://doi.org/10.1109/APSEC.2016.038 conf/apsec/2016 db/conf/apsec/apsec2016.html#Li0GXMML16 Zelin Zhao Tianxiao Gu Xiaoxing Ma Chang Xu 0001 Jian Lu 0001 CURE: Automated Patch Generation for Dynamic Software Update. 249-256 2016 APSEC https://doi.org/10.1109/APSEC.2016.043 conf/apsec/2016 db/conf/apsec/apsec2016.html#ZhaoGMXL16 Tianxiao Gu Zelin Zhao Xiaoxing Ma Chang Xu 0001 Chun Cao Jian Lu 0001 Improving Reliability of Dynamic Software Updating Using Runtime Recovery. 257-264 2016 APSEC https://doi.org/10.1109/APSEC.2016.044 conf/apsec/2016 db/conf/apsec/apsec2016.html#GuZMXCL16 Yong Wu Yuan Yao 0001 Feng Xu 0007 Hanghang Tong Jian Lu 0001 Tag2Word: Using Tags to Generate Words for Content Based Tag Recommendation. 2287-2292 2016 CIKM https://doi.org/10.1145/2983323.2983682 conf/cikm/2016 db/conf/cikm/cikm2016.html#Wu0XTL16 Jue Wang Yepang Liu 0001 Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 E-greenDroid: effective energy inefficiency analysis for android applications. 71-80 2016 Internetware https://doi.org/10.1145/2993717.2993720 https://www.wikidata.org/entity/Q130959951 conf/internetware/2016 db/conf/internetware/internetware2016.html#WangLXML16 Tianxiao Gu Chengnian Sun Xiaoxing Ma Jian Lü 0001 Zhendong Su 0001 Automatic runtime recovery via error handler synthesis. 684-695 2016 ASE https://doi.org/10.1145/2970276.2970360 https://ieeexplore.ieee.org/document/7582803/ https://www.wikidata.org/entity/Q130966157 conf/kbse/2016 db/conf/kbse/ase2016.html#GuSMLS16 Jinqi Cui Liang Wang 0006 Tao Gu 0001 XianPing Tao Jian Lu 0001 An Audio-based Hierarchical Smoking Behavior Detection System Based on A Smart Neckband Platform. 190-199 2016 MobiQuitous https://doi.org/10.1145/2994374.2994384 conf/mobiquitous/2016 db/conf/mobiquitous/mobiquitous2016.html#CuiWGTL16 Huiyan Wang 0001 Chang Xu 0001 Jun Sui Jian Lu 0001 How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study. 41-52 2016 QRS https://doi.org/10.1109/QRS.2016.15 conf/qrs/2016 db/conf/qrs/qrs2016.html#WangXSL16 Yanyan Jiang 0001 Haicheng Chen Feng Qin Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 Crash consistency validation made easy. 133-143 2016 SIGSOFT FSE https://doi.org/10.1145/2950290.2950327 conf/sigsoft/2016 db/conf/sigsoft/fse2016.html#0001CQXML16 Yanyan Jiang 0001 Chang Xu 0001 Du Li Xiaoxing Ma Jian Lu 0001 Online shared memory dependence reduction via bisectional coordination. 822-832 2016 SIGSOFT FSE https://doi.org/10.1145/2950290.2950326 conf/sigsoft/2016 db/conf/sigsoft/fse2016.html#0001XLML16 Hong Mei 0001 Jian Lv 0001 Zhi Jin 0001 Xuandong Li Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware 2016, Beijing, China, September 18, 2016 Internetware ACM 2016 978-1-4503-4829-4 https://doi.org/10.1145/2993717 db/conf/internetware/internetware2016.html

Tao Xie 0001 Lu Zhang 0023 Jian Lü 0001 Editor's Note. 1-2 2015 58 Sci. China Inf. Sci. 5 https://doi.org/10.1007/s11432-015-5318-6 db/journals/chinaf/chinaf58.html#Xie0L15

Yuan Yao 0001 Hanghang Tong Tao Xie 0001 Leman Akoglu Feng Xu 0007 Jian Lu 0001 Detecting high-quality posts in community question answering sites. 70-82 2015 302 Inf. Sci. https://doi.org/10.1016/j.ins.2014.12.038 db/journals/isci/isci302.html#YaoTXAXL15

Haibo Ye Tao Gu 0001 XianPing Tao Jian Lv 0001 Infrastructure-Free Floor Localization Through Crowdsourcing. 1249-1273 2015 30 J. Comput. Sci. Technol. 6 https://doi.org/10.1007/s11390-015-1597-z https://www.wikidata.org/entity/Q114389210 db/journals/jcst/jcst30.html#YeGTL15

Hongyu Kuang Patrick Mäder Hao Hu 0001 Achraf Ghabi LiGuo Huang Jian Lü 0001 Alexander Egyed Can method data dependencies support the assessment of traceability between requirements and source code? 838-866 2015 27 J. Softw. Evol. Process. 11 https://doi.org/10.1002/smr.1736 https://www.wikidata.org/entity/Q56432363 db/journals/smr/smr27.html#KuangMHGHLE15

Jian Lu 0001 David S. Rosenblum Tevfik Bultan Valérie Issarny Schahram Dustdar Margaret-Anne D. Storey Dongmei Zhang 0001 Roundtable: The Future of Software Engineering for Internet Computing. 91-97 2015 32 IEEE Softw. 1 https://doi.org/10.1109/MS.2015.15 http://doi.ieeecomputersociety.org/10.1109/MS.2015.15 https://www.wikidata.org/entity/Q60485163 db/journals/software/software32.html#LuRBIDSZ15

Chang Xu 0001 Wang Xi Shing-Chi Cheung Xiaoxing Ma Chun Cao Jian Lu 0001 Cina: Suppressing the Detection of Unstable Context Inconsistency. 842-865 2015 41 IEEE Trans. Software Eng. 9 https://doi.org/10.1109/TSE.2015.2418760 http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2418760 db/journals/tse/tse41.html#XuXCMCL15

Xiaorui Zhu XianPing Tao Tao Gu 0001 Jian Lu 0001 Target-Aware, Transmission Power-Adaptive, and Collision-Free Data Dissemination in Wireless Sensor Networks. 6911-6925 2015 14 IEEE Trans. Wirel. Commun. 12 https://doi.org/10.1109/TWC.2015.2462827 db/journals/twc/twc14.html#ZhuTGL15

Yu Du Hao Hu 0001 Wei Song 0003 Junhua Ding Jian Lu 0001 Efficient Computing Composite Service Skyline with QoS Correlations. 41-48 2015 SCC https://doi.org/10.1109/SCC.2015.16 https://doi.ieeecomputersociety.org/10.1109/SCC.2015.16 conf/IEEEscc/2015 db/conf/IEEEscc/scc2015.html#DuHSDL15 Kesheng Qi Hao Hu 0001 Wei Song 0003 Jidong Ge Jian Lu 0001 Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information. 186-193 2015 SCC https://doi.org/10.1109/SCC.2015.34 https://doi.ieeecomputersociety.org/10.1109/SCC.2015.34 conf/IEEEscc/2015 db/conf/IEEEscc/scc2015.html#QiHSGL15 Licheng Li Yuan Yao 0001 Feng Xu 0007 Jian Lu 0001 MATAR: Keywords Enhanced Multi-label Learning for Tag Recommendation. 268-279 2015 APWeb https://doi.org/10.1007/978-3-319-25255-1_22 conf/apweb/2015 db/conf/apweb/apweb2015.html#LiYXL15 Hao Jin Yanyan Jiang 0001 Na Liu Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 Concolic Metamorphic Debugging. 232-241 2015 COMPSAC https://doi.org/10.1109/COMPSAC.2015.79 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2015.79 conf/compsac/2015 db/conf/compsac/compsac2015.html#Jin0LXML15 Xiangyu Wu Chang Xu 0001 Ziling Lu Yanyan Jiang 0001 Chun Cao Xiaoxing Ma Jian Lu 0001 CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. 632-637 2015 COMPSAC https://doi.org/10.1109/COMPSAC.2015.120 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2015.120 conf/compsac/2015 db/conf/compsac/compsac2015.html#WuXLJCML15 Jun Ma 0010 XianPing Tao Haijun Wu Jian Lu 0001 ReCEC: Resolving Conflicts of Environmental Constraints among Multiple Applications in a Smart Space. 784-789 2015 COMPSAC https://doi.org/10.1109/COMPSAC.2015.43 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2015.43 conf/compsac/2015 db/conf/compsac/compsac2015.html#MaTWL15 Bin Chen Ping Yu 0004 Chun Cao Feng Xu 0007 Jian Lu 0001 ConRec: A Software Framework for Context-Aware Recommendation Based on Dynamic and Personalized Context. 816-821 2015 COMPSAC https://doi.org/10.1109/COMPSAC.2015.42 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2015.42 conf/compsac/2015 db/conf/compsac/compsac2015.html#ChenYCXL15 Jingwei Xu 0001 Yuan Yao 0001 Hanghang Tong XianPing Tao Jian Lu 0001 Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison. 3981-3987 2015 IJCAI http://ijcai.org/Abstract/15/559 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#XuYTTL15 Yanyan Jiang 0001 Du Li Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 Optimistic Shared Memory Dependence Tracing (T). 524-534 2015 ASE https://doi.org/10.1109/ASE.2015.11 https://doi.ieeecomputersociety.org/10.1109/ASE.2015.11 https://dl.acm.org/citation.cfm?id=3343952 conf/kbse/2015 db/conf/kbse/ase2015.html#0001LXML15 Guo Yan Yuan Yao 0001 Feng Xu 0007 Jian Lu 0001 RIT: Enhancing Recommendation with Inferred Trust. 756-767 2015 PAKDD (2) https://doi.org/10.1007/978-3-319-18032-8_59 conf/pakdd/2015-2 db/conf/pakdd/pakdd2015-2.html#YanYXL15 Xuansong Li XianPing Tao Jian Lu 0001 Programming Method and Formalization for Activity-Oriented Context-Aware Applications. 174-181 2015 UIC/ATC/ScalCom https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.48 https://doi.ieeecomputersociety.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.48 conf/uic/2015 db/conf/uic/uic2015.html#LiTL15 Jian Lv 0001 He Jason Zhang Muhammad Ali Babar 0001 Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, EASE 2015, Nanjing, China, April 27-29, 2015 ACM EASE 2015 978-1-4503-3350-4 http://dl.acm.org/citation.cfm?id=2745802 db/conf/ease/ease2015.html Hong Mei 0001 Jian Lü 0001 Xiaoxing Ma Qianxiang Wang Gang Yin Xiaofei Liao Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015 Internetware ACM 2015 978-1-4503-3641-3 https://doi.org/10.1145/2875913 db/conf/internetware/internetware2015.html

Hengfeng Wei Yu Huang 0002 Jiannong Cao 0001 Jian Lu 0001 Almost Strong Consistency: "Good Enough" in Distributed Storage Systems. 2015 abs/1507.01663 CoRR http://arxiv.org/abs/1507.01663 db/journals/corr/corr1507.html#Wei0CL15

Yiling Yang Yu Huang 0002 Jiannong Cao 0001 Jian Lu 0001 Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime. 2015 abs/1508.00091 CoRR http://arxiv.org/abs/1508.00091 db/journals/corr/corr1508.html#Yang0CL15

Tianxiao Gu Chun Cao Chang Xu 0001 Xiaoxing Ma Linghao Zhang Jian Lü 0001 Low-disruptive dynamic updating of Java applications. 1086-1098 2014 56 Inf. Softw. Technol. 9 https://doi.org/10.1016/j.infsof.2014.04.003 db/journals/infsof/infsof56.html#GuCXMZL14

Kai Dong 0001 Tao Gu 0001 XianPing Tao Jian Lv 0001 Complete Bipartite Anonymity for Location Privacy. 1094-1110 2014 29 J. Comput. Sci. Technol. 6 https://doi.org/10.1007/s11390-014-1493-y db/journals/jcst/jcst29.html#DongGTL14

Yuan Yao 0001 Hanghang Tong Xifeng Yan Feng Xu 0007 Jian Lu 0001 Multi-Aspect + Transitivity + Bias: An Integral Trust Inference Model. 1706-1719 2014 26 IEEE Trans. Knowl. Data Eng. 7 https://doi.org/10.1109/TKDE.2013.147 http://doi.ieeecomputersociety.org/10.1109/TKDE.2013.147 db/journals/tkde/tkde26.html#YaoTYXL14

Yiling Yang Yu Huang 0002 Jiannong Cao 0001 Xiaoxing Ma Jian Lu 0001 Design of a Sliding Window over Distributed and Asynchronous Event Streams. 2551-2560 2014 25 IEEE Trans. Parallel Distributed Syst. 10 https://doi.org/10.1109/TPDS.2013.233 http://doi.ieeecomputersociety.org/10.1109/TPDS.2013.233 https://www.wikidata.org/entity/Q60248020 db/journals/tpds/tpds25.html#Yang0CML14

Yepang Liu 0001 Chang Xu 0001 Shing-Chi Cheung Jian Lu 0001 GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. 911-940 2014 40 IEEE Trans. Software Eng. 9 https://doi.org/10.1109/TSE.2014.2323982 http://doi.ieeecomputersociety.org/10.1109/TSE.2014.2323982 db/journals/tse/tse40.html#LiuXCL14

Yi Qin 0002 XianPing Tao Jian Lv 0001 Supporting groupware communication with topology-enhanced content-based network. 1-6 2014 APNOMS https://doi.org/10.1109/APNOMS.2014.6996520 conf/apnoms/2014 db/conf/apnoms/apnoms2014.html#QinTL14 Xiujiang Li Yanyan Jiang 0001 Yepang Liu 0001 Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 User Guided Automation for Testing Mobile Apps. 27-34 2014 APSEC (1) https://doi.org/10.1109/APSEC.2014.13 https://doi.ieeecomputersociety.org/10.1109/APSEC.2014.13 conf/apsec/2014-1 db/conf/apsec/apsec2014-1.html#LiJLXML14 Jun Sui Chang Xu 0001 Wang Xi Yanyan Jiang 0001 Chun Cao Xiaoxing Ma Jian Lu 0001 GAIN: GPU-Based Constraint Checking for Context Consistency. 319-326 2014 APSEC (1) https://doi.org/10.1109/APSEC.2014.55 https://doi.ieeecomputersociety.org/10.1109/APSEC.2014.55 conf/apsec/2014-1 db/conf/apsec/apsec2014-1.html#SuiXXJCML14 Yuan Yao 0001 Hanghang Tong Tao Xie 0001 Leman Akoglu Feng Xu 0007 Jian Lu 0001 Joint voting prediction for questions and answers in CQA. 340-343 2014 ASONAM https://doi.org/10.1109/ASONAM.2014.6921607 https://doi.ieeecomputersociety.org/10.1109/ASONAM.2014.6921607 conf/asunam/2014 db/conf/asunam/asonam2014.html#YaoTXAXL14 Su-Ping Deng Jian Lu 0001 Wei Fu Ping Yu 0004 Prediction of protein function by combining phylogenetic tree and mathematical inference. 896-901 2014 BMEI https://doi.org/10.1109/BMEI.2014.7002899 conf/bmei/2014 db/conf/bmei/bmei2014.html#DengLFY14 Yuan Yao 0001 Hanghang Tong Guo Yan Feng Xu 0007 Xiang Zhang 0001 Boleslaw K. Szymanski Jian Lu 0001 Dual-Regularized One-Class Collaborative Filtering. 759-768 2014 CIKM https://doi.org/10.1145/2661829.2662042 conf/cikm/2014 db/conf/cikm/cikm2014.html#YaoTYXZSL14 Hongwei Xie Tao Gu 0001 XianPing Tao Haibo Ye Jian Lu 0001 MaLoc: a practical magnetic fingerprinting approach to indoor localization using smartphones. 243-253 2014 UbiComp https://doi.org/10.1145/2632048.2632057 conf/huc/2014 db/conf/huc/ubicomp2014.html#XieGTYL14 Haibo Ye Tao Gu 0001 XianPing Tao Jian Lu 0001 F-Loc: Floor localization via crowdsourcing. 47-54 2014 ICPADS https://doi.org/10.1109/PADSW.2014.7097790 https://doi.ieeecomputersociety.org/10.1109/PADSW.2014.7097790 conf/icpads/2014 db/conf/icpads/icpads2014.html#YeGTL14 Yanyan Jiang 0001 Tianxiao Gu Chang Xu 0001 Xiaoxing Ma Jian Lu 0001 CARE: cache guided deterministic replay for concurrent Java programs. 457-467 2014 ICSE https://doi.org/10.1145/2568225.2568236 conf/icse/2014 db/conf/icse/icse2014.html#JiangGXML14 Wenhua Yang 0001 Chang Xu 0001 Yepang Liu 0001 Chun Cao Xiaoxing Ma Jian Lu 0001 Verifying self-adaptive applications suffering uncertainty. 199-210 2014 ASE https://doi.org/10.1145/2642937.2642999 https://www.wikidata.org/entity/Q130982962 conf/kbse/2014 db/conf/kbse/ase2014.html#YangXLCML14 Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Predicting long-term impact of CQA posts: a comprehensive viewpoint. 1496-1505 2014 KDD https://doi.org/10.1145/2623330.2623649 conf/kdd/2014 db/conf/kdd/kdd2014.html#YaoTXL14 Haibo Ye Tao Gu 0001 XianPing Tao Jian Lu 0001 B-Loc: Scalable Floor Localization Using Barometer on Smartphone. 127-135 2014 MASS https://doi.org/10.1109/MASS.2014.49 https://doi.ieeecomputersociety.org/10.1109/MASS.2014.49 conf/mass/2014 db/conf/mass/mass2014.html#YeGTL14 Haibo Ye Tao Gu 0001 XianPing Tao Jian Lu 0001 SBC: scalable smartphone barometer calibration through crowdsourcing. 60-69 2014 MobiQuitous https://doi.org/10.4108/icst.mobiquitous.2014.257822 http://dl.acm.org/citation.cfm?id=2692992 conf/mobiquitous/2014 db/conf/mobiquitous/mobiquitous2014.html#YeGTL14 Xiaoyu Chen Yuan Yao 0001 Feng Xu 0007 Jian Lu 0001 Exploring Review Content for Recommendation via Latent Factor Model. 668-679 2014 PRICAI https://doi.org/10.1007/978-3-319-13560-1_53 conf/pricai/2014 db/conf/pricai/pricai2014.html#ChenYXL14 Jun Ma 0010 XianPing Tao Chun Cao Jian Lu 0001 Handling Influence among Multiple Applications in a Smart Space. 26-33 2014 UIC/ATC/ScalCom https://doi.org/10.1109/UIC-ATC-ScalCom.2014.90 https://doi.ieeecomputersociety.org/10.1109/UIC-ATC-ScalCom.2014.90 conf/uic/2014 db/conf/uic/uic2014.html#JunTCJ14 Haibo Ye Tao Gu 0001 XianPing Tao Jian Lu 0001 Crowdsourced smartphone sensing for localization in metro trains. 1-9 2014 WoWMoM https://doi.org/10.1109/WoWMoM.2014.6918958 https://doi.ieeecomputersociety.org/10.1109/WoWMoM.2014.6918958 conf/wowmom/2014 db/conf/wowmom/wowmom2014.html#YeGTL14 Hong Mei 0001 Jian Lv 0001 Minghui Zhou 0001 Charles Zhang 0001 Proceedings of the 6th Asia-Pacific Symposium on Internetware, Internetware 2014, Hong Kong, China, November 17, 2014 Internetware ACM 2014 978-1-4503-3303-0 https://doi.org/10.1145/2677832 db/conf/internetware/internetware2014.html Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Subgraph Extraction for Trust Inference in Social Networks. 2084-2098 2014 Encyclopedia of Social Network Analysis and Mining https://doi.org/10.1007/978-1-4614-6170-8_357 db/reference/snam/snam2014.html#YaoTXL14

Chun Cao Ping Yu 0004 Hao Hu 0001 Jian Lv 0001 Toward a seamless adaptation platform for Internetware. 1-13 2013 56 Sci. China Inf. Sci. 8 https://doi.org/10.1007/s11432-013-4913-7 db/journals/chinaf/chinaf56.html#CaoYHL13

Chang Xu 0001 Yepang Liu 0001 Shing-Chi Cheung Chun Cao Jian Lv 0001 Towards context consistency by concurrent checking for Internetware applications. 1-20 2013 56 Sci. China Inf. Sci. 8 https://doi.org/10.1007/s11432-013-4907-5 db/journals/chinaf/chinaf56.html#XuLCCL13

Yuan Yao 0001 Feng Xu 0007 Yongli Ren Hanghang Tong Jian Lü 0001 SelfTrust: leveraging self-assessment for trust inference in Internetware. 1-14 2013 56 Sci. China Inf. Sci. 10 https://doi.org/10.1007/s11432-013-5005-4 db/journals/chinaf/chinaf56.html#YaoXRTL13

Chang Xu 0001 Shing-Chi Cheung Xiaoxing Ma Chun Cao Jian Lv 0001 Detecting Faults in Context-Aware Adaptation. 85-111 2013 7 Int. J. Softw. Informatics 1 http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i148 db/journals/ijsi/ijsi7.html#XuCMCL13

Qiliang Yang Jian Lu 0001 XianPing Tao Xiaoxing Ma Jianchun Xing Wei Song 0003 Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty. 165-187 2013 28 J. Comput. Sci. Technol. 1 https://doi.org/10.1007/s11390-013-1321-9 db/journals/jcst/jcst28.html#YangLTMXS13

Ping Yu 0004 Xiaoxing Ma Jiannong Cao 0001 Jian Lu 0001 Application mobility in pervasive computing: A survey. 2-17 2013 9 Pervasive Mob. Comput. 1 https://doi.org/10.1016/j.pmcj.2012.07.009 https://www.wikidata.org/entity/Q60248194 db/journals/percom/percom9.html#YuMCL13

Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Pairwise trust inference by subgraph extraction. 953-968 2013 3 Soc. Netw. Anal. Min. 4 https://doi.org/10.1007/s13278-013-0140-x db/journals/snam/snam3.html#YaoTXL13

Yiling Yang Yu Huang 0002 Jiannong Cao 0001 Xiaoxing Ma Jian Lu 0001 Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments. 1546-1555 2013 24 IEEE Trans. Parallel Distributed Syst. 8 https://doi.org/10.1109/TPDS.2012.259 http://doi.ieeecomputersociety.org/10.1109/TPDS.2012.259 https://www.wikidata.org/entity/Q60248282 db/journals/tpds/tpds24.html#Yang0CML13

Gang Xu Hao Hu 0001 Ping Yu 0004 Jian Lv 0001 Ping Qu Ming Zhu Supporting Flexibility of the CMMI Process Framework with a Multi-layered Process Model. 409-414 2013 IEEE WISA https://doi.org/10.1109/WISA.2013.83 https://doi.ieeecomputersociety.org/10.1109/WISA.2013.83 conf/IEEEwisa/2013 db/conf/IEEEwisa/wisa2013.html#XuHYLQZ13 Jing Wang Hao Hu 0001 Ping Yu 0004 Jian Lv 0001 Jidong Ge Public-View and Object Petri Net Based Modeling of Cross-Organizational Process. 425-428 2013 IEEE WISA https://doi.org/10.1109/WISA.2013.86 https://doi.ieeecomputersociety.org/10.1109/WISA.2013.86 conf/IEEEwisa/2013 db/conf/IEEEwisa/wisa2013.html#WangHYLG13 Ping Su Chun Cao Xiaoxing Ma Jian Lu 0001 Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration. 450-458 2013 APSEC (1) https://doi.org/10.1109/APSEC.2013.66 https://doi.ieeecomputersociety.org/10.1109/APSEC.2013.66 conf/apsec/2013-1 db/conf/apsec/apsec2013-1.html#SuCML13 Jian Lü 0001 Yu Huang 0002 Chang Xu 0001 Xiaoxing Ma Managing Environment and Adaptation Risks for the Internetware Paradigm. 271-284 2013 Theories of Programming and Formal Methods https://doi.org/10.1007/978-3-642-39698-4_17 conf/birthday/2013he db/conf/birthday/he2013.html#Lu0XM13 Jun Ma 0010 XianPing Tao Jian Lv 0001 Presence-pattern aware service selection and composition in a smart space. 4:1-4:8 2013 Internetware https://doi.org/10.1145/2532443.2532452 conf/internetware/2013 db/conf/internetware/internetware2013.html#MaTL13 Linghao Zhang Hui Sun Xiaoxing Ma Chang Xu 0001 Jian Lu 0001 Challenges in developing software for cyber-physical systems. 15:1-15:10 2013 Internetware https://doi.org/10.1145/2532443.2532450 conf/internetware/2013 db/conf/internetware/internetware2013.html#ZhangSMXL13 Guo Yan Feng Xu 0007 Yuan Yao 0001 Jian Lu 0001 Enhancing trustworthiness evaluation in internetware with similarity and non-negative constraints. 25:1-25:4 2013 Internetware https://doi.org/10.1145/2532443.2532459 conf/internetware/2013 db/conf/internetware/internetware2013.html#YanXYL13 Chang Xu 0001 Wenhua Yang 0001 Xiaoxing Ma Chun Cao Jian Lu 0001 Environment rematching: Toward dependability improvement for self-adaptive applications. 592-597 2013 ASE https://doi.org/10.1109/ASE.2013.6693118 conf/kbse/2013 db/conf/kbse/ase2013.html#XuYMCL13 Liang Wang 0006 Tao Gu 0001 Hongwei Xie XianPing Tao Jian Lu 0001 Yu Huang 0002 A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns. 370-383 2013 MobiQuitous https://doi.org/10.1007/978-3-319-11569-6_29 http://eudl.eu/doi/10.1007/978-3-319-11569-6_29 conf/mobiquitous/2013 db/conf/mobiquitous/mobiquitous2013.html#WangGXTLH13 Kai Dong 0001 Tao Gu 0001 XianPing Tao Jian Lu 0001 JointCache: Collaborative path confusion through lightweight P2P communication. 352-355 2013 PerCom Workshops https://doi.org/10.1109/PerComW.2013.6529514 https://doi.ieeecomputersociety.org/10.1109/PerComW.2013.6529514 conf/percom/2013w db/conf/percom/percomw2013.html#DongGTL13 Xuansong Li XianPing Tao Jian Lu 0001 Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach. 173-182 2013 QSIC https://doi.org/10.1109/QSIC.2013.59 conf/qsic/2013 db/conf/qsic/qsic2013.html#LiTL13 Hongwei Xie XianPing Tao Haibo Ye Jian Lu 0001 WeCare: An Intelligent Badge for Elderly Danger Detection and Alert. 224-231 2013 UIC/ATC https://doi.org/10.1109/UIC-ATC.2013.104 https://doi.ieeecomputersociety.org/10.1109/UIC-ATC.2013.104 conf/uic/2013 db/conf/uic/uic2013.html#XieTYL13 Yuan Yao 0001 Hanghang Tong Xifeng Yan Feng Xu 0007 Jian Lu 0001 MATRI: a multi-aspect and transitive trust inference model. 1467-1476 2013 WWW https://doi.org/10.1145/2488388.2488516 conf/www/2013 db/conf/www/www2013.html#YaoTYXL13 Tao Gu 0001 Zhanqing Wu XianPing Tao Hung Keng Pung Jian Lu 0001 Mining Emerging Patterns for Activity Recognition. 317-328 2013 Contrast Data Mining books/crc/dong2013 db/books/collections/dong2013.html#GuWTPL13 Hong Mei 0001 Jian Lv 0001 Xiaoguang Mao Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware 2013, Changsha, China, October 23-24, 2013 Internetware ACM 2013 978-1-4503-2369-7 https://doi.org/10.1145/2532443 db/conf/internetware/internetware2013.html

Hengfeng Wei Yu Huang 0002 Jiannong Cao 0001 Xiaoxing Ma Jian Lu 0001 Verifying PRAM Consistency over Read/Write Traces of Data Replicas http://arxiv.org/abs/1302.5161 2013 CoRR abs/1302.5161 db/journals/corr/corr1302.html#abs-1302-5161

Yiling Yang Yu Huang 0002 Xiaoxing Ma Jian Lu 0001 Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments. 2013 CoRR http://arxiv.org/abs/1310.3623 abs/1310.3623 db/journals/corr/corr1310.html#Yang0ML13

Yuan Yao 0001 Hanghang Tong Tao Xie 0001 Leman Akoglu Feng Xu 0007 Jian Lu 0001 Want a Good Answer? Ask a Good Question First! 2013 CoRR http://arxiv.org/abs/1311.6876 abs/1311.6876 db/journals/corr/corr1311.html#YaoTXAXL13

Chang Xu 0001 Shing-Chi Cheung Xiaoxing Ma Chun Cao Jian Lu 0001 Adam: Identifying defects in context-aware adaptation. 2812-2828 2012 85 J. Syst. Softw. 12 https://doi.org/10.1016/j.jss.2012.04.078 db/journals/jss/jss85.html#XuCMCL12

Liang Wang 0006 Tao Gu 0001 XianPing Tao Jian Lu 0001 A hierarchical approach to real-time activity recognition in body sensor networks. 115-130 2012 8 Pervasive Mob. Comput. 1 https://doi.org/10.1016/j.pmcj.2010.12.001 db/journals/percom/percom8.html#WangGTL12

Linghao Zhang Xiaoxing Ma Jian Lu 0001 Tao Xie 0001 Nikolai Tillmann Peli de Halleux Environmental Modeling for Automated Cloud Application Testing. 30-35 2012 29 IEEE Softw. 2 https://doi.org/10.1109/MS.2011.158 http://doi.ieeecomputersociety.org/10.1109/MS.2011.158 https://www.wikidata.org/entity/Q57432405 db/journals/software/software29.html#ZhangMLXTH12

Yu Huang 0002 Yiling Yang Jiannong Cao 0001 Xiaoxing Ma XianPing Tao Jian Lu 0001 Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments. 744-750 2012 23 IEEE Trans. Parallel Distributed Syst. 4 https://doi.org/10.1109/TPDS.2011.176 http://doi.ieeecomputersociety.org/10.1109/TPDS.2011.176 https://www.wikidata.org/entity/Q60248706 db/journals/tpds/tpds23.html#HuangYCMTL12

Linghao Zhang Chang Xu 0001 Xiaoxing Ma Tianxiao Gu Xuezhi Hong Chun Cao Jian Lu 0001 Resynchronizing Model-Based Self-Adaptive Systems with Environments. 184-193 2012 APSEC https://doi.org/10.1109/APSEC.2012.62 conf/apsec/2012 db/conf/apsec/apsec2012.html#ZhangXMGHCL12 Tianxiao Gu Chun Cao Chang Xu 0001 Xiaoxing Ma Linghao Zhang Jian Lu 0001 Javelus: A Low Disruptive Approach to Dynamic Software Updates. 527-536 2012 APSEC https://doi.org/10.1109/APSEC.2012.55 conf/apsec/2012 db/conf/apsec/apsec2012.html#GuCXMZL12 Yuan Yao 0001 Hanghang Tong Feng Xu 0007 Jian Lu 0001 Subgraph Extraction for Trust Inference in Social Networks. 163-170 2012 ASONAM https://doi.org/10.1109/ASONAM.2012.37 https://doi.ieeecomputersociety.org/10.1109/ASONAM.2012.37 conf/asunam/2012 db/conf/asunam/asonam2012.html#YaoTXL12 Haibin Yang Chang Xu 0001 Xiaoxing Ma Linghao Zhang Chun Cao Jian Lu 0001 ConsView: Towards Application-Specific Consistent Context Views. 632-637 2012 COMPSAC https://doi.org/10.1109/COMPSAC.2012.89 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2012.89 conf/compsac/2012 db/conf/compsac/compsac2012.html#YangXMZCL12 Kai Dong 0001 Tao Gu 0001 XianPing Tao Jian Lu 0001 Complete Bipartite Anonymity: Confusing Anonymous Mobility Traces for Location Privacy. 205-212 2012 ICPADS https://doi.org/10.1109/ICPADS.2012.37 https://doi.ieeecomputersociety.org/10.1109/ICPADS.2012.37 conf/icpads/2012 db/conf/icpads/icpads2012.html#DongGTL12 Jun Ma 0010 XianPing Tao Tao Zheng Jian Lu 0001 Enriching Context-Oriented Programming with Structured Context Representation. 372-388 2012 ICPCA/SWS https://doi.org/10.1007/978-3-642-37015-1_31 conf/icpca/2012 db/conf/icpca/icpca2012.html#MaTZL12 Hongyu Kuang Patrick Mäder Hao Hu 0001 Achraf Ghabi LiGuo Huang Jian Lv 0001 Alexander Egyed Do data dependencies in source code complement call dependencies for understanding requirements traceability? 181-190 2012 ICSM https://doi.org/10.1109/ICSM.2012.6405270 https://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405270 conf/icsm/2012 db/conf/icsm/icsm2012.html#KuangMHGHJE12 Chang Xu 0001 Shing-Chi Cheung Xiaoxing Ma Chun Cao Jian Lu 0001 Dynamic fault detection in context-aware adaptation. 1:1-1:10 2012 Internetware https://doi.org/10.1145/2430475.2430476 conf/internetware/2012 db/conf/internetware/internetware2012.html#XuCMCL12 Tao Liu Feng Xu 0007 Yuan Yao 0001 Jian Lu 0001 A group recommendation approach for service selection. 10:1-10:5 2012 Internetware https://doi.org/10.1145/2430475.2430485 conf/internetware/2012 db/conf/internetware/internetware2012.html#LiuXYL12 Haibo Ye Tao Gu 0001 Xiaorui Zhu Jinwei Xu XianPing Tao Jian Lu 0001 Ning Jin FTrack: Infrastructure-free floor localization via mobile phone sensing. 2-10 2012 PerCom https://doi.org/10.1109/PerCom.2012.6199843 https://doi.ieeecomputersociety.org/10.1109/PerCom.2012.6199843 conf/percom/2012 db/conf/percom/percom2012.html#YeGZXTLJ12 Hengfeng Wei Yu Huang 0002 Jiannong Cao 0001 Xiaoxing Ma Jian Lu 0001 Formal specification and runtime detection of temporal properties for asynchronous context. 30-38 2012 PerCom https://doi.org/10.1109/PerCom.2012.6199846 https://doi.ieeecomputersociety.org/10.1109/PerCom.2012.6199846 https://www.wikidata.org/entity/Q60248591 conf/percom/2012 db/conf/percom/percom2012.html#WeiHCML12 Jian Lu 0001 Xinyu Feng 0001 Mobile Agent Communications. 17-40 2012 Mobile Agents in Networking and Distributed Computing https://doi.org/10.1002/9781118135617.ch2 books/wi/12/CD2012 db/books/collections/CD2012.html#0001F12 Ping Yu 0004 Jian Lu 0001 Jiannong Cao 0001 Mobile Agents in Mobile and Wireless Computing. 243-261 2012 Mobile Agents in Networking and Distributed Computing https://doi.org/10.1002/9781118135617.ch10 https://www.wikidata.org/entity/Q60248665 books/wi/12/CD2012 db/books/collections/CD2012.html#YuLC12 Hong Mei 0001 Jian Lv 0001 Qianxiang Wang Lin Liu 0001 Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware 2012, QingDao, China, October 30-31, 2012 ACM Internetware 2012 978-1-4503-1888-4 http://dl.acm.org/citation.cfm?id=2430475 db/conf/internetware/internetware2012.html

Yuan Yao 0001 Hanghang Tong Xifeng Yan Feng Xu 0007 Jian Lu 0001 MaTrust: An Effective Multi-Aspect Trust Inference Model http://arxiv.org/abs/1211.2041 2012 CoRR abs/1211.2041 db/journals/corr/corr1211.html#abs-1211-2041

Liang Wang 0006 Tao Gu 0001 XianPing Tao Hanhua Chen Jian Lu 0001 Recognizing multi-user activities using wearable sensors in a smart home. 287-298 2011 7 Pervasive Mob. Comput. 3 https://doi.org/10.1016/j.pmcj.2010.11.008 db/journals/percom/percom7.html#WangGTCL11

Tao Gu 0001 Liang Wang 0006 Zhanqing Wu XianPing Tao Jian Lu 0001 A Pattern Mining Approach to Sensor-Based Human Activity Recognition. 1359-1372 2011 23 IEEE Trans. Knowl. Data Eng. 9 https://doi.org/10.1109/TKDE.2010.184 http://doi.ieeecomputersociety.org/10.1109/TKDE.2010.184 db/journals/tkde/tkde23.html#GuWWTL11

Tao Gu 0001 Liang Wang 0006 Hanhua Chen XianPing Tao Jian Lu 0001 Recognizing Multiuser Activities Using Wireless Body Sensor Networks. 1618-1631 2011 10 IEEE Trans. Mob. Comput. 11 https://doi.org/10.1109/TMC.2011.43 http://doi.ieeecomputersociety.org/10.1109/TMC.2011.43 db/journals/tmc/tmc10.html#GuWCTL11

Qiliang Yang Jian Lü 0001 Jianchun Xing XianPing Tao Hao Hu 0001 Yang Zou 0001 Fuzzy Control-Based Software Self-Adaptation: A Case Study in Mission Critical Systems. 13-18 2011 COMPSAC Workshops https://doi.org/10.1109/COMPSACW.2011.13 https://doi.ieeecomputersociety.org/10.1109/COMPSACW.2011.13 conf/compsac/2011w db/conf/compsac/compsac2011w.html#YangLXTHZ11 Wei Song 0003 Xiaoxing Ma Shing-Chi Cheung Hao Hu 0001 Qiliang Yang Jian Lü 0001 Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. 129-136 2011 ICWS https://doi.org/10.1109/ICWS.2011.12 https://doi.ieeecomputersociety.org/10.1109/ICWS.2011.12 conf/icws/2011 db/conf/icws/icws2011.html#SongMCHYL11 Chang Xu 0001 Xiaoxing Ma Chun Cao Jian Lu 0001 Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. 285-297 2011 MobiQuitous https://doi.org/10.1007/978-3-642-30973-1_29 http://eudl.eu/doi/10.1007/978-3-642-30973-1_29 conf/mobiquitous/2011 db/conf/mobiquitous/mobiquitous2011.html#XuMCL11 Xiaoxing Ma Luciano Baresi Carlo Ghezzi Valerio Panzica La Manna Jian Lu 0001 Version-consistent dynamic reconfiguration of component-based distributed systems. 245-255 2011 SIGSOFT FSE https://doi.org/10.1145/2025113.2025148 conf/sigsoft/2011 db/conf/sigsoft/fse2011.html#MaBGML11 Yuan Yao 0001 Jiufeng Zhou Lixin Han Feng Xu 0007 Jian Lü 0001 Comparing Linkage Graph and Activity Graph of Online Social Networks. 84-97 2011 SocInfo https://doi.org/10.1007/978-3-642-24704-0_14 conf/socinfo/2011 db/conf/socinfo/socinfo2011.html#YaoZHXL11

Yiling Yang Yu Huang 0002 Jiannong Cao 0001 Xiaoxing Ma Jian Lu 0001 Design of a Sliding Window over Asynchronous Event Streams http://arxiv.org/abs/1111.3022 2011 CoRR abs/1111.3022 db/journals/corr/corr1111.html#abs-1111-3022

Tao Gu 0001 Shaxun Chen XianPing Tao Jian Lu 0001 An unsupervised approach to activity recognition and segmentation based on object-use fingerprints. 533-544 2010 69 Data Knowl. Eng. 6 https://doi.org/10.1016/j.datak.2010.01.004 db/journals/dke/dke69.html#GuCTL10

Jun Li 0022 Yingyi Bu Shaxun Chen XianPing Tao Jian Lu 0001 Toward an agent-based pluggable infrastructure for context-awareness. 286-310 2010 6 Int. J. Pervasive Comput. Commun. 3 https://doi.org/10.1108/17427371011084257 db/journals/ijpcc/ijpcc6.html#LiBCTL10

LiGuo Huang JiDong Ge Barry W. Boehm Jian Lu 0001 Modeling the Value-Based Software Process with Object-Petri-Nets. 101-119 2010 4 Int. J. Softw. Informatics 1 http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i40&flag=1 db/journals/ijsi/ijsi4.html#HuangGBL10

Tianwei Sun Feng Xu 0007 Jian Lü 0001 An Internetware Based Approach to Building Web Page Integration Applications for Mobile Devices. 367-382 2010 4 Int. J. Softw. Informatics 3 http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i69 db/journals/ijsi/ijsi4.html#SunXL10

Yu Huang 0002 Jiannong Cao 0001 Beihong Jin XianPing Tao Jian Lu 0001 Yulin Feng Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks. 1150-1161 2010 21 IEEE Trans. Parallel Distributed Syst. 8 https://doi.org/10.1109/TPDS.2009.168 http://doi.ieeecomputersociety.org/10.1109/TPDS.2009.168 https://www.wikidata.org/entity/Q60249173 db/journals/tpds/tpds21.html#HuangCJTLF10

Yu Huang 0002 Jiannong Cao 0001 Beihong Jin XianPing Tao Jian Lu 0001 Cooperative cache consistency maintenance for pervasive internet access. 436-450 2010 10 Wirel. Commun. Mob. Comput. 3 https://doi.org/10.1002/wcm.819 https://www.wikidata.org/entity/Q60249110 db/journals/wicomm/wicomm10.html#HuangCJTL10

Wei Song 0003 Xiaoxing Ma Shing-Chi Cheung Hao Hu 0001 Jian Lu 0001 Preserving Data Flow Correctness in Process Adaptation. 9-16 2010 IEEE SCC https://doi.org/10.1109/SCC.2010.24 https://doi.ieeecomputersociety.org/10.1109/SCC.2010.24 conf/IEEEscc/2010 db/conf/IEEEscc/scc2010.html#SongMCHL10 Taolue Chen 0001 Jian Lu 0001 Towards Analysis of Semi-Markov Decision Processes. 41-48 2010 AICI (1) https://doi.org/10.1007/978-3-642-16530-6_6 conf/aici/2010-1 db/conf/aici/aici2010-1.html#ChenL10 Kai Dong 0001 Tao Gu 0001 XianPing Tao Jian Lu 0001 Privacy Protection in Participatory Sensing Applications Requiring Fine-Grained Locations. 9-16 2010 ICPADS https://doi.org/10.1109/ICPADS.2010.127 https://doi.ieeecomputersociety.org/10.1109/ICPADS.2010.127 conf/icpads/2010 db/conf/icpads/icpads2010.html#DongGTL10 Tianwei Sun Feng Xu 0007 Jian Lü 0001 An internetware based approach to building web page integration applications for mobile devices. 5 2010 Internetware https://doi.org/10.1145/2020723.2020728 conf/internetware/2010 db/conf/internetware/internetware2010.html#SunXL10 Qiliang Yang Jian Lü 0001 Juelong Li Xiaoxing Ma Wei Song 0003 Yang Zou 0001 Toward a fuzzy control-based approach to design of self-adaptive software. 15 2010 Internetware https://doi.org/10.1145/2020723.2020738 https://www.wikidata.org/entity/Q130918576 conf/internetware/2010 db/conf/internetware/internetware2010.html#YangLLMSZ10 Tao Gu 0001 Liang Wang 0006 Hanhua Chen Guimei Liu XianPing Tao Jian Lu 0001 Mining Emerging Sequential Patterns for Activity Recognition in Body Sensor Networks. 102-113 2010 MobiQuitous https://doi.org/10.1007/978-3-642-29154-8_9 http://eudl.eu/doi/10.1007/978-3-642-29154-8_9 conf/mobiquitous/2010 db/conf/mobiquitous/mobiquitous2010.html#GuWCLTL10 Liang Wang 0006 Tao Gu 0001 Hanhua Chen XianPing Tao Jian Lu 0001 Real-Time Activity Recognition in Wireless Body Sensor Networks: From Simple Gestures to Complex Activities. 43-52 2010 RTCSA https://doi.org/10.1109/RTCSA.2010.19 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2010.19 conf/rtcsa/2010 db/conf/rtcsa/rtcsa2010.html#WangGCTL10 Hong Mei 0001 Jian Lv 0001 Xuandong Li Zhi Jin 0001 Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware 2010, Suzhou, China, November 3-4, 2010 ACM Internetware 2010 978-1-4503-0694-2 http://dl.acm.org/citation.cfm?id=2020723 db/conf/internetware/internetware2010.html

Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 On metrics for probabilistic systems: Definitions and algorithms. 991-999 2009 57 Comput. Math. Appl. 6 https://doi.org/10.1016/j.camwa.2008.10.041 db/journals/cma/cma57.html#ChenHL09

Hong Mei 0001 Jian Lü 0001 Preface. 413-414 2009 3 Int. J. Softw. Informatics 4 http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=413&flag=1 db/journals/ijsi/ijsi3.html#MeiL09

JiDong Ge Hao Hu 0001 Jian Lu 0001 Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis. 971-976 2009 ACIS-ICIS https://doi.org/10.1109/ICIS.2009.44 https://doi.ieeecomputersociety.org/10.1109/ICIS.2009.44 conf/ACISicis/2009 db/conf/ACISicis/ACISicis2009.html#GeHL09 Wei Song 0003 Xiaoxing Ma Shing-Chi Cheung Wanchun Dou Jian Lu 0001 A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. 427-434 2009 IEEE SCC https://doi.org/10.1109/SCC.2009.18 https://doi.ieeecomputersociety.org/10.1109/SCC.2009.18 conf/IEEEscc/2009 db/conf/IEEEscc/scc2009.html#SongMCDL09 Liang Wang 0006 Tao Gu 0001 XianPing Tao Jian Lu 0001 Sensor-Based Human Activity Recognition in a Multi-user Scenario. 78-87 2009 AmI https://doi.org/10.1007/978-3-642-05408-2_10 conf/ami/2009 db/conf/ami/ami2009.html#WangGTL09 Jian Lü 0001 Xiaoxing Ma Yu Huang 0002 Chun Cao Feng Xu 0007 Internetware: a shift of software paradigm. 7 2009 Internetware https://doi.org/10.1145/1640206.1640213 conf/internetware/2009 db/conf/internetware/internetware2009.html#LuM0CX09 Jing Pan Feng Xu 0007 Yuan Yao 0001 Jian Lü 0001 A dynamic trust network based simulation framework for reputation-based service selection. 14 2009 Internetware https://doi.org/10.1145/1640206.1640220 conf/internetware/2009 db/conf/internetware/internetware2009.html#PanXYL09 Ping Yu 0004 Chun Cao Xiaoxing Ma Jian Lu 0001 ARTEMIS: an open coordination middleware system. 20 2009 Internetware https://doi.org/10.1145/1640206.1640226 conf/internetware/2009 db/conf/internetware/internetware2009.html#YuCML09 Tao Gu 0001 Zhanqing Wu Liang Wang 0006 XianPing Tao Jian Lu 0001 Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing. 1-10 2009 MobiQuitous https://doi.org/10.4108/ICST.MOBIQUITOUS2009.6818 https://ieeexplore.ieee.org/document/5326404/ conf/mobiquitous/2009 db/conf/mobiquitous/mobiquitous2009.html#GuW0TL09 Tao Zhu Zhanqing Wu Liang Wang 0006 XianPing Tao Jian Lu 0001 Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing. 1-2 2009 MobiQuitous https://doi.org/10.4108/ICST.MOBIQUITOUS2009.7013 https://ieeexplore.ieee.org/document/5326366/ conf/mobiquitous/2009 db/conf/mobiquitous/mobiquitous2009.html#ZhuW0TL09 Tao Gu 0001 Zhanqing Wu XianPing Tao Hung Keng Pung Jian Lu 0001 epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition. 1-9 2009 PerCom https://doi.org/10.1109/PERCOM.2009.4912776 https://doi.ieeecomputersociety.org/10.1109/PERCOM.2009.4912776 conf/percom/2009 db/conf/percom/percom2009.html#GuWTPL09 Yu Huang 0002 Xiaoxing Ma Jiannong Cao 0001 XianPing Tao Jian Lu 0001 Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context. 1-9 2009 PerCom https://doi.org/10.1109/PERCOM.2009.4912761 https://doi.ieeecomputersociety.org/10.1109/PERCOM.2009.4912761 https://www.wikidata.org/entity/Q60249453 conf/percom/2009 db/conf/percom/percom2009.html#HuangMCTL09 Wei Song 0003 Xiaoxing Ma Chunyang Ye Wanchun Dou Jian Lu 0001 Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. 92-97 2009 QSIC https://doi.org/10.1109/QSIC.2009.20 https://doi.ieeecomputersociety.org/10.1109/QSIC.2009.20 conf/qsic/2009 db/conf/qsic/qsic2009.html#SongMYDL09 Bo Zong Feng Xu 0007 Jun Jiao Jian Lv 0001 A Broker-Assisting Trust and Reputation System Based on Artificial Neural Network. 4710-4715 2009 SMC conf/smc/2009 db/conf/smc/smc2009.html#ZongXJL09 https://doi.org/10.1109/ICSMC.2009.5346098 Yang Zou 0001 Jian Lü 0001 Xiaoqin Zeng Xiaoxing Ma Qiliang Yang Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency. 135-147 2009 VINCI https://doi.org/10.1007/978-1-4419-0312-9_8 conf/vinci/2009 db/conf/vinci/vinci2009.html#ZouLZMY09 Fuqing Yang Hong Mei 0001 Jian Lv 0001 Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware 2009, Beijing, China, October 17 - 18, 2009 ACM Internetware 2009 978-1-60558-872-8 http://dl.acm.org/citation.cfm?id=1640206 db/conf/internetware/internetware2009.html

Yu Huang 0002 Jianping Yu Jiannong Cao 0001 Xiaoxing Ma XianPing Tao Jian Lu 0001 Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments http://arxiv.org/abs/0911.0136 2009 CoRR abs/0911.0136 db/journals/corr/corr0911.html#abs-0911-0136

Fuqing Yang Jian Lü 0001 Hong Mei 0001 Technical framework for Internetware: An architecture centric approach. 610-622 2008 51 Sci. China Ser. F Inf. Sci. 6 https://doi.org/10.1007/s11432-008-0051-z db/journals/chinaf/chinaf51.html#YangLM08

Jian Lü 0001 Xiaoxing Ma XianPing Tao Chun Cao Yu Huang 0002 Ping Yu 0004 On environment-driven software model for Internetware. 683-721 2008 51 Sci. China Ser. F Inf. Sci. 6 https://doi.org/10.1007/s11432-008-0057-6 db/journals/chinaf/chinaf51.html#LuMTCHY08

XianPing Tao Xiaoxing Ma Jian Lu 0001 Ping Yu 0004 Yu Zhou 0010 Multi-mode interaction middleware for software services. 985-999 2008 51 Sci. China Ser. F Inf. Sci. 8 https://doi.org/10.1007/s11432-008-0095-0 db/journals/chinaf/chinaf51.html#TaoMLYZ08

Lianwei Guan Xingyu Li Hao Hu 0001 Jian Lu 0001 A Petri net-based approach for supporting aspect-oriented modeling. 413-423 2008 2 Frontiers Comput. Sci. China 4 https://doi.org/10.1007/s11704-008-0041-8 db/journals/fcsc/fcsc2.html#GuanLHL08

Ningning Cheng Shaxun Chen XianPing Tao Jian Lu 0001 Guihai Chen A model for context-aware applications. 428-439 2008 4 Int. J. Pervasive Comput. Commun. 4 https://doi.org/10.1108/17427370810932178 db/journals/ijpcc/ijpcc4.html#ChengCTLC08

LiGuo Huang Barry W. Boehm Hao Hu 0001 Jian Lü 0001 Cheng Qian Applying Value-Based Software Process: An ERP Example. 1-15 2008 2 Int. J. Softw. Informatics 1 http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=20081&flag=1 db/journals/ijsi/ijsi2.html#HuangBHLQ08

JiDong Ge Hao Hu 0001 Jian Lü 0001 Order Constraints for Multi-view Software Process Model. 639-642 2008 CSSE (2) https://doi.org/10.1109/CSSE.2008.1499 https://doi.ieeecomputersociety.org/10.1109/CSSE.2008.1499 conf/csse/2008-2 db/conf/csse/csse2008-2.html#GeHL08 Yu Huang 0002 Xiang Ma XianPing Tao Jiannong Cao 0001 Jian Lu 0001 A Probabilistic Approach to Consistency Checking for Pervasive Context. 387-393 2008 EUC (1) https://doi.org/10.1109/EUC.2008.129 https://doi.ieeecomputersociety.org/10.1109/EUC.2008.129 https://www.wikidata.org/entity/Q60249634 conf/euc/2008-1 db/conf/euc/euc2008-1.html#HuangMTCL08 Taolue Chen 0001 Jian Lu 0001 Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks. 134-138 2008 FSKD (5) https://doi.org/10.1109/FSKD.2008.410 https://doi.ieeecomputersociety.org/10.1109/FSKD.2008.410 conf/fskd/2008-5 db/conf/fskd/fskd2008-5.html#ChenL08b Wei Song 0003 Xiaoxing Ma Wanchun Dou Jian Lü 0001 Toward a Model-Based Approach to Dynamic Adaptation of Composite Services. 561-568 2008 ICWS https://doi.org/10.1109/ICWS.2008.65 https://doi.ieeecomputersociety.org/10.1109/ICWS.2008.65 conf/icws/2008 db/conf/icws/icws2008.html#SongMDL08 Fangyuan Zheng Hao Hu 0001 Jian Lü 0001 Applying a Component Behavior Model to MVC Pattern. 1106-1111 2008 ICYCS https://doi.org/10.1109/ICYCS.2008.419 https://doi.ieeecomputersociety.org/10.1109/ICYCS.2008.419 conf/icycs/2008 db/conf/icycs/icycs2008.html#ZhengHL08 Yu Zhou 0010 Michael Würsch Emanuel Giger Harald C. Gall Jian Lu 0001 A Bayesian Network Based Approach for Change Coupling Prediction. 27-36 2008 WCRE https://doi.org/10.1109/WCRE.2008.39 https://doi.ieeecomputersociety.org/10.1109/WCRE.2008.39 conf/wcre/2008 db/conf/wcre/wcre2008.html#ZhouWGGL08 Jun Ma 0010 Xuansong Li XianPing Tao Jian Lu 0001 Cluster filtered KNN: A WLAN-based indoor positioning scheme. 1-8 2008 WOWMOM https://doi.org/10.1109/WOWMOM.2008.4594840 https://doi.ieeecomputersociety.org/10.1109/WOWMOM.2008.4594840 conf/wowmom/2008 db/conf/wowmom/wowmom2008.html#MaLTL08 Taolue Chen 0001 Jian Lu 0001 Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. 55-70 2008 conf/fics2/2008 FICS https://doi.org/10.1016/j.entcs.2008.04.053 db/journals/entcs/entcs212.html#ChenL08

Ping Yu 0004 Xiaoxing Ma Jian Lu 0001 Expectation, experiment and reflection on internet software evolution. 1-5 2007 32 ACM SIGSOFT Softw. Eng. Notes 3 https://doi.org/10.1145/1241572.1241585 db/journals/sigsoft/sigsoft32.html#YuML07

Qiang Lin JiDong Ge Hao Hu 0001 Jian Lu 0001 An Approach to Model Cross-organizational Processes using Object Petri net. 146-152 2007 conf/IEEEscc/2007w IEEE SCW https://doi.org/10.1109/SERVICES.2007.14 https://doi.ieeecomputersociety.org/10.1109/SERVICES.2007.14 db/conf/IEEEscc/scw2007.html#LinGHL07 Reng Yin Hao Hu 0001 JiDong Ge Jian Lu 0001 Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets. 526-533 2007 conf/apsec/2007 APSEC https://doi.org/10.1109/APSEC.2007.78 db/conf/apsec/apsec2007.html#YinHGL07 Yuan Wang Ye Tao 0012 Ping Yu 0004 Feng Xu 0007 Jian Lü 0001 A Trust Evolution Model for P2P Networks. 216-225 2007 conf/atc/2007 ATC https://doi.org/10.1007/978-3-540-73547-2_23 db/conf/atc/atc2007.html#WangTYXL07 Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. 21-25 2007 FSKD (2) https://doi.org/10.1109/FSKD.2007.426 https://doi.ieeecomputersociety.org/10.1109/FSKD.2007.426 conf/fskd/2007-2 db/conf/fskd/fskd2007-2.html#ChenHL07 Taolue Chen 0001 Jian Lu 0001 Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm. 35-39 2007 FSKD (2) https://doi.org/10.1109/FSKD.2007.458 https://doi.ieeecomputersociety.org/10.1109/FSKD.2007.458 conf/fskd/2007-2 db/conf/fskd/fskd2007-2.html#ChenL07a Shaxun Chen JiDong Ge XianPing Tao Jian Lu 0001 A Transaction Model for Context-Aware Applications. 252-262 2007 conf/gpc/2007 GPC https://doi.org/10.1007/978-3-540-72360-8_22 db/conf/gpc/gpc2007.html#ChenGTL07 Yu Zhou 0010 Jiannong Cao 0001 Vaskar Raychoudhury Joanna Siebert Jian Lu 0001 A Middleware Support for Agent-Based Application Mobility in Pervasive Environments. 9 2007 conf/icdcsw/2007 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2007.12 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2007.12 https://www.wikidata.org/entity/Q60249908 db/conf/icdcsw/icdcsw2007.html#ZhouCRSL07 Chun Cao Jiannong Cao 0001 Xiaoxing Ma Jian Lü 0001 A Mutual Exclusion Algorithm for Mobile Agents-Based Applications. 56-67 2007 conf/ispa/2007 ISPA https://doi.org/10.1007/978-3-540-74742-0_8 db/conf/ispa/ispa2007.html#CaoCML07 Shaxun Chen Tao Gu 0001 XianPing Tao Jian Lu 0001 Application Based Distance Measurement for Context Retrieval in Ubiquitous Computing. 1-7 2007 MobiQuitous https://doi.org/10.1109/MOBIQ.2007.4450999 https://doi.ieeecomputersociety.org/10.1109/MOBIQ.2007.4450999 http://eudl.eu/doi/10.1109/MOBIQ.2007.4450999 conf/mobiquitous/2007 db/conf/mobiquitous/mobiquitous2007.html#ChenGTL07 Yu Zhou 0010 Jian Pan Xiaoxing Ma Bin Luo 0003 XianPing Tao Jian Lu 0001 Applying ontology in architecture-based self-management applications. 97-103 2007 conf/sac/2007 SAC https://doi.org/10.1145/1244002.1244026 db/conf/sac/sac2007.html#ZhouPMLTL07 Xiaoxing Ma Yu Zhou 0010 Jian Pan Ping Yu 0004 Jian Lu 0001 Constructing Self-Adaptive Systems with Polymorphic Software Architecture. 2-8 2007 conf/seke/2007 SEKE db/conf/seke/seke2007.html#MaZPYL07 Qin Yin Hao Hu 0001 Jun Li 0022 Jian Lu 0001 A Middleware Approach for Behavior Consistent Composition of Services in Smart Space. 233-240 2007 conf/soca/2007 SOCA https://doi.org/10.1109/SOCA.2007.4 https://doi.ieeecomputersociety.org/10.1109/SOCA.2007.4 db/conf/soca/soca2007.html#YinHLL07

Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. 2006 17 Acta Cybern. 3 https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3678 db/journals/actaC/actaC17.html#ChenHL06 471-483

Chun Cao Jian Lu 0001 Path-history-based access control for mobile agents. 215-225 2006 21 Int. J. Parallel Emergent Distributed Syst. 3 https://doi.org/10.1080/17445760500356205 db/journals/paapp/paapp21.html#CaoL06

Yuan Wang Feng Xu 0007 Jian Lü 0001 Establishing recommendation trust relationships for internetwares. 1-5 2006 31 ACM SIGSOFT Softw. Eng. Notes 1 https://doi.org/10.1145/1108768.1108777 db/journals/sigsoft/sigsoft31.html#WangXL06

Jun Li 0022 Yingyi Bu Shaxun Chen XianPing Tao Jian Lu 0001 FollowMe: On Research of Pluggable Infrastructure for Context-Awareness. 199-204 2006 conf/aina/2006 AINA (1) https://doi.org/10.1109/AINA.2006.182 https://doi.ieeecomputersociety.org/10.1109/AINA.2006.182 db/conf/aina/aina2006.html#LiBCTL06 Yuan Wang Feng Xu 0007 Ye Tao 0012 Chun Cao Jian Lü 0001 Toward Trust Management in Autonomic and Coordination Applications. 236-245 2006 conf/atc/2006 ATC https://doi.org/10.1007/11839569_23 db/conf/atc/atc2006.html#WangXTCL06 JiDong Ge Hao Hu 0001 Jian Lu 0001 Invariant Analysis for the Task Refinement of Workflow Nets. 209 2006 conf/cimca/2006 CIMCA/IAWTIC https://doi.org/10.1109/CIMCA.2006.135 https://doi.ieeecomputersociety.org/10.1109/CIMCA.2006.135 db/conf/cimca/cimca2006.html#GeHL06 Yingyi Bu Shaxun Chen Jun Li 0022 XianPing Tao Jian Lu 0001 Context Consistency Management Using Ontology Based Model. 741-755 2006 conf/edbtw/2006 EDBT Workshops https://doi.org/10.1007/11896548_56 db/conf/edbtw/edbtw2006.html#BuCLTL06 Wentian Lu Jun Li 0022 XianPing Tao Xiaoxing Ma Jian Lu 0001 Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection. 143-158 2006 conf/eurossc/2006 EuroSSC https://doi.org/10.1007/11907503_11 db/conf/eurossc/eurossc2006.html#LuLTML06 Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 On the Markovian Randomized Strategy of Controller for Markov Decision Processes. 149-158 2006 conf/fskd/2006 FSKD https://doi.org/10.1007/11881599_17 db/conf/fskd/fskd2006.html#ChenHL06 LiGuo Huang Barry W. Boehm Hao Hu 0001 JiDong Ge Jian Lü 0001 Cheng Qian Applying the Value/Petri process to ERP software development in China. 502-511 2006 conf/icse/2006 ICSE https://doi.org/10.1145/1134285.1134356 db/conf/icse/icse2006.html#HuangBHGLQ06 JiDong Ge Hao Hu 0001 Qing Gu 0001 Jian Lu 0001 Modeling Multi-View Software Process with Object Petri Nets. 41 2006 conf/icsea/2006 ICSEA https://doi.org/10.1109/ICSEA.2006.261297 https://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.53 db/conf/icsea/icsea2006.html#GeHGL06 LiGuo Huang Hao Hu 0001 JiDong Ge Barry W. Boehm Jian Lü 0001 Tailor the Value-Based Software Quality Achievement Process to Project Business Cases. 56-63 2006 conf/ispw/2006 SPW/ProSim https://doi.org/10.1007/11754305_6 db/conf/ispw/spw2006.html#HuangHGBL06 Bing Shi 0002 XianPing Tao Jian Lu 0001 Rewards-based negotiation for providing context information. 8 2006 MPAC https://doi.org/10.1145/1169075.1169083 conf/middleware/2006mpac db/conf/middleware/mpac2006.html#ShiTL06 Yingyi Bu Tao Gu 0001 XianPing Tao Jun Li 0022 Shaxun Chen Jian Lu 0001 Managing Quality of Context in Pervasive Computing. 193-200 2006 conf/qsic/2006 QSIC https://doi.org/10.1109/QSIC.2006.38 https://doi.ieeecomputersociety.org/10.1109/QSIC.2006.38 db/conf/qsic/qsic2006.html#BuGTLCL06 Ping Yu 0004 Jiannong Cao 0001 Weidong Wen Jian Lu 0001 Mobile Agent Enabled Application Mobility for Pervasive Computing. 648-657 2006 conf/uic/2006 UIC https://doi.org/10.1007/11833529_66 db/conf/uic/uic2006.html#YuCWL06 Shaxun Chen Yingyi Bu Jun Li 0022 XianPing Tao Jian Lu 0001 Toward Context-Awareness: A Workflow Embedded Middleware. 766-775 2006 conf/uic/2006 UIC https://doi.org/10.1007/11833529_78 db/conf/uic/uic2006.html#ChenBLTL06

Minyi Guo Weng-Long Chang Jian Lu 0001 Minglu Li 0001 One-dimensional I test and direction vector I test with array references by induction variable. 219-226 2005 3 Int. J. High Perform. Comput. Netw. 4 https://doi.org/10.1504/IJHPCN.2005.008564 db/journals/ijhpcn/ijhpcn3.html#GuoCLL05

Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 Analysis of A Leader Election Algorithm in uCRL. 841-847 2005 conf/IEEEcit/2005 CIT https://doi.org/10.1109/CIT.2005.205 https://doi.ieeecomputersociety.org/10.1109/CIT.2005.205 db/conf/IEEEcit/IEEEcit2005.html#ChenHL05 Ping Yu 0004 Xiaoxing Ma Jian Lu 0001 Dynamic Software Architecture Oriented Service Composition and Evolution. 1123-1129 2005 conf/IEEEcit/2005 CIT https://doi.org/10.1109/CIT.2005.100 https://doi.ieeecomputersociety.org/10.1109/CIT.2005.100 db/conf/IEEEcit/IEEEcit2005.html#YuML05 Qin Yin Hao Hu 0001 Jun Li 0022 JiDong Ge Jian Lu 0001 An Approach to Ensure Service Behavior Consistency in OSGi. 185-192 2005 conf/apsec/2005 APSEC https://doi.org/10.1109/APSEC.2005.32 https://doi.ieeecomputersociety.org/10.1109/APSEC.2005.32 db/conf/apsec/apsec2005.html#QinHJJJ05 Tingting Han 0001 Taolue Chen 0001 Jian Lu 0001 Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. 71-76 2005 conf/compsac/2005 COMPSAC (1) https://doi.org/10.1109/COMPSAC.2005.146 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.146 db/conf/compsac/compsac2005-1.html#HanCL05 Yingyi Bu Jun Li 0022 Shaxun Chen XianPing Tao Jian Lu 0001 An Enhanced Ontology Based Context Model and Fusion Mechanism. 920-929 2005 conf/euc/2005 EUC https://doi.org/10.1007/11596356_91 db/conf/euc/euc2005.html#BuLCTL05 Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 On the Bisimulation Congruence in <i>chi</i>-Calculus. 128-139 2005 conf/fsttcs/2005 FSTTCS https://doi.org/10.1007/11590156_10 db/conf/fsttcs/fsttcs2005.html#ChenHL05 Haiyang Hu XianPing Tao JiDong Ge Jian Lu 0001 An Efficient Scheme for Fault-Tolerant Web Page Access in Wireless Mobile Environment Based on Mobile Agents. 378-387 2005 conf/hpcc/2005 HPCC https://doi.org/10.1007/11557654_46 db/conf/hpcc/hpcc2005.html#HuTGL05 Chun Cao Jian Lu 0001 A Path-History-Sensitive Access Control Model for Mobile Agent Environment. 660-663 2005 conf/icdcsw/2005 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2005.19 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2005.19 db/conf/icdcsw/icdcsw2005.html#CaoL05 Haiyang Hu JiDong Ge Ping Lu XianPing Tao Jian Lu 0001 Supporting Wireless Web Page Access in Mobile Environments Using Mobile Agents. 859-869 2005 conf/ispa/2005 ISPA https://doi.org/10.1007/11576235_86 db/conf/ispa/ispa2005.html#HuGLTL05 JiDong Ge Haiyang Hu Ping Lu Hao Hu 0001 Jian Lü 0001 Translation of Nets Within Nets in Cross-organizational Software Process Modeling. 360-375 2005 conf/ispw/2005 ISPW https://doi.org/10.1007/11608035_30 db/conf/ispw/ispw2005.html#GeHLHL05 Tingting Han 0001 Taolue Chen 0001 Jian Lu 0001 Structure Analysis for Dynamic Software Architecture. 338 2005 conf/snpd/2005 SNPD https://doi.org/10.1109/SNPD-SAWN.2005.75 https://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2005.75 db/conf/snpd/snpd2005.html#HanCL05 Guihai Chen Yi Pan 0001 Minyi Guo Jian Lu 0001 Parallel and Distributed Processing and Applications - ISPA 2005 Workshops, ISPA 2005 International Workshops AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings 3759 2005 3-540-29770-7 ISPA Workshops Lecture Notes in Computer Science Springer https://doi.org/10.1007/11576259 db/conf/ispa/ispa2005w.html

Jian Lu 0001 Some research on componentware frameworks based on mobile agent technology. 8 2004 29 ACM SIGSOFT Softw. Eng. Notes 2 https://doi.org/10.1145/979743.979762 db/journals/sigsoft/sigsoft29.html#Lu04

Jiannong Cao 0001 Xinyu Feng 0001 Jian Lu 0001 Henry C. B. Chan Sajal K. Das 0001 Reliable message delivery for mobile agents: push or pull? 577-587 2004 34 IEEE Trans. Syst. Man Cybern. Part A 5 https://doi.org/10.1109/TSMCA.2004.826824 https://www.wikidata.org/entity/Q60250567 db/journals/tsmc/tsmca34.html#CaoFLCD04

Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. 540-545 2004 conf/IEEEcit/2004 CIT https://doi.org/10.1109/CIT.2004.1357251 https://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357251 db/conf/IEEEcit/IEEEcit2004.html#ChenHL04 Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 Towards a Model Logic for p-Calculus. 330-335 2004 conf/compsac/2004 COMPSAC https://doi.org/10.1109/CMPSAC.2004.1342854 https://doi.ieeecomputersociety.org/10.1109/CMPSAC.2004.1342854 db/conf/compsac/compsac2004-R.html#ChenHL04 Jiannong Cao 0001 Jingyang Zhou Weiwei Zhu Daoxu Chen Jian Lu 0001 A Mobile Agent Enabled Approach for Distributed Deadlock Detection. 535-542 https://doi.org/10.1007/978-3-540-30208-7_73 2004 conf/gcc/2004 GCC db/conf/gcc/gcc2004.html#CaoZZCL04 Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 Tree logic with recursion and model checking algorithm. 588-593 2004 conf/iastedSEA/2004 IASTED Conf. on Software Engineering and Applications db/conf/iastedSEA/iastedSEA2004.html#ChenHL04 Taolue Chen 0001 Jingyang Zhou Tingting Han 0001 Jian Lu 0001 Checking Strong Open Congruence in Chi -Calculus. 4-20 2004 conf/cats/2004 CATS https://doi.org/10.1016/j.entcs.2003.12.003 db/journals/entcs/entcs91.html#ChenZHL04 Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 A Modal Logic for pi-Calculus and Model Checking Algorithm. 19-33 2004 conf/wollic/2004 WoLLIC https://doi.org/10.1016/j.entcs.2004.04.043 db/journals/entcs/entcs123.html#ChenHL05

Jiannong Cao 0001 Xiaoxing Ma Alvin T. S. Chan Jian Lu 0001 Architecting and implementing distributed Web applications using the graph-oriented approach. 799-820 2003 33 Softw. Pract. Exp. 9 db/journals/spe/spe33.html#CaoMCL03 https://doi.org/10.1002/spe.526 https://www.wikidata.org/entity/Q60250601

Xiaoxing Ma Jian Lu 0001 Jiannong Cao 0001 Alvin T. S. Chan Kang Zhang 0001 A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture. 518-525 2003 conf/seke/2003 SEKE db/conf/seke/seke2003.html#MaLCCZ03 Taolue Chen 0001 Tingting Han 0001 Jian Lu 0001 Intensionality of modal logic for Robust Ambient Calculus. 2003 conf/fgc/2003 FGC https://doi.org/10.1016/S1571-0661(05)80085-4 db/conf/fgc/fgc2003.html#ChenHL03 25-38

Xiaoxing Ma Jian Lü 0001 XianPing Tao Yingjun Li Hao Hu 0001 A mobile-agent-based approach to software coordination in the HOOPE system. 203-219 2002 45 Sci. China Ser. F Inf. Sci. 3 https://doi.org/10.1360/02yf9019 db/journals/chinaf/chinaf45.html#MaLTLH02

Jiannong Cao 0001 Xinyu Feng 0001 Jian Lu 0001 Sajal K. Das 0001 Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols. 54-60 2002 35 Computer 9 https://doi.org/10.1109/MC.2002.1033028 http://doi.ieeecomputersociety.org/10.1109/MC.2002.1033028 https://www.wikidata.org/entity/Q60250672 db/journals/computer/computer35.html#CaoFLD02

Yisong Chen Jian Lu 0001 Zhengxing Sun Fuyan Zhang Greylevel Difference Classification Algorithm in Fractal Image Compression. 236-240 2002 17 J. Comput. Sci. Technol. 2 https://doi.org/10.1007/BF02962217 db/journals/jcst/jcst17.html#ChenLSZ02

Jiannong Cao 0001 Xinyu Feng 0001 Jian Lu 0001 Sajal K. Das 0001 Design of Adaptive and Reliable Mobile Agent Communication Protocols. 471-472 2002 conf/icdcs/2002 ICDCS https://doi.org/10.1109/ICDCS.2002.1022295 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2002.1022295 db/conf/icdcs/icdcs2002.html#CaoFLD02 Jiannong Cao 0001 Xinyu Feng 0001 Jian Lu 0001 Henry C. B. Chan Sajal K. Das 0001 Reliable Message Delivery for Mobile Agents: Push or Pull. 314-320 2002 conf/icpads/2002 ICPADS https://doi.org/10.1109/ICPADS.2002.1183418 https://doi.ieeecomputersociety.org/10.1109/ICPADS.2002.1183418 https://www.wikidata.org/entity/Q60250677 db/conf/icpads/icpads2002.html#CaoFLCD02 Xiaoxing Ma Alvin T. S. Chan Jian Lu 0001 WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications. 266-275 2002 conf/icpp/2002 ICPP https://doi.org/10.1109/ICPP.2002.1040882 https://doi.ieeecomputersociety.org/10.1109/ICPP.2002.1040882 https://www.wikidata.org/entity/Q60250686 db/conf/icpp/icpp2002.html#MaCL02

Jian Lu 0001 Ming Zhang Mengqiao Xu Dajun Yang A two-layered-class approach for the reuse of synchronization code. 287-294 2001 43 Inf. Softw. Technol. 5 db/journals/infsof/infsof43.html#LuZXY01 https://doi.org/10.1016/S0950-5849(00)00170-1 https://www.wikidata.org/entity/Q127663454

Xinyu Feng 0001 Jiannong Cao 0001 Jian Lü 0001 Henry C. B. Chan An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems. 135-151 2001 conf/ma/2001 Mobile Agents https://doi.org/10.1007/3-540-45647-3_10 db/conf/ma/ma2001.html#FengCLC01

Jian Lu 0001 Yingjun Li Xiaoxing Ma Cai Min XianPing Tao Guanqun Zhang Jianzhong Liu A hierarchical framework: for parallel seismic applications. 55-59 2000 43 Commun. ACM 10 https://doi.org/10.1145/352183.352203 db/journals/cacm/cacm43.html#JianYXMXGJ00

Yingjun Li Jian Lu 0001 SEIS++: A Pattern Language for Seismic Tools Construction and Integration. 57-66 1999 34 ACM SIGPLAN Notices 12 db/journals/sigplan/sigplan34.html#YingjunJ99 https://doi.org/10.1145/344283.344294

Yingjun Li Jian Lu 0001 Framework-Based Software Reuse for Interactive Seismic Processing Applications. 239-244 1999 conf/tools/31-1999 TOOLS (31) https://doi.org/10.1109/TOOLS.1999.796489 https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796489 db/conf/tools/tools31-1999.html#LiL99 Hwan Dong Jun-Hua Ding 0001 Xin Li Jian Lu 0001 On Open Communication Frameworks for Software Agents. 188-195 1998 conf/tools/27-1998 TOOLS (27) https://doi.org/10.1109/TOOLS.1998.713600 https://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.713600 db/conf/tools/tools27-1998.html#DongDLL98

Lu Pei Dachuan Yu Jian Lu 0001 A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment. 57-60 1997 32 ACM SIGPLAN Notices 9 db/journals/sigplan/sigplan32.html#PeiDJ97 https://doi.org/10.1145/270507.270520 https://www.wikidata.org/entity/Q130984051

Jian Lu 0001 Zongming Fei Verification of HOS Software Specification by a Hierarchical Software Understanding Approach. 135-142 1996 32 J. Syst. Softw. 2 db/journals/jss/jss32.html#LuF96 https://doi.org/10.1016/0164-1212(94)00065-4 https://www.wikidata.org/entity/Q126399888

Jian Lu 0001 Introducting Data Decomposition into VDM for Tractable Development of Programs. 41-50 1995 30 ACM SIGPLAN Notices 9 db/journals/sigplan/sigplan30.html#Lu95 https://doi.org/10.1145/214448.214460

Zongming Fei Jian Lu 0001 An Approach Toward Mechanization of Acquiring Reusable Software Components. 46-52 1993 28 ACM SIGPLAN Notices 8 db/journals/sigplan/sigplan28.html#FeiL93 https://doi.org/10.1145/163114.163120

Leman Akoglu Angello Astorga Muhammad Ali Babar 0001 Luciano Baresi Marzio De Biasi Barry W. Boehm Lei Bu Yingyi Bu Tevfik Bultan Xinchen Cai Chun Cao Jiannong Cao 0001 Henry C. B. Chan Weng-Long Chang Bin Chen Daoxu Chen Dongjie Chen Guihai Chen Haicheng Chen Hanhua Chen Qinlin Chen Shaxun Chen Taolue Chen 0001 Xiaoyu Chen Yisong Chen Ningning Cheng Wen Cheng 0005 Shing-Chi Cheung Jiacai Cui Jinqi Cui Sajal K. Das 0001 Jing Deng Su-Ping Deng Junhua Ding Junhua Ding 0001Jun-Hua Ding 0001 Hwan Dong Kai Dong 0001 Wan-Chun DouWanchun Dou Yu Du Schahram Dustdar Alexander Egyed Zongming Fei Weizan Feng Xinyu Feng 0001 Yulin Feng Wei Fu Harald C. Gall Hui Gao Peng Gao 0008 Hongjun Ge Jidong GeJiDong Ge Achraf Ghabi Carlo Ghezzi Emanuel Giger Yuhao Gong Qing Gu 0001 Tao Gu 0001 Tianxiao Gu Lianwei Guan Bingying Guo Guibing Guo Minyi Guo Jonathan de HalleuxPeli de Halleux Lixin Han Tingting Han 0001 Abdelsalam Helal Michael G. HincheyMike Hinchey Xuezhi Hong Bin Hu 0001 Haiyang Hu Hao Hu 0001 LiGuo Huang Yu Huang 0002 Yunpeng Huang Xuan Huo Valérie Issarny Yanyan Jiang 0001 Jun Jiao Beihong Jin Hao Jin Ning Jin Zhi Jin 0001 Hongyu Kuang Cong Li 0003 Da Li Du Li Ge Li 0001 Juelong Li Jun Li 0022 Licheng Li Min Li Ming Li 0005 Minglu Li 0001 Qiwei Li Shaohua Li 0002 Wenjie Li Xin Li Xingyu Li Xiujiang Li Xuandong Li Xuansong Li Yingjun Li Yue Li 0006 Zenan Li Zhaoyu Li Xiaofei Liao Qiang Lin Alex X. Liu Guimei Liu Jianzhong Liu Lin Liu 0001 Na Liu Shaocong Liu Sheng Liu Tao Liu Tianchi Liu 0002 Xiao Liu 0004 Yepang Liu 0001 Yi Liu Zehua Liu Zhuotao Liu Ping Lu Wentian Lu Ziling Lu Bin Luo 0003 Jun Ma 0010 Xiang Ma Xiaoxing Ma Patrick Mäder Valerio Panzica La Manna Xiaoguang Mao Hong Mei 0001 Cai Min Jia Nie Lingzhi Ouyang Guosheng Pan Jian Pan Jing Pan Lijia Pan Minxue Pan Yi Pan 0001 Lu Pei Hung Keng Pung Kesheng Qi Cheng Qian Feng Qin Yi Qin 0002 Ping Qu Vaskar Raychoudhury Patrick Rempel Yongli Ren David S. Rosenblum Yuju Shen Bing Shi 0002 Fengmin Shi Alvin Chan Toong ShoonAlvin T. S. Chan Joanna Siebert Wei Song 0003 Margaret-Anne D. Storey Ping Su Ting Su 0001 Zhendong Su 0001 Jun Sui Chengnian Sun Hui Sun Qingwei Sun Tianwei Sun Zhengxing Sun Boleslaw K. Szymanski Tian Tan 0001 Shijie Tang XianPing TaoXianping Tao Ye Tao 0012 Nikolai Tillmann Hanghang Tong Haoyu Wang 0001 Huiyan Wang 0001 Jing Wang Jinpeng Wang Jue Wang Liang Wang 0006 Qianxiang Wang Weiyi Wang Yaojing Wang Yuan Wang Hengfeng Wei Lili Wei 0001 Weidong Wen Haijun Wu Jiarong Wu Simeng Wu Tianheng Wu Xiangyu Wu Yong Wu Zhanqing Wu Michael Würsch Shengqu Xi Wang Xi Xin Xia 0001 Xusheng Xiao Hongwei Xie Tao Xie 0001 Jianchun Xing Yayuan Xiong Chang Xu 0001 Feng Xu 0007 Fengyuan Xu Gang Xu Jingwei Xu 0001 Jinwei Xu Mengqiao Xu Shengbin Xu Guo Yan Xiaohui Yan Xifeng Yan Dajun Yang Fuqing Yang Haibin Yang Hongxia Yang Qiliang Yang Shao Yang Wenhua Yang 0001 Xiaohu Yang 0001 Yiling Yang Hengzhi Yao Yuan Yao 0001 Chunyang Ye Haibo Ye Gang Yin Qin Yin Reng Yin Dachuan Yu Jian-Ping YuJianping Yu Ping Yu 0004 Shengtao Yue Xiaoqin Zeng Charles Zhang 0001 Dongmei Zhang 0001 Fuyan Zhang Guanqun Zhang He Zhang 0001He Jason Zhang Jie Zhang 0050 Kang Zhang 0001 Linghao Zhang Lu Zhang 0023 Maorun Zhang Ming Zhang Nairen Zhang Qirun Zhang Ruiqing Zhang Suwei Zhang Tao Zhang 0001 Xiang Zhang 0001 Xiaofei Zhang Ying Zhang Yuqi Zhang Lun Zhao Wayne Xin Zhao Zelin Zhao Fangyuan Zheng Tao Zheng Zhiwen Zheng Jingyang Zhou Jiufeng Zhou Minghui Zhou 0001 Yike Zhou Yu Zhou 0010 Ming Zhu Tao Zhu Weiwei Zhu Xiaorui Zhu Thomas Zimmermann 0001 Bo Zong Yang Zou 0001