Heng Kuang

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 6

Top Topics

Distributed Data

Implementation Issues

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Bo Ma, Heng Kuang, Shiyuan Liu, Chuanhuang Li
UAV assisted cellular network traffic offloading: Joint swarm, 3D deployment, and user allocation optimization based on a data-aware method. Comput. Networks 231 (2023)
Daniel House, Heng Kuang, Kajaruban Surendran, Paul Chen
Toward Fast and Reliable Active-Active Geo-Replication for a Distributed Data Caching Service in the Mobile Cloud. FNC/MobiSPC (2021)
Alparslan Emrah Bayrak, M. Mert Egilmez, Heng Kuang, Xingyu Li, Jong Min Park, Edward Lawrence Umpfenbach, Erik Anderson, David J. Gorsich, Jack Hu, Panos Y. Papalambros, Bogdan I. Epureanu
A System-of-Systems Approach to the Strategic Feasibility of Modular Vehicle Fleets. IEEE Trans. Syst. Man Cybern. Syst. 50 (7) (2020)
Ming Zhu, Guodong Fan, Jing Li, Heng Kuang
An Approach for QoS-aware Service Composition with GraphPlan and Fuzzy Logic. EUSPN/ICTH (2018)
Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang
A Categorical Approach to Verifying Concurrency Between Design and Implementation. J. Ubiquitous Syst. Pervasive Networks 8 (2) (2017)
Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang
Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems. ANT/SEIT (2016)
Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang
Modelling Multi-agent Systems with Category Theory. ANT/SEIT (2015)
Heng Kuang, Olga Ormandjieva, Stan Klasa, Jamal Bentahar
A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework. ASAP (2010)
Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. SoMeT (2010)
Yong Wang, Weiguang Liang, Heng Kuang, Jianliang Zhou
Research and realization of sensor fault-tolerance of fusion diagnosis system using evidence redistribution. FUSION (2010)
Emil Vassev, Que Thu Dung Nguyen, Heng Kuang
Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers CoRR (2009)
Olga Ormandjieva, Heng Kuang, Stan Klasa
Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory. ICSOFT (1) (2009)
Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. SERA (selected papers) (2009)
Olga Ormandjieva, Heng Kuang, Emil Vassev
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. Int. Trans. Syst. Sci. Appl. 2 (1) (2006)
Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet
Reactive, distributed and autonomic computing aspects of AS-TRM. ICSOFT (1) (2006)