| 2021 | FNC | 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 |
| 2018 | EUSPN | An Approach for QoS-aware Service Composition with GraphPlan and Fuzzy Logic. | Ming Zhu, Guodong Fan, Jing Li, Heng Kuang |
| 2016 | ANT | Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems. | Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang |
| 2015 | ANT | Modelling Multi-agent Systems with Category Theory. | Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang |
| 2010 | FUSION | Research and realization of sensor fault-tolerance of fusion diagnosis system using evidence redistribution. | Yong Wang, Weiguang Liang, Heng Kuang, Jianliang Zhou |
| 2010 | SoMeT | Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. | Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa |
| 2009 | ICSoft | Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory. | Olga Ormandjieva, Heng Kuang, Stan Klasa |
| 2009 | SERA | Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. | Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar |
| 2006 | ICSoft | Reactive, distributed and autonomic computing aspects of AS-TRM. | Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet |