Heng Kuang

According to our database, Heng Kuang authored at least 15 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

UAV assisted cellular network traffic offloading: Joint swarm, 3D deployment, and user allocation optimization based on a data-aware method.

Bo Ma, Heng Kuang, Shiyuan Liu, Chuanhuang Li

Comput. Networks, July, 2023

2021

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

Proceedings of the 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2021) / The 16th International Conference on Future Networks and Communications (FNC-2021) / The 11th International Conference on Sustainable Energy Information Technology, 2021

2020

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

2018

An Approach for QoS-aware Service Composition with GraphPlan and Fuzzy Logic.

Ming Zhu, Guodong Fan, Jing Li, Heng Kuang

Proceedings of the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) / The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2018) / Affiliated Workshops, 2018

2017

A Categorical Approach to Verifying Concurrency Between Design and Implementation.

Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang

J. Ubiquitous Syst. Pervasive Networks, 2017

2016

Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems.

Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

Modelling Multi-agent Systems with Category Theory.

Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang

Proceedings of the 6th International Conference on Ambient Systems, 2015

2010

Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.

Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Research and realization of sensor fault-tolerance of fusion diagnosis system using evidence redistribution.

Yong Wang, Weiguang Liang, Heng Kuang, Jianliang Zhou

Proceedings of the 13th Conference on Information Fusion, 2010

A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework.

Heng Kuang, Olga Ormandjieva, Stan Klasa, Jamal Bentahar

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

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

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.

Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar

Proceedings of the Software Engineering Research, 2009

Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory.

Olga Ormandjieva, Heng Kuang, Stan Klasa

Proceedings of the ICSOFT 2009, 2009

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, distributed and autonomic computing aspects of AS-TRM.

Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet

Proceedings of the ICSOFT 2006, 2006