Heng Kuang

16 papers C 2Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Integrated UAV-enabled disaster recovery: Convex optimization for power, bandwidth, and trajectory in multi-role aerial networks.
Ad Hoc Networks
Bo Ma, Yujie Feng, Yuxuan Huang, Zhicheng Shen, Heng Kuang, Chuanhuang Li
2023 J jnl
UAV assisted cellular network traffic offloading: Joint swarm, 3D deployment, and user allocation optimization based on a data-aware method.
Comput. Networks
Bo Ma, Heng Kuang, Shiyuan Liu, Chuanhuang Li
2021 — conf
Toward Fast and Reliable Active-Active Geo-Replication for a Distributed Data Caching Service in the Mobile Cloud.
FNC/MobiSPC
Daniel House, Heng Kuang, Kajaruban Surendran, Paul Chen
2020 J jnl
A System-of-Systems Approach to the Strategic Feasibility of Modular Vehicle Fleets.
IEEE Trans. Syst. Man Cybern. Syst.
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
2018 — conf
An Approach for QoS-aware Service Composition with GraphPlan and Fuzzy Logic.
EUSPN/ICTH
Ming Zhu, Guodong Fan, Jing Li, Heng Kuang
2017 J jnl
A Categorical Approach to Verifying Concurrency Between Design and Implementation.
J. Ubiquitous Syst. Pervasive Networks
Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang
2016 — conf
Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems.
ANT/SEIT
Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang
2015 — conf
Modelling Multi-agent Systems with Category Theory.
ANT/SEIT
Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang
2010 — conf
A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework.
ASAP
Heng Kuang, Olga Ormandjieva, Stan Klasa, Jamal Bentahar
2010 C conf
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.
SoMeT
Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa
2010 C conf
Research and realization of sensor fault-tolerance of fusion diagnosis system using evidence redistribution.
FUSION
Yong Wang, Weiguang Liang, Heng Kuang, Jianliang Zhou
2009 J jnl
Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers
CoRR
Emil Vassev, Que Thu Dung Nguyen, Heng Kuang
2009 — conf
Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory.
ICSOFT (1)
Olga Ormandjieva, Heng Kuang, Stan Klasa
2009 — conf
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.
SERA (selected papers)
Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar
2006 — conf
Reactive, distributed and autonomic computing aspects of AS-TRM.
ICSOFT (1)
Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet
2006 J jnl
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach.
Int. Trans. Syst. Sci. Appl.
Olga Ormandjieva, Heng Kuang, Emil Vassev