A predictive approach to achieving consistency in cooperative caching in MANET. - Yu Huang 002; Jiannong Cao 001; Beihong Jin (Infoscale, 2006)

A Distributed Approach to Construction of Topology Mismatching Aware P2P Overlays in Wireless Ad Hoc Networks. - Yu Huang 002; Beihong Jin; Jiannong Cao 001 (PDP, 2006)

A Selective Push Algorithm for Cooperative Cache Consistency Maintenance over MANETs. - Yu Huang 002; Beihong Jin; Jiannong Cao 001; Guangzhong Sun; Yulin Feng (EUC, 2007)

Achieving Flexible Cache Consistency for Pervasive Internet Access. - Yu Huang 002; Jiannong Cao 001; Zhijun Wang 001; Beihong Jin; Yulin Feng (PerCom, 2007)

An Integrated Prefetching and Caching Strategy for Mobile Web Caching System. - Beihong Jin; Sihua Tian; Chen Lin; Xin Ren; Yu Huang 002 (SNPD (2), 2007)

Adaptive Scheduling Strategy for Data Stream Management System. - Guangzhong Sun; Yipeng Zhou; Yu Huang 002; Yinghua Zhou (APWeb/WAIM, 2007)

An Analytical Model for Broadcasting by Self Pruning in Wireless Ad Hoc Networks. - Yu Huang 002; Bo Liu 049; XianPing Tao; Jiannong Cao 001; Beihong Jin (EUC (2), 2008)

A Probabilistic Approach to Consistency Checking for Pervasive Context. - Yu Huang 002; Xiang Ma; XianPing Tao; Jiannong Cao 001; Jian Lu 001 (EUC (1), 2008)

On environment-driven software model for Internetware. - Jian Lü 001; Xiaoxing Ma; XianPing Tao; Chun Cao; Yu Huang 002; Ping Yu 004 (Sci. China Ser. F Inf. Sci., 2008)

Internetware: a shift of software paradigm. - Jian Lü 001; Xiaoxing Ma; Yu Huang 002; Chun Cao; Feng Xu 007 (Internetware, 2009)

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context. - Yu Huang 002; Xiaoxing Ma; Jiannong Cao 001; XianPing Tao; Jian Lu 001 (PerCom, 2009)

Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments - Yu Huang 002; Jianping Yu; Jiannong Cao 001; Xiaoxing Ma; XianPing Tao; Jian Lu 001 (CoRR, 2009)

Middleware Support for Context-awareness in Asynchronous Pervasive Computing Environments. - Jianping Yu; Yu Huang 002; Jiannong Cao 001; XianPing Tao (EUC, 2010)

Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments. - Yu Huang 002; Jianping Yu; Jiannong Cao 001; XianPing Tao (ICPADS, 2010)

A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context. - Tingting Hua; Yu Huang 002; Jiannong Cao 001; XianPing Tao (UIC, 2010)

Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks. - Yu Huang 002; Jiannong Cao 001; Beihong Jin; XianPing Tao; Jian Lu 001; Yulin Feng (IEEE Trans. Parallel Distributed Syst., 2010)

Cooperative cache consistency maintenance for pervasive internet access. - Yu Huang 002; Jiannong Cao 001; Beihong Jin; XianPing Tao; Jian Lu 001 (Wirel. Commun. Mob. Comput., 2010)

Design of a Sliding Window over Asynchronous Event Streams - Yiling Yang; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (CoRR, 2011)

Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications. - Yu Huang 002; Xiaoxing Ma; Yiling Yang (ICPADS, 2012)

Formal specification and runtime detection of temporal properties for asynchronous context. - Hengfeng Wei; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (PerCom, 2012)

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments. - Yu Huang 002; Yiling Yang; Jiannong Cao 001; Xiaoxing Ma; XianPing Tao; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2012)

Managing Environment and Adaptation Risks for the Internetware Paradigm. - Jian Lü 001; Yu Huang 002; Chang Xu 001; Xiaoxing Ma (Theories of Programming and Formal Methods, 2013)

A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns. - Liang Wang 006; Tao Gu 001; Hongwei Xie; XianPing Tao; Jian Lu 001; Yu Huang 002 (MobiQuitous, 2013)

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments. - Yiling Yang; Yu Huang 002; Xiaoxing Ma; Jian Lu 001 (CoRR, 2013)

Verifying PRAM Consistency over Read/Write Traces of Data Replicas - Hengfeng Wei; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (CoRR, 2013)

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments. - Yiling Yang; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2013)

Design of a Sliding Window over Distributed and Asynchronous Event Streams. - Yiling Yang; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2014)

Almost Strong Consistency: "Good Enough" in Distributed Storage Systems. - Hengfeng Wei; Yu Huang 002; Jiannong Cao 001; Jian Lu 001 (CoRR, 2015)

Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime. - Yiling Yang; Yu Huang 002; Jiannong Cao 001; Jian Lu 001 (CoRR, 2015)

Enabling Mobile Device Coordination over Distributed Shared Memory. - Maosen Huang; Hengfeng Wei; Yu Huang 002 (ICPADS, 2016)

