Jian Lu

Affiliations:
  • Nanjing University, Department of Computer Science and Technology / State Key Laboratory for Novel Software Technology, China


According to our database1, Jian Lu authored at least 304 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Learning with Logical Constraints but without Shortcut Satisfaction.
CoRR, 2024

Softened Symbol Grounding for Neuro-symbolic Systems.
CoRR, 2024

2023
Growing Software: Objective, Methodology, and Technology.
IEEE Trans. Comput. Soc. Syst., 2023

Neuro-symbolic Learning Yielding Logical Constraints.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Learning with Logical Constraints but without Shortcut Satisfaction.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

Softened Symbol Grounding for Neuro-symbolic Systems.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022
Auditing Network Embedding: An Edge Influence Based Approach.
IEEE Trans. Knowl. Data Eng., 2022

Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery.
Empir. Softw. Eng., 2022

Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection.
IEEE Trans. Software Eng., 2021

Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores.
IEEE Trans. Parallel Distributed Syst., 2021

HKMF-T: Recover From Blackouts in Tagged Time Series With Hankel Matrix Factorization.
IEEE Trans. Knowl. Data Eng., 2021

Unsupervised Attributed Network Embedding via Cross Fusion.
Proceedings of the WSDM '21, 2021

2020
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.
IEEE Trans. Reliab., 2020

Enhancing supervised bug localization with metadata and stack-trace.
Knowl. Inf. Syst., 2020

Operational calibration: debugging confidence errors for DNNs in the field.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

ComboDroid: generating high-quality test inputs for Android apps via use case combinations.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Dissector: input validation for deep learning applications by crossing-layer dissection.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Testing file system implementations on layered models.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Bringing Order to Network Embedding: A Relative Ranking based Approach.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

2019
Dual-regularized one-class collaborative filtering with implicit feedback.
World Wide Web, 2019

An index structure supporting rule activation in pervasive applications.
World Wide Web, 2019

Research on context of implicit context-sensitive graph grammars.
J. Comput. Lang., 2019

Assessing User Mental Workload for Smartphone Applications With Built-In Sensors.
IEEE Pervasive Comput., 2019

Bug Triaging Based on Tossing Sequence Modeling.
J. Comput. Sci. Technol., 2019

Remove-Win: a Design Framework for Conflict-free Replicated Data Collections.
CoRR, 2019

A Brief Review of Network Embedding.
Big Data Min. Anal., 2019

Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Boosting operational DNN testing efficiency through conditioning.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery.
Proceedings of the 27th International Conference on Program Comprehension, 2019

Commit Message Generation for Source Code Changes.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Practical GUI testing of Android applications via model abstraction and refinement.
Proceedings of the 41st International Conference on Software Engineering, 2019

Hankel Matrix Factorization for Tagged Time Series to Recover Missing Values During Blackouts.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Discerning Edge Influence for Network Embedding.
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

DeepIntent: Deep Icon-Behavior Learning for Detecting Intention-Behavior Discrepancy in Mobile Apps.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Hashtag Recommendation for Photo Sharing Services.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

An Integral Tag Recommendation Model for Textual Content.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Subgraph Extraction for Trust Inference in Social Networks.
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.
ACM Trans. Internet Techn., 2018

AATT+: Effectively manifesting concurrency bugs in Android apps.
Sci. Comput. Program., 2018

Efficient validation of self-adaptive applications by counterexample probability maximization.
J. Syst. Softw., 2018

SpiderWalk: Circumstance-aware Transportation Activity Detection Using a Novel Contact Vibration Sensor.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

Guiding supervised topic modeling for content based tag recommendation.
Neurocomputing, 2018

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.
CoRR, 2018

NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications.
Sci. China Inf. Sci., 2018

Testing multithreaded programs via thread speed control.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SynEva: Evaluating ML Programs by Mirror Program Synthesis.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Team Expansion in Collaborative Environments.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

ReScue: crafting regular expression DoS attacks.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

