Concepedia

Hoang Nga Nguyen

HN

Statistics

Publications

17

Citations

347

H-Index

13

Active since

2009

Affiliations

Coventry University(Current)

University of Nottingham

Swansea University

Middlesex University

Delft University of Technology

Hoang Nga Nguyen is an author at Coventry University specializing in engineering, formal verification, and systems engineering.

ORCID

Top concepts

Publications per year

2009–2025

17

Publications

17

Techniques for modelling and verifying railway interlockings

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · International Journal on Software Tools for Technology Transfer · 2014 · 47 citations

, , +8

Systematic threat assessment and security testing of automotive over-the-air (OTA) updates

Shahid Mahmood, Hoang Nga Nguyen, Siraj Ahmed Shaikh · Vehicular Communications · 2022 · 39 citations · Full text

Automated Generation of Accurate & Fluent Medical X-ray Reports

Hoang Nga Nguyen, Dong Nie, Taivanbat Badamdorj et al. · Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing · 2021 · 36 citations · Full text

Model-checking for Resource-Bounded ATL with production and consumption of resources

Natasha Alechina, Brian Logan, Hoang Nga Nguyen et al. · Journal of Computer and System Sciences · 2017 · 28 citations · Full text

Verifying time, memory and communication bounds in systems of reasoning agents

Natasha Alechina, Brian Logan, Hoang Nga Nguyen et al. · Synthese · 2009 · 24 citations

, , +9

Rows per page

1–5 of 17