Fine-Grained Delta Privacy Preservation for Hierarchical Contexts. - Xue Jiang; Yu Huang 002; Hengfeng Wei (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

CBBR: enabling distributed shared memory-based coordination among mobile robots. - Xue Jiang; Yu Huang 002 (Sci. China Inf. Sci., 2016)

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments. - Yiling Yang; Yu Huang 002; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Computers, 2016)

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas. - Hengfeng Wei; Marzio De Biasi; Yu Huang 002; Jiannong Cao 001; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2016)

Application-centric SSD Cache Allocation for Hadoop Applications. - Zhen Tang; Wei Wang 049; Yu Huang 002; Heng Wu 001; Jun Wei 001; Tao Huang 001 (Internetware, 2017)

Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores. - Hengfeng Wei; Yu Huang 002; Jian Lu 001 (SRDS, 2017)

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. - Hengfeng Wei; Yu Huang 002; Jian Lu 001 (IEEE Trans. Computers, 2017)

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. - Hengfeng Wei; Yu Huang 002; Jian Lu 001 (OPODIS, 2018)

Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. - Hengfeng Wei; Yu Huang 002; Jian Lu 001 (PODC, 2018)

IO dependent SSD cache allocation for elastic Hadoop applications. - Zhen Tang; Wei Wang 049; Lei Sun; Yu Huang 002; Heng Wu 001; Jun Wei 001; Tao Huang 001 (Sci. China Inf. Sci., 2018)

Inversion-based Measurement of Data Consistency for Read/Write Registers. - Yu Huang 002; Hengfeng Wei; Maosen Huang; Lingzhi Ouyang (CoRR, 2019)

Remove-Win: a Design Framework for Conflict-free Replicated Data Collections. - Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Jian Lu 001 (CoRR, 2019)

An index structure supporting rule activation in pervasive applications. - Yi Qin 002; Xianping Tao; Yu Huang 002; Jian Lu 001 (World Wide Web, 2019)

Checking Causal Consistency of MongoDB. - Hongrong Ouyang; Hengfeng Wei; Yu Huang 002 (Internetware, 2020)

Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers. - Kaile Huang; Yu Huang 002; Hengfeng Wei (PODC, 2020)

A Generic Specification Framework for Weakly Consistent Replicated Data Types. - Xue Jiang; Hengfeng Wei; Yu Huang 002 (SRDS, 2020)

Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers. - Kaile Huang; Yu Huang 002; Hengfeng Wei (CoRR, 2020)

Remove-Win: a Design Framework for Conflict-free Replicated Data Types. - Yuqi Zhang; Hengfeng Wei; Yu Huang 002 (ICPADS, 2021)

Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. - Kaile Huang; Hengfeng Wei; Yu Huang 002; Haixiang Li; Anqun Pan (SSS, 2021)

Verifying Transactional Consistency of MongoDB. - Hongrong Ouyang; Hengfeng Wei; Yu Huang 002; Haixiang Li; Anqun Pan (CoRR, 2021)

Raft with Out-of-Order Executions. - Xiaosong Gu; Hengfeng Wei; Lei Qiao; Yu Huang 002 (Int. J. Softw. Informatics, 2021)

Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores. - Lingzhi Ouyang; Yu Huang 002; Hengfeng Wei; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2021)

Tunable Causal Consistency: Specification and Implementation. - Xue Jiang; Hengfeng Wei; Yu Huang 002 (ICPADS, 2022)

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (SRDS, 2022)

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (CoRR, 2022)

MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. - Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Xiaoxing Ma (CoRR, 2022)

ViSearch: Weak Consistency Measurement for Replicated Data Types. - Lintian Shi; Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Xiaoxing Ma (CoRR, 2022)

Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. - Yuqi Zhang; Lingzhi Ouyang; Yu Huang 002; Xiaoxing Ma (Internetware, 2023)

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. - Lingzhi Ouyang; Yu Huang 002; Binyu Huang; Xiaoxing Ma (SETTA, 2023)

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. - Lingzhi Ouyang; Yu Huang 002; Binyu Huang; Hengfeng Wei; Xiaoxing Ma (CoRR, 2023)

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. - Ruize Tang; Xudong Sun 013; Yu Huang 002; Yuyang Wei; Lingzhi Ouyang; Xiaoxing Ma (EuroSys, 2024)

Model-checking-driven explorative testing of CRDT designs and implementations. - Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Xiaoxing Ma (J. Softw. Evol. Process., 2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification. - Lingzhi Ouyang; Xudong Sun 013; Ruize Tang; Yu Huang 002; Madhav Jivrajani; Xiaoxing Ma; Tianyin Xu (EuroSys, 2025)

Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency. - Ruize Tang; Minghua Wang; Xudong Sun 013; Lin Huang; Yu Huang 002; Xiaoxing Ma (USENIX ATC, 2025)

A Generic Specification Framework for Weakly Consistent Replicated Data Types. - Xue Jiang; Hengfeng Wei; Yu Huang 002; Yuxing Chen; Anqun Pan (IEEE Trans. Parallel Distributed Syst., 2025)