LESdroid: a tool for detecting exported service leaks of Android applications.
Proceedings of the 26th Conference on Program Comprehension, 2018

An Effective Approach for Routing the Bug Reports to the Right Fixers.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Response Time Aware Operator Placement for Complex Event Processing in Edge Computing.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

Synthesizing relation-aware entity transformation by examples.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Bug Localization via Supervised Topic Modeling.
Proceedings of the IEEE International Conference on Data Mining, 2018

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

CARMUS: Towards a General Framework for Continuous Activity Recognition with Missing Values on Smartphones.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

Accelerating Automated Android GUI Exploration with Widgets Grouping.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

Embedding Index Maintenance in Store Routines to Accelerate Secondary Index Building in HBase.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
Version-Aware Rating Prediction for Mobile App Recommendation.
ACM Trans. Inf. Syst., 2017

Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
IEEE Trans. Mob. Comput., 2017

Scalable Algorithms for CQA Post Voting Prediction.
IEEE Trans. Knowl. Data Eng., 2017

RaPare: A Generic Strategy for Cold-Start Rating Prediction Problem.
IEEE Trans. Knowl. Data Eng., 2017

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
IEEE Trans. Computers, 2017

On the Measurement and Prediction of Web Content Utility: A Review.
SIGKDD Explor., 2017

How effectively can spreadsheet anomalies be detected: An empirical study.
J. Syst. Softw., 2017

ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks.
J. Parallel Distributed Comput., 2017

Towards a programming framework for activity-oriented context-aware applications.
Frontiers Comput. Sci., 2017

CyanDroid: stable and effective energy inefficiency diagnosis for Android apps.
Sci. China Inf. Sci., 2017

Analyzing closeness of code dependencies for improving IR-based Traceability Recovery.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Direction-Aware, Audio-Based Pedestrian Relative Positioning by Swing Induced Doppler Shift.
Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

HoORaYs: High-order Optimization of Rating Distance for Recommender Systems.
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017

RepDroid: an automated tool for Android application repackaging detection.
Proceedings of the 25th International Conference on Program Comprehension, 2017

Parallelized Mobility-Aware Complex Event Processing.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Synthesizing object transformation for dynamic software updating.
Proceedings of the 39th International Conference on Software Engineering, 2017

LeakDAF: An Automated Tool for Detecting Leaked Activities and Fragments of Android Applications.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Exploring Metadata in Bug Reports for Bug Localization.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Scalable floor localization using barometer on smartphone.
Wirel. Commun. Mob. Comput., 2016

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.
IEEE Trans. Parallel Distributed Syst., 2016

A Reliability-Augmented Particle Filter for Magnetic Fingerprinting Based Indoor Localization on Smartphone.
IEEE Trans. Mob. Comput., 2016

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments.
IEEE Trans. Computers, 2016

SIT: Sampling-based interactive testing for self-adaptive apps.
J. Syst. Softw., 2016

Suppressing detection of inconsistency hazards with pattern learning.
Inf. Softw. Technol., 2016

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.
Inf. Softw. Technol., 2016

Online shared memory dependence reduction via bisectional coordination.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Crash consistency validation made easy.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

An Audio-based Hierarchical Smoking Behavior Detection System Based on A Smart Neckband Platform.
Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016

Automatic runtime recovery via error handler synthesis.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

E-greenDroid: effective energy inefficiency analysis for android applications.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Tag2Word: Using Tags to Generate Words for Content Based Tag Recommendation.
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

CURE: Automated Patch Generation for Dynamic Software Update.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Testing Android Apps via Guided Gesture Event Generation.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Effectively Manifesting Concurrency Bugs in Android Apps.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Improving Reliability of Dynamic Software Updating Using Runtime Recovery.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Internetware - A New Software Paradigm for Internet Computing
Springer, ISBN: 978-981-10-2545-7, 2016

2015
Target-Aware, Transmission Power-Adaptive, and Collision-Free Data Dissemination in Wireless Sensor Networks.
IEEE Trans. Wirel. Commun., 2015

