Yu Huang
Title
Cited by
Cited by
Year
Runtime detection of the concurrency property in asynchronous pervasive computing environments
Y Huang, Y Yang, J Cao, X Ma, X Tao, J Lu
Parallel and Distributed Systems, IEEE Transactions on 23 (4), 744-750, 2012
252012
Internetware: a shift of software paradigm
J Lü, X Ma, Y Huang, C Cao, F Xu
Proceedings of the First Asia-Pacific Symposium on Internetware, 1-9, 2009
222009
面向网构软件的环境驱动模型与支撑技术研究
吕建, 马晓星, 陶先平, 曹春, 黄宇, 余萍
中国科学 (E 辑: 信息科学) 6, 2008
192008
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments
Y Yang, Y Huang, J Cao, X Ma, J Lu
IEEE Trans. on Parallel and Distrib. Syst., accepted in Aug, 2012
162012
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
H Wei, Y Huang, J Lu
IEEE Transactions on Computers 66 (3), 502-514, 2017
82017
Design of a sliding window over distributed and asynchronous event streams
Y Yang, Y Huang, J Cao, X Ma, J Lu
IEEE Transactions on Parallel and Distributed Systems 25 (10), 2551-2560, 2014
8*2014
Managing environment and adaptation risks for the internetware paradigm
J Lü, Y Huang, C Xu, X Ma
Theories of Programming and Formal Methods, 271-284, 2013
72013
Enabling context-awareness by predicate detection in asynchronous environments
Y Yang, Y Huang, X Ma, J Lu
IEEE Transactions on Computers 65 (2), 522-534, 2015
62015
面向网构软件的环境显式化技术
吕建, 马晓星, 陶先平, 黄宇, 余萍, 许畅
中国科学: 信息科学 43 (1), 1r23, 2013
62013
Verifying pipelined-ram consistency over read/write traces of data replicas
H Wei, M De Biasi, Y Huang, J Cao, J Lu
IEEE Transactions on Parallel and Distributed Systems 27 (5), 1511-1523, 2016
5*2016
开放环境特性感知技术
黄宇, 余建平, 马晓星, 陶先平, 吕建
Journal of Software 22 (5), 2011
52011
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
H Wei, Y Huang, J Lu
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing …, 2018
42018
CBBR: enabling distributed shared memory-based coordination among mobile robots
X Jiang, Y Huang
Science China Information Sciences 59 (8), 080102, 2016
32016
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers
K Huang, Y Huang, H Wei
Proceedings of the 39th Symposium on Principles of Distributed Computing …, 2020
1*2020
Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
H Wei, Y Huang, J Lu
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 21-33, 2017
12017
Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications
Y Huang, X Ma, Y Yang
Parallel and Distributed Systems (ICPADS), 2012 IEEE 18th International …, 2012
12012
Jupiter Made Abstract, and Then Refined
HF Wei, RZ Tang, Y Huang, J Lv
Journal of Computer Science and Technology 35 (6), 1343-1364, 2020
2020
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores
L Ouyang, Y Huang, H Wei, J Lu
IEEE Transactions on Parallel and Distributed Systems 32 (4), 815-829, 2020
2020
A Generic Specification Framework for Weakly Consistent Replicated Data Types
X Jiang, H Wei, Y Huang
2020 International Symposium on Reliable Distributed Systems (SRDS), 143-154, 2020
2020
CRDT 协议的 TLA+ 描述与验证
纪业, 魏恒峰, 黄宇, 吕建
Journal of Software 5, 0-0, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20