Linna Pang

According to our database, Linna Pang authored at least 10 papers between 2013 and 2023.

Collaborative distances:

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

2023

Double-Edge Computation Offloading for Secure Integrated Space-Air-Aqua Networks.

Dawei Wang, Tianmi He, Yi Lou, Linna Pang, Yixin He, Hsiao-Hwa Chen

IEEE Internet Things J., September, 2023

2022

An HAP and UAVs Collaboration Framework for Uplink Secure Rate Maximization in NOMA-Enabled IoT Networks.

Dawei Wang, Menghan Wu, Yixin He, Linna Pang, Qian Xu, Ruonan Zhang

Remote. Sens., 2022

IRS-Aided Secure Mobile Edge Computing for NOMA Networks.

Dawei Wang, Xuanrui Li, Linna Pang, Yixin He, Fuhui Zhou, Ling Wang, Ruonan Zhang

Proceedings of the IEEE/CIC International Conference on Communications in China, 2022

Secure NOMA Based RIS-UAV Networks: Passive Beamforming and Location Optimization.

Dawei Wang, Yang Zhao, Yi Lou, Linna Pang, Yixin He, Di Zhang

Proceedings of the IEEE Global Communications Conference, 2022

2018

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application.

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford

J. Autom. Reason., 2018

2016

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Formal verification of function blocks applied to IEC 61131-3.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng

Sci. Comput. Program., 2015

Formal Verification of Real-Time Function Blocks Using PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

2014

CS-based high-resolution ISAR imaging with adaptive sparse basis.

Linna Pang, Shunsheng Zhang, Chan Liu, Xiaozhen Tian

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2013

Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013