Cina: Suppressing the Detection of Unstable Context Inconsistency.
IEEE Trans. Software Eng., 2015

Roundtable: The Future of Software Engineering for Internet Computing.
IEEE Softw., 2015

Can method data dependencies support the assessment of traceability between requirements and source code?
J. Softw. Evol. Process., 2015

Infrastructure-Free Floor Localization Through Crowdsourcing.
J. Comput. Sci. Technol., 2015

Detecting high-quality posts in community question answering sites.
Inf. Sci., 2015

Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime.
CoRR, 2015

Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.
CoRR, 2015

Editor's Note.
Sci. China Inf. Sci., 2015

Programming Method and Formalization for Activity-Oriented Context-Aware Applications.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

RIT: Enhancing Recommendation with Inferred Trust.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2015

Optimistic Shared Memory Dependence Tracing (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

ReCEC: Resolving Conflicts of Environmental Constraints among Multiple Applications in a Smart Space.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Concolic Metamorphic Debugging.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

ConRec: A Software Framework for Context-Aware Recommendation Based on Dynamic and Personalized Context.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

MATAR: Keywords Enhanced Multi-label Learning for Tag Recommendation.
Proceedings of the Web Technologies and Applications - 17th Asia-PacificWeb Conference, 2015

Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Efficient Computing Composite Service Skyline with QoS Correlations.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Subgraph Extraction for Trust Inference in Social Networks.
Encyclopedia of Social Network Analysis and Mining, 2014

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.
IEEE Trans. Software Eng., 2014

Design of a Sliding Window over Distributed and Asynchronous Event Streams.
IEEE Trans. Parallel Distributed Syst., 2014

Multi-Aspect + Transitivity + Bias: An Integral Trust Inference Model.
IEEE Trans. Knowl. Data Eng., 2014

Complete Bipartite Anonymity for Location Privacy.
J. Comput. Sci. Technol., 2014

Low-disruptive dynamic updating of Java applications.
Inf. Softw. Technol., 2014

Crowdsourced smartphone sensing for localization in metro trains.
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Handling Influence among Multiple Applications in a Smart Space.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

Exploring Review Content for Recommendation via Latent Factor Model.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

SBC: scalable smartphone barometer calibration through crowdsourcing.
Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, 2014

B-Loc: Scalable Floor Localization Using Barometer on Smartphone.
Proceedings of the 11th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2014

Predicting long-term impact of CQA posts: a comprehensive viewpoint.
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

Verifying self-adaptive applications suffering uncertainty.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

CARE: cache guided deterministic replay for concurrent Java programs.
Proceedings of the 36th International Conference on Software Engineering, 2014

F-Loc: Floor localization via crowdsourcing.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

MaLoc: a practical magnetic fingerprinting approach to indoor localization using smartphones.
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

Dual-Regularized One-Class Collaborative Filtering.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Prediction of protein function by combining phylogenetic tree and mathematical inference.
Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014

Joint voting prediction for questions and answers in CQA.
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

GAIN: GPU-Based Constraint Checking for Context Consistency.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

User Guided Automation for Testing Mobile Apps.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Supporting groupware communication with topology-enhanced content-based network.
Proceedings of the 16th Asia-Pacific Network Operations and Management Symposium, 2014

2013
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distributed Syst., 2013

Pairwise trust inference by subgraph extraction.
Soc. Netw. Anal. Min., 2013

Application mobility in pervasive computing: A survey.
Pervasive Mob. Comput., 2013

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty.
J. Comput. Sci. Technol., 2013

Detecting Faults in Context-Aware Adaptation.
Int. J. Softw. Informatics, 2013

Verifying PRAM Consistency over Read/Write Traces of Data Replicas
CoRR, 2013

Want a Good Answer? Ask a Good Question First!
CoRR, 2013

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments.
CoRR, 2013

SelfTrust: leveraging self-assessment for trust inference in Internetware.
Sci. China Inf. Sci., 2013

Towards context consistency by concurrent checking for Internetware applications.
Sci. China Inf. Sci., 2013

Toward a seamless adaptation platform for Internetware.
Sci. China Inf. Sci., 2013

MATRI: a multi-aspect and transitive trust inference model.
Proceedings of the 22nd International World Wide Web Conference, 2013

WeCare: An Intelligent Badge for Elderly Danger Detection and Alert.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

JointCache: Collaborative path confusion through lightweight P2P communication.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Environment rematching: Toward dependability improvement for self-adaptive applications.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Challenges in developing software for cyber-physical systems.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Enhancing trustworthiness evaluation in internetware with similarity and non-negative constraints.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Presence-pattern aware service selection and composition in a smart space.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Managing Environment and Adaptation Risks for the Internetware Paradigm.
Proceedings of the Theories of Programming and Formal Methods, 2013

Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Supporting Flexibility of the CMMI Process Framework with a Multi-layered Process Model.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

Public-View and Object Petri Net Based Modeling of Cross-Organizational Process.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

Mining Emerging Patterns for Activity Recognition.
Proceedings of the Contrast Data Mining: Concepts, Algorithms, and Applications, 2013

2012
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distributed Syst., 2012

Environmental Modeling for Automated Cloud Application Testing.
IEEE Softw., 2012

A hierarchical approach to real-time activity recognition in body sensor networks.
Pervasive Mob. Comput., 2012

Adam: Identifying defects in context-aware adaptation.
J. Syst. Softw., 2012

MaTrust: An Effective Multi-Aspect Trust Inference Model
CoRR, 2012

FTrack: Infrastructure-free floor localization via mobile phone sensing.
Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Formal specification and runtime detection of temporal properties for asynchronous context.
Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Dynamic fault detection in context-aware adaptation.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

A group recommendation approach for service selection.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Do data dependencies in source code complement call dependencies for understanding requirements traceability?
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Enriching Context-Oriented Programming with Structured Context Representation.
Proceedings of the Pervasive Computing and the Networked World, 2012

Complete Bipartite Anonymity: Confusing Anonymous Mobility Traces for Location Privacy.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

ConsView: Towards Application-Specific Consistent Context Views.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Subgraph Extraction for Trust Inference in Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

Resynchronizing Model-Based Self-Adaptive Systems with Environments.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Javelus: A Low Disruptive Approach to Dynamic Software Updates.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Mobile Agents in Mobile and Wireless Computing.
Proceedings of the Mobile Agents in Networking and Distributed Computing, 2012

Mobile Agent Communications.
Proceedings of the Mobile Agents in Networking and Distributed Computing, 2012

2011
Recognizing Multiuser Activities Using Wireless Body Sensor Networks.
IEEE Trans. Mob. Comput., 2011

A Pattern Mining Approach to Sensor-Based Human Activity Recognition.
IEEE Trans. Knowl. Data Eng., 2011

Recognizing multi-user activities using wearable sensors in a smart home.
Pervasive Mob. Comput., 2011

Design of a Sliding Window over Asynchronous Event Streams
CoRR, 2011

Comparing Linkage Graph and Activity Graph of Online Social Networks.
Proceedings of the Social Informatics - Third International Conference, SocInfo 2011, 2011

Version-consistent dynamic reconfiguration of component-based distributed systems.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2011

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.
Proceedings of the IEEE International Conference on Web Services, 2011

Fuzzy Control-Based Software Self-Adaptation: A Case Study in Mission Critical Systems.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Cooperative cache consistency maintenance for pervasive internet access.
Wirel. Commun. Mob. Comput., 2010

Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks.
IEEE Trans. Parallel Distributed Syst., 2010

An Internetware Based Approach to Building Web Page Integration Applications for Mobile Devices.
Int. J. Softw. Informatics, 2010

Modeling the Value-Based Software Process with Object-Petri-Nets.
Int. J. Softw. Informatics, 2010

Toward an agent-based pluggable infrastructure for context-awareness.
Int. J. Pervasive Comput. Commun., 2010

An unsupervised approach to activity recognition and segmentation based on object-use fingerprints.
Data Knowl. Eng., 2010

Real-Time Activity Recognition in Wireless Body Sensor Networks: From Simple Gestures to Complex Activities.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Mining Emerging Sequential Patterns for Activity Recognition in Body Sensor Networks.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Toward a fuzzy control-based approach to design of self-adaptive software.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Privacy Protection in Participatory Sensing Applications Requiring Fine-Grained Locations.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Preserving Data Flow Correctness in Process Adaptation.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Preface.
Int. J. Softw. Informatics, 2009

Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
CoRR, 2009

Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency.
Proceedings of the Visual Information Communication, 2009

A Broker-Assisting Trust and Reputation System Based on Artificial Neural Network.
Proceedings of the IEEE International Conference on Systems, 2009

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.
Proceedings of the Ninth International Conference on Quality Software, 2009

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

ARTEMIS: an open coordination middleware system.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

A dynamic trust network based simulation framework for reputation-based service selection.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Internetware: a shift of software paradigm.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Sensor-Based Human Activity Recognition in a Multi-user Scenario.
Proceedings of the Ambient Intelligence, 2009

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
Applying Value-Based Software Process: An ERP Example.
Int. J. Softw. Informatics, 2008

A model for context-aware applications.
Int. J. Pervasive Comput. Commun., 2008

A Petri net-based approach for supporting aspect-oriented modeling.
Frontiers Comput. Sci. China, 2008

Technical framework for Internetware: An architecture centric approach.
Sci. China Ser. F Inf. Sci., 2008

Multi-mode interaction middleware for software services.
Sci. China Ser. F Inf. Sci., 2008

On environment-driven software model for Internetware.
Sci. China Ser. F Inf. Sci., 2008

Cluster filtered KNN: A WLAN-based indoor positioning scheme.
Proceedings of the 9th IEEE International Symposium on a World of Wireless, 2008

A Bayesian Network Based Approach for Change Coupling Prediction.
Proceedings of the WCRE 2008, 2008

Applying a Component Behavior Model to MVC Pattern.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Toward a Model-Based Approach to Dynamic Adaptation of Composite Services.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

A Probabilistic Approach to Consistency Checking for Pervasive Context.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Order Constraints for Multi-view Software Process Model.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Expectation, experiment and reflection on internet software evolution.
ACM SIGSOFT Softw. Eng. Notes, 2007

A Middleware Approach for Behavior Consistent Composition of Services in Smart Space.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Constructing Self-Adaptive Systems with Polymorphic Software Architecture.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Applying ontology in architecture-based self-management applications.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Application Based Distance Measurement for Context Retrieval in Ubiquitous Computing.
Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), 2007

