Reactive, distributed and autonomic computing aspects of AS-TRM. - Emil Vassev; Heng Kuang; Olga Ormandjieva; Joey Paquet (ICSOFT (1), 2006)

Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. - Olga Ormandjieva; Heng Kuang; Emil Vassev (Int. Trans. Syst. Sci. Appl., 2006)

Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory. - Olga Ormandjieva; Heng Kuang; Stan Klasa (ICSOFT (1), 2009)

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. - Heng Kuang; Olga Ormandjieva; Stan Klasa; Noorulain Khurshid; Jamal Bentahar (SERA (selected papers), 2009)

Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers - Emil Vassev; Que Thu Dung Nguyen; Heng Kuang (CoRR, 2009)

A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework. - Heng Kuang; Olga Ormandjieva; Stan Klasa; Jamal Bentahar (ASAP, 2010)

Research and realization of sensor fault-tolerance of fusion diagnosis system using evidence redistribution. - Yong Wang; Weiguang Liang; Heng Kuang; Jianliang Zhou (FUSION, 2010)

Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. - Heng Kuang; Jamal Bentahar; Olga Ormandjieva; Nassir Shafieidizaji; Stan Klasa (SoMeT, 2010)

Modelling Multi-agent Systems with Category Theory. - Olga Ormandjieva; Jamal Bentahar; Jinzi Huang; Heng Kuang (ANT/SEIT, 2015)

Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems. - Ming Zhu; Peter Grogono; Olga Ormandjieva; Heng Kuang (ANT/SEIT, 2016)

A Categorical Approach to Verifying Concurrency Between Design and Implementation. - Ming Zhu; Peter Grogono; Olga Ormandjieva; Heng Kuang (J. Ubiquitous Syst. Pervasive Networks, 2017)

An Approach for QoS-aware Service Composition with GraphPlan and Fuzzy Logic. - Ming Zhu 011; Guodong Fan; Jing Li 092; Heng Kuang (EUSPN/ICTH, 2018)

A System-of-Systems Approach to the Strategic Feasibility of Modular Vehicle Fleets. - 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 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Toward Fast and Reliable Active-Active Geo-Replication for a Distributed Data Caching Service in the Mobile Cloud. - Daniel House; Heng Kuang; Kajaruban Surendran; Paul Chen (FNC/MobiSPC, 2021)

UAV assisted cellular network traffic offloading: Joint swarm, 3D deployment, and user allocation optimization based on a data-aware method. - Bo Ma 009; Heng Kuang; Shiyuan Liu; Chuanhuang Li (Comput. Networks, 2023)