Jian Lu

263 papers A* 26A 16B 18C 40Misc 2Journal 93Unranked 62
YearRankTypeTitle / Venue / Authors
2026 J jnl
Qihe: A General-Purpose Static Analysis Framework for Verilog.
CoRR
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
2025 J jnl
Unveiling Cross-checking Opportunities in Verilog Compilers.
ACM Trans. Design Autom. Electr. Syst.
Yike Zhou, Yanyan Jiang, Jian Lu
2024 J jnl
Neuro-symbolic Learning Yielding Logical Constraints.
CoRR
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2023 J jnl
Growing Software: Objective, Methodology, and Technology.
IEEE Trans. Comput. Soc. Syst.
Jian Lu, Chang Xu, Xiaoxing Ma, Bin Hu
2023 A* conf
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective.
ICSE
Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu
2023 A* conf
Neuro-symbolic Learning Yielding Logical Constraints.
NeurIPS
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2022 J jnl
Auditing Network Embedding: An Edge Influence Based Approach.
IEEE Trans. Knowl. Data Eng.
Yaojing Wang, Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2022 — conf
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
ESEC/SIGSOFT FSE
Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su
2021 J jnl
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores.
IEEE Trans. Parallel Distributed Syst.
Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu
2021 J jnl
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection.
IEEE Trans. Software Eng.
Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, Jian Lu
2021 J jnl
HKMF-T: Recover From Blackouts in Tagged Time Series With Hankel Matrix Factorization.
IEEE Trans. Knowl. Data Eng.
Liang Wang, Simeng Wu, Tianheng Wu, XianPing Tao, Jian Lu
2021 A conf
Unsupervised Attributed Network Embedding via Cross Fusion.
WSDM
Guosheng Pan, Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2020 A conf
Bringing Order to Network Embedding: A Relative Ranking based Approach.
CIKM
Yaojing Wang, Guosheng Pan, Yuan Yao, Hanghang Tong, Hongxia Yang, Feng Xu, Jian Lu
2020 J jnl
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.
IEEE Trans. Reliab.
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2020 A* conf
ComboDroid: generating high-quality test inputs for Android apps via use case combinations.
ICSE
Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu
2020 J jnl
Crowdsourced Smartphone Sensing for Localization in Metro Trains.
CoRR
Haibo Ye, Tao Gu, XianPing Tao, Jian Lu
2020 A* conf
Dissector: input validation for deep learning applications by crossing-layer dissection.
ICSE
Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu
2020 J jnl
Enhancing supervised bug localization with metadata and stack-trace.
Knowl. Inf. Syst.
Yaojing Wang, Yuan Yao, Hanghang Tong, Xuan Huo, Ming Li, Feng Xu, Jian Lu
2020 — conf
Operational calibration: debugging confidence errors for DNNs in the field.
ESEC/SIGSOFT FSE
Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lu
2020 A* conf
Testing file system implementations on layered models.
ICSE
Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
2020 J jnl
Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
CoRR
Liang Wang, Tao Gu, XianPing Tao, Jian Lu
2019 J jnl
A Brief Review of Network Embedding.
Big Data Min. Anal.
Yaojing Wang, Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2019 A* conf
An Integral Tag Recommendation Model for Textual Content.
AAAI
Shijie Tang, Yuan Yao, Suwei Zhang, Feng Xu, Tianxiao Gu, Hanghang Tong, Xiaohui Yan, Jian Lu
2019 J jnl
An index structure supporting rule activation in pervasive applications.
World Wide Web
Yi Qin, XianPing Tao, Yu Huang, Jian Lu
2019 J jnl
Assessing User Mental Workload for Smartphone Applications With Built-In Sensors.
IEEE Pervasive Comput.
Liang Wang, Tao Gu, Alex X. Liu, Hengzhi Yao, XianPing Tao, Jian Lu
2019 J jnl
Boosting Operational DNN Testing Efficiency through Conditioning.
CoRR
Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lu
2019 J jnl
Bug Triaging Based on Tossing Sequence Modeling.
J. Comput. Sci. Technol.
Shengqu Xi, Yuan Yao, Xusheng Xiao, Feng Xu, Jian Lu
2019 A conf
Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps.
SANER
Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, Jian Lu
2019 A* conf
Commit Message Generation for Source Code Changes.
IJCAI
Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Hanghang Tong, Jian Lu
2019 A* conf
DeepIntent: Deep Icon-Behavior Learning for Detecting Intention-Behavior Discrepancy in Mobile Apps.
CCS
Shengqu Xi, Shao Yang, Xusheng Xiao, Yuan Yao, Yayuan Xiong, Fengyuan Xu, Haoyu Wang, Peng Gao, Zhuotao Liu, Feng Xu, Jian Lu
2019 A conf
Discerning Edge Influence for Network Embedding.
CIKM
Yaojing Wang, Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2019 J jnl
Dual-regularized one-class collaborative filtering with implicit feedback.
World Wide Web
Yuan Yao, Hanghang Tong, Guo Yan, Feng Xu, Xiang Zhang, Boleslaw K. Szymanski, Jian Lu
2019 A* conf
Hankel Matrix Factorization for Tagged Time Series to Recover Missing Values During Blackouts.
ICDE
Simeng Wu, Liang Wang, Tianheng Wu, XianPing Tao, Jian Lu
2019 A* conf
Hashtag Recommendation for Photo Sharing Services.
AAAI
Suwei Zhang, Yuan Yao, Feng Xu, Hanghang Tong, Xiaohui Yan, Jian Lu
2019 A* conf
Practical GUI testing of Android applications via model abstraction and refinement.
ICSE
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
2019 J jnl
Remove-Win: a Design Framework for Conflict-free Replicated Data Collections.
CoRR
Yuqi Zhang, Yu Huang, Hengfeng Wei, Jian Lu
2019 A conf
Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery.
ICPC
Hongyu Kuang, Hui Gao, Hao Hu, Xiaoxing Ma, Jian Lu, Patrick Mäder, Alexander Egyed
2019 C conf
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.
QRS
Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu
2018 J jnl
AATT+: Effectively manifesting concurrency bugs in Android apps.
Sci. Comput. Program.
Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, Jian Lu
2018 C conf
Accelerating Automated Android GUI Exploration with Widgets Grouping.
APSEC
Chun Cao, Hongjun Ge, Tianxiao Gu, Jing Deng, Ping Yu, Jian Lu
2018 — conf
An Effective Approach for Routing the Bug Reports to the Right Fixers.
Internetware
Shengqu Xi, Yuan Yao, Xusheng Xiao, Feng Xu, Jian Lu
2018 A conf
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis.
ECOOP
Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu
2018 A* conf
Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
PODC
Hengfeng Wei, Yu Huang, Jian Lu
2018 A* conf
Bug Localization via Supervised Topic Modeling.
ICDM
Yaojing Wang, Yuan Yao, Hanghang Tong, Xuan Huo, Min Li, Feng Xu, Jian Lu
2018 — conf
CARMUS: Towards a General Framework for Continuous Activity Recognition with Missing Values on Smartphones.
COMPSAC (1)
Tianheng Wu, Liang Wang, Zhiwen Zheng, Simeng Wu, Jun Ma, XianPing Tao, Jian Lu
2018 J jnl
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.
CoRR
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2018 C conf
ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps.
APSEC
Cong Li, Chang Xu, Lili Wei, Jue Wang, Jun Ma, Jian Lu
2018 J jnl
Efficient validation of self-adaptive applications by counterexample probability maximization.
J. Syst. Softw.
Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu
2018 — conf
Embedding Index Maintenance in Store Routines to Accelerate Secondary Index Building in HBase.
IEEE CLOUD
Chun Cao, Weiyi Wang, Ying Zhang, Jian Lu
2018 J jnl
Guiding supervised topic modeling for content based tag recommendation.
Neurocomputing
Yong Wu, Shengqu Xi, Yuan Yao, Feng Xu, Hanghang Tong, Jian Lu
2018 J jnl
Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.
ACM Trans. Internet Techn.
Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, Jian Lu
2018 A conf
LESdroid: a tool for detecting exported service leaks of Android applications.
ICPC
Jun Ma, Shaocong Liu, Yanyan Jiang, XianPing Tao, Chang Xu, Jian Lu
2018 A* conf
ReScue: crafting regular expression DoS attacks.
ASE
Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu
2018 A conf
RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features.
ICSME
Shengtao Yue, Qingwei Sun, Jun Ma, XianPing Tao, Chang Xu, Jian Lu
2018 B conf
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
OPODIS
Hengfeng Wei, Yu Huang, Jian Lu
2018 J jnl
SpiderWalk: Circumstance-aware Transportation Activity Detection Using a Novel Contact Vibration Sensor.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
Liang Wang, Wen Cheng, Lijia Pan, Tao Gu, Tianheng Wu, XianPing Tao, Jian Lu
2018 — ch.
Subgraph Extraction for Trust Inference in Social Networks.
Encyclopedia of Social Network Analysis and Mining. 2nd Ed.
Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2018 C conf
SynEva: Evaluating ML Programs by Mirror Program Synthesis.
QRS
Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu
2018 — conf
Synthesizing relation-aware entity transformation by examples.
ICSE (Companion Volume)
Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu
2018 — conf
Team Expansion in Collaborative Environments.
PAKDD (3)
Lun Zhao, Yuan Yao, Guibing Guo, Hanghang Tong, Feng Xu, Jian Lu
2018 — conf
Testing multithreaded programs via thread speed control.
ESEC/SIGSOFT FSE
Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
2017 A conf
AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications.
ICSME
Tianxiao Gu, Chun Cao, Tianchi Liu, Chengnian Sun, Jing Deng, Xiaoxing Ma, Jian Lu
2017 A conf
Analyzing closeness of code dependencies for improving IR-based Traceability Recovery.
SANER
Hongyu Kuang, Jia Nie, Hao Hu, Patrick Rempel, Jian Lu, Alexander Egyed, Patrick Mäder
2017 C conf
Direction-Aware, Audio-Based Pedestrian Relative Positioning by Swing Induced Doppler Shift.
MobiQuitous
Liang Wang, Tao Gu, XianPing Tao, Jian Lu
2017 C conf
Exploring Metadata in Bug Reports for Bug Localization.
APSEC
Xiaofei Zhang, Yuan Yao, Yaojing Wang, Feng Xu, Jian Lu
2017 A conf
GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.
ICSME
Bingying Guo, Huiyan Wang, Chang Xu, Jian Lu
2017 A* conf
HoORaYs: High-order Optimization of Rating Distance for Recommender Systems.
KDD
Jingwei Xu, Yuan Yao, Hanghang Tong, XianPing Tao, Jian Lu
2017 J jnl
How effectively can spreadsheet anomalies be detected: An empirical study.
J. Syst. Softw.
Ruiqing Zhang, Chang Xu, Shing-Chi Cheung, Ping Yu, Xiaoxing Ma, Jian Lu
2017 — conf
LeakDAF: An Automated Tool for Detecting Leaked Activities and Fragments of Android Applications.
COMPSAC (1)
Jun Ma, Sheng Liu, Shengtao Yue, XianPing Tao, Jian Lu
2017 J jnl
On the Measurement and Prediction of Web Content Utility: A Review.
SIGKDD Explor.
Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2017 A conf
Parallelized Mobility-Aware Complex Event Processing.
ICWS
Yuhao Gong, Hongyu Kuang, Xinchen Cai, Hao Hu, Wei Song, Jian Lu
2017 B conf
Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
SRDS
Hengfeng Wei, Yu Huang, Jian Lu
2017 J jnl
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
IEEE Trans. Computers
Hengfeng Wei, Yu Huang, Jian Lu
2017 J jnl
RaPare: A Generic Strategy for Cold-Start Rating Prediction Problem.
IEEE Trans. Knowl. Data Eng.
Jingwei Xu, Yuan Yao, Hanghang Tong, XianPing Tao, Jian Lu
2017 J jnl
ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks.
J. Parallel Distributed Comput.
Xiaorui Zhu, XianPing Tao, Tao Gu, Jian Lu
2017 A conf
RepDroid: an automated tool for Android application repackaging detection.
ICPC
Shengtao Yue, Weizan Feng, Jun Ma, Yanyan Jiang, XianPing Tao, Chang Xu, Jian Lu
2017 J jnl
Scalable Algorithms for CQA Post Voting Prediction.
IEEE Trans. Knowl. Data Eng.
Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2017 J jnl
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
CoRR
Hengfeng Wei, Yu Huang, Jian Lu
2017 J jnl
Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
IEEE Trans. Mob. Comput.
Liang Wang, Tao Gu, XianPing Tao, Jian Lu
2017 J jnl
Towards a programming framework for activity-oriented context-aware applications.
Frontiers Comput. Sci.
Xuansong Li, XianPing Tao, Jian Lu
2017 J jnl
Version-Aware Rating Prediction for Mobile App Recommendation.
ACM Trans. Inf. Syst.
Yuan Yao, Wayne Xin Zhao, Yaojing Wang, Hanghang Tong, Feng Xu, Jian Lu
2016 J jnl
A Reliability-Augmented Particle Filter for Magnetic Fingerprinting Based Indoor Localization on Smartphone.
IEEE Trans. Mob. Comput.
Hongwei Xie, Tao Gu, XianPing Tao, Haibo Ye, Jian Lu
2016 C conf
An Audio-based Hierarchical Smoking Behavior Detection System Based on A Smart Neckband Platform.
MobiQuitous
Jinqi Cui, Liang Wang, Tao Gu, XianPing Tao, Jian Lu
2016 C conf
CURE: Automated Patch Generation for Dynamic Software Update.
APSEC
Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, Jian Lu
2016 — conf
Crash consistency validation made easy.
SIGSOFT FSE
Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, Jian Lu
2016 — conf
E-greenDroid: effective energy inefficiency analysis for android applications.
Internetware
Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2016 C conf
Effectively Manifesting Concurrency Bugs in Android Apps.
APSEC
Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, Jian Lu
2016 J jnl
Enabling Context-Awareness by Predicate Detection in Asynchronous Environments.
IEEE Trans. Computers
Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
2016 C conf
How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.
QRS
Huiyan Wang, Chang Xu, Jun Sui, Jian Lu
2016 J jnl
Hybrid CPU-GPU constraint checking: Towards efficient context consistency.
Inf. Softw. Technol.
Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2016 C conf
Improving Reliability of Dynamic Software Updating Using Runtime Recovery.
APSEC
Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, Jian Lu
2016 — conf
Online shared memory dependence reduction via bisectional coordination.
SIGSOFT FSE
Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, Jian Lu
2016 J jnl
SIT: Sampling-based interactive testing for self-adaptive apps.
J. Syst. Softw.
Yi Qin, Chang Xu, Ping Yu, Jian Lu
2016 J jnl
Scalable floor localization using barometer on smartphone.
Wirel. Commun. Mob. Comput.
Haibo Ye, Tao Gu, XianPing Tao, Jian Lu
2016 J jnl
Suppressing detection of inconsistency hazards with pattern learning.
Inf. Softw. Technol.
Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, Jian Lu
2016 A conf
Tag2Word: Using Tags to Generate Words for Content Based Tag Recommendation.
CIKM
Yong Wu, Yuan Yao, Feng Xu, Hanghang Tong, Jian Lu
2016 C conf
Testing Android Apps via Guided Gesture Event Generation.
APSEC
Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu
2016 J jnl
Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.
IEEE Trans. Parallel Distributed Syst.
Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, Jian Lu
2015 J jnl
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.
CoRR
Hengfeng Wei, Yu Huang, Jiannong Cao, Jian Lu
2015 J jnl
Cina: Suppressing the Detection of Unstable Context Inconsistency.
IEEE Trans. Software Eng.
Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2015 B conf
ConRec: A Software Framework for Context-Aware Recommendation Based on Dynamic and Personalized Context.
COMPSAC
Bin Chen, Ping Yu, Chun Cao, Feng Xu, Jian Lu
2015 B conf
Concolic Metamorphic Debugging.
COMPSAC
Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2015 B conf
CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps.
COMPSAC
Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2015 J jnl
Detecting high-quality posts in community question answering sites.
Inf. Sci.
Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu
2015 — conf
Efficient Computing Composite Service Skyline with QoS Correlations.
SCC
Yu Du, Hao Hu, Wei Song, Junhua Ding, Jian Lu
2015 A* conf
Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison.
IJCAI
Jingwei Xu, Yuan Yao, Hanghang Tong, XianPing Tao, Jian Lu
2015 C conf
MATAR: Keywords Enhanced Multi-label Learning for Tag Recommendation.
APWeb
Licheng Li, Yuan Yao, Feng Xu, Jian Lu
2015 A* conf
Optimistic Shared Memory Dependence Tracing (T).
ASE
Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, Jian Lu
2015 — conf
Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information.
SCC
Kesheng Qi, Hao Hu, Wei Song, Jidong Ge, Jian Lu
2015 — conf
Programming Method and Formalization for Activity-Oriented Context-Aware Applications.
UIC/ATC/ScalCom
Xuansong Li, XianPing Tao, Jian Lu
2015 — conf
RIT: Enhancing Recommendation with Inferred Trust.
PAKDD (2)
Guo Yan, Yuan Yao, Feng Xu, Jian Lu
2015 B conf
ReCEC: Resolving Conflicts of Environmental Constraints among Multiple Applications in a Smart Space.
COMPSAC
Jun Ma, XianPing Tao, Haijun Wu, Jian Lu
2015 J jnl
Roundtable: The Future of Software Engineering for Internet Computing.
IEEE Softw.
Jian Lu, David S. Rosenblum, Tevfik Bultan, Valérie Issarny, Schahram Dustdar, Margaret-Anne D. Storey, Dongmei Zhang
2015 J jnl
Target-Aware, Transmission Power-Adaptive, and Collision-Free Data Dissemination in Wireless Sensor Networks.
IEEE Trans. Wirel. Commun.
Xiaorui Zhu, XianPing Tao, Tao Gu, Jian Lu
2015 J jnl
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime.
CoRR
Yiling Yang, Yu Huang, Jiannong Cao, Jian Lu
2014 B conf
B-Loc: Scalable Floor Localization Using Barometer on Smartphone.
MASS
Haibo Ye, Tao Gu, XianPing Tao, Jian Lu
2014 A* conf
CARE: cache guided deterministic replay for concurrent Java programs.
ICSE
Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu
2014 C conf
Crowdsourced smartphone sensing for localization in metro trains.
WoWMoM
Haibo Ye, Tao Gu, XianPing Tao, Jian Lu
2014 J jnl
Design of a Sliding Window over Distributed and Asynchronous Event Streams.
IEEE Trans. Parallel Distributed Syst.
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2014 A conf
Dual-Regularized One-Class Collaborative Filtering.
CIKM
Yuan Yao, Hanghang Tong, Guo Yan, Feng Xu, Xiang Zhang, Boleslaw K. Szymanski, Jian Lu
2014 B conf
Exploring Review Content for Recommendation via Latent Factor Model.
PRICAI
Xiaoyu Chen, Yuan Yao, Feng Xu, Jian Lu
2014 B conf
F-Loc: Floor localization via crowdsourcing.
ICPADS
Haibo Ye, Tao Gu, XianPing Tao, Jian Lu
2014 — conf
GAIN: GPU-Based Constraint Checking for Context Consistency.
APSEC (1)
Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2014 J jnl
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.
IEEE Trans. Software Eng.
Yepang Liu, Chang Xu, Shing-Chi Cheung, Jian Lu
2014 — conf
Handling Influence among Multiple Applications in a Smart Space.
UIC/ATC/ScalCom
Jun Ma, XianPing Tao, Chun Cao, Jian Lu
2014 B conf
Joint voting prediction for questions and answers in CQA.
ASONAM
Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu
2014 Misc conf
MaLoc: a practical magnetic fingerprinting approach to indoor localization using smartphones.
UbiComp
Hongwei Xie, Tao Gu, XianPing Tao, Haibo Ye, Jian Lu
2014 J jnl
Multi-Aspect + Transitivity + Bias: An Integral Trust Inference Model.
IEEE Trans. Knowl. Data Eng.
Yuan Yao, Hanghang Tong, Xifeng Yan, Feng Xu, Jian Lu
2014 A* conf
Predicting long-term impact of CQA posts: a comprehensive viewpoint.
KDD
Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2014 — conf
Prediction of protein function by combining phylogenetic tree and mathematical inference.
BMEI
Su-Ping Deng, Jian Lu, Wei Fu, Ping Yu
2014 C conf
SBC: scalable smartphone barometer calibration through crowdsourcing.
MobiQuitous
Haibo Ye, Tao Gu, XianPing Tao, Jian Lu
2014 — ch.
Subgraph Extraction for Trust Inference in Social Networks.
Encyclopedia of Social Network Analysis and Mining
Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2014 — conf
User Guided Automation for Testing Mobile Apps.
APSEC (1)
Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2014 A* conf
Verifying self-adaptive applications suffering uncertainty.
ASE
Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lu
2013 C conf
A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
MobiQuitous
Liang Wang, Tao Gu, Hongwei Xie, XianPing Tao, Jian Lu, Yu Huang
2013 J jnl
Application mobility in pervasive computing: A survey.
Pervasive Mob. Comput.
Ping Yu, Xiaoxing Ma, Jiannong Cao, Jian Lu
2013 — conf
Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration.
APSEC (1)
Ping Su, Chun Cao, Xiaoxing Ma, Jian Lu
2013 — conf
Challenges in developing software for cyber-physical systems.
Internetware
Linghao Zhang, Hui Sun, Xiaoxing Ma, Chang Xu, Jian Lu
2013 J jnl
Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments.
CoRR
Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
2013 — conf
Enhancing trustworthiness evaluation in internetware with similarity and non-negative constraints.
Internetware
Guo Yan, Feng Xu, Yuan Yao, Jian Lu
2013 A* conf
Environment rematching: Toward dependability improvement for self-adaptive applications.
ASE
Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lu
2013 J jnl
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distributed Syst.
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2013 J jnl
Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty.
J. Comput. Sci. Technol.
Qiliang Yang, Jian Lu, XianPing Tao, Xiaoxing Ma, Jianchun Xing, Wei Song
2013 — conf
Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach.
QSIC
Xuansong Li, XianPing Tao, Jian Lu
2013 — conf
JointCache: Collaborative path confusion through lightweight P2P communication.
PerCom Workshops
Kai Dong, Tao Gu, XianPing Tao, Jian Lu
2013 A* conf
MATRI: a multi-aspect and transitive trust inference model.
WWW
Yuan Yao, Hanghang Tong, Xifeng Yan, Feng Xu, Jian Lu
2013 — ch.
Mining Emerging Patterns for Activity Recognition.
Contrast Data Mining
Tao Gu, Zhanqing Wu, XianPing Tao, Hung Keng Pung, Jian Lu
2013 J jnl
Pairwise trust inference by subgraph extraction.
Soc. Netw. Anal. Min.
Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2013 J jnl
Verifying PRAM Consistency over Read/Write Traces of Data Replicas
CoRR
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2013 J jnl
Want a Good Answer? Ask a Good Question First!
CoRR
Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu
2013 — conf
WeCare: An Intelligent Badge for Elderly Danger Detection and Alert.
UIC/ATC
Hongwei Xie, XianPing Tao, Haibo Ye, Jian Lu
2012 — conf
A group recommendation approach for service selection.
Internetware
Tao Liu, Feng Xu, Yuan Yao, Jian Lu
2012 J jnl
A hierarchical approach to real-time activity recognition in body sensor networks.
Pervasive Mob. Comput.
Liang Wang, Tao Gu, XianPing Tao, Jian Lu
2012 J jnl
Adam: Identifying defects in context-aware adaptation.
J. Syst. Softw.
Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012 B conf
Complete Bipartite Anonymity: Confusing Anonymous Mobility Traces for Location Privacy.
ICPADS
Kai Dong, Tao Gu, XianPing Tao, Jian Lu
2012 B conf
ConsView: Towards Application-Specific Consistent Context Views.
COMPSAC
Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, Jian Lu
2012 — conf
Dynamic fault detection in context-aware adaptation.
Internetware
Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012 — conf
Enriching Context-Oriented Programming with Structured Context Representation.
ICPCA/SWS
Jun Ma, XianPing Tao, Tao Zheng, Jian Lu
2012 J jnl
Environmental Modeling for Automated Cloud Application Testing.
IEEE Softw.
Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux
2012 A* conf
FTrack: Infrastructure-free floor localization via mobile phone sensing.
PerCom
Haibo Ye, Tao Gu, Xiaorui Zhu, Jinwei Xu, XianPing Tao, Jian Lu, Ning Jin
2012 A* conf
Formal specification and runtime detection of temporal properties for asynchronous context.
PerCom
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2012 C conf
Javelus: A Low Disruptive Approach to Dynamic Software Updates.
APSEC
Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lu
2012 J jnl
MaTrust: An Effective Multi-Aspect Trust Inference Model
CoRR
Yuan Yao, Hanghang Tong, Xifeng Yan, Feng Xu, Jian Lu
2012 — ch.
Mobile Agent Communications.
Mobile Agents in Networking and Distributed Computing
Jian Lu, Xinyu Feng
2012 — ch.
Mobile Agents in Mobile and Wireless Computing.
Mobile Agents in Networking and Distributed Computing
Ping Yu, Jian Lu, Jiannong Cao
2012 C conf
Resynchronizing Model-Based Self-Adaptive Systems with Environments.
APSEC
Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu
2012 J jnl
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distributed Syst.
Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu
2012 B conf
Subgraph Extraction for Trust Inference in Social Networks.
ASONAM
Yuan Yao, Hanghang Tong, Feng Xu, Jian Lu
2011 J jnl
A Pattern Mining Approach to Sensor-Based Human Activity Recognition.
IEEE Trans. Knowl. Data Eng.
Tao Gu, Liang Wang, Zhanqing Wu, XianPing Tao, Jian Lu
2011 J jnl
Design of a Sliding Window over Asynchronous Event Streams
CoRR
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2011 C conf
Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing.
MobiQuitous
Chang Xu, Xiaoxing Ma, Chun Cao, Jian Lu
2011 J jnl
Recognizing Multiuser Activities Using Wireless Body Sensor Networks.
IEEE Trans. Mob. Comput.
Tao Gu, Liang Wang, Hanhua Chen, XianPing Tao, Jian Lu
2011 J jnl
Recognizing multi-user activities using wearable sensors in a smart home.
Pervasive Mob. Comput.
Liang Wang, Tao Gu, XianPing Tao, Hanhua Chen, Jian Lu
2011 — conf
Version-consistent dynamic reconfiguration of component-based distributed systems.
SIGSOFT FSE
Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu
2010 J jnl
An unsupervised approach to activity recognition and segmentation based on object-use fingerprints.
Data Knowl. Eng.
Tao Gu, Shaxun Chen, XianPing Tao, Jian Lu
2010 J jnl
Cooperative cache consistency maintenance for pervasive internet access.
Wirel. Commun. Mob. Comput.
Yu Huang, Jiannong Cao, Beihong Jin, XianPing Tao, Jian Lu
2010 J jnl
Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks.
IEEE Trans. Parallel Distributed Syst.
Yu Huang, Jiannong Cao, Beihong Jin, XianPing Tao, Jian Lu, Yulin Feng
2010 C conf
Mining Emerging Sequential Patterns for Activity Recognition in Body Sensor Networks.
MobiQuitous
Tao Gu, Liang Wang, Hanhua Chen, Guimei Liu, XianPing Tao, Jian Lu
2010 J jnl
Modeling the Value-Based Software Process with Object-Petri-Nets.
Int. J. Softw. Informatics
Liguo Huang, Jidong Ge, Barry W. Boehm, Jian Lu
2010 — conf
Preserving Data Flow Correctness in Process Adaptation.
IEEE SCC
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Jian Lu
2010 B conf
Privacy Protection in Participatory Sensing Applications Requiring Fine-Grained Locations.
ICPADS
Kai Dong, Tao Gu, XianPing Tao, Jian Lu
2010 B conf
Real-Time Activity Recognition in Wireless Body Sensor Networks: From Simple Gestures to Complex Activities.
RTCSA
Liang Wang, Tao Gu, Hanhua Chen, XianPing Tao, Jian Lu
2010 J jnl
Toward an agent-based pluggable infrastructure for context-awareness.
Int. J. Pervasive Comput. Commun.
Jun Li, Yingyi Bu, Shaxun Chen, XianPing Tao, Jian Lu
2010 — conf
Towards Analysis of Semi-Markov Decision Processes.
AICI (1)
Taolue Chen, Jian Lu
2009 — conf
A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.
IEEE SCC
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Wanchun Dou, Jian Lu
2009 — conf
ARTEMIS: an open coordination middleware system.
Internetware
Ping Yu, Chun Cao, Xiaoxing Ma, Jian Lu
2009 J jnl
Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
CoRR
Yu Huang, Jianping Yu, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu
2009 A* conf
Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.
PerCom
Yu Huang, Xiaoxing Ma, Jiannong Cao, XianPing Tao, Jian Lu
2009 C conf
Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing.
MobiQuitous
Tao Gu, Zhanqing Wu, Liang Wang, XianPing Tao, Jian Lu
2009 C conf
Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing.
MobiQuitous
Tao Zhu, Zhanqing Wu, Liang Wang, XianPing Tao, Jian Lu
2009 J jnl
On metrics for probabilistic systems: Definitions and algorithms.
Comput. Math. Appl.
Taolue Chen, Tingting Han, Jian Lu
2009 — conf
Sensor-Based Human Activity Recognition in a Multi-user Scenario.
AmI
Liang Wang, Tao Gu, XianPing Tao, Jian Lu
2009 — conf
Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis.
ACIS-ICIS
Jidong Ge, Hao Hu, Jian Lu
2009 — conf
Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.
QSIC
Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu
2009 A* conf
epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition.
PerCom
Tao Gu, Zhanqing Wu, XianPing Tao, Hung Keng Pung, Jian Lu
2008 — conf
A Bayesian Network Based Approach for Change Coupling Prediction.
WCRE
Yu Zhou, Michael Würsch, Emanuel Giger, Harald C. Gall, Jian Lu
2008 J jnl
A Petri net-based approach for supporting aspect-oriented modeling.
Frontiers Comput. Sci. China
Lianwei Guan, Xingyu Li, Hao Hu, Jian Lu
2008 — conf
A Probabilistic Approach to Consistency Checking for Pervasive Context.
EUC (1)
Yu Huang, Xiang Ma, XianPing Tao, Jiannong Cao, Jian Lu
2008 J jnl
A model for context-aware applications.
Int. J. Pervasive Comput. Commun.
Ningning Cheng, Shaxun Chen, XianPing Tao, Jian Lu, Guihai Chen
2008 C conf
Cluster filtered KNN: A WLAN-based indoor positioning scheme.
WOWMOM
Jun Ma, Xuansong Li, XianPing Tao, Jian Lu
2008 — conf
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.
FICS
Taolue Chen, Jian Lu
2008 J jnl
Multi-mode interaction middleware for software services.
Sci. China Ser. F Inf. Sci.
XianPing Tao, Xiaoxing Ma, Jian Lu, Ping Yu, Yu Zhou
2008 — conf
Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.
FSKD (5)
Taolue Chen, Jian Lu
2007 — conf
A Middleware Approach for Behavior Consistent Composition of Services in Smart Space.
SOCA
Qin Yin, Hao Hu, Jun Li, Jian Lu
2007 — conf
A Middleware Support for Agent-Based Application Mobility in Pervasive Environments.
ICDCS Workshops
Yu Zhou, Jiannong Cao, Vaskar Raychoudhury, Joanna Siebert, Jian Lu
2007 C conf
A Transaction Model for Context-Aware Applications.
GPC
Shaxun Chen, Jidong Ge, XianPing Tao, Jian Lu
2007 — conf
An Approach to Model Cross-organizational Processes using Object Petri net.
IEEE SCW
Qiang Lin, Jidong Ge, Hao Hu, Jian Lu
2007 C conf
Application Based Distance Measurement for Context Retrieval in Ubiquitous Computing.
MobiQuitous
Shaxun Chen, Tao Gu, XianPing Tao, Jian Lu
2007 Misc conf
Applying ontology in architecture-based self-management applications.
SAC
Yu Zhou, Jian Pan, Xiaoxing Ma, Bin Luo, XianPing Tao, Jian Lu
2007 C conf
Constructing Self-Adaptive Systems with Polymorphic Software Architecture.
SEKE
Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu
2007 J jnl
Expectation, experiment and reflection on internet software evolution.
ACM SIGSOFT Softw. Eng. Notes
Ping Yu, Xiaoxing Ma, Jian Lu
2007 — conf
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.
FSKD (2)
Taolue Chen, Tingting Han, Jian Lu
2007 — conf
Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.
FSKD (2)
Taolue Chen, Jian Lu
2007 C conf
Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets.
APSEC
Reng Yin, Hao Hu, Jidong Ge, Jian Lu
2006 — conf
Context Consistency Management Using Ontology Based Model.
EDBT Workshops
Yingyi Bu, Shaxun Chen, Jun Li, XianPing Tao, Jian Lu
2006 — conf
FollowMe: On Research of Pluggable Infrastructure for Context-Awareness.
AINA (1)
Jun Li, Yingyi Bu, Shaxun Chen, XianPing Tao, Jian Lu
2006 — conf
Invariant Analysis for the Task Refinement of Workflow Nets.
CIMCA/IAWTIC
Jidong Ge, Hao Hu, Jian Lu
2006 — conf
Managing Quality of Context in Pervasive Computing.
QSIC
Yingyi Bu, Tao Gu, XianPing Tao, Jun Li, Shaxun Chen, Jian Lu
2006 C conf
Mobile Agent Enabled Application Mobility for Pervasive Computing.
UIC
Ping Yu, Jiannong Cao, Weidong Wen, Jian Lu
2006 C conf
Modeling Multi-View Software Process with Object Petri Nets.
ICSEA
Jidong Ge, Hao Hu, Qing Gu, Jian Lu
2006 J jnl
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.
Acta Cybern.
Taolue Chen, Tingting Han, Jian Lu
2006 — conf
On the Markovian Randomized Strategy of Controller for Markov Decision Processes.
FSKD
Taolue Chen, Tingting Han, Jian Lu
2006 J jnl
Path-history-based access control for mobile agents.
Int. J. Parallel Emergent Distributed Syst.
Chun Cao, Jian Lu
2006 — conf
Rewards-based negotiation for providing context information.
MPAC
Bing Shi, XianPing Tao, Jian Lu
2006 — conf
Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection.
EuroSSC
Wentian Lu, Jun Li, XianPing Tao, Xiaoxing Ma, Jian Lu
2006 C conf
Toward Context-Awareness: A Workflow Embedded Middleware.
UIC
Shaxun Chen, Yingyi Bu, Jun Li, XianPing Tao, Jian Lu
2005 — conf
A Path-History-Sensitive Access Control Model for Mobile Agent Environment.
ICDCS Workshops
Chun Cao, Jian Lu
2005 C conf
An Approach to Ensure Service Behavior Consistency in OSGi.
APSEC
Qin Yin, Hao Hu, Jun Li, Jidong Ge, Jian Lu
2005 C conf
An Efficient Scheme for Fault-Tolerant Web Page Access in Wireless Mobile Environment Based on Mobile Agents.
HPCC
Haiyang Hu, XianPing Tao, Jidong Ge, Jian Lu
2005 C conf
An Enhanced Ontology Based Context Model and Fusion Mechanism.
EUC
Yingyi Bu, Jun Li, Shaxun Chen, XianPing Tao, Jian Lu
2005 C conf
Analysis of A Leader Election Algorithm in uCRL.
CIT
Taolue Chen, Tingting Han, Jian Lu
2005 C conf
Dynamic Software Architecture Oriented Service Composition and Evolution.
CIT
Ping Yu, Xiaoxing Ma, Jian Lu
2005 — conf
On the Bisimulation Congruence in
FSTTCS
Taolue Chen, Tingting Han, Jian Lu
2005 J jnl
One-dimensional I test and direction vector I test with array references by induction variable.
Int. J. High Perform. Comput. Netw.
Minyi Guo, Weng-Long Chang, Jian Lu, Minglu Li
2005 — ed.
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
ISPA Workshops
Guihai Chen, Yi Pan, Minyi Guo, Jian Lu
2005 — conf
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.
COMPSAC (1)
Tingting Han, Taolue Chen, Jian Lu
2005 C conf
Structure Analysis for Dynamic Software Architecture.
SNPD
Tingting Han, Taolue Chen, Jian Lu
2005 C conf
Supporting Wireless Web Page Access in Mobile Environments Using Mobile Agents.
ISPA
Haiyang Hu, Jidong Ge, Ping Lu, XianPing Tao, Jian Lu
2004 — conf
A Mobile Agent Enabled Approach for Distributed Deadlock Detection.
GCC
Jiannong Cao, Jingyang Zhou, Weiwei Zhu, Daoxu Chen, Jian Lu
2004 C conf
A Modal Logic for pi-Calculus and Model Checking Algorithm.
WoLLIC
Taolue Chen, Tingting Han, Jian Lu
2004 — conf
Checking Strong Open Congruence in Chi -Calculus.
CATS
Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu
2004 C conf
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.
CIT
Taolue Chen, Tingting Han, Jian Lu
2004 J jnl
Reliable message delivery for mobile agents: push or pull?
IEEE Trans. Syst. Man Cybern. Part A
Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das
2004 J jnl
Some research on componentware frameworks based on mobile agent technology.
ACM SIGSOFT Softw. Eng. Notes
Jian Lu
2004 B conf
Towards a Model Logic for p-Calculus.
COMPSAC
Taolue Chen, Tingting Han, Jian Lu
2004 — conf
Tree logic with recursion and model checking algorithm.
IASTED Conf. on Software Engineering and Applications
Taolue Chen, Tingting Han, Jian Lu
2003 C conf
A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture.
SEKE
Xiaoxing Ma, Jian Lu, Jiannong Cao, Alvin T. S. Chan, Kang Zhang
2003 J jnl
Architecting and implementing distributed Web applications using the graph-oriented approach.
Softw. Pract. Exp.
Jiannong Cao, Xiaoxing Ma, Alvin T. S. Chan, Jian Lu
2003 — conf
Intensionality of modal logic for Robust Ambient Calculus.
FGC
Taolue Chen, Tingting Han, Jian Lu
2002 A conf
Design of Adaptive and Reliable Mobile Agent Communication Protocols.
ICDCS
Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das
2002 J jnl
Greylevel Difference Classification Algorithm in Fractal Image Compression.
J. Comput. Sci. Technol.
Yisong Chen, Jian Lu, Zhengxing Sun, Fuyan Zhang
2002 J jnl
Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols.
Computer
Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das
2002 B conf
Reliable Message Delivery for Mobile Agents: Push or Pull.
ICPADS
Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das
2002 B conf
WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications.
ICPP
Xiaoxing Ma, Alvin T. S. Chan, Jian Lu
2001 J jnl
A two-layered-class approach for the reuse of synchronization code.
Inf. Softw. Technol.
Jian Lu, Ming Zhang, Mengqiao Xu, Dajun Yang
2000 J jnl
A hierarchical framework: for parallel seismic applications.
Commun. ACM
Jian Lu, Yingjun Li, Xiaoxing Ma, Cai Min, XianPing Tao, Guanqun Zhang, Jianzhong Liu
1999 — conf
Framework-Based Software Reuse for Interactive Seismic Processing Applications.
TOOLS (31)
Yingjun Li, Jian Lu
1999 J jnl
SEIS++: A Pattern Language for Seismic Tools Construction and Integration.
ACM SIGPLAN Notices
Yingjun Li, Jian Lu
1998 — conf
On Open Communication Frameworks for Software Agents.
TOOLS (27)
Hwan Dong, Jun-Hua Ding, Xin Li, Jian Lu
1997 J jnl
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment.
ACM SIGPLAN Notices
Lu Pei, Dachuan Yu, Jian Lu
1996 J jnl
Verification of HOS Software Specification by a Hierarchical Software Understanding Approach.
J. Syst. Softw.
Jian Lu, Zongming Fei
1995 J jnl
Introducting Data Decomposition into VDM for Tractable Development of Programs.
ACM SIGPLAN Notices
Jian Lu
1993 J jnl
An Approach Toward Mechanization of Acquiring Reusable Software Components.
ACM SIGPLAN Notices
Zongming Fei, Jian Lu