A Mutual Exclusion Algorithm for Mobile Agents-Based Applications.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

A Middleware Support for Agent-Based Application Mobility in Pervasive Environments.
Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

A Transaction Model for Context-Aware Applications.
Proceedings of the Advances in Grid and Pervasive Computing, 2007

Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

A Trust Evolution Model for P2P Networks.
Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

An Approach to Model Cross-organizational Processes using Object Petri net.
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006
Establishing recommendation trust relationships for internetwares.
ACM SIGSOFT Softw. Eng. Notes, 2006

Path-history-based access control for mobile agents.
Int. J. Parallel Emergent Distributed Syst., 2006

On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.
Acta Cybern., 2006

Mobile Agent Enabled Application Mobility for Pervasive Computing.
Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006

Toward Context-Awareness: A Workflow Embedded Middleware.
Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006

Managing Quality of Context in Pervasive Computing.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Rewards-based negotiation for providing context information.
Proceedings of the 4th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2006), held at the ACM/IFIP/USENIX 7th International Middleware Conference, November 27, 2006

Tailor the Value-Based Software Quality Achievement Process to Project Business Cases.
Proceedings of the Software Process Change, 2006

Modeling Multi-View Software Process with Object Petri Nets.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Applying the Value/Petri process to ERP software development in China.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

On the Markovian Randomized Strategy of Controller for Markov Decision Processes.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 2006

Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection.
Proceedings of the Smart Sensing and Context, First European Conference, EuroSSC 2006, 2006

