Author of the publication

From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis.

, , , , and . CloudNet, page 229-237. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multiuser Interference-Limited Petahertz Wireless Communications Over Málaga Fading Channels., and . IEEE Access, (2020)Effect of turbulence and noise on ultraviolet and mid-infrared spectrum in optical wireless communications., , and . Photonic Netw. Commun., 39 (3): 181-186 (2020)Game Theoretic Framework for Beamforming Optimization for Photon-Counting Multiuser MISO Channel with Asymptotic Low Power., , and . ICC Workshops, page 451-456. IEEE, (2022)Interference-Limited Multiuser Photon-counting Channel with Incomplete Information: A Bayesian Game Approach for Optimum Transmission., , and . ICUFN, page 554-559. IEEE, (2023)Structured light based multiuser indoor communications: Exploiting quantum encoding over classical data channel., and . ICT Express, 9 (6): 1013-1018 (December 2023)Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond., , and . CoRR, (2023)Transmit power optimization over low-power Poisson channel in multiuser MISO indoor optical communications., , , , and . ICT Express, 7 (3): 361-365 (2021)Novel Multiuser Indoor Ultraviolet Communications., and . GLOBECOM, page 1-6. IEEE, (2020)RAFT: A Real-Time Framework for Root Cause Analysis in 5G and Beyond Vulnerability Detection., , , , and . CCNC, page 446-454. IEEE, (2024)SmiLe Net: A Supervised Graph Embedding-based Machine Learning Approach for NextG Vulnerability Detection., , , and . MILCOM, page 554-561. IEEE, (2023)