Context Consistency Management Using Ontology Based Model.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

Invariant Analysis for the Task Refinement of Workflow Nets.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Toward Trust Management in Autonomic and Coordination Applications.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

FollowMe: On Research of Pluggable Infrastructure for Context-Awareness.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
One-dimensional I test and direction vector I test with array references by induction variable.
Int. J. High Perform. Comput. Netw., 2005

Structure Analysis for Dynamic Software Architecture.
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

Translation of Nets Within Nets in Cross-organizational Software Process Modeling.
Proceedings of the Unifying the Software Process Spectrum, 2005

Supporting Wireless Web Page Access in Mobile Environments Using Mobile Agents.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

A Path-History-Sensitive Access Control Model for Mobile Agent Environment.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

An Efficient Scheme for Fault-Tolerant Web Page Access in Wireless Mobile Environment Based on Mobile Agents.
Proceedings of the High Performance Computing and Communications, 2005

On the Bisimulation Congruence in <i>chi</i>-Calculus.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

An Enhanced Ontology Based Context Model and Fusion Mechanism.
Proceedings of the Embedded and Ubiquitous Computing, 2005

Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

An Approach to Ensure Service Behavior Consistency in OSGi.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Dynamic Software Architecture Oriented Service Composition and Evolution.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

Analysis of A Leader Election Algorithm in uCRL.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004
Reliable message delivery for mobile agents: push or pull?
IEEE Trans. Syst. Man Cybern. Part A, 2004

Some research on componentware frameworks based on mobile agent technology.
ACM SIGSOFT Softw. Eng. Notes, 2004

Checking Strong Open Congruence in Chi -Calculus.
Proceedings of Computing: The Australasian Theory Symposium, 2004

A Modal Logic for pi-Calculus and Model Checking Algorithm.
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

Tree logic with recursion and model checking algorithm.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

A Mobile Agent Enabled Approach for Distributed Deadlock Detection.
Proceedings of the Grid and Cooperative Computing, 2004

Towards a Model Logic for p-Calculus.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003
Architecting and implementing distributed Web applications using the graph-oriented approach.
Softw. Pract. Exp., 2003

Intensionality of modal logic for Robust Ambient Calculus.
Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002
Greylevel Difference Classification Algorithm in Fractal Image Compression.
J. Comput. Sci. Technol., 2002

Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols.
Computer, 2002

A mobile-agent-based approach to software coordination in the HOOPE system.
Sci. China Ser. F Inf. Sci., 2002

WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications.
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

Design of Adaptive and Reliable Mobile Agent Communication Protocols.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001
A two-layered-class approach for the reuse of synchronization code.
Inf. Softw. Technol., 2001

An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems.
Proceedings of the Mobile Agents, 5th International Conference, 2001

2000
A hierarchical framework: for parallel seismic applications.
Commun. ACM, 2000

1999
SEIS++: A Pattern Language for Seismic Tools Construction and Integration.
ACM SIGPLAN Notices, 1999

Framework-Based Software Reuse for Interactive Seismic Processing Applications.
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998
On Open Communication Frameworks for Software Agents.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

1997
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment.
ACM SIGPLAN Notices, 1997

1996
Verification of HOS Software Specification by a Hierarchical Software Understanding Approach.
J. Syst. Softw., 1996

1995
Introducting Data Decomposition into VDM for Tractable Development of Programs.
ACM SIGPLAN Notices, 1995

1993
An Approach Toward Mechanization of Acquiring Reusable Software Components.
ACM SIGPLAN Notices, 1993


  Loading...